From

Institution

Field

Type

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

Reset

Papers matching “soundness” 622

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Flexible and sound: Synthesis Miner
2025 Software & Systems Modeling article Business, Management and Accounting Business Process Modeling and Analysis Open access

Tsung-Hao Huang, Enzo Schneider, Marco Pegoraro, Wil M. P. van der Aalst

2

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 Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

1

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 University of Twente Research Information dataset Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

0

citations
Discovering Sound Free-Choice Workflow Nets with Non-block Structures
2022 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

Tsung-Hao Huang, Wil M. P. van der Aalst

5

citations
Fast & Sound: Accelerating Synthesis-Rules-Based Process Discovery
2024 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis

Tsung-Hao Huang, Enzo Schneider, Marco Pegoraro, Wil M. P. van der Aalst

3

citations
Flexible and sound: Synthesis Miner
2025 Software & Systems Modeling article Physics and Astronomy Electrical and Electromagnetic Research 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
Interactive real-time auralization of airborne sound insulation in buildings
2021 Acta Acustica article Health Professions Noise Effects and Management Open access

Muhammad Imran, Anne Heimes, Michael Vorländer

5

citations
Cognitive performance in open-plan office acoustic simulations: Effects of room acoustics and semantics but not spatial separation of sound sources
2023 Applied Acoustics article Health Professions Noise Effects and Management Open access

Manuj Yadav, Markus Georgi, Larissa Leist, Maria Klatte, Sabine J. Schlittmeier, Janina Fels

15

citations
Cognitive performance in open-plan office acoustic simulations: Effects of room acoustics and semantics but not spatial separation of sound sources
2023 RWTH Publications (RWTH Aachen) article Health Professions Noise Effects and Management Open access

Manuj Yadav, Markus Georgi, Larissa Leist, Maria Klatte, Sabine J. Schlittmeier, Janina Fels

1

citations
Sound insulation performance of double membrane-type acoustic metamaterials combined with a Helmholtz resonator
2023 Applied Acoustics article Engineering Acoustic Wave Phenomena Research

Hongze Li, Xu-Chang Liu, Qi Liu, Shuang Li, Shengbo Shi, Rüdiger Schmidt, +1 more

71

citations
Simulation and Auralization of Outdoor Sound Propagation
2020 RWTHedition book-chapter Engineering Acoustic Wave Phenomena Research

Michael Vorländer

1

citations
Sound Sources
2020 RWTHedition book-chapter Engineering Acoustic Wave Phenomena Research

Michael Vorländer

0

citations
Sound Propagation
2020 RWTHedition book-chapter Engineering Acoustic Wave Phenomena Research

Michael Vorländer

0

citations
Simulation and Auralization of Structure-Borne Sound
2020 RWTHedition book-chapter Engineering Acoustic Wave Phenomena Research

Michael Vorländer

0

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

Michael Vorländer

0

citations
Sound model of an acoustic improved air to water heat pump
2025 Acta Acustica article Engineering Building Energy and Comfort Optimization Open access

Dirk Müller

2

citations
Sound model of an acoustic improved air to water heat pump
2025 Springer Link (Chiba Institute of Technology) article Engineering Refrigeration and Air Conditioning Technologies Open access

Dirk Müller

0

citations
Prediction of Sound Exposure caused by a Landing Motor Glider with Recuperating Propellers
2023 AIAA SciTech Forum conference-paper Engineering Aerodynamics and Acoustics in Jet Flows

Sebastian Hille, Eike Stumpf, Joscha Mayntz, Peter Dahmann

0

citations
Impact of burner plenum acoustics on the sound emission of a turbulent lean premixed open flame
2020 International Journal of Spray and Combustion Dynamics article Engineering Combustion and flame dynamics Open access

Sohel Herff, Konrad Pausch, Holger Nawroth, Stephan Schlimpert, Christian Oliver Paschereit, Wolfgang Schröder

8

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 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 conference-paper Computer Science Speech and Audio Processing cited by 3 patents

Maximilian Kentgens, Andreas Behler, Peter Jax

27

citations
An open-source outdoor sound propagation framework with an application to aircraft noise auralization
2021 RWTH Publications (RWTH Aachen) conference-paper Engineering Aerodynamics and Acoustics in Jet Flows Open access

Philipp Schäfer, Jonas Stienen, Michael Vorländer

0

citations
Sound Fields in Cavities and in Rooms
2020 RWTHedition book-chapter Engineering Acoustic Wave Phenomena Research

Michael Vorländer

0

citations