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.

Reinforcement Learning Agent for Multi-Objective Online Process Parameter Optimization of Manufacturing Processes
2025 Applied Sciences article Computer Science Advanced Multi-Objective Optimization Algorithms Open access cited by 1 patent

Akshay Paranjape, Nahid Quader, Lars Uhlmann, Benjamin Berkels, Dominik Wolfschläger, Robert Heinrich Schmitt, +1 more

4

citations
On Language Model Integration for RNN Transducer based Speech Recognition
2021 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Wei Guo Zhou, Zuoyun Zheng, Ralf Schlüter, Hermann Ney

4

citations
Synthesizing and optimizing FDIR recovery strategies from fault trees
2020 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll

4

citations
Genetic Insights into the Economic Toll of Cell Line Misidentification: A Comprehensive Review
2026 Medical Sciences review Computer Science Research Data Management Practices Open access

Ralf Weiskirchen

4

citations
Mango-IO: I/O Metrics Consistency Analysis
2023 IEEE International Conference on Cluster Computing Workshops (CLUSTER Workshops) conference-paper Computer Science Parallel Computing and Optimization Techniques

Radita Liem, Sebastian Oeste, Jay Lofstead, Julian Martin Kunkel

4

citations
A Dual-Competition-Based Particle Swarm Optimizer for Large-Scale Optimization
2024 Mathematics article Computer Science Metaheuristic Optimization Algorithms Research Open access

Xianjie Peng, Weian Guo, Dongyang Li

4

citations
Using internal standards in time-resolved X-ray micro-computed tomography to quantify grain-scale developments in solid-state mineral reactions
2024 Solid Earth article Computer Science Medical Image Segmentation Techniques Open access

Roberto Emanuele Rizzo, Damien Freitas, James Gilgannon, Sohan Seth, Ian B. Butler, Gina McGill, +1 more

4

citations
The Optimal Quantum of Temporal Decoupling
2024 Asia and South Pacific Design Automation Conference (ASP-DAC) conference-paper Computer Science Embedded Systems Design Techniques

Niko Zurstraßen, Ruben Brandhofer, José Cubero-Cascante, Nils Bosbach, Lukas Jünger, Rainer Leupers

4

citations
Automatic Modulation Recognition Method for Multiple Antenna System Based on Convolutional Neural Network
2020 IEEE Vehicular Technology Conference conference-paper Computer Science Wireless Signal Modulation Classification

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

3

citations
Diagnostic and Prognostic DNA-Karyometry for Cancer Diagnostics
2021 Journal of cancer research updates article Computer Science AI in cancer detection Open access

Alfred Böcking, David A. Friedrich, Branko Palcic, Dietrich Meyer-Ebrech, Chen Jin

3

citations
Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking
2021 conference-paper Computer Science Formal Methods in Verification

Maximilian Kloock, Qingyun He, Stefan Kowalewski, Bassam Alrifaee

3

citations
Robot Swarms as Hybrid Systems: Modelling and Verification
2022 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Taccella

3

citations
A Case for Data-Driven Agile Transformations: Can Longitudinal Backlog Data Help Guide Organizational Improvement Journeys?
2022 Lecture notes in business information processing conference-paper Computer Science Software Engineering Techniques and Practices Open access

Gijsbert C. Boon, Christoph Johann Stettina

3

citations
Simulation of Hybrid Reo Connectors
2020 conference-paper Computer Science Formal Methods in Verification

Ebrahim Ardeshir-Larijani, Alireza Farhadi, Farhad Arbab

3

citations
Variables and Variable Naming in Popular Programming Textbooks for Children and Novices
2024 conference-paper Computer Science Teaching and Learning Programming Open access

Vivian van der Werf, Felienne Hermans, Marcus M. Specht, Efthimia Aivaloglou

3

citations
Scaling relations for auxin waves
2022 Journal of Mathematical Biology article Computer Science Nonlinear Dynamics and Pattern Formation Open access

Bente Hilde Bakker, Timothy E. Faver, Hermen Jan Hupkes, Roeland M. H. Merks, Jelle van der Voort

3

citations
CF-GKAT: Efficient Validation of Control-Flow Transformations
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus

3

citations
VQA-BC: Robust Visual Question Answering Via Bidirectional Chaining
2022 IEEE International Conference on Acoustics Speech and Signal Processing conference-paper Computer Science Multimodal Machine Learning Applications

Mingrui Lao, Yanming Guo, Wei Chen, Nan Pu, Michael S. Lew

3

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
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
Advancing Real-Time Sensor-Based Quality Monitoring in Construction and Demolition Waste Processing for the Prediction of Weight-Based Particle Size Distributions
2026 Recycling article Computer Science Advanced Neural Network Applications Open access

Lieve Josephina Leonie Göbbels, Karoline Raulf, Setenay Orbatu, Kathrin Greiff

2

citations
Structural Analysis of GRAFCET Control Specifications
2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Petri Nets in System Modeling

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

2

citations
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern
2023 at - Automatisierungstechnik article Computer Science Model-Driven Software Engineering Techniques

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

2

citations
On the Verification of Belief Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

2

citations