From

Institution

Field

Type

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

Reset

Papers matching “verifiability” 257

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

From symbolic constraint automata to Promela
2022 Journal of Logical and Algebraic Methods in Programming article Computer Science Formal Methods in Verification Open access

Hui Juan Feng, Marcello Bonsangue, Benjamin Lion

2

citations
CityCross: Transferring Attention-based Knowledge for Location-based Advertising Recommendation
2022 Proceedings/IEEE International Conference on Mobile Data Management conference-paper Computer Science Recommender Systems and Techniques

Dazhuo Qiu, Yihao Wang, Yan Li Zhao, Liwei Deng, Kai Zheng

2

citations
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler

2

citations
Predicting Module-Lattice Reduction
2025 Lecture notes in computer science conference-paper Computer Science Cryptography and Data Security Open access

Paola de Perthuis

2

citations
Intelligent Anomaly Detection for Lane Rendering Using Transformer with Self-Supervised Pretraining and Customized Fine-Tuning
2025 Transportation Research Record Journal of the Transportation Research Board article Computer Science Anomaly Detection Techniques and Applications Open access

Yongqi Dong, Xingmin Lu, Ruohan Li, Wei Guo Song, Bart van Arem, Haneen Farah

2

citations
Deep Research: A Systematic Survey
2025 Preprints.org preprint Computer Science Topic Modeling Open access

Yiqun Chen, Haitao Li, Yougang Lyu, Run-Ze Fan, Bowen Jin, Yixuan Weng, +14 more

1

citations
Mitigating shot noise in local overlapping quantum tomography with semidefinite programming
2025 Physical Review A article Computer Science Quantum Computing Algorithms and Architecture Open access

Zherui Jerry Wang, David Dechant, Yash J. Patel, Jordi Tura

1

citations
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

1

citations
Incentivizing Contribution in DecentralizedCommunity Information Systems
2020 The Web Conference (WWW) conference-paper Computer Science Blockchain Technology Applications and Security Open access

Peter de Lange, Michał Słupczyński, Ralf Klamma

1

citations
A Virtual Testbed for the Development and Verification of Cyber-Physical Systems
2023 Winter Simulation Conference conference-paper Computer Science Modeling and Simulation Systems

Jan Reitz, David Böken, Jürgen Roßmann

1

citations
Highly Incremental: A Simple Programmatic Approach for Many Objectives
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Joost-Pieter Katoen

1

citations
Development and deployment of a biometric fingerprint lock system
2025 Journal of Information and Optimization Sciences article Computer Science Biometric Identification and Security Open access

Shalabh Kumar Mishra, Akanksha Gupta, Nishi Deepa Palo, Saurabh Singh, Charu Arora

1

citations
KnowTuning: Knowledge-aware Fine-tuning for Large Language Models
2024 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Yougang Lyu, Lingyong Yan, Shuaiqiang Wang, Haibo Shi, Dawei Yin, Pengjie Ren, +3 more

1

citations
Verifying Sampling Algorithms via Distributional Invariants
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler

1

citations
AMAIX In-Depth: A Generic Analytical Model for Deep Learning Accelerators
2022 International Journal of Parallel Programming article Computer Science Advanced Neural Network Applications Open access

Niko Zurstraßen, Lukas Jünger, Tim Kogel, Holger Keding, Rainer Leupers

1

citations
Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing
2024 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Adversarial Robustness in Machine Learning Open access

Holger H. Hoos, Jan N. van Rijn

1

citations
QUEST: QUantum-Enhanced Shared Transportation
2025 IEEE International Conference on Quantum Computing and Engineering (QCE) conference-paper Computer Science Quantum Computing Algorithms and Architecture

Chinonso Onah, Neel Misciasci, Carsten Othmer, Kristel F. L. Michielsen

1

citations
Precise Image Generation on Current Noisy Quantum Computing Devices
2023 RWTH Publications (RWTH Aachen) article Computer Science Quantum Computing Algorithms and Architecture Open access

Florian Rehm, Sofia Vallecorsa, K. Borras, Valle Varo

1

citations
Full Trust Alchemist: Reforging Attestation for Cloud-based Confidential Workloads
2025 International Middleware Conference conference-paper Computer Science Security and Verification in Computing Open access

Anna Galanou

1

citations
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

1

citations
HAGAR: Hashgraph-based Aggregated Communication and Remote Attestation
2024 ACM International Conference on Computing Frontiers: Workshops and Special Sessions (CF Companion) conference-paper Computer Science Blockchain Technology Applications and Security Open access

Jo Vliegen, Md Masoom Rabbani, Wouter Hellemans, Nele Mentens

1

citations
Methoden für die automatische Komplexitäts- und Terminierungsanalyse von (probabilistischen) Programmen und ihre Vollständigkeit
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Marcel Hark

1

citations
Reversible imprinting and retrieval of quantum information: experimental verification of the Quantum Memory Matrix hypothesis
2026 Quantum Information Processing article Computer Science Quantum Computing Algorithms and Architecture Open access

Florian Neukart, E. J. Marx, V. M. Vinokur

1

citations
Exploring Solver-Level Warmstarting for Neural Network Verification
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Annelot W. Bosman, Minghao Liu, Marta Kwiatkowska, Holger H. Hoos, Jan N. van Rijn

0

citations
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata
2020 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Elisabet Burjons, Fabian Frei, Martin Raszyk

0

citations