Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kasper Svendsen
Modular Reasoning About Separation of Concurrent Data Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Transfinite Step-Indexing: Decoupling Concrete and Logical Steps
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Leveraging Weighted Automata in Compositional Reasoning About Concurrent Probabilistic Systems
ACM SIGPLAN Notices
Computer Science
Methods for Reasoning From Geometry About Anatomic Structures Injured by Penetrating Trauma
Journal of Biomedical Informatics
Computer Science Applications
Health Informatics
Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources
SSRN Electronic Journal
Modular Reasoning for Actor Specification Diagrams
Aspect-Oriented Programming and Modular Reasoning
Reasoning About Justified Belief
Causal Reasoning About Quantities
