From

Institution

Field

Type

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

Reset

Papers matching “verifiability” 1,607

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

PROVE: Provable remote attestation for public verifiability
2023 Journal of Information Security and Applications article Computer Science Security and Verification in Computing Open access cited by 1 patent

Edlira Dushku, Md Masoom Rabbani, Jo Vliegen, An Braeken, Nele Mentens

10

citations
Efficient Compiler to Covert Security with Public Verifiability for Honest Majority MPC
2022 Lecture notes in computer science conference-paper Computer Science Cryptography and Data Security Open access

Thomas Attema, Vincent Dunning, Maarten H. Everts, Peter Langenkamp

5

citations
A Minimal Information Set To Enable Verifiable Theoretical Battery Research
2021 ACS Energy Letters other Engineering Advancements in Battery Materials Open access

Aashutosh N. Mistry, Ankit Verma, Shashank Sripad, Rebecca E. Ciez, Valentin Sulzer, Ferran Brosa Planella, +23 more

30

citations
Secure End-to-End Sensing in Supply Chains
2020 IEEE Conference on Communications and Network Security conference-paper Computer Science Blockchain Technology Applications and Security

Jan Pennekamp, Fritz Alder, Roman Matzutt, Jan Tobias Mühlberg, Frank Piessens, Klaus Wehrle

20

citations
Evaluation of Attribution Bias in Generator-Aware Retrieval-Augmented Large Language Models
2025 conference-paper Computer Science Topic Modeling Open access

Amin Abolghasemi, Leif A. Azzopardi, Seyyed Hadi Hashemi, Maarten de Rijke, Suzan Verberne

2

citations
Evaluation of Attribution Bias in Generator-Aware Retrieval-Augmented Large Language Models
2024 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Amin Abolghasemi, Leif A. Azzopardi, Seyyed Hadi Hashemi, Maarten de Rijke, Suzan Verberne

0

citations
Blockchain Technology Accelerating Industry 4.0
2023 Advances in information security book-chapter Computer Science Blockchain Technology Applications and Security

Jan Pennekamp, Lennart Bader, Eric Wagner, Jens Hiller, Roman Matzutt, Klaus Wehrle

1

citations
Effects of Label Noise on Deep Learning-Based Skin Cancer Classification
2020 Frontiers in Medicine article Medicine Cutaneous Melanoma Detection and Management Open access

Achim Hekler, Jakob Nikolas Kather, Eva Krieghoff‐Henning, Jochen Sven Utikal, Friedegund Elke Meier, Frank Friedrich Gellrich, +18 more

62

citations
Eplet Mismatch Load and De Novo Occurrence of Donor-Specific Anti-HLA Antibodies, Rejection, and Graft Failure after Kidney Transplantation: An Observational Cohort Study
2020 Journal of the American Society of Nephrology article Medicine Renal Transplantation Outcomes and Treatments Open access

Aleksandar Senev, Maarten Coemans, Evelyne Lerut, Vicky S. T. Van Sandt, Johan Kerkhofs, Liesbeth Daniëls, +11 more

199

citations
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Grani A. Hanasusanto, Huan Zhang

3

citations
The Right to Rectification and Inferred Personal Data
2025 SSRN Electronic Journal preprint Social Sciences Digitalization, Law, and Regulation Open access

Andreas Häuselmann, Bart H. M. Custers

2

citations
Evaluation of the Online-Presence of ABA-Verified Burn Centers
2020 Journal of Burn Care & Research article Health Professions Health Literacy and Information Accessibility

Christian Tapking, Daniel Popp, Gabriel Hundeshagen, Khosrow Siamak Houschyar, Valentin Haug, Alexis L. Boson, +2 more

2

citations
781 Evaluation of the online-presence of ABA-verified burn centers
2020 Journal of Burn Care & Research article Social Sciences Social Media in Health Education

Ludwik K. Branski, Christian Tapking, Gabriel Hundeshagen, Daniel Popp, Khosrow Siamak Houschyar, Valentin Haug, +2 more

0

citations
A Comprehensive Evaluation of the Antibody-Verified Status of Eplets Listed in the HLA Epitope Registry
2022 Frontiers in Immunology article Medicine Renal Transplantation Outcomes and Treatments Open access cited by 3 patents

Suzanne Bezstarosti, Kim H. Bakker, Cynthia S. M. Kramer, Johan Willem de Fijter, Marlies E. J. Reinders, Arend Mulder, +2 more

61

citations
Provably Bounding Neural Network Preimages
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy

6

citations
Analog Feedback-Controlled Memristor programming Circuit for analog Content Addressable Memory
2023 arXiv (Cornell University) preprint Engineering Advanced Memory and Neural Computing Open access

Paul-Philipp Manea, Sara Ameli, Mohammad Hizzani, Amro Eldebiky, John Paul Strachan

0

citations
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

0

citations
Low Impedance-Guaranteed Gain-Scheduled GESO for Torque-Controlled VSA With Application of Exoskeleton-Assisted Sit-to-Stand
2020 IEEE/ASME Transactions on Mechatronics article Engineering Control Systems in Engineering

Lin Liu, Zejun Hong, Bernhard Penzlin, Berno J.E. Misgeld, Chuong Ngo, Lukas Bergmann, +1 more

33

citations
Latticed k-Induction with an Application to Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer

21

citations
Methanol fuelling of a spark-ignition engine: Experiments and 0D/1D predictive modelling for combustion, performance, and emissions
2025 Fuel article Chemical Engineering Advanced Combustion Engine Technologies Open access

Stefania Esposito, Enrica Malfi, Massimiliano De Felice, Dominik Golc, Joachim Beeckmann, Heinz G. Pitsch, +1 more

21

citations
Rusfertide or placebo plus current standard-of-care therapy for polycythemia vera: Durability of response and safety results through week 52 from the randomized controlled phase 3 VERIFY study
2025 Blood conference-abstract Medicine Myeloproliferative Neoplasms: Diagnosis and Treatment Open access

Andrew Tucker Kuykendall, Aniket Bankar, Kristen Marie Pettit, Joseph James Shatzel, Alessandro Lucchesi, Valentín García‐Gutiérrez, +20 more

5

citations
Foetal Microchimerism Correlates With Foetal‐Maternal Histocompatibility Both During Pregnancy and Postpartum
2024 HLA article Immunology and Microbiology Reproductive System and Pregnancy Open access

Anne Cathrine Staff, Heidi E. Fjeldstad, Maria Belland Olsen, Jonas Øgaard, Marte Kathrine Viken, Cynthia S. M. Kramer, +6 more

3

citations
Fehlererkennung und Isolierung in Gleichstrom-Verteilnetzen
2021 RWTH Publications (RWTH Aachen) book Engineering Power Systems Fault Detection Open access

Ting Wang

2

citations
Control Layer Based Control Algorithms
2022 Zenodo (CERN European Organization for Nuclear Research) article Engineering Advanced DC-DC Converters Open access

Tim Karsten, Jingxin Hu

0

citations
Sequence-specific synthesis and application of covalent DNA-protein and DNA-oligonucleotide conjugates
2020 RWTH Publications (RWTH Aachen) dissertation Biochemistry, Genetics and Molecular Biology DNA and Nucleic Acid Chemistry Open access

Miriam Rauser

0

citations