M. Dezani-Ciancaglini
发表
M. Dezani-Ciancaglini,
F. Honsell,
Y. Motohama,
2000
.
Mariangiola Dezani-Ciancaglini,
Betti Venneri,
Mario Coppo,
1981,
Math. Log. Q..
M. Dezani-Ciancaglini,
F. Honsell,
G. Longo,
1984
.
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Adolfo Piperno,
1996
.
ADOLFO PIPERNO,
M. Dezani-Ciancaglini,
Ugo de'Liguoro,
1998
.
M. Dezani-Ciancaglini,
2010
.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
2007
.
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Mario Coppo,
2003,
Electron. Notes Theor. Comput. Sci..
M. Dezani-Ciancaglini,
S. Ghilezan,
2001
.
M. Dezani-Ciancaglini,
G. Castagna,
Elena Giachino,
2008
.
M. Dezani-Ciancaglini,
Ugo de'Liguoro,
1997
.
M. Dezani-Ciancaglini,
Ugo de'Liguoro,
E. Giovannetti,
1998
.
Mariangiola Dezani-Ciancaglini,
Adolfo Piperno,
S Guerrini,
2009
.
Mariangiola Dezani-Ciancaglini,
Simona Ronchi Della Rocca,
M. Dezani-Ciancaglini,
2003,
Mathematical Structures in Computer Science.
M. Dezani-Ciancaglini,
V. Bono,
L. Liquori,
1997,
TAPSOFT.
M. Dezani-Ciancaglini,
M. Coppo,
Lorenzo Bettini,
2010
.
M. Dezani-Ciancaglini,
M. Coppo,
2004
.
M. Dezani-Ciancaglini,
S. V. Bakel,
2003
.
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
M. Dezani-Ciancaglini,
1980,
Notre Dame J. Formal Log..
M. Dezani-Ciancaglini,
P. Giannini,
B. Venneri,
2020
.
M. Dezani-Ciancaglini,
Simona Ronchi,
Della G. Rocca,
2007
.
Mariangiola Dezani-Ciancaglini,
M. Dezani-Ciancaglini,
2000,
ICALP Satellite Workshops.
Ugo Montanari,
Mariangiola Dezani-Ciancaglini,
Mariangiola Dezani-Ciancaglini,
1982,
Lecture Notes in Computer Science.
Ugo Montanari,
Mariangiola Dezani-Ciancaglini,
M. Dezani-Ciancaglini,
1982
.
M. Dezani-Ciancaglini,
2002
.
M. Dezani-Ciancaglini,
G. Castagna,
Elena Giachino,
2009
.
Paula Severi,
Mariangiola Dezani-Ciancaglini,
M. Dezani-Ciancaglini,
2019,
Fundam. Informaticae.
M. Dezani-Ciancaglini,
P. Giannini,
I. Castellani,
2022,
PLACES@ETAPS.
Mariangiola Dezani-Ciancaglini,
Giuseppe Longo,
Mario Coppo,
1983,
CAAP.
Mariangiola Dezani-Ciancaglini,
Simona Ronchi Della Rocca,
Lorenza Saitta,
1979,
RAIRO Theor. Informatics Appl..
Mariangiola Dezani-Ciancaglini,
Fabio Alessi,
Franco Barbanera,
2006,
Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Rosario Pugliese,
2005,
Processes, Terms and Cycles.
Mariangiola Dezani-Ciancaglini,
Fabio Alessi,
Franco Barbanera,
2003,
WoLLIC.
Mariangiola Dezani-Ciancaglini,
Fabio Alessi,
Franco Barbanera,
2003,
TYPES.
Mariangiola Dezani-Ciancaglini,
Yoko Motohama,
Robert K. Meyer,
2002,
Notre Dame J. Formal Log..
Mariangiola Dezani-Ciancaglini,
Paola Giannini,
Simona Ronchi Della Rocca,
2009,
CSL.
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
M. Dezani-Ciancaglini,
1978,
Arch. Math. Log..
Mariangiola Dezani-Ciancaglini,
Maddalena Zacchi,
M. Dezani-Ciancaglini,
1974,
ICALP.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
2009,
Theor. Comput. Sci..
Viviana Bono,
Mariangiola Dezani-Ciancaglini,
M. Dezani-Ciancaglini,
2020,
LICS.
Michele Bugliesi,
Luigi Liquori,
Mariangiola Dezani-Ciancaglini,
1999,
Fundam. Informaticae.
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
Nobuko Yoshida,
2007,
FMOODS.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
2006,
FMCO.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
2006,
ECOOP.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
2005,
TGC.
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Franco Barbanera,
1995,
Inf. Comput..
M. Dezani-Ciancaglini,
Ugo de'Liguoro,
E. Giovannetti,
1998
.
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Felice Cardone,
1994,
Ann. Pure Appl. Log..
Mariangiola Dezani-Ciancaglini,
Hendrik Pieter Barendregt,
Mario Coppo,
1983,
Journal of Symbolic Logic.
Mariangiola Dezani-Ciancaglini,
Corrado Böhm,
M. Dezani-Ciancaglini,
1972,
International Journal of Computer & Information Sciences.
M. Dezani-Ciancaglini,
E. Zucca,
V. Bono,
2020,
ESOP.
Emilio Tuosto,
Luca Padovani,
Paula Severi,
2016,
Log. Methods Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Corrado Böhm,
M. Dezani-Ciancaglini,
1975
.
Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Fabio Alessi,
2003,
TOCL.
Mariangiola Dezani-Ciancaglini,
Betti Venneri,
Silvia Ghilezan,
1997,
Notre Dame J. Formal Log..
Mariangiola Dezani-Ciancaglini,
J. Roger Hindley,
M. Dezani-Ciancaglini,
1992,
Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Franco Barbanera,
M. Dezani-Ciancaglini,
1991,
TACS.
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
Maddalena Zacchi,
1987,
Inf. Comput..
Mariangiola Dezani-Ciancaglini,
Ines Margaria,
M. Dezani-Ciancaglini,
1986,
Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Ines Margaria,
M. Dezani-Ciancaglini,
1984,
Semantics of Data Types.
Mariangiola Dezani-Ciancaglini,
Paola Giannini,
Betti Venneri,
2018,
Models, Mindsets, Meta.
Mario Coppo,
S. Ronchi Della Rocca,
M. Dezani-Ciancaglini,
2008
.
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Ugo de'Liguoro,
1998
.
Mariangiola Dezani-Ciancaglini,
Silvia Likavec,
Silvia Ghilezan,
2004,
Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Silvia Ghilezan,
M. Dezani-Ciancaglini,
2002,
TYPES.
Mariangiola Dezani-Ciancaglini,
Steffen van Bakel,
M. Dezani-Ciancaglini,
2002,
LATIN.
Mariangiola Dezani-Ciancaglini,
Silvia Likavec,
Silvia Ghilezan,
2003
.
Mariangiola Dezani-Ciancaglini,
Silvia Ghilezan,
M. Dezani-Ciancaglini,
2003
.
M. Dezani-Ciancaglini,
S. Ghilezan,
2001
.
Mariangiola Dezani-Ciancaglini,
Yoko Motohama,
Ugo de'Liguoro,
2001
.
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini,
2019,
Models, Languages, and Tools for Concurrent and Distributed Programming.
Mariangiola Dezani-Ciancaglini,
Simona Ronchi Della Rocca,
Corrado Böhm,
1979,
Theor. Comput. Sci..
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
2009,
Inf. Comput..
Mariangiola Dezani-Ciancaglini,
Jovanka Pantovic,
Silvia Ghilezan,
2006,
TGC.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
2008
.
Luca Padovani,
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
2014,
Mathematical Structures in Computer Science.
Mariangiola Dezani-Ciancaglini,
Makoto Tatsuta,
M. Dezani-Ciancaglini,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
M. Dezani-Ciancaglini,
2009,
WS-FM.
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Adolfo Piperno,
1998,
SIAM J. Comput..
Daniel J. Dougherty,
Mariangiola Dezani-Ciancaglini,
Steffen van Bakel,
2004,
Inf. Comput..
M. Coppo,
M. Dezani-Ciancaglini,
P. Salle',
1979,
ICALP.
Mariangiola Dezani-Ciancaglini,
Corrado Böhm,
M. Dezani-Ciancaglini,
1975,
Lambda-Calculus and Computer Science Theory.
Luca Padovani,
Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
2012,
Log. Methods Comput. Sci..
Ivan Lanese,
Emilio Tuosto,
Franco Barbanera,
2021,
J. Log. Algebraic Methods Program..
Mariangiola Dezani-Ciancaglini,
Jovanka Pantovic,
Silvia Ghilezan,
2016,
PLACES.
M. Dezani-Ciancaglini,
F. Barbanera,
2023,
Electronic Proceedings in Theoretical Computer Science.
Mariangiola Dezani-Ciancaglini,
Paola Giannini,
Francesco Dagnino,
2021,
COORDINATION.
Ross Horne,
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
2020,
Theor. Comput. Sci..
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini,
2019,
Acta Informatica.
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
Jorge A. Pérez,
2016,
Formal Aspects of Computing.
Luca Padovani,
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
2013,
COORDINATION.
Bernardo Toninho,
Peter Thiemann,
Massimo Bartoletti,
2015,
J. Log. Algebraic Methods Program..
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
Sara Capecchi,
2014,
Inf. Comput..
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
Sara Capecchi,
2010,
CONCUR.
Mariangiola Dezani-Ciancaglini,
Alessandro Berarducci,
M. Dezani-Ciancaglini,
1999,
Theor. Comput. Sci..
Jerzy Tiuryn,
Mariangiola Dezani-Ciancaglini,
Pawel Urzyczyn,
1999,
Inf. Comput..
Mariangiola Dezani-Ciancaglini,
Jovanka Pantovic,
Silvia Ghilezan,
2010,
WFLP.
Giorgio Ausiello,
M. Dezani-Ciancaglini,
S. Ronchi Della Rocca,
1989
.
Mariangiola Dezani-Ciancaglini,
Steffen van Bakel,
Fer-Jan de Vries,
2002,
Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
Ines Margaria,
2015,
Mathematical Structures in Computer Science.
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
Ines Margaria,
2015,
ITRS.
Mariangiola Dezani-Ciancaglini,
Silvia Ghilezan,
M. Dezani-Ciancaglini,
2014,
RTA-TLCA.
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
Ines Margaria,
2013,
ITRS.
Mariangiola Dezani-Ciancaglini,
Yoko Motohama,
Elio Giovannetti,
2003,
ITRS.
Mariangiola Dezani-Ciancaglini,
Ines Margaria,
Maddalena Zacchi,
2013,
TYPES.
M. Dezani-Ciancaglini,
M. Coppo,
I. Margaria,
2013
.
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
M. Dezani-Ciancaglini,
2001,
BOTH.
M. Dezani-Ciancaglini,
F. Honsell,
Fabio Alessi,
2000,
ArXiv.
Mariangiola Dezani-Ciancaglini,
Fer-Jan de Vries,
Franco Barbanera,
1998,
PROCOMET.
M. Dezani-Ciancaglini,
F. Honsell,
2000
.
Roberto Di Cosmo,
Mariangiola Dezani-Ciancaglini,
Makoto Tatsuta,
2008,
TOCL.
Luca Padovani,
Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
2009,
PPDP '09.
Luca Padovani,
Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
2008
.
Mariangiola Dezani-Ciancaglini,
Corrado Böhm,
M. Dezani-Ciancaglini,
1974,
ICALP.
Mariangiola Dezani-Ciancaglini,
Ivano Salvo,
M. Dezani-Ciancaglini,
2000,
ASIAN.
Mariangiola Dezani-Ciancaglini,
Ines Margaria,
M. Dezani-Ciancaglini,
1987,
Formal Description of Programming Concepts.
M. Dezani-Ciancaglini,
L. Padovani,
Giuseppe Castagna,
2011,
Log. Methods Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
Ines Margaria,
2017,
ITRS.
Mariangiola Dezani-Ciancaglini,
M. Dezani-Ciancaglini,
1976,
Theor. Comput. Sci..
Michael Rathjen,
M. Dezani-Ciancaglini,
F. Honsell,
2014
.