From

Institution

Field

Type

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

Reset

Papers matching “verifiability” 1,612

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Data and code for "Uncertainty-aware LiDAR-camera robotic inspection for roadside ditch cross-section and obstruction quantification"
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Infrastructure Maintenance and Monitoring Open access

Rohan Krishna Balaji

0

citations
Data and code for "Uncertainty-aware LiDAR-camera robotic inspection for roadside ditch cross-section and obstruction quantification"
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Infrastructure Maintenance and Monitoring Open access

Rohan Krishna Balaji

0

citations
MM-OptBench: A Solver-Grounded Benchmark for Multimodal Optimization Modeling
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Zhong Li, Qi Huang, Yuxuan Zhu, Mohammad Mohammadi Amiri, Bas van Stein, Thomas Bäck, +3 more

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
Monitoring in a 47 mT Halbach Low-Field MRI Scanner - Hardware/Software
2026 Zenodo (CERN European Organization for Nuclear Research) software Engineering Magnetic Field Sensors Techniques Open access

Marcel Ochsendorf

0

citations
IoC3D: A Multi-Scenario 3D Point Cloud Dataset for Semantic Target Extraction and Construction Progress Monitoring via Scan-to-BIM Verification
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering BIM and Construction Integration Open access

Jan Luca Fahrendholz, Peter R. Wildemann, Lukas Kirner, Marit Zöcklein, Sigrid Brell‐Çokcan, Construction Robotics GmbH, +1 more

0

citations
Monitoring in a 47 mT Halbach Low-Field MRI Scanner - Hardware/Software
2026 Zenodo (CERN European Organization for Nuclear Research) software Engineering Magnetic Field Sensors Techniques Open access

Marcel Ochsendorf

0

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
Construction and validation of a bladder cancer risk model based on autophagy related genes
2022 Research Square preprint Medicine Bladder and Urothelial Cancer Treatments Open access

Chong Shen, Yan Yan, Shaobo Yang, Zejin Wang, Zhouliang Wu, Zhi Li, +4 more

0

citations
Data and code for "Uncertainty-aware LiDAR-camera robotic inspection for roadside ditch cross-section and obstruction quantification"
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Infrastructure Maintenance and Monitoring Open access

Rohan Krishna Balaji

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Formal Verification of Quantum Ancilla Safety
2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jiqi Li, Jingyi Mei, Wang Sheng Fang, Ji Guan

0

citations
KiDS-1000 catalogue: Weak gravitational lensing shear measurements
2020 Astronomy and Astrophysics article Physics and Astronomy Cosmology and Gravitation Theories Open access

Catherine Heymans, Marika Asgari, Hendrik Hildebrandt, Konrad H. Kuijken, Tilman Tröster, Jan Luca van den Busch, +5 more

160

citations
KiDS-1000 catalogue: Weak gravitational lensing shear measurements
2020 Springer Link (Chiba Institute of Technology) article Physics and Astronomy Cosmology and Gravitation Theories Open access

Benjamin Giblin, Catherine Heymans, Marika Asgari, Hendrik Hildebrandt, Henk Hoekstra, Benjamin Joachimi, +17 more

127

citations
The Dutch Institute for Clinical Auditing
2020 Annals of Surgery article Health Professions Healthcare Quality and Management Open access

Naomi Beck, Annelotte CM van Bommel, Eric Hans Eddes, Nicoline J. van Leersum, Rob A.�E.�M. Tollenaar, Michel W.J.M. Wouters

96

citations
Status and Trends in the Rate of Introduction of Marine Non-Indigenous Species in European Seas
2022 Diversity article Environmental Science Marine Ecology and Invasive Species Open access

Argyro Zenetos, Konstantinos Tsiamis, Marika Galanidi, Natacha Carvalho, Cátia Bartilotti, João Canning‐Clode, +29 more

88

citations
Optimized microplastic analysis based on size fractionation, density separation and μ-FTIR
2020 Water Science & Technology article Environmental Science Microplastics and Plastic Pollution Open access

Olga Konechnaya, Sabine Lüchtrath, Larissa Dsikowitzky, Jan Schwarzbauer

67

citations
The application of machine learning-based energy management strategy in a multi-mode plug-in hybrid electric vehicle, part II: Deep deterministic policy gradient algorithm design for electric mode
2023 Energy article Engineering Electric and Hybrid Vehicle Technologies Open access

Jiageng Ruan, Changcheng Wu, Zhaowen Liang, Kai Liu, Bin Li, Weihan Li, +1 more

56

citations
Boron in Ni-Rich NCM811 Cathode Material: Impact on Atomic and Microscale Properties
2021 ACS Applied Energy Materials article Engineering Advancements in Battery Materials

Christoph Roitzheim, Liang‐Yin Kuo, Yoo Jung Sohn, Martin Finsterbusch, Søren Pape Møller, Doris Sebold, +7 more

54

citations
Influence of the anode overhang on the open-circuit voltage and the ageing of lithium-ion batteries—A model based study
2022 Applied Energy article Engineering Advanced Battery Technologies Research Open access

Felix Emil Arthur Hildenbrand, Dominik Ditscheid, Elias Barbers, Dirk Uwe Sauer

39

citations
Generation and reactivity analysis of human recombinant monoclonal antibodies directed against epitopes on HLA-DR
2020 American Journal of Transplantation article Medicine Renal Transplantation Outcomes and Treatments Open access

Cynthia S. M. Kramer, Marry E.I. Franke‐van Dijk, Kim H. Bakker, Merve Uyar‐Mercankaya, Gonca E. Karahan, Dave L. Roelen, +2 more

32

citations
Study on Damage Statistical Constitutive Model of Triaxial Compression of Acid-Etched Rock under Coupling Effect of Temperature and Confining Pressure
2021 Materials article Engineering Rock Mechanics and Modeling Open access

Youliang Chen, Xi Du, Suran Wang, Zhoulin Wang, Rafig Azzam

27

citations
ANISMA: A Prototyping Toolkit to Explore Haptic Skin Deformation Applications Using Shape-Memory Alloys
2022 ACM Transactions on Computer-Human Interaction article Neuroscience Tactile and Sensory Interactions

Moritz Alexander Messerschmidt, Sachith Muthukumarana, Nur Al-huda Hamdan, Adrian Wagner, Haimo Zhang, Jan Borchers, +1 more

27

citations
Robust self-testing of steerable quantum assemblages and its applications on device-independent quantum certification
2021 Quantum article Computer Science Quantum Information and Cryptography Open access

Shin-Liang Chen, Huan-Yu Ku, Wenbin Zhou, Jordi Tura, Yueh-Nan Chen

26

citations
Specific Emitter Identification Based on Radio Frequency Fingerprint Using Multi-Scale Network
2022 IEEE Vehicular Technology Conference conference-paper Computer Science Wireless Signal Modulation Classification

Yibin Zhang, Yang Peng, Bamidele Adebisi, Guan Gui, Haris Gacanin, Hikmet Sari

25

citations