From

Institution

Field

Type

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

Reset

Papers matching “property testing” 89

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Unit Test Based Component Integration Testing
2023 Proceedings - Asia Pacific Software Engineering Conference/Proceedings conference-paper Computer Science Software Testing and Debugging Techniques

Nils Wild, Horst Lichter

1

citations
Hamiltonian Property Testing
2026 Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Andreas Blühm, Matthias C. Caro, Aadil Oufkir

1

citations
Interaction-based integration testing of component-based software systems
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Software Testing and Debugging Techniques Open access

Nils Wild

0

citations
Combinatorial robustness testing based on error-constraints
2021 RWTH Publications (RWTH Aachen) book Computer Science Software Testing and Debugging Techniques Open access

Konrad Fögen

0

citations
A Metric Space of Spatial Graphs: Two-Sample Testing, Data Depth, and Application to Cardiac Fibrosis
2026 arXiv (Cornell University) preprint Computer Science Topological and Geometric Data Analysis Open access

Anna Calissano, Arstanbek Okenov, Katja Zeppenfeld, Alexander Panfilov

0

citations
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Javier Esparza, Vincent P. Grande

0

citations
Testing the presence of balanced and bipartite components in a sparse graph is QMA1-hard
2024 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Massimiliano Incudini, Casper Gyurik, Riccardo Molteni, Vedran Dunjko

0

citations
TopoToolbox 3, a laboratory for quantitative geomorphology
2026 preprint Computer Science Computational Physics and Python Applications Open access

William Kearney, Gina Arnau, Theophil Bringezu, Michael Dietze, Boris Gailleton, Anna-Lena Lamprecht, +5 more

1

citations
Comment on egusphere-2026-2478
2026 peer-review Computer Science Computational Physics and Python Applications Open access

William Kearney, Gina Arnau, Theophil Bringezu, Michael Dietze, Boris Gailleton, Anna-Lena Lamprecht, +5 more

0

citations
Comment on egusphere-2026-2478
2026 peer-review Computer Science Computational Physics and Python Applications Open access

William Kearney, Gina Arnau, Theophil Bringezu, Michael Dietze, Boris Gailleton, Anna-Lena Lamprecht, +5 more

0

citations
Comment on egusphere-2026-2478
2026 peer-review Computer Science Computational Physics and Python Applications Open access

William Kearney, Gina Arnau, Theophil Bringezu, Michael Dietze, Boris Gailleton, Anna-Lena Lamprecht, +5 more

0

citations
Comment on egusphere-2026-2478
2026 peer-review Computer Science Computational Physics and Python Applications Open access

William Kearney, Gina Arnau, Theophil Bringezu, Michael Dietze, Boris Gailleton, Anna-Lena Lamprecht, +5 more

0

citations
Comment on egusphere-2026-2478
2026 peer-review Computer Science Computational Physics and Python Applications Open access

William Kearney, Gina Arnau, Theophil Bringezu, Michael Dietze, Boris Gailleton, Anna-Lena Lamprecht, +5 more

0

citations
Minimax games for quantum channel discrimination
2026 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Kun Fang, Michael X. Cao, Hao-Chung Cheng, Li Gao, Masahito Hayashi

0

citations
Vertical IP Protection of the Next-Generation Devices: Quo Vadis?
2021 Design, Automation, and Test in Europe conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access

Shubham Rai, Siddharth Garg, Christian Pilato, Vladimir Herdt, Elmira Moussavi, Dominik Šišejković, +4 more

8

citations
Mixture distributions as exponential families
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Bayesian Methods and Mixture Models Open access

Zhe Su

0

citations
Sequential Outlier Detection in Nonstationary Time Series
2025 Journal of Time Series Analysis article Computer Science Anomaly Detection Techniques and Applications Open access

Florian Heinrichs, Patrick J. Bastian, Holger Dette

2

citations
Enhancing synchrotron radiation micro-CT images using deep learning: an application of Noise2Inverse on bone imaging
2025 Journal of Synchrotron Radiation article Computer Science Image and Signal Denoising Methods Open access

Yoshihiro Obata, Dilworth Y. Parkinson, Daniël M. Pelt, Claire Acevedo

4

citations
Identifying the advantageous latent space dimensionality for StyleGANs used in industrial machine vision applications
2023 conference-paper Computer Science Generative Adversarial Networks and Image Synthesis

Dominik Wolfschläger, Ruslan Yermakov, Benjamin Montavon, Benjamin Berkels, Robert H. Schmitt

1

citations
Managing Big Data for Addressing Research Questions in a Collaborative Project on Automated Driving Impact Assessment
2020 Sensors article Computer Science Research Data Management Practices Open access

Francesco Bellotti, Nisrine Osman, Eduardo H. Arnold, Sajjad Mozaffari, Satu Innamaa, Tyron Louw, +6 more

13

citations
Braking distance prediction for vehicle consist in low-speed on-sight operation: a Monte Carlo approach
2023 Railway Engineering Science article Computer Science Transportation Systems and Safety Open access

Raphael Pfaff

6

citations
Artificial General Intelligence (AGI)
2025 Underline Science Inc. other Computer Science Psychiatry, Mental Health, Neuroscience Open access

0

citations
Random Projections for Multi-Copy Quantum Algorithms
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Xiaoyu Liu, Jordi Tura, Johannes Knörzer

0

citations
MA-BBOB - Reproducibility and Additional Data
2024 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Diederick Vermetten, Furong Ye, Thomas Bäck, Carola Doerr

0

citations
silx-kit/silx: release candidate 3.0.0rc1
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

Thomas VINCENT, Valentin Valls, payno, Jerome Kieffer, V. Armando Solé, Pierre Paleo, +24 more

0

citations