From

Institution

Field

Type

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

Reset

Papers matching “separation” 93

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 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
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
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
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
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
Distortion Audio Effects: Learning How to Recover the Clean Signal
2022 arXiv (Cornell University) preprint Computer Science Music and Audio Processing Open access

Johannes Imort, Giorgio Fabbro, Marco A. Martínez Ramírez, Stefan Uhlich, Yuichiro Koyama, Yuki Mitsufuji

1

citations
Limitations of measure-first protocols in quantum machine learning
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Casper Gyurik, Riccardo Molteni, Vedran Dunjko

0

citations
Multi-fidelity graph neural networks for predicting toluene/water partition coefficients
2024 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Thomas Nevolianis, Jan G. Rittig, Alexander Mitsos, Kai O. Leonhard

5

citations
Reasoning about Reconfigurations of Distributed Systems
2021 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Marius Dorel Bozga, Radu Iosif, Joost-Pieter Katoen

0

citations
Machine learning with minimal use of quantum computers: Provable advantages in Learning Under Quantum Privileged Information (LUQPI)
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Lisa Kohl, Sebastian Schmitt, Vedran Dunjko

0

citations
On establishing learning separations between classical and quantum machine learning with classical data
2022 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Casper Gyurik, Vedran Dunjko

9

citations
Exploiting Structure with Anisotropic Consensus-Based Optimization
2026 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access

Sabrina Bonandin, Konstantin Riedl, Sara Veneruso

0

citations
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Eva Fluck, Tim Seppelt, Gian Luca Spitzer

0

citations
Exposing Finite-Depth, Finite-Shot Guarantees for Constrained Quantum Optimization via Fejér Filtering
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Chinonso Onah, Kristel F. L. Michielsen

0

citations
Choiceless Computation and Symmetry: Limitations of Definability
2021 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Benedikt Pago

4

citations
Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Benedikt Pago

1

citations
Demonstration of two-dimensional connectivity for a scalable error-corrected ion-trap quantum processor architecture
2024 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Marco Valentini, Martin W. van Mourik, Friederike Butt, Jakob Wahl, Matthias Dietl, Fabian Anmasser, +7 more

1

citations
CANDOR: Chance-Calibrated Neighborhood Discordance in Frozen Encoders for Medical Imaging
2026 arXiv (Cornell University) preprint Computer Science Domain Adaptation and Few-Shot Learning Open access

Soroosh Tayebi Arasteh, Sven Nebelung, Daniel Truhn

0

citations
Exponential separations between classical and quantum learners
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Casper Gyurik, Vedran Dunjko

7

citations
Fine-grained Expressivity of Graph Neural Networks
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Jan Böker, Ron Levie, Ningyuan Teresa Huang, Soledad Villar

4

citations
On the Relationship between Heterophily and Robustness of Graph Neural Networks.
2021 arXiv (Cornell University) preprint Computer Science Adversarial Robustness in Machine Learning Open access

Jiong Zhu, Junchen Jin, Michael T. Schaub, Danai Koutra

2

citations
CHAMB-GA: A Containerized HPC Scalable Microservice-Based Framework for Genetic Algorithms
2026 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access

Felix Bonhoff, Thiemo Pesch, Andrea Benigni, Alexander Mitsos, Manuel Dahmen

0

citations
Finite Model Theory and Proof Complexity Revisited: Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus
2022 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Benedikt Pago

0

citations