Radu Grigore
发表
Xin Zhang,
Radu Grigore,
Hongseok Yang,
2014,
PLDI 2014.
Radu Grigore,
2007
.
Radu Grigore,
2007
.
J. Filliâtre,
Wojciech Mostowski,
Radu Grigore,
2011
.
Radu Grigore,
Hongseok Yang,
Radu Grigore,
2015,
POPL.
Radu Grigore,
Joao Marques-Silva,
Mikoláš Janota,
2010,
JELIA.
Radu Grigore,
Radu Grigore,
2016,
POPL.
Joël Ouaknine,
James Worrell,
Radu Grigore,
2015,
ICALP.
Radu Grigore,
Radu Grigore,
2012,
ArXiv.
Gidon Ernst,
Radu Grigore,
Vladimir Klebanov,
2011,
FoVeOOS.
Radu Grigore,
Matthew J. Parkinson,
Daiva Naudziuniene,
2011,
ESEC/FSE '11.
Xin Zhang,
Radu Grigore,
Mayur Naik,
2017,
CAV.
Radu Grigore,
Radu Grigore,
2011
.
Radu Grigore,
Dino Distefano,
Á. Hajdu,
2022,
Erlang Workshop.
Radu Grigore,
Nikos Tzevelekos,
Dino Distefano,
2012,
TACAS.
Radu Grigore,
Radu Grigore,
2011
.
Radu Grigore,
Michal Moskal,
Radu Grigore,
2007,
ArXiv.
Radu Grigore,
Joao Marques-Silva,
Mikoláš Janota,
2010,
JELIA.
Radu Grigore,
Joao Marques-Silva,
2010
.
Mikolás Janota,
Radu Grigore,
Joao Marques-Silva,
2013,
LPAR.
Mikolás Janota,
Radu Grigore,
Mark Batty,
2019,
FM Workshops.
Mikolás Janota,
Radu Grigore,
Mark Batty,
2018,
ArXiv.