From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “separation” 330

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Towards Concurrent Quantitative Separation Logic
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll

3

citations
Homogenization and Phase Separation with Fixed Wells - The Supercritical Case
2023 arXiv (Cornell University) preprint Computer Science Advanced Mathematical Modeling in Engineering Open access

Riccardo Cristoferi, Irene Fonseca, Likhit Ganedi

0

citations
Leveraging spatial cues from cochlear implant microphones to efficiently enhance speech separation in naturalistic listening scenes
2025 Scientific Reports article Computer Science Speech and Audio Processing Open access

Feyisayo Olalere, Kiki van der Heijden, Hendrik Christiaan Stronks, Jeroen Johannes Briaire, Johan H. M. Frijns, Marcel A. J. van Gerven

1

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
Leveraging Spatial Cues from Cochlear Implant Microphones to Efficiently Enhance Speech Separation in Real-World Listening Scenes
2025 arXiv (Cornell University) preprint Computer Science Speech and Audio Processing Open access

Feyisayo Olalere, Kiki van der Heijden, Christiaan H. Stronks, Jeroen Johannes Briaire, Johan H. M. Frijns, Marcel A. J. van Gerven

0

citations
Combining TF-GridNet And Mixture Encoder For Continuous Speech Separation For Meeting Transcription
2024 IEEE Spoken Language Technology Workshop (SLT) conference-paper Computer Science Speech and Audio Processing Open access

Peter Vieting, Simon Berger, Thilo von Neumann, Christoph Boeddeker, Ralf Schlüter, Reinhold Haeb‐Umbach

2

citations
Dynamic Separation Logic
2023 Electronic Notes in Theoretical Informatics and Computer Science article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

1

citations
Efficient FPGA implementation for sound source separation using direction-informed multichannel non-negative matrix factorization
2024 The Journal of Supercomputing article Computer Science Music and Audio Processing Open access

Antonio J. Muñoz-Montoro, Julio J. Carabias-Orti, José Ranilla

5

citations
Mixture Encoder for Joint Speech Separation and Recognition
2023 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Simon Berger, Peter Vieting, Christoph Boeddeker, Ralf Schlüter, Reinhold Haeb‐Umbach

0

citations
Homogenization and Phase Separation with Space Dependent Wells: The Subcritical Case
2023 Archive for Rational Mechanics and Analysis article Computer Science Advanced Mathematical Modeling in Engineering Open access

Riccardo Cristoferi, Irene Fonseca, Likhit Ganedi

9

citations
A New Separation Index and Classification Techniques Based on Shannon Entropy
2023 Methodology And Computing In Applied Probability article Computer Science Bayesian Methods and Mixture Models Open access

Jorge Navarro, Francesco Buono, Jorge M. Arevalillo

9

citations
Speech separation for hearing-impaired children in the classroom
2026 The Journal of the Acoustical Society of America article Computer Science Speech and Audio Processing Open access

Feyisayo Olalere, Kiki van der Heijden, Hendrik Christiaan Stronks, Jeroen Johannes Briaire, Johan H. M. Frijns, Yağmur Güçlütürk

0

citations
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more

0

citations
The Logic of Separation Logic: Models and Proofs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

1

citations
A sound and complete proof system for separation logic (part 1)
2024 other Computer Science Logic, programming, and type systems Open access

Hans-Dieter A. Hiep, Frank S. de Boer

0

citations
Foundations for Entailment Checking in Quantitative Separation Logic
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more

4

citations
Exact Separation of Forbidden-Set Cuts Associated With Redundant Parity Checks of Binary Linear Codes
2020 IEEE Communications Letters article Computer Science Coding theory and cryptography Open access

Christian Puchert, Andreas M. Tillmann

2

citations
Provable learning separation for predicting time-evolution of quantum many-body systems
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Rahul Bandyopadhyay, Riccardo Molteni, Jens Eisert, Vedran Dunjko, Sofiène Jerbi

0

citations
Estimating dense-packed zone height in liquid–liquid separation: A physics-informed neural network approach
2026 RWTH Publications (RWTH Aachen) article Computer Science Neural Networks and Applications Open access

Mehmet Velioglu, Song Zhai, Alexander Mitsos, Adel Mhamdi, Andreas Jupke, Manuel Dahmen

0

citations
Estimating Dense-Packed Zone Height in Liquid-Liquid Separation: A Physics-Informed Neural Network Approach
2026 RWTH Publications (RWTH Aachen) article Computer Science Neural Networks and Applications Open access

Mehmet Velioglu, Song Zhai, Alexander Mitsos, Adel Mhamdi, Andreas Jupke, Manuel Dahmen

0

citations
Improved Separation Between Quantum and Classical Computers for Sampling and Functional Tasks
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Quantum Computing Algorithms and Architecture Open access

0

citations
Improved Separation Between Quantum and Classical Computers for Sampling and Functional Tasks
2024 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Simon C. Marshall, Scott Aaronson, Vedran Dunjko

0

citations
Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt

0

citations
Quantum-classical separations in shallow-circuit-based learning with and without noises
2024 Communications Physics article Computer Science Quantum Computing Algorithms and Architecture Open access

Zhihan Zhang, Weiyuan Gong, Weikang Li, Dong-Ling Deng

9

citations
Exploring synchrony and chaos of parahydrogen-pumped two-compartment radio-frequency amplification by stimulated emission of radiation
2023 Physical Review A article Computer Science Nonlinear Dynamics and Pattern Formation Open access

Lars Lohmann, Sören Lehmkuhl, Simon Fleischer, Matthew Scott Rosen, Eduard Y. Chekmenev, Thomas Theis, +2 more

8

citations