From

Institution

Field

Type

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

Reset

Papers matching “abstraction refinement” 43

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules
2023 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Dominik Drexler, Jendrik Seipp, Héctor Geffner

6

citations
Unsupervised discretization by two-dimensional MDL-based histogram
2023 Machine Learning article Computer Science Data Mining Algorithms and Applications Open access

Lincen Yang, Mitra Baratchi, Matthijs van Leeuwen

4

citations
Logical equivalences, homomorphism indistinguishability, and forbidden minors
2024 Information and Computation article Computer Science Advanced Graph Theory Research Open access

Tim Seppelt

3

citations
Synthesizing optimal bias in randomized self-stabilization
2021 Distributed Computing article Computer Science Distributed systems and fault tolerance Open access

Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki

3

citations
Work-in-Progress: A Review of the Type, Breadth, and Limitations of Publicly Available Educational Technology Products in 2022
2024 ASEE Annual Conference & Exposition conference-paper Computer Science Educational Technology and E-Learning

Robert M. Nickel, Sarah Appelhans, R.L. Thomas, Stu Thompson, Stewart J. Thomas, Abdelghany Abouelnagga, +1 more

2

citations
CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration.
2023 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Achim Lindt, Bernhard Rumpe⋆, Max Stachon, Sebastian Stüber

2

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
Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Tim Seppelt

1

citations
DEEP LEARNING APPROACH FOR RENAL CELL CARCINOMA DETECTION, SUBTYPING, AND GRADING
2024 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science AI in cancer detection Open access

Maroof Abdul Aziz, Fatemeh Javadian, Sherin Susheel Mathew, Gopal Avinash, Johannes Stegmaier, Abin Jose

0

citations
Participatory development and mixed-methods evaluation of immersive VR training for radiation protection and nuclear safeguards – KISS
2026 Kerntechnik article Computer Science Virtual Reality Applications and Impacts Open access

John Kettler, Jonathan Dyrna, David Koslowski, Lisa Laumen, Timon Malirsch, Thomas Köhler

0

citations
Combining Borehole Seismic Data and Deep‐Learning Methods to Monitor Seismic Sequences in the Istanbul‐Marmara Region, NW Türkiye
2026 Journal of Geophysical Research Solid Earth article Computer Science Seismology and Earthquake Studies Open access

Oliver Fabisch, Marco Bohnhoff, Patricia Martínez‐Garzón

0

citations
Embodiment of a functionally altered virtual arm in adults and children
2025 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Virtual Reality Applications and Impacts Open access

Leif Johannsen, Simon Thurlbeck, Marco Fyfe Pietro Gillies, Xueni Pan, Dorothy A. Cowie

0

citations
Leveraging LLM Embeddings for Ontology Scope Optimisation and Reuse in Construction Transportation Data Integration to Enhance Construction Logistics
2026 IOP Conference Series Earth and Environmental Science conference-paper Computer Science Semantic Web and Ontologies Open access

Jyrki Oraskari, Jan Luca Fahrendholz, Sigrid Brell-Cokcan

0

citations
Embodiment of a functionally altered virtual arm in adults and children
2026 Cognition article Computer Science Virtual Reality Applications and Impacts Open access

Leif Johannsen, Yuke Pi, Simon Thurlbeck, Marco Fyfe Pietro Gillies, Xueni Pan, Dorothy A. Cowie

0

citations
Colour Extraction Pipeline for Odonates
2026 Zenodo (CERN European Organization for Nuclear Research) other Computer Science Advanced Neural Network Applications Open access

Megan Mirnalini Sundaram Rajaraman, Fons J. Verbeek, Vincent J. Kalkman, Rita Pucci

0

citations
Colour Extraction Pipeline for Odonates
2026 Zenodo (CERN European Organization for Nuclear Research) other Computer Science Advanced Neural Network Applications Open access

Megan Mirnalini Sundaram Rajaraman, Fons J. Verbeek, Vincent J. Kalkman, Rita Pucci

0

citations
Strong Converse Exponent of Channel Interconversion
2026 Annales Henri Poincaré article Computer Science Quantum Information and Cryptography Open access

Aadil Oufkir, Yongsheng Yao, Mario Berta

0

citations
DQS: a low-budget query strategy for enhancing unsupervised data-driven anomaly detection approaches
2026 Journal Of Big Data article Computer Science Anomaly Detection Techniques and Applications Open access

Lucas Correia, Jan-Christoph Goos, Thomas Bäck, Anna V. Kononova

0

citations