From

Institution

Field

Type

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

Reset

Papers matching “verifiability” 1,623

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Production of linear alkanes via the solid-state hydrogenation of interstellar polyynes
2024 Astronomy and Astrophysics article Physics and Astronomy Astrophysics and Star Formation Studies Open access

G. Fedoseev, G. A. Baratta, Maria Elisabetta Palumbo, K.-J. Chuang

6

citations
SYMBA: An end-to-end VLBI synthetic data generation pipeline
2020 University of Southern Denmark Research Portal (University of Southern Denmark) article Physics and Astronomy Radio Astronomy Observations and Technology Open access

Freek Roelofs, Michaël Janssen, Iniyan Natarajan, Roger P Deane, Jordy Davelaar, Héctor Olivares, +94 more

5

citations
Autoencoder-enabled model portability for reducing hyperparameter tuning efforts in side-channel analysis
2023 Journal of Cryptographic Engineering article Computer Science Cryptographic Implementations and Security Open access

Marina Krček, Guilherme Perin

5

citations
Pharmacological Probes to Validate Biomarkers for Analgesic Drug Development
2022 International Journal of Molecular Sciences article Medicine Pain Mechanisms and Treatments Open access

Petra Bloms‐Funke, Ombretta Caspani, Jose Maria Cendros, Luis Garcı́a-Larrea, Andrea Truini, Irene Tracey, +7 more

4

citations
Acute retigabine‐induced effects on myelinated motor axons in amyotrophic lateral sclerosis
2022 Pharmacology Research & Perspectives article Medicine Amyotrophic Lateral Sclerosis Research Open access

Boudewijn T.H.M. Sleutjes, Diederik J. L. Stikvoort García, Maria O. Kovalchuk, Jules A. A. C. Heuberger, Geert Jan Groeneveld, Hessel Franssen, +1 more

4

citations
Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework Based on Behavior Trees
2024 conference-paper Engineering Underwater Vehicles and Communication Systems Open access

Martin Aubard, Sergio Quijano, Olaya Álvarez-Tuñón, László Antal, María João Costa, Yury Brodskiy

3

citations
Bit slicing approaches for variability aware ReRAM CIM macros
2023 it - Information Technology article Engineering Advanced Memory and Neural Computing Open access

Christopher Bengel, Leon Dixius, Rainer M. Waser, Dirk J. Wouters, Stephan Menzel

3

citations
Robustness Distributions in Neural Network Verification
2025 Journal of Artificial Intelligence Research article Computer Science Adversarial Robustness in Machine Learning Open access

Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn

3

citations
Towards verifiable Benchmarks for Reinforcement Learning
2022 IEEE Conference on Games (CoG) conference-paper Computer Science Reinforcement Learning in Robotics

Matthias Müller-Brockhausen, Aske Plaat, Mike Preuß

3

citations
Ternary Łukasiewicz logic using memristive devices
2023 Neuromorphic Computing and Engineering article Engineering Advanced Memory and Neural Computing Open access

Christopher Bengel, Feng Liu, Ziang Chen, Xianyue Zhao, Rainer M. Waser, Heidemarie Schmidt, +2 more

3

citations
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
2025 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Ming Xu, Jingyi Mei, Ji Guan, Yuxin Deng, Nengkun Yu

3

citations
VERIFY: A Phase III Trial of Rusfertide Versus Placebo in Phlebotomy-Dependent Patients With Polycythemia Vera Receiving Standard-of-Care Therapy
2026 Journal of Clinical Oncology article Medicine Myeloproliferative Neoplasms: Diagnosis and Treatment

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

2

citations
Design of Easily Removable Lattice-Based Support Structures for L-Pbf
2021 Preprints.org preprint Engineering Additive Manufacturing Materials and Processes Open access

Zarei Omid, Geisen Ole, Jitendra Gaurav, Ziegler Stephan, Henrich Johannes

2

citations
Controller verification meets controller code
2021 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) conference-paper Computer Science Formal Methods in Verification

Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám

2

citations
A reliable DNA barcode reference library for the identification of benthic invertebrates: essential for biomonitoring of the North Sea
2021 ARPHA Conference Abstracts conference-paper Environmental Science Environmental DNA in Biodiversity Studies Open access

Magdalini Christodoulou, Berry van der Hoorn, Laure Van den Bulcke, Sofie Derycke, Annelies De Backer, Ingrid Kröncke, +1 more

2

citations
Testing the Pointing of IceCube Using the Moon Shadow in Cosmic-Ray-Induced Muons
2021 International Cosmic Ray Conference conference-paper Physics and Astronomy Astrophysics and Cosmic Phenomena Open access

Saskia Philippen, M. Ackermann, Jenni Adams, Juanan Aguilar, M. Ahlers, Maryon Ahrens, +93 more

2

citations
Formalizing the One-Way to Hiding Theorem
2025 ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) conference-paper Computer Science Quantum Information and Cryptography Open access

Dominique Unruh

1

citations
Methodical and Formally Verified Model-Driven Architecture Refactoring.
2025 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Lars Fischer, Hendrik Kausch, Bernhard Rumpe⋆, Max Stachon, Sebastian Stüber, Lucas Wollenhaupt

1

citations
Experimental and damage theory study on the macro and micro mechanical behaviours of rock at acidic environment
2025 European Journal of Environmental and Civil engineering article Engineering Rock Mechanics and Modeling

Peng Xiao, Youliang Chen, Tomás Manuel Fernández-Steeger

1

citations
Geometrically nonlinear modeling of smart aircraft wing with application of disturbance rejection control
2025 Mechanics of Advanced Materials and Structures article Engineering Aeroelasticity and Vibration Control

Yicheng Sun, Min Chen, Songyun Ma, Shunqi Zhang

1

citations
Evaluation of Ion Chromatography Methods for Bromate Determination in Wastewaters
2026 Journal of Chromatography A article Environmental Science Water Treatment and Disinfection Open access

Carlotta L. E. D. Wilke, Reiner Gschwendtner, Volker Linnemann

1

citations
Control and Fault Monitoring of Modular Dual Active Bridge Converters
2021 European Conference on Power Electronics and Applications conference-paper Engineering Advanced DC-DC Converters

Samar Aidrus, Philipp Joebges, Rik W. De Doncker

1

citations
Verifying Belief-Based Programs via Symbolic Dynamic Programming
2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer

1

citations
GHGSat plume dataset for article "Global satellite survey reveals uncertainty in landfill methane emissions"
2025 Zenodo (CERN European Organization for Nuclear Research) dataset Environmental Science Atmospheric and Environmental Gas Dynamics Open access

Matthieu Dogniaux

1

citations
Spatial polarization modulators: distinguishing diffraction effects from spatial polarization modulation
2021 Leiden Repository (Leiden University) conference-paper Engineering Optical Polarization and Ellipsometry

Willeke Mulder, David S. Doelman, Christoph U. Keller, Lucas Patty, Frans Snik

1

citations