Mariangiola Dezani-Ciancaglini

发表

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2019, Models, Languages, and Tools for Concurrent and Distributed Programming.
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama, 2000, MFCS.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno, 1994, TACS.
Mariangiola Dezani-Ciancaglini, Corrado Böhm, 1972, ICALP.
Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina, 2009, Electron. Notes Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, 1996 .
Mariangiola Dezani-Ciancaglini, Mario Coppo, Ines Margaria, 2015, ITRS.
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2001, ECOOP.
Mariangiola Dezani-Ciancaglini, Betti Venneri, Mario Coppo, 2016, PLACES.
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2002, TOPL.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Fabio Alessi, 1997, Fundam. Informaticae.
Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lorenza Saitta, 1979, RAIRO Theor. Informatics Appl..
Mariangiola Dezani-Ciancaglini, Mario Coppo, Ines Margaria, 2013, ITRS.
Luca Padovani, Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 2009, PPDP '09.
Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries, Franco Barbanera, 1998, PROCOMET.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno, 1996, Theor. Comput. Sci..
Elena Zucca, Mariangiola Dezani-Ciancaglini, Viviana Bono, 2020, ESOP.
Mariangiola Dezani-Ciancaglini, Paola Giannini, 2016, EXPRESS/SOS.
Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese, 2005, Processes, Terms and Cycles.
Vladimiro Sassone, Mariangiola Dezani-Ciancaglini, Ivano Salvo, 2001, Electron. Notes Theor. Comput. Sci..
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez, 2016, Formal Aspects of Computing.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Sara Capecchi, 2010, CONCUR.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Ferruccio Damiani, 2004, J. Object Technol..
Mariangiola Dezani-Ciancaglini, Cosimo Anglano, Claudio Casetti, 2013 .
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Elena Giachino, 2009, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Franco Barbanera, 1995, Inf. Comput..
Paula Severi, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries, 2000, Electron. Notes Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Adolfo Piperno, S Guerrini, 2009 .
Ivan Lanese, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, 2015, PLACES.
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi, 2003, TOCL.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Fabio Alessi, 1994, MFCS.
Mariangiola Dezani-Ciancaglini, Elena Giachino, Sara Capecchi, 2008, Concurrency, Graphs and Models.
Mariangiola Dezani-Ciancaglini, Elio Giovannetti, M. Dezani-Ciancaglini, 2001, BOTH.
Ross Horne, Vladimiro Sassone, Mariangiola Dezani-Ciancaglini, 2012, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Jovanka Pantovic, Silvia Ghilezan, 2016, PLACES.
Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi, 2002, Theor. Comput. Sci..
Jerzy Tiuryn, Mariangiola Dezani-Ciancaglini, Pawel Urzyczyn, 1999, Inf. Comput..
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno, 1993, MFCS.
Mariangiola Dezani-Ciancaglini, Franco Barbanera, M. Dezani-Ciancaglini, 1991, TACS.
Mariangiola Dezani-Ciancaglini, Jovanka Pantovic, Silvia Ghilezan, 2016, Theory and Practice of Formal Methods.
Mariangiola Dezani-Ciancaglini, Viviana Bono, Betti Venneri, 2017, J. Log. Algebraic Methods Program..
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Viviana Bono, 2011, TGC.
Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi, 1998 .
Mariangiola Dezani-Ciancaglini, Mario Coppo, M. Dezani-Ciancaglini, 1980, Notre Dame J. Formal Log..
Mariangiola Dezani-Ciancaglini, Paola Giannini, Ferruccio Damiani, 1999, Math. Struct. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Fabio Alessi, Franco Barbanera, 2006, Theor. Comput. Sci..
Ross Horne, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, 2020, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Hendrik Pieter Barendregt, Mario Coppo, 1983, Journal of Symbolic Logic.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina, 2011, DCM.
Mariangiola Dezani-Ciancaglini, Maddalena Zacchi, M. Dezani-Ciancaglini, 1974, ICALP.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, 2016, PLACES.
Michele Bugliesi, Vladimiro Sassone, Mariangiola Dezani-Ciancaglini, 2007, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, M. Dezani-Ciancaglini, 2000, ICALP Satellite Workshops.
Sophia Drossopoulou, Nicholas Robert Cameron, Mariangiola Dezani-Ciancaglini, 2010, FTfJP@ECOOP.
Paul G. Spirakis, Luca Aceto, Giuseppe F. Italiano, 2016, Bull. EATCS.
Mariangiola Dezani-Ciancaglini, Mario Coppo, Nobuko Yoshida, 2007, FMOODS.
Mariangiola Dezani-Ciancaglini, Steffen van Bakel, Fer-Jan de Vries, 2002, Theor. Comput. Sci..
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2019, Acta Informatica.
Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Corrado Böhm, 1979, Theor. Comput. Sci..
Michele Bugliesi, Luigi Liquori, Mariangiola Dezani-Ciancaglini, 1997, TAPSOFT.
Mariangiola Dezani-Ciancaglini, Makoto Tatsuta, M. Dezani-Ciancaglini, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, 2005, TGC.
Mariangiola Dezani-Ciancaglini, Franco Barbanera, Seref Mirasyedioglu, 2015, CIT 2015.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Adriana B. Compagnoni, 2012, MeCBIC.
Luca Padovani, Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 2008 .
Daniele Varacca, Mariangiola Dezani-Ciancaglini, Giuseppe Castagna, 2006 .
Mariangiola Dezani-Ciancaglini, Makoto Tatsuta, 2007, Electron. Notes Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Elena Giachino, Sara Capecchi, 2013, Math. Struct. Comput. Sci..
Oscar Nierstrasz, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2008, Sci. Ann. Comput. Sci..
Paula Severi, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries, 2003, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Mario Coppo, Ines Margaria, 2017, ITRS.
Mariangiola Dezani-Ciancaglini, Franco Barbanera, Christopher Anderson, 2003 .
Michele Bugliesi, Luigi Liquori, Mariangiola Dezani-Ciancaglini, 1999, Fundam. Informaticae.
Mariangiola Dezani-Ciancaglini, Jovanka Pantovic, Silvia Ghilezan, 2006, TGC.
Luca Padovani, Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 2019, PPDP.
Mariangiola Dezani-Ciancaglini, Betti Venneri, Mario Coppo, 2014, Service Oriented Computing and Applications.
Daniele Varacca, Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 2006, CONCUR.
Mariangiola Dezani-Ciancaglini, Yoko Motohama, Robert K. Meyer, 2002, Notre Dame J. Formal Log..
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Sara Capecchi, 2014, Inf. Comput..
Emilio Tuosto, Luca Padovani, Paula Severi, 2016, COORDINATION.
Mariangiola Dezani-Ciancaglini, Mario Coppo, Maddalena Zacchi, 1987, Inf. Comput..
Elena Zucca, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2009, ICTCS.
Mariangiola Dezani-Ciancaglini, Mario Coppo, 2001, Electron. Notes Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, M. Dezani-Ciancaglini, 1976, Theor. Comput. Sci..
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Elena Giachino, 2006, FMCO.
Mariangiola Dezani-Ciancaglini, Ivano Salvo, M. Dezani-Ciancaglini, 2000, ASIAN.
Mariangiola Dezani-Ciancaglini, Jovanka Pantovic, Silvia Ghilezan, 2010, WFLP.
Mariangiola Dezani-Ciancaglini, Mario Coppo, 2002, VMCAI.
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Franco Barbanera, 2003, Electron. Notes Theor. Comput. Sci..
Luca Padovani, Mariangiola Dezani-Ciancaglini, Mario Coppo, 2015, SFM.
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, 2008 .
Mariangiola Dezani-Ciancaglini, Paola Giannini, Ferruccio Damiani, 2004, SAC '04.
Mariangiola Dezani-Ciancaglini, Silvia Likavec, Silvia Ghilezan, 2004, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Tzu-Chun Chen, 2014, PPDP '14.
Ugo Montanari, Mariangiola Dezani-Ciancaglini, Maria Grazia Buscemi, 2011, TGC.
Luca Padovani, Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 2011, FMOODS/FORTE.
Mariangiola Dezani-Ciancaglini, Betti Venneri, Silvia Ghilezan, 1997, Notre Dame J. Formal Log..
Mariangiola Dezani-Ciancaglini, Mario Coppo, Ines Margaria, 2015, Mathematical Structures in Computer Science.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca, 2009, CSL.
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, 2009, Inf. Comput..
Luca Padovani, Mariangiola Dezani-Ciancaglini, Mario Coppo, 2013, COORDINATION.
Mariangiola Dezani-Ciancaglini, Eduardo Bonelli, Adriana B. Compagnoni, 2004, MFCS.
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, M. Dezani-Ciancaglini, 2002, TYPES.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina, 2009, MeCBIC.
Mariangiola Dezani-Ciancaglini, Franco Barbanera, 2019, ICE.
Elena Zucca, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2010, ITRS.
Mariangiola Dezani-Ciancaglini, Ines Margaria, M. Dezani-Ciancaglini, 1986, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama, 2001, J. Log. Comput..
Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel, 2004, Inf. Comput..
Mariangiola Dezani-Ciancaglini, Corrado Böhm, M. Dezani-Ciancaglini, 1975 .
Mariangiola Dezani-Ciancaglini, Corrado Böhm, 2004, International Journal of Computer & Information Sciences.
Mariangiola Dezani-Ciancaglini, Steffen van Bakel, M. Dezani-Ciancaglini, 2002, LATIN.
Mariangiola Dezani-Ciancaglini, Alessandro Berarducci, M. Dezani-Ciancaglini, 1999, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Mario Coppo, 1978, ICALP.
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, M. Dezani-Ciancaglini, 2014, RTA-TLCA.
Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi, 2013, TYPES.
Mariangiola Dezani-Ciancaglini, Ines Margaria, M. Dezani-Ciancaglini, 1984, Semantics of Data Types.
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi, 2001, ICTCS.
Mariangiola Dezani-Ciancaglini, Stefania Lusin, 2002, ArXiv.
Mariangiola Dezani-Ciancaglini, Ines Margaria, M. Dezani-Ciancaglini, 1987, Formal Description of Programming Concepts.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, M. Dezani-Ciancaglini, 2009, WS-FM.
Bernardo Toninho, Peter Thiemann, Massimo Bartoletti, 2015, J. Log. Algebraic Methods Program..
Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Mario Coppo, 2003, Electron. Notes Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Corrado Böhm, 1974, Symposium on Programming.
Mariangiola Dezani-Ciancaglini, Corrado Böhm, M. Dezani-Ciancaglini, 1974, ICALP.
Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese, 2004, IFIP TCS.
Elena Zucca, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2011, RAIRO Theor. Informatics Appl..
Mariangiola Dezani-Ciancaglini, Fabio Alessi, Franco Barbanera, 2003, TYPES.
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, 2006, ECOOP.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Sara Capecchi, 2011 .
Mariangiola Dezani-Ciancaglini, J. Roger Hindley, M. Dezani-Ciancaglini, 1992, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama, 2005, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno, 1998, SIAM J. Comput..
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Sara Capecchi, 2016, Math. Struct. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri, 2018, Models, Mindsets, Meta.
Mariangiola Dezani-Ciancaglini, Adriana B. Compagnoni, Pablo Garralda, 2006, PPDP '06.
Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Mario Coppo, 2008, Math. Struct. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Fabio Alessi, Franco Barbanera, 2003, WoLLIC.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina, 2009, DCM.
Loris D'Antoni, Mariangiola Dezani-Ciancaglini, Lorenzo Bettini, 2008, CONCUR.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Franco Barbanera, 2014, BEAT.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez, 2014, BEAT.
Mariangiola Dezani-Ciancaglini, 1974, RAIRO Theor. Informatics Appl..
Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Mario Coppo, 1983, CAAP.
Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi, 2016, Electron. Notes Theor. Comput. Sci..
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2010, Fundam. Informaticae.
Mariangiola Dezani-Ciancaglini, Eduardo Bonelli, Adriana B. Compagnoni, 2007, Math. Struct. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Fabio Alessi, 2005, Electron. Notes Theor. Comput. Sci..
Michele Bugliesi, Vladimiro Sassone, Mariangiola Dezani-Ciancaglini, 2003, ASIAN.
Mariangiola Dezani-Ciancaglini, Betti Venneri, Mario Coppo, 1981, Math. Log. Q..
Mariangiola Dezani-Ciancaglini, Mario Coppo, 2008, TGC.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida, 2007, TGC.
Roberto Di Cosmo, Mariangiola Dezani-Ciancaglini, Makoto Tatsuta, 2008, CSL.
Mariangiola Dezani-Ciancaglini, Corrado Böhm, M. Dezani-Ciancaglini, 1972, International Journal of Computer & Information Sciences.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina, 2013, Int. J. Softw. Informatics.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2017, CONCUR.
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2012, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Yoko Motohama, Elio Giovannetti, 2003, ITRS.
Mariangiola Dezani-Ciancaglini, Fabio Alessi, Stefania Lusin, 2004, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Corrado Böhm, M. Dezani-Ciancaglini, 1975, Lambda-Calculus and Computer Science Theory.
Luca Padovani, Mariangiola Dezani-Ciancaglini, Jovanka Pantovic, 2014, PLACES.
Mariangiola Dezani-Ciancaglini, Mario Coppo, M. Dezani-Ciancaglini, 1978, Arch. Math. Log..
Mariangiola Dezani-Ciancaglini, Corrado Böhm, Mario Coppo, 1977, ICALP.
Luca Padovani, Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 2012, Log. Methods Comput. Sci..
Luca Padovani, Mariangiola Dezani-Ciancaglini, Mario Coppo, 2014, Mathematical Structures in Computer Science.
Jerzy Tiuryn, Mariangiola Dezani-Ciancaglini, Pawel Urzyczyn, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Franco Barbanera, 2016, Formal Aspects of Computing.
Daniele Varacca, Mariangiola Dezani-Ciancaglini, Jovanka Pantovic, 2008, Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini, Betti Venneri, Mario Coppo, 2014, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Roberto Di Cosmo, Mariangiola Dezani-Ciancaglini, Makoto Tatsuta, 2008, TOCL.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Felice Cardone, 1994, Ann. Pure Appl. Log..
Mariangiola Dezani-Ciancaglini, Paola Giannini, Francesco Dagnino, 2021, COORDINATION.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2021, ArXiv.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno, 1996 .
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Paola Giannini, 1999 .
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi, 2004 .
Nobuko Yoshida, Mariangiola Dezani-Ciancaglini, Lorenzo Bettini, 2008 .
Mariangiola Dezani-Ciancaglini, Steffen van Bakel, Franco Barbanera, 2000 .
Mariangiola Dezani-Ciancaglini, Yoko Motohama, Ugo de'Liguoro, 2001 .
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Mario Coppo, 2007 .
Ugo Montanari, Mariangiola Dezani-Ciancaglini, Mariangiola Dezani-Ciancaglini, 1982, Lecture Notes in Computer Science.
Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro, 1998 .
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, M. Dezani-Ciancaglini, 2003 .
Mariangiola Dezani-Ciancaglini, 1998 .
Mariangiola Dezani-Ciancaglini, Silvia Likavec, Silvia Ghilezan, 2003 .
Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, M. Dezani-Ciancaglini, 2003, Mathematical Structures in Computer Science.
Mariangiola Dezani-Ciancaglini, Roberto Magari, 1998 .