Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tobe Toben
Mind the Shapes: Abstraction Refinement via Topology Invariants
Related publications
Extraction of Abstraction Invariants for Data Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Solving Games via Three-Valued Abstraction Refinement
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Monotonic Abstraction-Refinement for CTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Component-Based Abstraction and Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Abstraction Refinement for Program Analyses in Datalog
Interference Analysis for Dependable Systems Using Refinement and Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mind the Map: Technology Shapes the Myeloid Cell Space
Frontiers in Immunology
Allergy
Immunology
Slow Abstraction via Priority
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
