From

Institution

Field

Type

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

Reset

Papers matching “soundness” 225

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Generalized Special-Sound Interactive Proofs and Their Knowledge Soundness
2023 Lecture notes in computer science conference-paper Computer Science Cryptography and Data Security Open access

Thomas Attema, Serge Fehr, Nicolas Resch

8

citations
The Fiat—Shamir Transformation of $$(\varGamma _1,\dots ,\varGamma _\mu )$$-Special-Sound Interactive Proofs
2026 Journal of Cryptology article Computer Science Cryptography and Data Security Open access

Thomas Attema, Serge Fehr, Michael Klooß, Nicolas Resch

0

citations
The Fiat–Shamir Transformation of (Γ1, . . . , Γµ)-Special-Sound Interactive Proofs
2025 Zenodo (CERN European Organization for Nuclear Research) preprint Computer Science Cryptography and Data Security Open access

Thomas Attema, Serge Feh, Michael Klooß, Nicolas Resch

0

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

1

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

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
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

0

citations
Parallel Repetition of $$(k_1,\dots ,k_{\mu })$$-Special-Sound Multi-round Interactive Proofs
2022 Lecture notes in computer science conference-paper Computer Science Cryptography and Data Security Open access

Thomas Attema, Serge Fehr

25

citations
Reasoning About Active Objects: A Sound and Complete Assertional Proof Method
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Frank S. de Boer, Stijn de Gouw

2

citations
Flexible and sound: Synthesis Miner
2025 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

0

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking
2026 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

0

citations
Eating Sound Dataset for 20 Food Types and Sound Classification Using Convolutional Neural Networks
2020 Companion Publication of the International Conference on Multimodal Interaction (ICMI Companion) conference-paper Computer Science Music and Audio Processing

Jeannette Shijie, Marcello A. Gómez-Maureira, Jan N. van Rijn

4

citations
Interactive real-time auralization of airborne sound insulation in buildings
2021 Acta Acustica article Computer Science Speech and Audio Processing Open access

Muhammad Imran, Anne Heimes, Michael Vorländer

5

citations
3D Sound Reproduction
2020 RWTHedition book-chapter Computer Science Speech and Audio Processing

Michael Vorländer

0

citations
Book Reviews: Theory and Applications of Spherical Microphone Array Processing; Signal Processing in Acoustics and Vibrations; The MEMS Microphone Book; and Vehicle Noise, Vibration, and Sound Quality
2024 book-review Computer Science Speech and Audio Processing Open access

William D’Andrea Fonseca, Michael Vorländer, Felipe Ramos de Mello, Yuri A. Ribeiro Silva

0

citations
Translation of a Higher Order Ambisonics Sound Scene Based on Parametric Decomposition
2020 IEEE International Conference on Acoustics Speech and Signal Processing conference-paper Computer Science Speech and Audio Processing cited by 3 patents

Maximilian Kentgens, Andreas Behler, Peter Jax

27

citations
Learning to detect an animal sound from five examples
2023 Ecological Informatics article Computer Science Music and Audio Processing Open access

Inês Nolasco, Shubhr Singh, Veronica Morfi, Vincent Lostanlen, Ariana Strandburg‐Peshkin, Ester Vidaña-Vila, +12 more

68

citations
Modeling the composition of analysis components and automatic constraint checking for semantic soundness
2025 Journal of Systems and Software article Computer Science Model-Driven Software Engineering Techniques Open access

Bahareh Taghavi, Sebastian Weber, Bernhard Rumpe⋆, Sebastian Stüber, Jörg Henß, Thomas R. Weber, +1 more

3

citations
AI Species Identification Using Image and Sound Recognition for Citizen Science, Collection Management and Biomonitoring: From Training Pipeline to Large-Scale Models
2024 Biodiversity Information Science and Standards article Computer Science Advanced Neural Network Applications Open access

Laurens Hogeweg, Django Brunink, Khadija Ezzaki-Chokri, Wilfred Gerritsen, Rita Pucci, Burooj Ghani, +2 more

3

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
Polyphonic sound event detection for highly dense birdsong scenes
2022 arXiv (Cornell University) preprint Computer Science Music and Audio Processing Open access

Alberto García Arroba Parrilla, Dan Stowell

2

citations
Resenhas de livros: Theory and Applications of Spherical Microphone Array Processing; Processamento de Sinais em Acústica e Vibrações; The MEMS Microphone Book; e Vehicle Noise, Vibration, and Sound Quality
2024 report Computer Science Speech and Audio Processing Open access

William D’Andrea Fonseca, Michael Vorländer, Felipe Ramos de Mello, Yuri A. Ribeiro Silva

0

citations
Uncertainty Calibration of Multi-Label Bird Sound Classifiers
2026 International Conference on Agents and Artificial Intelligence (ICAART) conference-paper Computer Science Music and Audio Processing

Raphael Schwinger, Ben McEwen, Vincent S. Kather, René Heinrich, Lukas Rauch, Sven Tomforde

0

citations
Seeing Sound: An Audiovisual Interpretation of Lou Reed's "Perfect Day"
2026 Zenodo (CERN European Organization for Nuclear Research) conference-paper Computer Science Music Technology and Sound Studies Open access

Ranam Hamoud, Yuning Yao, Derya Soydaner

0

citations
Directional sound field decay analysis in performance spaces
2021 Building Acoustics article Computer Science Speech and Audio Processing

Marco Berzborn, Michael Vorländer

22

citations