From

Institution

Field

Type

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

Reset

Papers matching “error localization” 90

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

1

citations
Acoustic source localization by deep-learning attention-based modulation of microphone array data
2024 NDT & E International article Computer Science Direction-of-Arrival Estimation Techniques Open access

Georg Karl Kocur, Denny Thaler, Bernd A. Markert

9

citations
Modified Geiger Method for the Localization of Acoustic Sources Detected with a Circular Microphone Array
2023 SSRN Electronic Journal preprint Computer Science Direction-of-Arrival Estimation Techniques Open access

Georg Karl Kocur, Bharath Kumar, Bernd A. Markert

0

citations
Early Stage LM Integration Using Local and Global Log-Linear Combination
2020 Interspeech (USB) conference-paper Computer Science Speech Recognition and Synthesis Open access

Wilfried Michel, Ralf Schlüter, Hermann Ney

10

citations
Integration of a quantum phase estimation algorithm to improve the calculation of local frequency response functions of arbitrary geometries for milling dynamics simulation
2026 Procedia CIRP article Computer Science Quantum Computing Algorithms and Architecture Open access

S. Schröder, Y. Bergs, S. Danz, Viktor Rudel

0

citations
Optimal Local Convergence Rates of Stochastic First-Order Methods under Local $α$-PL
2024 arXiv (Cornell University) preprint Computer Science Stochastic Gradient Optimization Techniques Open access

Saeed Masiha, Saber Salehkaleybar, Niao He, Negar Kiyavash, Patrick Thiran

0

citations
Localization Performance in a Binaural Real-Time Auralization System Extended to Research Hearing Aids
2020 Trends in Hearing article Computer Science Speech and Audio Processing Open access

Florian Pausch, Janina Fels

10

citations
Localization-Driven Speech Enhancement in Noisy Multi-Speaker Hospital Environments Using Deep Learning and Meta Learning
2022 IEEE/ACM Transactions on Audio Speech and Language Processing article Computer Science Speech and Audio Processing

Mahdi Barhoush, Ahmed Hallawa, Arne Peine, Lukas Märtin, Anke Schmeink

22

citations
Experiments on localization accuracy with non-individual and individual HRTFs comparing static and dynamic reproduction methods
2020 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Speech and Audio Processing Open access

Josefa Oberem, Jan-Gerrit Richter, Dorothea Setzer, Julia C. Seibold, Iring Koch, Janina Fels

27

citations
Quantum Cellular Automata for Quantum Error Correction and Density Classification
2024 Physical Review Letters article Computer Science Quantum Computing Algorithms and Architecture

Thiago L. M. Guedes, Markus Michael Müller

9

citations
Quantum cellular automata for quantum error correction and density classification
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Thiago L. M. Guedes, D. L. Winter, Markus Michael Müller

0

citations
Design and experimental performance of local entanglement witness operators
2020 Physical Review A article Computer Science Quantum Information and Cryptography Open access

David Amaro, Markus Michael Müller

23

citations
QMM‐Enhanced Error Correction: Demonstrating Reversible Imprinting and Retrieval for Robust Quantum Computation
2025 Advanced Quantum Technologies article Computer Science Quantum Computing Algorithms and Architecture Open access

Florian Neukart, V. M. Vinokur, Jeff Titus

1

citations
Error mitigation in brainbox quantum autoencoders
2025 Scientific Reports article Computer Science Quantum Computing Algorithms and Architecture Open access

Joséphine Pazem, Mohammad H. Ansari

1

citations
Error mitigation of entangled states using brainbox quantum autoencoders
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Joséphine Pazem, Mohammad H. Ansari

0

citations
Efficient Sparsification of Simplicial Complexes via Local Densities of States
2025 arXiv (Cornell University) preprint Computer Science Topological and Geometric Data Analysis Open access

Anton Savostianov, Michael T. Schaub, Nicola Guglielmi, Francesco Tudisco

0

citations
Semi-local Time sensitive Anonymization of Clinical Data
2024 Scientific Data data-paper Computer Science Privacy-Preserving Technologies in Data Open access

F. Hammer, Mateusz Buglowski, André Stollenwerk

5

citations
Automatic vocal tract landmark localization from midsagittal MRI data
2020 Scientific Reports article Computer Science Medical Image Segmentation Techniques Open access

20

citations
Derivation of a fourth-order Co-simulation method for linear systems
2022 Results in Engineering article Computer Science Modeling and Simulation Systems Open access

Andrés Acosta, Jairo Jose Espinosa, Antonello Monti

0

citations
Scalable characterization of localizable entanglement in noisy topological quantum codes
2020 New Journal of Physics article Computer Science Quantum Computing Algorithms and Architecture Open access

David Amaro, Markus Michael Müller, Amit Kumar Pal

16

citations
Beyond Imitation: Reflective On-Policy Self-Distillation for LLM Reasoning
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Ziqi Zhao, Xinyu Ma, Liu Yang, Yujie Feng, Daiting Shi, Jingzhou He, +3 more

0

citations