Marco Benini
发表
Sabrina Sicari,
Marco Benini,
2007
.
Roberto Zunino,
Marco Benini,
Marco Girardi,
2020,
ICTCS.
Marco Benini,
Federico Gobbo,
M. Benini,
2011,
DepLing.
Marco Benini,
Federico Gobbo,
M. Benini,
2015,
J. Exp. Theor. Artif. Intell..
Mauro Ferrari,
Mario Ornaghi,
Camillo Fiorentini,
2005
.
Sabrina Sicari,
Marco Benini,
2008,
SecureComm.
Alberto Trombetta,
Marco Benini,
Michela Acquaviva,
2005,
Web Technologies, Applications, and Services.
Marco Benini,
2013,
ArXiv.
Marco Benini,
Leonardo Sonnante,
F. De Cindio,
2002
.
Marco Benini,
2000
.
Marco Benini,
2016
.
Marco Benini,
Federico Gobbo,
M. Benini,
2013,
IEEE Annals of the History of Computing.
Marco Benini,
Federico Gobbo,
F. Gobbo,
2014,
CiE.
Sabrina Sicari,
Marco Benini,
M. Benini,
2008,
Comput. Commun..
Dirk Nowotka,
Marco Benini,
Alessandro Avallone,
1999
.
Marco Benini,
Federico Gobbo,
M. Benini,
2013,
Philosophy & Technology.
Marco Benini,
Michela Acquaviva,
M. Benini,
2005,
ELeGI Conference.
Marco Benini,
Michela Acquaviva,
M. Benini,
2004
.
Marco Benini,
Federico Gobbo,
2007
.
Sabrina Sicari,
Marco Benini,
M. Benini,
2008,
Comput. Networks.
Marco Benini,
Michela Acquaviva,
2005
.
Dirk Nowotka,
Marco Benini,
Sara Kalvala,
1998,
TPHOLs.
Marco Benini,
Roberta Bonacina,
2019,
Arch. Math. Log..
Marco Benini,
Fiorella de Cindio,
Leonardo Sonnante,
2003,
Digital Cities.
Marco Benini,
Federico Gobbo,
2011
.
Marco Benini,
Federico Gobbo,
Jean H. M. Wagemans,
2019,
Intelligenza Artificiale.
Marco Benini,
2000,
Computational Logic.
Mauro Ferrari,
Mario Ornaghi,
Camillo Fiorentini,
2006,
Electron. Notes Theor. Comput. Sci..
Marco Benini,
Federico Gobbo,
2011
.
Alessandro Avellone,
Marco Benini,
Ugo Moscato,
2001,
Log. J. IGPL.
Alberto Trombetta,
Marco Benini,
Michela Acquaviva,
2005,
WWW '05.
Marco Benini,
Federico Gobbo,
2009
.
Marco Benini,
Federico Gobbo,
2011
.
Sabrina Sicari,
Marco Benini,
2009
.
Sabrina Sicari,
Marco Benini,
M. Benini,
2007
.
Dirk Nowotka,
Marco Benini,
Sara Kalvala,
1998
.
Richard J. Boulton,
Tobias Nipkow,
Alan Bundy,
2003,
Lecture Notes in Computer Science.
Marco Benini,
G. Degli Antoni,
D. Cabianca,
1995,
Bull. EATCS.
Marco Benini,
Angelos Anastopoulos,
2022
.
Marco Benini,
Luca Giorgetti,
Alexander Schenkel,
2021
.
Marco Benini,
Alexander Schenkel,
Marco Perin,
2020,
Annales Henri Poincaré.
Marco Benini,
Pavel Safronov,
Alexander Schenkel,
2021,
Communications in Contemporary Mathematics.
Marco Benini,
Alexander Schenkel,
Jonathan P. Pridham,
2022
.
Marco Benini,
Benoit Vicedo,
Alexander Schenkel,
2020,
Communications in Mathematical Physics.
Marco Benini,
Roberta Bonacina,
2021,
Proof and Computation II.