R. Mardare
发表
Prakash Panangaden,
Radu Mardare,
Gordon Plotkin,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Kim G. Larsen,
Prakash Panangaden,
Radu Mardare,
2012,
MFCS.
R. Mardare,
C. Priami,
2003
.
K. Larsen,
R. Mardare,
M. R. Pedersen,
2017,
Log. Methods Comput. Sci..
Alberto Policriti,
Radu Mardare,
R. Mardare,
2008
.
R. Mardare,
A. Policriti,
2008
.
R. Mardare,
C. Priami,
2006
.
Corrado Priami,
Radu Mardare,
R. Mardare,
2006
.
R. Mardare,
C. Priami,
2005
.
K. Larsen,
M. Jaeger,
R. Mardare,
2014
.
K. Larsen,
R. Mardare,
Jongbok Lee,
2016
.
P. Panangaden,
R. Mardare,
Sophia Knight,
2011
.
Robert Furber,
Radu Mardare,
Matteo Mio,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
K. Larsen,
R. Mardare,
Nathanaël Fijalkow,
2018
.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2015,
Mathematical Structures in Computer Science.
K. Larsen,
R. Mardare,
Giovanni Bacci,
2014
.
R. Mardare,
2012
.
R. Mardare,
M. Cavaliere,
Sean Sedwards,
2008
.
K. Larsen,
R. Mardare,
Louise Foshammer,
2016
.
Kim G. Larsen,
Radu Mardare,
Mathias Claus Jensen,
2018,
International Conference on Formal Modeling and Analysis of Timed Systems.
Mathias Claus Jensen,
R. Mardare,
2018
.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2017,
Log. Methods Comput. Sci..
K. Larsen,
R. Mardare,
Bingtian Xue,
2016,
Soft Computing.
Kim G. Larsen,
Luca Cardelli,
Radu Mardare,
2012,
Log. Methods Comput. Sci..
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2014,
ICTAC.
Alberto Policriti,
Radu Mardare,
R. Mardare,
2008,
MFCS.
Radu Mardare,
R. Mardare,
2007,
CALCO.
Corrado Priami,
Radu Mardare,
R. Mardare,
2006,
FORTE.
Radu Mardare,
Matteo Cavaliere,
R. Mardare,
2006,
Workshop on Membrane Computing.
R. Mardare,
M. Mio,
Robert Furber,
2019,
Log. Methods Comput. Sci..
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2018,
MFPS.
Kim Guldstrand Larsen,
Radu Mardare,
Mathias Ruggaard Pedersen,
2017,
Log. Methods Comput. Sci..
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2017,
ICALP.
Kim G. Larsen,
Robert Furber,
Prakash Panangaden,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2017,
Log. Methods Comput. Sci..
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2016,
FSTTCS.
Kim G. Larsen,
Radu Mardare,
Mathias Ruggaard Pedersen,
2016,
SETTA.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2016,
CONCUR.
Prakash Panangaden,
Radu Mardare,
Dexter Kozen,
2014,
MFPS.
Kim G. Larsen,
Manfred Jaeger,
Radu Mardare,
2014,
QEST.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2014,
Horizons of the Mind.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2014,
ArXiv.
Kim Guldstrand Larsen,
Giorgio Bacci,
Giovanni Bacci,
2014
.
Luca Cardelli,
Radu Mardare,
L. Cardelli,
2013,
ICTAC.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2013,
QEST.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2013,
MFCS.
Prakash Panangaden,
Radu Mardare,
Dexter Kozen,
2013,
MFCS.
Kim G. Larsen,
Prakash Panangaden,
Radu Mardare,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2013,
TACAS.
Kim G. Larsen,
Radu Mardare,
Claus R. Thrane,
2012,
QFM.
Kim G. Larsen,
Luca Cardelli,
Radu Mardare,
2011,
CSL.
Kim G. Larsen,
Luca Cardelli,
Radu Mardare,
2011,
ICALP.
R. Mardare,
2011
.
Luca Cardelli,
Radu Mardare,
L. Cardelli,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Kim G. Larsen,
Radu Mardare,
Mikkel Hansen,
2015,
SynCoP.
Cristian S. Calude,
Radu Mardare,
Matteo Cavaliere,
2011,
Int. J. Found. Comput. Sci..
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2015,
FoSSaCS.
Kim G. Larsen,
Radu Mardare,
K. Larsen,
2014,
Theor. Comput. Sci..
G. Plotkin,
P. Panangaden,
R. Mardare,
2022,
ArXiv.
Prakash Panangaden,
Giorgio Bacci,
Radu Mardare,
2018,
LICS.
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2014,
Ershov Memorial Conference.
Corrado Priami,
Radu Mardare,
R. Mardare,
2006
.
Prakash Panangaden,
Radu Mardare,
Sophia Knight,
2012,
Logic and Program Semantics.
Corrado Priami,
Radu Mardare,
R. Mardare,
2004,
Fundam. Informaticae.
Corrado Priami,
Radu Mardare,
Paola Quaglia,
2004,
CMSB.
R. Mardare,
M. Mio,
Robert Furber,
2019,
Log. Methods Comput. Sci..
Prakash Panangaden,
Radu Mardare,
Gordon D. Plotkin,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
P. Panangaden,
D. Kozen,
R. Mardare,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2015,
J. Log. Algebraic Methods Program..
K. Larsen,
R. Mardare,
Louise Foshammer,
2016
.
G. Plotkin,
P. Panangaden,
R. Mardare,
2023,
MFPS.
Prakash Panangaden,
Giorgio Bacci,
Radu Mardare,
2021,
CALCO.
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2018,
Soft Comput..
Kim G. Larsen,
Radu Mardare,
Bingtian Xue,
2015,
MFPS.
K. Larsen,
R. Mardare,
2014,
Theoretical Computer Science.
R. Mardare,
Mikkel Hansen,
Peter Christoffersen,
2015
.
Robert Furber,
Prakash Panangaden,
Radu Mardare,
2021,
ArXiv.
P. Panangaden,
D. Kozen,
R. Mardare,
2020,
ArXiv.
P. Panangaden,
D. Kozen,
R. Mardare,
2021
.
Kim G. Larsen,
Radu Mardare,
Samy Jaziri,
2014,
MFPS.
Axel Legay,
Luca Aceto,
Anna Ingólfsdóttir,
2017,
Lecture Notes in Computer Science.
Kim G. Larsen,
Giorgio Bacci,
Giovanni Bacci,
2019,
CONCUR.