Cezara Dragoi
发表
Josef Widder,
Cezara Dragoi,
Josef Widder,
2018,
ArXiv.
Victor Mitrana,
Florin Manea,
Cezara Dragoi,
2007,
J. Univers. Comput. Sci..
Thomas A. Henzinger,
Ashutosh Gupta,
Cezara Dragoi,
2013,
CAV.
Constantin Enea,
Mihaela Sighireanu,
Cezara Dragoi,
2013,
SAS.
Ahmed Bouajjani,
Yan Jurski,
Mihaela Sighireanu,
2009,
MEMICS.
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices
pdf
Gheorghe Stefanescu,
Cezara Dragoi,
Gheorghe Stefanescu,
2008,
ArXiv.
Constantin Enea,
Ahmed Bouajjani,
Yan Jurski,
2007,
Log. Methods Comput. Sci..
Bor-Yuh Evan Chang,
Noam Rinetzky,
Xavier Rival,
2020,
Found. Trends Program. Lang..
Dragan Savic,
Josef Widder,
Mladen Veinović,
2018
.
Josef Widder,
Andrei Damian,
Cezara Dragoi,
2019,
CAV.
Constantin Enea,
Ahmed Bouajjani,
Mihaela Sighireanu,
2011,
PLDI '11.
Constantin Enea,
Ahmed Rezine,
Ahmed Bouajjani,
2010,
CAV.
Gheorghe Stefanescu,
Cezara Dragoi,
Gheorghe Stefanescu,
2008,
FInCo@ETAPS.
Thomas A. Henzinger,
Damien Zufferey,
Cezara Dragoi,
2015,
SNAPL.
Florin Manea,
Cezara Dragoi,
2008,
Int. J. Found. Comput. Sci..
Constantin Enea,
Ahmed Bouajjani,
Mihaela Sighireanu,
2012,
ATVA.
Thomas A. Henzinger,
Damien Zufferey,
Cezara Dragoi,
2016,
POPL.
Gheorghe Stefanescu,
Cezara Dragoi,
2008,
SOFSEM.
Thomas A. Henzinger,
Helmut Veith,
Damien Zufferey,
2014,
VMCAI.
Constantin Enea,
Ahmed Bouajjani,
Mihaela Sighireanu,
2012,
VMCAI.
Constantin Enea,
Ahmed Bouajjani,
Mihaela Sighireanu,
2009,
CONCUR.
Cezara Dragoi,
Cezara Dragoi,
2011
.