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.

Augmented Reality-Based Surgery on the Human Cadaver Using a New Generation of Optical Head-Mounted Displays: Development and Feasibility Study (Preprint)
2021 preprint Computer Science Augmented Reality Applications

Behrus Puladi, Mark Ooms, Martin Bellgardt, Mark Cesov, Myriam Lipprandt, Stefan Raith, +6 more

0

citations
A Design Flow and EDA-Tool for an Automated Implementation of ASIC Configuration Interfaces
2022 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design conference-paper Computer Science Embedded Systems Design Techniques

Johannes Bastl, Jonas Meier, Ralf Wunderlich, Stefan J. Heinen

0

citations
Scaffolding decentralized community information systems for lifelong learning communities
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Blockchain Technology in Education and Learning Open access

Peter de Lange

0

citations
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata
2021 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science semigroups and automata theory

Elisabet Burjons, Fabian Frei, Martin Raszyk

0

citations
MaDiTraCe: D3.2 Reference architecture Model
2024 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Blockchain Technology Applications and Security Open access

Rouwaida Abdallah, Ioan-Robert Istrate, Oscar Ansotegui Adarve, García García Ruben, García Recuerdo Alvaro, Doruk Şahinel, +8 more

0

citations
Reinforced Efficient Reasoning via Semantically Diverse Exploration
2026 Underline Science Inc. other Computer Science Reinforcement Learning in Robotics Open access

Association for Computational Linguistics 2026, Z Y Chen, Xuri Ge, Xinyu Ma, Zhaochun Ren, Daiting Shi, +7 more

0

citations
Modular Optimization Framework for Mixed Expensive and Inexpensive Real-World Problems
2024 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Roy de Winter, Thomas Bäck, Bas van Stein

0

citations
Automatic Modulation Classification Method for Multiple Antenna System Based on Convolutional Neural Network
2020 preprint Computer Science Wireless Signal Modulation Classification Open access

Juan Wang, Yu Wang, Wenmei Li, Fumiyuki Adachi, Haris Gacanin

0

citations
Mitigating shot noise in local overlapping quantum tomography with semidefinite programming
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

David Dechant, Yash J. Patel, Jordi Tura

0

citations
Towards experimental demonstration of quantum position verification using single photons
2025 Quantum Computing, Communication, and Simulation conference-abstract Computer Science Quantum Information and Cryptography

W. Löffler, Kirsten N. Kanneworff, Petr Steindl, Mio Poortvliet, Rene Allerstorfer, Philip Verduyn Lunel, +2 more

0

citations
StacKAT: Infinite State Network Verification
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Jules Jacobs, Nate Foster, Tobias Kappé, Dexter C. Kozen, Lily Saada, Alexandra Silva, +1 more

0

citations
Universality and kernel-adaptive training for classically trained, quantum-deployed generative models
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Andrii Kurkin, Susanne Pielawa, Hao Wang, Vedran Dunjko

0

citations
Adversarial Instance Generation and Robust Training for Neural Combinatorial Optimization with Multiple Objectives
2026 arXiv (Cornell University) preprint Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Wei Liu, Yaoxin Wu, Yingqian Zhang, Thomas Bäck, Yingjie Fan

0

citations
1124 - Center-Outward $q$-Dominance: A Sample-Computable Proxy for Strong Stochastic Dominance in Stochastic Multi-Objective Optimisation
2026 Underline Science Inc. other Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Association for Artificial Intelligence 2026, Thomas Baeck, Yingjie Fan, Robin van der Laag, Hao Wang

0

citations
Center-Outward q-Dominance: A Sample-Computable Proxy for Strong Stochastic Dominance in Stochastic Multi-Objective Optimisation
2026 Underline Science Inc. other Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Association for Artificial Intelligence 2026, Thomas Baeck, Yingjie Fan, Robin van der Laag, Hao Wang

0

citations
Generative Retrieval as Multi-Vector Dense Retrieval
2024 arXiv (Cornell University) preprint Computer Science Information Retrieval and Search Behavior Open access

Shiguang Wu, Wenda Wei, Mengqi Zhang, Zhumin Chen, Jun Ma, Zhaochun Ren, +2 more

0

citations
Caiba: Multicast Source Authentication for CAN Through Reactive Bit Flipping
2025 IEEE European Symposium on Security and Privacy conference-paper Computer Science Security and Verification in Computing Open access

Eric Wagner, Frederik Basels, Jan Bauer, Klaus Wehrle, Martin Henze

0

citations
Learning Lifted STRIPS Models from Action Traces alone: A Simple, General, and Scalable Solution
2025 Proceedings of the International Conference on Automated Planning and Scheduling conference-paper Computer Science AI-based Problem Solving and Planning Open access

Jonas Gösgens, Héctor Geffner

0

citations
Methodik zur Modularisierung und Komposition von Datenmodellen in der agilen Softwareentwicklung
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Model-Driven Software Engineering Techniques Open access

Achim Lindt

0

citations
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Joost-Pieter Katoen

0

citations
From Language Models to Control Policies: Search, Selection, and Verification
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Nima Hamidi Siboni, Seyedreza Kiamousavi, Vahid Rostami, Emad Scharifi

0

citations
Computer Vision for Autonomous Drill Jumbos: Detecting Non-Drillable Areas of a Mine Face
2026 Sensors article Computer Science Advanced Neural Network Applications Open access

Moritz Rösgen, Adam Pekarski, Elisabeth Clausen

0

citations
A framework for symmetric self-intersecting surfaces
2026 Graphical Models article Computer Science Computational Geometry and Mesh Generation Open access

Christian Amend, Tom Goertzen

0

citations
Integrating KoAT’s push-button probabilistic cost analysis into Caesar
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Mats Eblenkamp

0

citations
Fault-tolerant $|\sqrt{ \mathrm{T} }\rangle$ state preparation and injection for more efficient fine-grained quantum circuit synthesis
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Berat Yenilen, Markus Michael Müller, Manuel Rispler

0

citations