M. Coppo
发表
F. Cardone,
M. Coppo,
1990
.
Mariangiola Dezani-Ciancaglini,
Betti Venneri,
Mario Coppo,
1981,
Math. Log. Q..
M. Dezani-Ciancaglini,
F. Honsell,
G. Longo,
1984
.
M. Coppo,
1987
.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
2007
.
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Mario Coppo,
2003,
Electron. Notes Theor. Comput. Sci..
Paola Giannini,
Mario Coppo,
M. Coppo,
1992,
CAAP.
M. Dezani-Ciancaglini,
M. Coppo,
Lorenzo Bettini,
2010
.
M. Dezani-Ciancaglini,
M. Coppo,
2004
.
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
M. Dezani-Ciancaglini,
1980,
Notre Dame J. Formal Log..
Richard Statman,
Wil Dekkers,
Henk Barendregt,
2013
.
Mario Coppo,
M. Dezani,
B. Venneri,
1980
.
Mario Coppo,
Maddalena Zacchi,
M. Coppo,
1986,
LICS.
Mariangiola Dezani-Ciancaglini,
Giuseppe Longo,
Mario Coppo,
1983,
CAAP.
Massimo Torquati,
Marco Aldinucci,
Maurizio Drocco,
2014,
BioMed research international.
Massimo Torquati,
Marco Aldinucci,
Maurizio Drocco,
2013,
2013 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Maurizio Drocco,
Ferruccio Damiani,
Angelo Troina,
2012,
Theor. Comput. Sci..
Massimo Torquati,
Marco Aldinucci,
Maurizio Drocco,
2011,
Euro-Par Workshops.
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Rosario Pugliese,
2005,
Processes, Terms and Cycles.
M. Coppo,
J. Pereda,
2004,
Anatomy and Embryology.
Maurizio Drocco,
Ferruccio Damiani,
Angelo Troina,
2010,
MeCBIC.
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
M. Dezani-Ciancaglini,
1978,
Arch. Math. Log..
M. Coppo,
S. Halbert,
P. McComb,
1984,
Journal of reproductive medicine.
M. Coppo,
J. Pereda,
2004,
Anatomy and Embryology.
M. Coppo,
J. Pereda,
1985,
Annals of the New York Academy of Sciences.
M. Coppo,
P. McComb,
1985,
Journal of in Vitro Fertilization and Embryo Transfer.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
2009,
Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
Nobuko Yoshida,
2007,
FMOODS.
Mariangiola Dezani-Ciancaglini,
Hendrik Pieter Barendregt,
Mario Coppo,
1983,
Journal of Symbolic Logic.
Alberto Ferrari,
Mario Coppo,
M. Coppo,
1993,
Theor. Comput. Sci..
Mario Coppo,
Felice Cardone,
F. Cardone,
2003,
ICTCS.
M. Coppo,
J. Pereda,
2004,
Anatomy and Embryology.
Mario Coppo,
M. Coppo,
1983,
Acta Informatica.
Elio Giovannetti,
Mario Coppo,
M. Coppo,
1983,
CAAP.
Mario Coppo,
M. Coppo,
1980,
MFCS.
Mario Coppo,
M. Coppo,
1984,
Theor. Comput. Sci..
Paola Giannini,
Ferruccio Damiani,
Mario Coppo,
2002,
Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
Maddalena Zacchi,
1987,
Inf. Comput..
Mario Coppo,
S. Ronchi Della Rocca,
M. Dezani-Ciancaglini,
2008
.
Concetto Spampinato,
Massimo Torquati,
Marco Aldinucci,
2013,
Briefings Bioinform..
Ferruccio Damiani,
Angelo Troina,
Elena Grassi,
2009,
COMPMOD.
Maurizio Drocco,
Ferruccio Damiani,
Angelo Troina,
2011,
Trans. Comp. Sys. Biology.
Luca Padovani,
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
2014,
Mathematical Structures in Computer Science.
Ferruccio Damiani,
Eva Sciacca,
Mario Coppo,
2013,
CS2Bio.
M. Coppo,
M. Dezani-Ciancaglini,
P. Salle',
1979,
ICALP.
Luca Padovani,
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
2013,
COORDINATION.
Paola Giannini,
Mario Coppo,
M. Coppo,
1995,
Inf. Comput..
Mario Coppo,
Felice Cardone,
F. Cardone,
1991,
Inf. Comput..
Paola Giannini,
Ferruccio Damiani,
Mario Coppo,
1998
.
Stefano Berardi,
Mario Coppo,
M. Coppo,
1996
.
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,
Mario Coppo,
Ines Margaria,
2013,
ITRS.
Mariangiola Dezani-Ciancaglini,
Ines Margaria,
Maddalena Zacchi,
2013,
TYPES.
M. Dezani-Ciancaglini,
M. Coppo,
I. Margaria,
2013
.
Mario Coppo,
M. Coppo,
1985,
ICALP.
Maurizio Drocco,
Ferruccio Damiani,
Angelo Troina,
2011,
CompMod.
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
Ines Margaria,
2017,
ITRS.
Michael Rathjen,
M. Dezani-Ciancaglini,
F. Honsell,
2014
.