( en | de | ru )

 

Disambiguation of "Dragoi, Cezara"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.

, , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 174-190. Springer, (2013)

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.

Anca Dragoi

Laura Dragoi

Vlad Dragoi

Martina-Cezara Albutiu

Cristina-Iuliana Dragoi

 

Other publications of authors with the same name

On Compiling Structured Interactive Programs with Registers and Voices., and . SOFSEM, volume 4910 of Lecture Notes in Computer Science, page 259-270. Springer, (2008)Testing consensus implementations using communication closure., , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 210:1-210:29 (2020)A Sequentialization Procedure for Fault-Tolerant Protocols., and . VSTTE, volume 13800 of Lecture Notes in Computer Science, page 52-71. Springer, (2022)Shape Analysis., , , , and . Found. Trends Program. Lang., 6 (1-2): 1-158 (2020)On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections., and . Int. J. Found. Comput. Sci., 19 (5): 1113-1132 (2008)A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices, and . CoRR, (2008)Communication-Closed Asynchronous Protocols., , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 344-363. Springer, (2019)AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System., and . FInCo@ETAPS, volume 203 of Electronic Notes in Theoretical Computer Science, page 69-94. Elsevier, (2007)Reducing asynchrony to synchronized rounds., and . CoRR, (2018)A Logic-Based Framework for Verifying Consensus Algorithms., , , , and . VMCAI, volume 8318 of Lecture Notes in Computer Science, page 161-181. Springer, (2014)