Radu Mardare
发表
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2017,
Log. Methods Comput. Sci..
Sean Sedwards,
Radu Mardare,
Matteo Cavaliere,
2007
.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2013,
MFCS.
Corrado Priami,
Radu Mardare,
2004,
Electron. Notes Theor. Comput. Sci..
Prakash Panangaden,
Radu Mardare,
Sophia Knight,
2012,
Logic and Program Semantics.
Sean Sedwards,
Radu Mardare,
Matteo Cavaliere,
2008,
Theor. Comput. Sci..
Kim G. Larsen,
Radu Mardare,
Samy Jaziri,
2014,
MFPS.
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2015,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2015,
Mathematical Structures in Computer Science.
Radu Mardare,
R. Mardare,
2007,
CALCO.
Logical Anaysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras
Radu Mardare,
2010
.
Corrado Priami,
Radu Mardare,
Adoha Ihekwaba,
2007
.
Kim G. Larsen,
Prakash Panangaden,
Radu Mardare,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Cristian S. Calude,
Radu Mardare,
Matteo Cavaliere,
2011,
Int. J. Found. Comput. Sci..
Prakash Panangaden,
Radu Mardare,
Gordon D. Plotkin,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Kim G. Larsen,
Luca Cardelli,
Radu Mardare,
2012,
Log. Methods Comput. Sci..
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2014,
Horizons of the Mind.
Luca Cardelli,
Radu Mardare,
L. Cardelli,
2013,
ICTAC.
Radu Mardare,
Adoha Ihekwaba,
2008
.
I. Mura,
Paolo Ballarini,
Radu Mardare,
2008
.
Prakash Panangaden,
Giorgio Bacci,
Radu Mardare,
2018,
LICS.
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2016,
FSTTCS.
Kim G. Larsen,
Radu Mardare,
Mathias Claus Jensen,
2018,
International Conference on Formal Modeling and Analysis of Timed Systems.
Corrado Priami,
Radu Mardare,
R. Mardare,
2004,
Fundam. Informaticae.
Kim Guldstrand Larsen,
Radu Mardare,
Mathias Ruggaard Pedersen,
2017,
Log. Methods Comput. Sci..
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2017,
Log. Methods Comput. Sci..
Kim G. Larsen,
Prakash Panangaden,
Radu Mardare,
2012,
MFCS.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2017,
ICALP.
Corrado Priami,
Radu Mardare,
2003
.
Prakash Panangaden,
Radu Mardare,
Gordon D. Plotkin,
2018,
Log. Methods Comput. Sci..
Luca Cardelli,
Radu Mardare,
L. Cardelli,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2014,
ArXiv.
Radu Mardare,
2007
.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2015,
FoSSaCS.
Kim G. Larsen,
Giorgio Bacci,
Radu Mardare,
2018,
LATA.
Pedro Amorim,
Prakash Panangaden,
Radu Mardare,
2020,
ArXiv.
Kim G. Larsen,
Radu Mardare,
K. Larsen,
2014,
Theor. Comput. Sci..
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2014,
ICTAC.
Corrado Priami,
Radu Mardare,
R. Mardare,
2006,
FORTE.
Kim G. Larsen,
Robert Furber,
Prakash Panangaden,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Radu Mardare,
Adaoha Ihekwaba,
2007
.
Kim Guldstrand Larsen,
Giorgio Bacci,
Giovanni Bacci,
2014
.
Sean Sedwards,
Radu Mardare,
Matteo Cavaliere,
2008,
Int. J. Found. Comput. Sci..
Kim G. Larsen,
Luca Cardelli,
Radu Mardare,
2011,
CSL.
Kim Guldstrand Larsen,
Giorgio Bacci,
Giovanni Bacci,
2014
.
Kim G. Larsen,
Manfred Jaeger,
Radu Mardare,
2014,
QEST.
Prakash Panangaden,
Radu Mardare,
Dexter Kozen,
2013,
MFCS.
Radu Mardare,
2011,
Ershov Memorial Conference.
Kim G. Larsen,
Radu Mardare,
Mathias Ruggaard Pedersen,
2016,
SETTA.
Robert Furber,
Radu Mardare,
Matteo Mio,
2020,
Log. Methods Comput. Sci..
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2018,
MFPS.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2019,
CONCUR.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2013,
TACAS.
Sean Sedwards,
Radu Mardare,
Matteo Cavaliere,
2007
.
Prakash Panangaden,
Radu Mardare,
Gordon D. Plotkin,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Luca Cardelli,
Radu Mardare,
2014,
Fundam. Informaticae.
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2015,
MFPS.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2013,
QEST.
Corrado Priami,
Radu Mardare,
Paola Quaglia,
2004,
CMSB.
Kim G. Larsen,
Radu Mardare,
Claus R. Thrane,
2012,
QFM.
Paolo Ballarini,
Radu Mardare,
Ivan Mura,
2009,
Electron. Notes Theor. Comput. Sci..
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2019,
Math. Struct. Comput. Sci..
Prakash Panangaden,
Radu Mardare,
Dexter Kozen,
2014,
MFPS.
Axel Legay,
Luca Aceto,
Anna Ingólfsdóttir,
2017,
Lecture Notes in Computer Science.
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2018,
Soft Comput..
Radu Mardare,
2010
.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2016,
CONCUR.
Robert Furber,
Radu Mardare,
Matteo Mio,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Kim G. Larsen,
Giorgio Bacci,
Radu Mardare,
2018,
QEST.
Kim G. Larsen,
Luca Cardelli,
Radu Mardare,
2011,
ICALP.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2017,
ICALP.
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2014,
Ershov Memorial Conference.
Alberto Policriti,
Radu Mardare,
R. Mardare,
2008,
MFCS.
Kim G. Larsen,
Radu Mardare,
Mikkel Hansen,
2015,
SynCoP.
Radu Mardare,
Matteo Cavaliere,
R. Mardare,
2006,
Workshop on Membrane Computing.
Robert Furber,
Prakash Panangaden,
Giorgio Bacci,
2018,
LICS.
Robert Furber,
Prakash Panangaden,
Radu Mardare,
2021,
ArXiv.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2021
.
Prakash Panangaden,
Radu Mardare,
Gordon Plotkin,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Prakash Panangaden,
Giorgio Bacci,
Radu Mardare,
2021,
CALCO.
Corrado Priami,
Radu Mardare,
2006
.
Corrado Priami,
Radu Mardare,
R. Mardare,
2006
.
Corrado Priami,
Radu Mardare,
R. Mardare,
2006
.
Alberto Policriti,
Radu Mardare,
R. Mardare,
2008
.