Cezara Dragoi

发表

Thomas A. Henzinger, Damien Zufferey, Cezara Dragoi, 2015, SNAPL.

Thomas A. Henzinger, Helmut Veith, Damien Zufferey, 2014, VMCAI.

Damien Zufferey, Josef Widder, Cezara Drăgoi, 2020, Proc. ACM Program. Lang..

Rupak Majumdar, Constantin Enea, Filip Niksic, 2020, Proc. ACM Program. Lang..

Josef Widder, Cezara Dragoi, Josef Widder, 2018, ArXiv.

Thomas A. Henzinger, Damien Zufferey, Cezara Dragoi, 2016, POPL.

Constantin Enea, Ahmed Bouajjani, Yan Jurski, 2007, Log. Methods Comput. Sci..

Gheorghe Stefanescu, Cezara Dragoi, Gheorghe Stefanescu, 2008, FInCo@ETAPS.

Gheorghe Ştefănescu, Cezara Drăgoi, Gheorghe Stefanescu, 2006 .

Victor Mitrana, Florin Manea, Remco Loos, 2009, J. Univers. Comput. Sci..

M. Srivas, C. Enea, Cezara Dragoi, 2023, ArXiv.

Josef Widder, Cezara Drăgoi, Marijana Lazić, 2018 .

Constantin Enea, Ahmed Bouajjani, Mihaela Sighireanu, 2009, CONCUR.

Constantin Enea, Mihaela Sighireanu, Cezara Dragoi, 2013, SAS.

Constantin Enea, Ahmed Bouajjani, Mihaela Sighireanu, 2012, VMCAI.

Constantin Enea, Ahmed Rezine, Ahmed Bouajjani, 2010, CAV.

Constantin Enea, Ahmed Bouajjani, Mihaela Sighireanu, 2011, PLDI '11.

Constantin Enea, Ahmed Bouajjani, Mihaela Sighireanu, 2012, ATVA.