Lorenzo Clemente
发表
P. Abdulla,
S. Sandberg,
R. Mayr,
2013
.
J. Raskin,
Mathieu Sassolas,
G. Pérez,
2018
.
J. Raskin,
Lorenzo Clemente,
Jean-François Raskin,
2016
.
Thomas Colcombet,
Lorenzo Clemente,
P. Parys,
2020,
ICALP.
P. Abdulla,
T. Vojnar,
R. Mayr,
2011
.
P. Abdulla,
R. Mayr,
Yu-Fang Chen,
2011
.
Lorenzo Clemente,
P. Parys,
2014
.
Lorenzo Clemente,
F. Mazowiecki,
Michal Pilipczuk,
2022,
STACS.
Thomas Colcombet,
Lorenzo Clemente,
P. Parys,
2020,
ICALP.
Lorenzo Clemente,
Corentin Barloy,
Lorenzo Clemente,
2021,
STACS.
Lorenzo Clemente,
2020,
VPT/HCVS@ETAPS.
Lorenzo Clemente,
Mickael Randour,
Guillermo A. Pérez,
2015,
LATA.
Lorenzo Clemente,
Igor Walukiewicz,
Pawel Parys,
2015,
FSTTCS.
Lorenzo Clemente,
Slawomir Lasota,
Lorenzo Clemente,
2015,
CSL.
Lorenzo Clemente,
Lorenzo Clemente,
2014,
ArXiv.
Lorenzo Clemente,
Richard Mayr,
R. Mayr,
2012,
POPL.
Lorenzo Clemente,
Frédéric Herbreteau,
Grégoire Sutre,
2014,
CONCUR.
Lorenzo Clemente,
Lorenzo Clemente,
2012
.
Parosh Aziz Abdulla,
Lorenzo Clemente,
Yu-Fang Chen,
2011,
CONCUR.
Parosh Aziz Abdulla,
Lorenzo Clemente,
Yu-Fang Chen,
2010,
CAV.
Lorenzo Clemente,
Richard Mayr,
R. Mayr,
2017,
Log. Methods Comput. Sci..
Lorenzo Clemente,
S. Lasota,
Radoslaw Pi'orkowski,
2021,
Log. Methods Comput. Sci..
Lorenzo Clemente,
S. Lasota,
Radoslaw Pi'orkowski,
2020,
CONCUR.
Slawomir Lasota,
Lorenzo Clemente,
Radoslaw Pi'orkowski,
2020,
ICALP.
Lorenzo Clemente,
Patrick Totzke,
Piotr Hofman,
2019,
CONCUR.
Lorenzo Clemente,
Slawomir Lasota,
Charles Paperman,
2016,
ICALP.
Lorenzo Clemente,
Slawomir Lasota,
Charles Paperman,
2016,
STACS.
Lorenzo Clemente,
Igor Walukiewicz,
Pawel Parys,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Lorenzo Clemente,
Michal Skrzypczak,
Michal Skrzypczak,
2021,
ICALP.
Thomas Colcombet,
Lorenzo Clemente,
P. Parys,
2020,
ICALP.
P. Abdulla,
S. Sandberg,
R. Mayr,
2016
.
Lorenzo Clemente,
Jean-François Raskin,
Lorenzo Clemente,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Lorenzo Clemente,
Lorenzo Clemente,
2018,
ArXiv.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Jari Stenman,
2014,
1402.6610.
Lorenzo Clemente,
Sławomir Lasota,
Lorenzo Clemente,
2020,
J. Comput. Syst. Sci..
Lorenzo Clemente,
Slawomir Lasota,
Lorenzo Clemente,
2018,
ICALP.
P. Abdulla,
Yu-Fang Chen,
L. Holík,
2011,
International Conference on Concurrency Theory.