From

Institution

Field

Type

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

Reset

Papers matching “abstraction refinement” 6

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

0

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

1

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

0

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
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

6 results