Simona Ronchi Della Rocca
发表
Patrick Baillot,
Jean-Yves Marion,
Simona Ronchi Della Rocca,
2009,
TOCL.
Simona Ronchi Della Rocca,
Luca Paolini,
2004
.
Elaine Pimentel,
Luca Roversi,
Simona Ronchi Della Rocca,
2012,
Fundam. Informaticae.
Simona Ronchi Della Rocca,
2007
.
Simona Ronchi Della Rocca,
Luca Paolini,
Giulio Guerrieri,
2016,
Log. Methods Comput. Sci..
Luca Roversi,
Simona Ronchi Della Rocca,
Luca Roversi,
1997,
Stud Logica.
Mariangiola Dezani-Ciancaglini,
Simona Ronchi Della Rocca,
Lorenza Saitta,
1979,
RAIRO Theor. Informatics Appl..
Simona Ronchi Della Rocca,
1987,
TAPSOFT, Vol.1.
Paola Giannini,
Simona Ronchi Della Rocca,
1991,
TACS.
Simona Ronchi Della Rocca,
Erika De Benedetti,
2016,
Inf. Comput..
Furio Honsell,
Simona Ronchi Della Rocca,
1990,
Programming Concepts and Methods.
Alexis Saurin,
Simona Ronchi Della Rocca,
Yiorgos Stavrinos,
2010,
ITRS.
Paolo Coppola,
Simona Ronchi Della Rocca,
P. Coppola,
2004,
Fundam. Informaticae.
Marco Gaboardi,
Jean-Yves Marion,
Simona Ronchi Della Rocca,
2012,
TOCL.
Simona Ronchi Della Rocca,
2016,
TYPES.
Luigi Liquori,
Pawel Urzyczyn,
Simona Ronchi Della Rocca,
1997,
Ann. Pure Appl. Log..
Anuj Dawar,
Simona Ronchi Della Rocca,
Dexter Kozen,
2015,
CSL.
Furio Honsell,
Simona Ronchi Della Rocca,
Lavinia Egidi,
1992,
Fundam. Informaticae.
Marko C. J. D. van Eekelen,
Simona Ronchi Della Rocca,
Olha Shkaravska,
2015,
Sci. Comput. Program..
Ugo Dal Lago,
Paolo Coppola,
Simona Ronchi Della Rocca,
2005,
TLCA.
Luca Roversi,
Simona Ronchi Della Rocca,
Alberto Pravato,
1995,
Lecture Notes in Computer Science.
Paola Giannini,
Simona Ronchi Della Rocca,
P. Giannini,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Marco Gaboardi,
Simona Ronchi Della Rocca,
2009,
Log. J. IGPL.
Furio Honsell,
Simona Ronchi Della Rocca,
1992,
J. Comput. Syst. Sci..
Luca Roversi,
Simona Ronchi Della Rocca,
Alberto Pravato,
1999,
Math. Struct. Comput. Sci..
Elaine Pimentel,
Simona Ronchi Della Rocca,
Luca Paolini,
2006,
FoSSaCS.
Paolo Coppola,
Simona Ronchi Della Rocca,
P. Coppola,
2003,
TLCA.
Simona Ronchi Della Rocca,
Erika De Benedetti,
2015,
FOPARA.
Simona Ronchi Della Rocca,
2000,
PPDP '00.
Ugo Dal Lago,
Simona Ronchi Della Rocca,
Claudia Faggian,
2020,
Proc. ACM Program. Lang..
Mariangiola Dezani-Ciancaglini,
Simona Ronchi Della Rocca,
Corrado Böhm,
1979,
Theor. Comput. Sci..
Simona Ronchi Della Rocca,
Luca Paolini,
2004
.
Michele Pagani,
Simona Ronchi Della Rocca,
S. D. Rocca,
2010,
FoSSaCS.
Simona Ronchi Della Rocca,
2013,
CSL.
Simona Ronchi Della Rocca,
2002,
Electron. Notes Theor. Comput. Sci..
Patrick Baillot,
Simona Ronchi Della Rocca,
Erika De Benedetti,
2014,
IFIP TCS.
Simona Ronchi Della Rocca,
Adolfo Piperno,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Simona Ronchi Della Rocca,
Luca Paolini,
2004
.
Furio Honsell,
Simona Ronchi Della Rocca,
Alberto Pravato,
1998,
J. Funct. Program..
Furio Honsell,
Simona Ronchi Della Rocca,
Lavinia Egidi,
1991,
MFCS.
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2014,
IFIP TCS.
Giulio Manzonetto,
Michele Pagani,
Simona Ronchi Della Rocca,
2019,
Fundam. Informaticae.
Luigi Liquori,
Simona Ronchi Della Rocca,
L. Liquori,
2005,
ITRS.
Luigi Liquori,
Simona Ronchi Della Rocca,
2007,
Inf. Comput..
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2020
.
Marco Gaboardi,
Simona Ronchi Della Rocca,
2008,
TYPES.
Simona Ronchi Della Rocca,
Luca Paolini,
Mauro Piccolo,
2015,
Mathematical Structures in Computer Science.
Antonio Restivo,
Luca Roversi,
Simona Ronchi Della Rocca,
2001
.
Patrick Baillot,
Jean-Yves Marion,
Simona Ronchi Della Rocca,
2006
.
Simona Ronchi Della Rocca,
S. D. Rocca,
1988,
Theor. Comput. Sci..
Marco Gaboardi,
Jean-Yves Marion,
Simona Ronchi Della Rocca,
2008,
POPL '08.
Simona Ronchi Della Rocca,
Alberto Pravato,
O. Bastonero,
1998,
PROCOMET.
Luca Roversi,
Simona Ronchi Della Rocca,
Luca Roversi,
2001,
CSL.
Paola Giannini,
Simona Ronchi Della Rocca,
1994,
Inf. Comput..
Luigi Liquori,
Pawel Urzyczyn,
Simona Ronchi Della Rocca,
1994,
LFCS.
Luca Roversi,
Simona Ronchi Della Rocca,
Alberto Pravato,
1995,
TLCA.
Ugo Dal Lago,
Paolo Coppola,
Simona Ronchi Della Rocca,
2008,
Log. Methods Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Paola Giannini,
Simona Ronchi Della Rocca,
2009,
CSL.
Simona Ronchi Della Rocca,
Erika De Benedetti,
2012,
ITRS.
Mariangiola Dezani-Ciancaglini,
Simona Ronchi Della Rocca,
Mario Coppo,
1978,
ICALP.
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2018,
ArXiv.
Simona Ronchi Della Rocca,
Luca Paolini,
2004
.
Patrick Baillot,
Simona Ronchi Della Rocca,
Erika De Benedetti,
2018,
Inf. Comput..
Simona Ronchi Della Rocca,
Paolo Tranquilli,
Maurizio Dominici,
2012,
LINEARITY.
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2017,
Log. Methods Comput. Sci..
Simona Ronchi Della Rocca,
Luca Paolini,
Luca Paolini,
2004,
Inf. Comput..
Simona Ronchi Della Rocca,
Luca Paolini,
2004
.
Elaine Pimentel,
Simona Ronchi Della Rocca,
Luca Paolini,
2011,
Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Simona Ronchi Della Rocca,
Corrado Böhm,
1974,
Symposium on Programming.
Antonio Restivo,
Luca Roversi,
Simona Ronchi Della Rocca,
2001,
Lecture Notes in Computer Science.
Simona Ronchi Della Rocca,
2007,
TLCA.
Ugo Dal Lago,
Simona Ronchi Della Rocca,
Claudia Faggian,
2020,
FSCD.
Simona Ronchi Della Rocca,
Luca Paolini,
2004
.
Simona Ronchi Della Rocca,
Luca Paolini,
Luca Paolini,
2004,
Texts in Theoretical Computer Science.
Simona Ronchi Della Rocca,
1981,
CAAP.
Antonio Bucciarelli,
Simona Ronchi Della Rocca,
Delia Kesner,
2015,
TLCA.
Simona Ronchi Della Rocca,
S. D. Rocca,
1982,
Inf. Control..
Paola Giannini,
Furio Honsell,
Simona Ronchi Della Rocca,
1993,
Fundamenta Informaticae.
Antonio Restivo,
Luca Roversi,
Simona Ronchi Della Rocca,
2001
.
Michele Pagani,
Simona Ronchi Della Rocca,
S. D. Rocca,
2010,
Fundam. Informaticae.
Simona Ronchi Della Rocca,
Luca Paolini,
Luca Paolini,
1999,
RAIRO Theor. Informatics Appl..
Giorgio Ausiello,
Simona Ronchi Della Rocca,
M. Dezani-Ciancaglini,
1989
.
Simona Ronchi Della Rocca,
Claudia Faggian,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Luca Roversi,
Simona Ronchi Della Rocca,
Alberto Pravato,
1995
.
Jerzy Tiuryn,
Pawel Urzyczyn,
Simona Ronchi Della Rocca,
1999,
Inf. Comput..
Elaine Pimentel,
Simona Ronchi Della Rocca,
Luca Paolini,
2005,
Electron. Notes Theor. Comput. Sci..
Marco Gaboardi,
Simona Ronchi Della Rocca,
2007,
CSL.
Simona Ronchi Della Rocca,
Luca Paolini,
Giulio Guerrieri,
2015,
TLCA.
Simona Ronchi Della Rocca,
Betti Venneri,
B. Venneri,
1984,
Theor. Comput. Sci..
Marco Gaboardi,
Jean-Yves Marion,
Simona Ronchi Della Rocca,
2007,
LSFA.
Elaine Pimentel,
Simona Ronchi Della Rocca,
2012
.
Simona Ronchi Della Rocca,
Luca Paolini,
Mauro Piccolo,
2009,
MFPS.
Giulio Manzonetto,
Simona Ronchi Della Rocca,
Axel Kerinec,
2021,
FSCD.
Richard Statman,
Benedetto Intrigila,
Simona Ronchi Della Rocca,
2007
.
Alexis Saurin,
Simona Ronchi Della Rocca,
Yiorgos Stavrinos,
2011
.
Luca Roversi,
Simona Ronchi Della Rocca,
Alberto Pravato,
1999
.
Simona Ronchi Della Rocca,
Luca Paolini,
Luca Paolini,
2004
.
Simona Ronchi Della Rocca,
Erika De Benedetti,
2014
.
Mariangiola Dezani-Ciancaglini,
Simona Ronchi Della Rocca,
M. Dezani-Ciancaglini,
2003,
Mathematical Structures in Computer Science.
Elaine Pimentel,
Luca Roversi,
Simona Ronchi Della Rocca,
2004
.