Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tayfun Elmas
Simplifying Linearizability Proofs With Reduction and Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Aspect-Oriented Linearizability Proofs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Simplifying Process Model Abstraction: Techniques for Generating Model Names
Information Systems
Hardware
Information Systems
Architecture
Software
Linearizability With Ownership Transfer
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Tools for Simplifying Proofs of Properties of Timed Automata: The TAME Template, Theories, and Strategies.
Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
TSO-to-TSO Linearizability Is Undecidable
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Fluoride Abstraction and Reversible Photochemical Reduction of Cationic Uranyl(VI) Phosphine Oxide Complexes
Verifying Computations With Streaming Interactive Proofs
Proceedings of the VLDB Endowment
Computer Science
Simplifying Infusion Calculations
BMJ
