PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Enea, Constantin"

Author of the publication

copydeleteadd this publication to your clipboard
Proving linearizability using forward simulations.

, , , and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Constantin Buyer University of Stuttgart

Enea Tosadori University of Stuttgart

Constantin Frey University of Stuttgart

Constantin Traub University of Stuttgart

Constantin Ruhdorfer University of Stuttgart

 

Other publications of authors with the same name

Abstractions of data types., and . Acta Inf., 42 (8-9): 639-671 (2006)Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics, , and . CoRR, (2012)Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics., , and . CoRR, (2013)Abstractions of Multi-agent Systems., and . CEEMAS, volume 4696 of Lecture Notes in Computer Science, page 11-21. Springer, (2007)On Reducing Linearizability to State Reachability., , , and . ICALP (2), volume 9135 of Lecture Notes in Computer Science, page 95-107. Springer, (2015)Verifying Concurrent Programs against Sequential Specifications., , , and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 290-309. Springer, (2013)Checking Causal Consistency of Distributed Databases., , , , and . NETYS, volume 11704 of Lecture Notes in Computer Science, page 35-51. Springer, (2019)Decidability and Complexity Results for Security Protocols., , and . VISSAS, volume 1 of NATO Security through Science Series D: Information and Communication Security, page 185-211. IOS Press, (2005)Proving highly-concurrent traversals correct., , , , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 128:1-128:29 (2020)An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking., , and . Journal of Applied Non-Classical Logics, 21 (1): 93-131 (2011)