Ugo Montanari
发表
Gian Luigi Ferrari,
Ugo Montanari,
G. Ferrari,
1997,
MFCS.
Ugo Montanari,
U. Montanari,
1969,
JACM.
Ugo Montanari,
Gian-Luigi Ferrari,
Miranda Mowbray,
1991
.
Ugo Montanari,
Andrea Corradini,
1995
.
Ugo Montanari,
Barbara König,
Philippa Gardner,
2004,
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.
Roberto Bruni,
José Meseguer,
Ugo Montanari,
2002,
Mathematical Structures in Computer Science.
Ugo Montanari,
Andrea Corradini,
U. Montanari,
1995,
Electron. Notes Theor. Comput. Sci..
Rocco De Nicola,
Frits W. Vaandrager,
Ugo Montanari,
1990,
CONCUR.
Ugo Montanari,
U. Montanari,
1996,
CSUR.
Roberto Bruni,
Ugo Montanari,
2017
.
Ugo Montanari,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Ugo Montanari,
Filippo Bonchi,
U. Montanari,
2009,
Theor. Comput. Sci..
Ugo Montanari,
Philippa Gardner,
Barbara König,
2005,
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.
Ugo Montanari,
Mariangiola Dezani-Ciancaglini,
1982
.
Ugo Montanari,
Filippo Bonchi,
2007,
CONCUR.
Christel Baier,
Ugo Montanari,
Mohammad Reza Mousavi,
2017
.
Ugo Montanari,
Maria Grazia Buscemi,
U. Montanari,
2008,
ESOP.
Ugo Montanari,
U. Montanari,
1974,
IFIP Congress.
Ugo Montanari,
Alberto Lluch-Lafuente,
Alberto Lluch-Lafuente,
2004,
QAPL.
Hartmut Ehrig,
Giorgio Levi,
Ugo Montanari,
1987
.
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2011,
Ershov Memorial Conference.
Ugo Montanari,
1970,
JACM.
Fabio Gadducci,
Ugo Montanari,
2005,
Processes, Terms and Cycles.
Fabio Gadducci,
Ugo Montanari,
Giacoma Valentina Monreale,
2012,
IFIP TCS.
Fabio Gadducci,
Ugo Montanari,
2005,
Formal Methods in Software and Systems Modeling.
Marco Pistore,
Gian Luigi Ferrari,
Ugo Montanari,
2003,
TSEM.
Reiko Heckel,
Ugo Montanari,
Andrea Corradini,
2002,
Theor. Comput. Sci..
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2005,
POPL '05.
Rocco De Nicola,
Ugo Montanari,
Pierpaolo Degano,
1986,
Mathematical Models for the Semantics of Parallelism.
Ugo Montanari,
1992,
MPC.
Ugo Montanari,
Daniel Yankelevich,
U. Montanari,
1992,
ICALP.
Ugo Montanari,
Nicoletta De Francesco,
Daniel Yankelevich,
1993,
Sci. Comput. Program..
Marco Pistore,
Gian Luigi Ferrari,
Ugo Montanari,
2002,
FoSSaCS.
Roberto Bruni,
Ugo Montanari,
R. Bruni,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Roberto Gorrieri,
Ugo Montanari,
Sergio Marchetti,
1990,
Theor. Comput. Sci..
Marco Pistore,
Francesca Rossi,
Ugo Montanari,
1999
.
Paola Inverardi,
Ugo Montanari,
Dan Hirsch,
1999,
WICSA.
Roberto Bruni,
Ugo Montanari,
2017
.
Ugo Montanari,
Andrea Corradini,
U. Montanari,
2009,
WADT.
Gian Luigi Ferrari,
Ugo Montanari,
G. Ferrari,
1999,
EXPRESS.
Roberto Bruni,
Ivan Lanese,
Ugo Montanari,
2005
.
Ugo Montanari,
Matteo Sammartino,
2012
.
Ugo Montanari,
Ricardo Baeza-Yates,
Nicola Santoro,
2002
.
Ugo Montanari,
Andrea Corradini,
Marina Lenisa,
2003
.
Alberto Martelli,
Ugo Montanari,
Stefania Gnesi,
1981,
JACM.
Ugo Montanari,
Leila Ribeiro,
U. Montanari,
2002,
ICGT.
Marco Pistore,
Ugo Montanari,
U. Montanari,
1995,
CONCUR.
Roberto Bruni,
Ugo Montanari,
Matteo Sammartino,
2014,
Acta Informatica.
Franco Turini,
Alberto Martelli,
Giorgio Levi,
1979,
ICSE.
Ugo Montanari,
U. Montanari,
2011,
Results of the SENSORIA Project.
Roberto Bruni,
Ugo Montanari,
Hernán Melgratti,
2007,
Electron. Notes Theor. Comput. Sci..
Stefano Bistarelli,
Ugo Montanari,
U. Montanari,
1999
.
Ugo Montanari,
Filippo Bonchi,
2009,
ESOP.
Francesca Rossi,
Stefano Bistarelli,
Ugo Montanari,
1997
.
Roberto Bruni,
Giorgio Mossa,
Ugo Montanari,
2019,
The Art of Modelling Computational Systems.
Rocco De Nicola,
Ugo Montanari,
Pierpaolo Degano,
1988,
REX Workshop.
Ugo Montanari,
Barbara König,
Filippo Bonchi,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Giorgio Levi,
Ugo Montanari,
U. Montanari,
1970,
Inf. Control..
Ugo Montanari,
Alain Tcheukam Siwe,
U. Montanari,
2013,
2013 Proceedings IEEE INFOCOM.
Roberto Bruni,
Cosimo Laneve,
Ugo Montanari,
2002,
CONCUR.
Hartmut Ehrig,
Giorgio Levi,
Ugo Montanari,
1987
.
Roberto Bruni,
Ugo Montanari,
R. Bruni,
2002,
Theor. Comput. Sci..
Emilio Tuosto,
Gian Luigi Ferrari,
Ugo Montanari,
2002,
FMCO.
Ugo Montanari,
Maria Grazia Buscemi,
2007,
ESOP.
Francesca Rossi,
Stefano Bistarelli,
Ugo Montanari,
1997,
JACM.
Ugo Montanari,
Roberto Bruni,
Hern'an Melgratti,
2019,
Log. Methods Comput. Sci..
Ugo Montanari,
A. Nico Habermann,
U. Montanari,
1987
.
Ugo Montanari,
Mario Aiello,
Carlo Lami,
1974,
Comput. Graph. Image Process..
Ugo Montanari,
Gioia Ristori,
U. Montanari,
1997,
Fundam. Informaticae.
Ugo Montanari,
A. Nico Habermann,
U. Montanari,
1986
.
Roberto Bruni,
Ugo Montanari,
2004,
Math. Struct. Comput. Sci..
Ugo Montanari,
Pierpaolo Degano,
R. De Nicola,
1985,
FCT.
José D. P. Rolim,
Ugo Montanari,
Emo Welzl,
2000
.
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2014,
Mathematical Structures in Computer Science.
Ugo Montanari,
Mariangiola Dezani-Ciancaglini,
Mariangiola Dezani-Ciancaglini,
1982,
Lecture Notes in Computer Science.
Ugo Montanari,
2019,
Models, Languages, and Tools for Concurrent and Distributed Programming.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1994,
Constraint Programming.
Ugo Montanari,
Maria Grazia Buscemi,
Michele Boreale,
2004,
APLAS.
Roberto Bruni,
Ugo Montanari,
R. Bruni,
2000,
ICATPN.
Fabio Gadducci,
Ugo Montanari,
2004
.
Marco Pistore,
Ugo Montanari,
2000,
MFCS.
Ugo Montanari,
2000,
IFIP TCS.
Marco Gribaudo,
Rocco De Nicola,
Lenz Belzner,
2015
.
Ugo Montanari,
Andrea Corradini,
Marina Lenisa,
2001,
CMCS.
Ugo Montanari,
Matteo Sammartino,
U. Montanari,
2014,
Theor. Comput. Sci..
Francesca Rossi,
Stefano Bistarelli,
Ugo Montanari,
2002,
ESOP.
Gian Luigi Ferrari,
Ugo Montanari,
G. Ferrari,
1998,
Fundam. Informaticae.
Ugo Montanari,
Pierpaolo Degano,
1984,
STOC '84.
Roberto Bruni,
Ugo Montanari,
1997,
WADT.
Ugo Montanari,
Dan Hirsch,
2001,
Electron. Notes Theor. Comput. Sci..
Roberto Bruni,
Ugo Montanari,
R. Bruni,
2000,
Inf. Comput..
Roberto Bruni,
Ugo Montanari,
Alberto Lluch-Lafuente,
2015,
Sci. Comput. Program..
Ugo Montanari,
Filippo Bonchi,
2008,
FoSSaCS.
Ugo Montanari,
Alberto Lluch-Lafuente,
Michele Loreti,
2015,
COORDINATION.
Franco Zambonelli,
Nora Koch,
Rocco De Nicola,
2013,
2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops.
Marco Pistore,
Ugo Montanari,
1995,
MFPS.
Ugo Montanari,
U. Montanari,
1990
.
Roberto Bruni,
Ivan Lanese,
Ugo Montanari,
2005,
CALCO.
Ugo Montanari,
Andrea Corradini,
U. Montanari,
1991,
Computational Logic - Essays in Honor of Alan Robinson.
Hartmut Ehrig,
Ugo Montanari,
Grzegorz Rozenberg,
2006
.
Ugo Montanari,
Maria Grazia Buscemi,
U. Montanari,
2011,
J. Log. Algebraic Methods Program..
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1989,
KR.
Gian Luigi Ferrari,
Ugo Montanari,
G. Ferrari,
1995,
AMAST.
Ugo Montanari,
Pierpaolo Degano,
U. Montanari,
1987,
JACM.
Roberto Bruni,
Ugo Montanari,
2017
.
Gian Luigi Ferrari,
Ugo Montanari,
Andrea Corradini,
1990,
Semantics of Systems of Concurrent Processes.
Roberto Bruni,
Ugo Montanari,
1999
.
Reiko Heckel,
Ugo Montanari,
Andrea Corradini,
1999,
FCT.
Fabio Gadducci,
Ugo Montanari,
Matteo Coccia,
2003
.
Roberto Bruni,
Ivan Lanese,
Rocco De Nicola,
2006,
WS-FM.
Ugo Montanari,
Maria Grazia Buscemi,
2011,
Results of the SENSORIA Project.
José D. P. Rolim,
Ugo Montanari,
Emo Welzl,
2000
.
Ugo Montanari,
Alberto Lluch-Lafuente,
Michele Loreti,
2016,
Log. Methods Comput. Sci..
Ugo Montanari,
U. Montanari,
1971,
IFIP Congress.
Ugo Montanari,
Vladimiro Sassone,
2001
.
Roberto Bruni,
Ugo Montanari,
Gordon D. Plotkin,
2014,
Fundam. Informaticae.
Giorgio Levi,
Ugo Montanari,
Robert Kowalski,
1987
.
Ugo Montanari,
Luigia Carlucci Aiello,
U. Montanari,
1973,
MFCS.
Alberto Martelli,
Ugo Montanari,
U. Montanari,
1976
.
Alberto Martelli,
Ugo Montanari,
1974,
ICALP.
Hartmut Ehrig,
Ugo Montanari,
Grzegorz Rozenberg,
1999
.
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2006,
CONCUR.
Fabio Gadducci,
Ugo Montanari,
Marino Miculan,
2006,
High. Order Symb. Comput..
Ugo Montanari,
Ilaria Castellani,
Paola Franceschi,
1982,
Formal Description of Programming Concepts.
Farhad Arbab,
Roberto Bruni,
Ivan Lanese,
2009,
WADT.
Ugo Montanari,
U. Montanari,
1970,
Inf. Control..
Fabio Gadducci,
Ugo Montanari,
Marino Miculan,
2004,
Electron. Notes Theor. Comput. Sci..
Ugo Montanari,
Pierpaolo Degano,
R De Nicola,
1988
.
Hartmut Ehrig,
Ugo Montanari,
Grzegorz Rozenberg,
2006,
ICGT.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1994
.
Ugo Montanari,
Ilaria Castellani,
U. Montanari,
1982,
Graph-Grammars and Their Application to Computer Science.
Roberto Bruni,
Ugo Montanari,
R. Bruni,
2017,
Texts in Theoretical Computer Science. An EATCS Series.
Paola Inverardi,
Ugo Montanari,
Dan Hirsch,
2000,
COORDINATION.
Ugo Montanari,
Maria Grazia Buscemi,
U. Montanari,
2008,
Comput. Sci. Rev..
Ugo Montanari,
Andrea Corradini,
U. Montanari,
1990,
NACLP.
Roberto Bruni,
Ugo Montanari,
Alberto Lluch-Lafuente,
2008,
Bull. EATCS.
Roberto Bruni,
Ivan Lanese,
Ugo Montanari,
2006,
Theor. Comput. Sci..
Rocco De Nicola,
Ugo Montanari,
Pierpaolo Degano,
1987,
Formal Description of Programming Concepts.
Ugo Montanari,
Nicoletta De Francesco,
Gioia Ristori,
1992
.
Roberto Bruni,
Ugo Montanari,
2017
.
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2006,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Ugo Montanari,
Dan Hirsch,
2001
.
Marco Pistore,
Ugo Montanari,
U. Montanari,
1997,
STACS.
Ugo Montanari,
Daniel Yankelevich,
1989,
Category Theory and Computer Science.
Roberto Bruni,
Ugo Montanari,
Pawel Sobocinski,
2013,
Log. Methods Comput. Sci..
Marco Pistore,
Ugo Montanari,
1999,
TACAS.
Ugo Montanari,
Pierpaolo Degano,
1985,
TAPSOFT, Vol.1.
Ugo Montanari,
Dan Hirsch,
1999,
Electron. Notes Theor. Comput. Sci..
Roberto Bruni,
Ugo Montanari,
Alberto Lluch-Lafuente,
2011,
Int. J. Softw. Informatics.
Ugo Montanari,
Maria Grazia Buscemi,
Michele Boreale,
2005,
TGC.
Ivan Lanese,
Ugo Montanari,
2004,
Electron. Notes Theor. Comput. Sci..
José Meseguer,
Ugo Montanari,
Pierpaolo Degano,
1996,
Acta Informatica.
Gian Luigi Ferrari,
Ugo Montanari,
G. Ferrari,
1991,
CONCUR.
Roberto Bruni,
Ugo Montanari,
R. Bruni,
2000
.
Magne Haveraaen,
Ugo Montanari,
Till Mossakowski,
2007,
CALCO.
Farhad Arbab,
Ugo Montanari,
Andrea Corradini,
2008
.
Francesca Rossi,
Stefano Bistarelli,
Ugo Montanari,
1997
.
Ugo Montanari,
Alberto Lluch-Lafuente,
Alberto Lluch-Lafuente,
2005,
Theor. Comput. Sci..
Francesca Rossi,
Stefano Bistarelli,
Ugo Montanari,
2007,
QAPL.
Ugo Montanari,
Vladimiro Sassone,
V. Sassone,
1996
.
Alberto Martelli,
Giorgio Levi,
Ugo Montanari,
1968
.
Ugo Montanari,
Vladimiro Sassone,
V. Sassone,
1998
.
Gian Luigi Ferrari,
Ugo Montanari,
Paola Quaglia,
1995,
CONCUR.
Marco Pistore,
Ugo Montanari,
U. Montanari,
1995
.
Ugo Montanari,
Maria Grazia Buscemi,
Sonia Taneja,
2012,
Journal of Grid Computing.
Rocco De Nicola,
Ugo Montanari,
Pierpaolo Degano,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Reiko Heckel,
Hans-Jörg Kreowski,
Ugo Montanari,
2016,
Bull. EATCS.
Ugo Montanari,
Andrea Corradini,
Paolo Baldan,
2005,
PNGT@ICGT.
Ivan Lanese,
Fabio Gadducci,
Rocco De Nicola,
2006
.
Ivan Lanese,
Ugo Montanari,
U. Montanari,
2005,
Theory and Practice of Logic Programming.
Roberto Bruni,
Fabio Gadducci,
Ugo Montanari,
2002,
Theor. Comput. Sci..
José Meseguer,
Ugo Montanari,
Vladimiro Sassone,
1994,
Application and Theory of Petri Nets.
Fabio Gadducci,
Ugo Montanari,
U. Montanari,
1996,
WRLA.
Ugo Montanari,
Dan Hirsch,
Paolo Inverardi,
1998,
ISAW '98.
Ugo Montanari,
Tomás Bures,
Nicklas Hoch,
2015,
The ASCENS Approach.
Ivan Lanese,
Emilio Tuosto,
Gian Luigi Ferrari,
2005,
FMCO.
Roberto Bruni,
Ugo Montanari,
David de Frutos-Escrig,
2000,
CONCUR.
Roberto Bruni,
Ugo Montanari,
2001
.
Ugo Montanari,
Pierpaolo Degano,
U. Montanari,
1987,
J. Comput. Syst. Sci..
Ugo Montanari,
V. Giarratana,
F. Gimona,
1976,
MFCS.
Roberto Bruni,
Fabio Gadducci,
Ugo Montanari,
2005,
CONCUR.
Ugo Montanari,
Barbara König,
2001,
TACS.
Ugo Montanari,
Andrea Corradini,
Paolo Baldan,
2007,
Inf. Comput..
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1995
.
Emilio Tuosto,
Björn Victor,
Gian Luigi Ferrari,
2005,
CALCO.
Diego Latella,
Mieke Massink,
Roberto Bruni,
2002,
WADT.
Roberto Bruni,
Emilio Tuosto,
Fabio Gadducci,
2019,
Models, Languages, and Tools for Concurrent and Distributed Programming.
Roberto Gorrieri,
Ugo Montanari,
1990,
Int. J. Found. Comput. Sci..
Ugo Montanari,
Daniel Yankelevich,
U. Montanari,
1995,
Theor. Comput. Sci..
Ugo Montanari,
Stefania Gnesi,
Alfonso Catalano,
1978,
Graph-Grammars and Their Application to Computer Science and Biology.
Ugo Montanari,
José Luiz Fiadeiro,
Martin Wirsing,
2006,
Foundations of Global Computing.
Ugo Montanari,
Petr Tuma,
Jan Kofron,
2015,
The ASCENS Approach.
Roberto Bruni,
Ugo Montanari,
R. Bruni,
2017
.
José Meseguer,
Ugo Montanari,
J. Meseguer,
1990,
Inf. Comput..
Cosimo Laneve,
Ugo Montanari,
U. Montanari,
1992,
International Symposium on Mathematical Foundations of Computer Science.
Emilio Tuosto,
Rocco De Nicola,
Gian Luigi Ferrari,
2005,
COORDINATION.
Roberto Bruni,
José Meseguer,
Ugo Montanari,
1998,
WRLA.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1999,
Appl. Categorical Struct..
Ugo Montanari,
2004,
Electron. Notes Theor. Comput. Sci..
Roberto Bruni,
Ugo Montanari,
2017
.
Ugo Montanari,
Andrea Corradini,
U. Montanari,
1990,
STACS.
Fabio Gadducci,
Ugo Montanari,
Paolo Baldan,
2007,
Electron. Notes Theor. Comput. Sci..
Fabio Gadducci,
Ugo Montanari,
U. Montanari,
1998,
ICALP.
Ugo Montanari,
Pierpaolo Degano,
José Meseguer,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2018,
ArXiv.
Ugo Montanari,
Nicklas Hoch,
Giacoma Valentina Monreale,
2015,
The ASCENS Approach.
Roberto Bruni,
Fabio Gadducci,
Ugo Montanari,
2018,
Log. Methods Comput. Sci..
Roberto Bruni,
Ivan Lanese,
Ugo Montanari,
2004,
IFIP TCS.
Francesca Rossi,
Ugo Montanari,
Manuel V. Hermenegildo,
1994,
PPCP.
Roberto Bruni,
Ugo Montanari,
Vladimiro Sassone,
2005,
Theor. Comput. Sci..
Ugo Montanari,
Matteo Sammartino,
Alain Tcheukam Siwe,
2018,
Graph Transformation, Specifications, and Nets.
Ugo Montanari,
Maria Grazia Buscemi,
2006,
Electron. Notes Theor. Comput. Sci..
Roberto Bruni,
Emilio Tuosto,
Ugo Montanari,
2007,
TGC.
Ugo Montanari,
U. Montanari,
1974,
Inf. Sci..
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1988
.
Marco Pistore,
Ugo Montanari,
U. Montanari,
1997,
Partial Order Methods in Verification.
José Meseguer,
Ugo Montanari,
Vladimiro Sassone,
1996,
Theor. Comput. Sci..
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2011,
CONCUR.
Francesca Rossi,
Ugo Montanari,
Manuel V. Hermenegildo,
1993,
ICLP Workshop on Concurrent Constraint Programming.
Ugo Montanari,
Mariangiola Dezani-Ciancaglini,
Maria Grazia Buscemi,
2011,
TGC.
Glynn Winskel,
Thomas Ehrhard,
Abbas Edalat,
2009,
Math. Struct. Comput. Sci..
Fabio Gadducci,
Ugo Montanari,
Andrea Corradini,
1994
.
Roberto Bruni,
Fabio Gadducci,
Ugo Montanari,
1998,
WADT.
Francesca Rossi,
Ugo Montanari,
Andrea Corradini,
1992,
FGCS.
Paola Inverardi,
Ugo Montanari,
Stefania Gnesi,
1987,
ESEC.
Rocco De Nicola,
Ugo Montanari,
Pierpaolo Degano,
1990,
Theor. Comput. Sci..
Francesca Rossi,
Ugo Montanari,
Andrea Corradini,
1994,
Theor. Comput. Sci..
Ugo Montanari,
Maria Grazia Buscemi,
Sonia Taneja,
2010,
TGC.
Ugo Montanari,
R. De Nicola,
R. Nicola,
1992
.
Gian Luigi Ferrari,
Ugo Montanari,
G. Ferrari,
2000,
Inf. Comput..
Thomas Schiex,
Francesca Rossi,
Stefano Bistarelli,
1999,
Constraints.
Marco Pistore,
Gian Luigi Ferrari,
Ugo Montanari,
1997,
TACAS.
Ugo Montanari,
A. Nico Habermann,
U. Montanari,
1987,
Lecture Notes in Computer Science.
Roberto Bruni,
Artur Boronat,
Ugo Montanari,
2010,
FMOODS/FORTE.
José Meseguer,
Ugo Montanari,
J. Meseguer,
1997,
WADT.
Emilio Tuosto,
Ugo Montanari,
Gian-luigi Ferrari,
2004
.
Ian Mackie,
Ugo Montanari,
Mauricio Ayala-Rincón,
2017,
Theor. Comput. Sci..
Hartmut Ehrig,
Giorgio Levi,
Ugo Montanari,
1987
.
Magne Haveraaen,
Ugo Montanari,
Till Mossakowski,
2007
.
Roberto Bruni,
Ugo Montanari,
2019,
Carl Adam Petri: Ideas, Personality, Impact.
Cosimo Laneve,
Ugo Montanari,
U. Montanari,
1992,
ALP.
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2003,
Lectures on Concurrency and Petri Nets.
Ugo Montanari,
Filippo Bonchi,
2008,
Electron. Notes Theor. Comput. Sci..
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2015,
Logic, Rewriting, and Concurrency.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1991,
ICLP.
Emilio Tuosto,
Gian Luigi Ferrari,
Ugo Montanari,
2002,
10th Anniversary Colloquium of UNU/IIST.
Marco Pistore,
Ugo Montanari,
U. Montanari,
2005,
SFM.
Ugo Montanari,
Ricardo Baeza-Yates,
Nicola Santoro,
2002,
IFIP TCS.
Hartmut Ehrig,
Francesca Rossi,
Ugo Montanari,
1994,
TAGT.
Roberto Bruni,
Ugo Montanari,
2017
.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1992,
CAAP.
Roberto Bruni,
Ugo Montanari,
Hernán Melgratti,
2020,
Theor. Comput. Sci..
Vincenzo Ciancia,
Ugo Montanari,
Alexander Kurz,
2010,
CMCS.
Ugo Montanari,
Andrea Vandin,
Carlo Pinciroli,
2015
.
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2011,
FMCO.
Ugo Montanari,
Antonio Grasselli,
A. Grasselli,
1970,
IEEE Transactions on Computers.
José D. P. Rolim,
Ugo Montanari,
Emo Welzl,
2002,
Lecture Notes in Computer Science.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1995,
Lecture Notes in Computer Science.
Emilio Tuosto,
Björn Victor,
Ugo Montanari,
2005
.
Ugo Montanari,
Vladimiro Sassone,
1996
.
Ugo Montanari,
Andrea Corradini,
Paolo Baldan,
1998,
TAGT.
Roberto Bruni,
Ugo Montanari,
Matteo Sammartino,
2015,
J. Log. Algebraic Methods Program..
Ugo Montanari,
Andrea Corradini,
Paolo Baldan,
1998,
FoSSaCS.
Roberto Bruni,
Ugo Montanari,
1997,
EXPRESS.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1989,
META.
Roberto Bruni,
Emilio Tuosto,
Ugo Montanari,
2008
.
Reiko Heckel,
Ugo Montanari,
Andrea Corradini,
1999,
CMCS.
Emilio Tuosto,
Rocco De Nicola,
Gian Luigi Ferrari,
2003,
Verification: Theory and Practice.
Francesca Rossi,
Ugo Montanari,
Vijay A. Saraswat,
1994,
PPCP.
Alberto Martelli,
Ugo Montanari,
U. Montanari,
1971,
IFIP Congress.
Ivan Lanese,
Ugo Montanari,
2005,
Foundations of Global Computing.
Rocco De Nicola,
Ugo Montanari,
Pierpaolo Degano,
1992,
NAPAW.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1993,
Dagstuhl Seminar on Graph Transformations in Computer Science.
Emilio Tuosto,
Gian Luigi Ferrari,
Ugo Montanari,
2004,
VVEIS.
Roberto Bruni,
Emilio Tuosto,
Ugo Montanari,
2011,
Results of the SENSORIA Project.
Roberto Bruni,
José Meseguer,
Ugo Montanari,
2003,
ICTCS.
Ugo Montanari,
Andrea Corradini,
Pierpaolo Degano,
1983
.
José Meseguer,
Ugo Montanari,
Vladimiro Sassone,
1997,
Foundations of Computer Science: Potential - Theory - Cognition.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1991,
Artif. Intell..
Ugo Montanari,
Vladimiro Sassone,
V. Sassone,
1991,
MFCS.
Gian Luigi Ferrari,
Ugo Montanari,
Paola Quaglia,
1994,
MFCS.
Fabio Gadducci,
Ugo Montanari,
U. Montanari,
2002,
Theor. Comput. Sci..
Roberto Bruni,
Ugo Montanari,
Vladimiro Sassone,
2000,
IFIP TCS.
Roberto Bruni,
Ugo Montanari,
Donald Sannella,
2007,
TGC.
Hartmut Ehrig,
Ugo Montanari,
Paolo Baldan,
1999
.
Marco Pistore,
Ugo Montanari,
U. Montanari,
1998,
HOOTS.
Ugo Montanari,
Nicklas Hoch,
Matteo Sammartino,
2015,
GaM.
Emilio Tuosto,
Gian Luigi Ferrari,
Ugo Montanari,
2005,
Theor. Comput. Sci..
Fabio Gadducci,
Ugo Montanari,
2001,
MFPS.
Ugo Montanari,
Nicoletta De Francesco,
Gioia Ristori,
1994,
PROCOMET.
Ugo Montanari,
Maria Grazia Buscemi,
2007,
J. Log. Algebraic Methods Program..
Ugo Montanari,
Andrea Corradini,
U. Montanari,
1992,
Theor. Comput. Sci..
Ugo Montanari,
Emil Vassev,
2012,
C3S2E '12.
Francesca Rossi,
Ugo Montanari,
Andrea Corradini,
1996,
Fundam. Informaticae.
Ugo Montanari,
Andrea Corradini,
Paolo Baldan,
1999,
WADT.
Hartmut Ehrig,
Ugo Montanari,
Grzegorz Rozenberg,
1999
.
Francesca Rossi,
Stefano Bistarelli,
Ugo Montanari,
2001,
TOPL.
Ugo Montanari,
Andrea Corradini,
Paolo Baldan,
2002,
WADT.
Ugo Montanari,
José Luiz Fiadeiro,
Martin Wirsing,
2005,
Foundations of Global Computing.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1993,
Theor. Comput. Sci..
Roberto Bruni,
Ugo Montanari,
Hernán Melgratti,
2004
.
Ugo Montanari,
Vladimiro Sassone,
V. Sassone,
1996,
Lecture Notes in Computer Science.
Roberto Bruni,
José Meseguer,
Ugo Montanari,
1998,
ASIAN.
Ugo Montanari,
Dan Hirsch,
2004,
Electron. Notes Theor. Comput. Sci..
Hartmut Ehrig,
Giorgio Levi,
Ugo Montanari,
1987
.
Ugo Montanari,
Vladimiro Sassone,
José Meseguer,
1997,
Mathematical Structures in Computer Science.
Ugo Montanari,
U. Montanari,
1968,
J. ACM.
Roberto Gorrieri,
Gian Luigi Ferrari,
Ugo Montanari,
1991,
TAPSOFT, Vol.2.
Ugo Montanari,
Carolyn L. Talcott,
C. Talcott,
1998,
HOOTS.
Fabio Gadducci,
Ugo Montanari,
Andrea Corradini,
1995,
RTA.
Gian Luigi Ferrari,
Ugo Montanari,
G. Ferrari,
1990,
CAAP.
Ugo Montanari,
Filippo Bonchi,
2009,
CALCO.
Hartmut Ehrig,
Francesca Rossi,
Ugo Montanari,
1993,
Dagstuhl Seminar on Graph Transformations in Computer Science.
Ugo Montanari,
Mariangiola Dezani-Ciancaglini,
M. Dezani-Ciancaglini,
1982
.
Francesca Rossi,
Stefano Bistarelli,
Ugo Montanari,
2002,
J. Heuristics.
Roberto Gorrieri,
Ugo Montanari,
Sergio Marchetti,
1988,
CAAP.
Alberto Martelli,
Rocco De Nicola,
Ugo Montanari,
1981,
ICDCS.
Ivan Lanese,
Ugo Montanari,
U. Montanari,
2005,
FGUC.
Fabio Gadducci,
Ugo Montanari,
Paolo Baldan,
2006,
CONCUR.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1996,
CSUR.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1995,
Acta Informatica.
Ugo Montanari,
Vladimiro Sassone,
2001,
Electron. Notes Theor. Comput. Sci..
Ugo Montanari,
Alain Tcheukam Siwe,
U. Montanari,
2013,
2013 Proceedings IEEE INFOCOM.
Francesca Rossi,
Stefano Bistarelli,
Ugo Montanari,
1995,
IJCAI.
Roberto Bruni,
Fabio Gadducci,
Ugo Montanari,
2002,
Lecture Notes in Computer Science.
Roberto Bruni,
Ugo Montanari,
2017
.
Ugo Montanari,
David Walker,
Corrado Priami,
2006
.
Fabio Gadducci,
Ugo Montanari,
Filippo Bonchi,
2010,
ICGT.
Marco Pistore,
Ugo Montanari,
Furio Honsell,
1998,
PROCOMET.
Laura Ferrari,
Corrado Moiso,
Ugo Montanari,
2007,
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Roberto Bruni,
Ugo Montanari,
2017
.
Gian Luigi Ferrari,
Ugo Montanari,
Miranda Mowbray,
1997,
Mathematical Structures in Computer Science.
Ugo Montanari,
Andrea Corradini,
Paolo Baldan,
2001,
Inf. Comput..
Roberto Bruni,
José Meseguer,
Ugo Montanari,
1999,
FASE.
Francesca Rossi,
Stefano Bistarelli,
Ugo Montanari,
2002,
TOCL.
Ugo Montanari,
Pierpaolo Degano,
R De Nicola,
1988
.
Ugo Montanari,
Matteo Sammartino,
2014,
LSFA.
Ugo Montanari,
Daniel Yankelevich,
U. Montanari,
1994,
Fundam. Informaticae.
Emilio Tuosto,
Gian Luigi Ferrari,
Ugo Montanari,
2005,
FoSSaCS.
Ugo Montanari,
Andrea Corradini,
Paolo Baldan,
1998,
ICALP.
Thomas Schiex,
Francesca Rossi,
Stefano Bistarelli,
1995,
Over-Constrained Systems.
Hartmut Ehrig,
Francesca Rossi,
Ugo Montanari,
1990,
Graph-Grammars and Their Application to Computer Science.
Alberto Martelli,
Ugo Montanari,
1977,
IJCAI.
Roberto Bruni,
Ugo Montanari,
Matteo Sammartino,
2015,
The ASCENS Approach.
Hartmut Ehrig,
Francesca Rossi,
Ugo Montanari,
1993,
Dagstuhl Seminar on Graph Transformations in Computer Science.
Roberto Gorrieri,
Ugo Montanari,
1990,
CONCUR.
Roberto Gorrieri,
Ugo Montanari,
U. Montanari,
1995,
Theor. Comput. Sci..
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1993,
NATO ASI CP.
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2017,
LICS.
Marco Pistore,
Ugo Montanari,
2000
.
Thomas Schiex,
Francesca Rossi,
Stefano Bistarelli,
1996
.
Vincenzo Ciancia,
Ugo Montanari,
2008,
CMCS.
Roberto Bruni,
Ugo Montanari,
2017
.
Ugo Montanari,
U. Montanari,
1971,
CACM.
Hartmut Ehrig,
Ugo Montanari,
Andrea Corradini,
1994,
TAGT.
Roberto Bruni,
Fabio Gadducci,
Ugo Montanari,
2011,
Results of the SENSORIA Project.
Fabio Gadducci,
Ugo Montanari,
Matteo Coccia,
2002,
CTCS.
Fabio Gadducci,
Ugo Montanari,
Andrea Corradini,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Fabio Gadducci,
Ugo Montanari,
U. Montanari,
2002,
Electron. Notes Theor. Comput. Sci..
Hartmut Ehrig,
Ugo Montanari,
Francesco Parisi-Presicce,
1986,
Graph-Grammars and Their Application to Computer Science.
Francesca Rossi,
Stefano Bistarelli,
Ugo Montanari,
2007,
TOCL.
Francesca Rossi,
Stefano Bistarelli,
Ugo Montanari,
1997,
IJCAI.
Ugo Montanari,
Filippo Bonchi,
2008,
Electron. Notes Theor. Comput. Sci..
Roberto Bruni,
Ugo Montanari,
2017
.
Ugo Montanari,
Nicklas Hoch,
Giacoma Valentina Monreale,
2012,
ArXiv.
Roberto Bruni,
Ugo Montanari,
Donald Sannella,
2006
.
Rocco De Nicola,
Ugo Montanari,
Pierpaolo Degano,
1993,
Theor. Comput. Sci..
Hans-Jörg Kreowski,
Gabriele Taentzer,
Ugo Montanari,
2005,
Formal Methods in Software and Systems Modeling.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1997,
Constraints.
Roberto Bruni,
Fabio Gadducci,
Ugo Montanari,
2010,
Graph Transformations and Model-Driven Engineering.
Cosimo Laneve,
Ugo Montanari,
U. Montanari,
1996,
Mathematical Structures in Computer Science.
Ugo Montanari,
Filippo Bonchi,
U. Montanari,
2011,
Log. Methods Comput. Sci..
Francesca Rossi,
Ugo Montanari,
Manuel V. Hermenegildo,
1998,
Sci. Comput. Program..
Fabio Gadducci,
Ugo Montanari,
Nicoletta Sabadini,
2001,
Electron. Notes Theor. Comput. Sci..
Ugo Montanari,
Ricardo Baeza-Yates,
Nicola Santoro,
2002,
IFIP — The International Federation for Information Processing.
Fabio Gadducci,
Ugo Montanari,
U. Montanari,
1995
.
Hartmut Ehrig,
Francesca Rossi,
Ugo Montanari,
1994,
PROCOMET.
Ugo Montanari,
U. Montanari,
1970,
CACM.
Gian Luigi Ferrari,
Ugo Montanari,
Paola Quaglia,
1996,
Theor. Comput. Sci..
Roberto Bruni,
Ugo Montanari,
Matteo Sammartino,
2015,
Programming Languages with Applications to Biology and Security.
Ugo Montanari,
Dan Hirsch,
U. Montanari,
2001,
CONCUR.
Ugo Montanari,
2000
.
Ugo Montanari,
Alain Tcheukam Siwe,
2014,
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems.
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2004,
Electron. Notes Theor. Comput. Sci..
Roberto Bruni,
Andreas Schroeder,
Nora Koch,
2009,
ICSOC/ServiceWave.
Ugo Montanari,
Francesco Tiezzi,
Rosario Pugliese,
2015,
Software, Services, and Systems.
Marco Pistore,
Ugo Montanari,
2005,
Theor. Comput. Sci..
Fabio Gadducci,
Ugo Montanari,
U. Montanari,
2000,
Proof, Language, and Interaction.
Roberto Gorrieri,
Ugo Montanari,
1991,
Applications and Theory of Petri Nets.
Ugo Montanari,
Vladimiro Sassone,
V. Sassone,
1996
.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1993,
WCLP.
Rocco De Nicola,
Ugo Montanari,
Pierpaolo Degano,
1988,
Acta Informatica.
Roberto Bruni,
José Meseguer,
Ugo Montanari,
1999,
CTCS.
Roberto Bruni,
Ugo Montanari,
Paolo Baldan,
2002,
WADT.
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2014,
FPS@ETAPS.
Alberto Martelli,
Ugo Montanari,
1975,
IJCAI.
Alberto Martelli,
Ugo Montanari,
U. Montanari,
1978,
CACM.
Ugo Montanari,
Vladimiro Sassone,
1996
.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1993,
PPCP.
Roberto Bruni,
Ugo Montanari,
2001,
Electron. Notes Theor. Comput. Sci..
Alberto Martelli,
Ugo Montanari,
U. Montanari,
1973,
IJCAI.
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2004,
IFIP TCS.
Roberto Bruni,
José Meseguer,
Ugo Montanari,
2001,
Inf. Comput..
Ugo Montanari,
Matteo Sammartino,
U. Montanari,
2012,
MFPS.
Roberto Bruni,
Emilio Tuosto,
Gian Luigi Ferrari,
2005,
EPEW/WS-FM.
Reiko Heckel,
Ugo Montanari,
Andrea Corradini,
2000,
ICALP Satellite Workshops.
Ugo Montanari,
U. Montanari,
1988,
European Workshop on Applications and Theory in Petri Nets.
Hans-Jörg Kreowski,
Gabriele Taentzer,
Ugo Montanari,
2008
.
Alberto Martelli,
Ugo Montanari,
U. Montanari,
1982,
TOPL.
Roberto Bruni,
Ugo Montanari,
Hernán C. Melgratti,
2014,
Specification, Algebra, and Software.
Roberto Bruni,
Ugo Montanari,
Alberto Lluch-Lafuente,
2008,
WRLA.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1991,
ISLP.
Ugo Montanari,
Vladimiro Sassone,
1992,
Fundam. Informaticae.
Ugo Montanari,
Maria Grazia Buscemi,
2002,
CONCUR.
Ivan Lanese,
Ugo Montanari,
2006,
Electron. Notes Theor. Comput. Sci..
Ugo Montanari,
Andrea Corradini,
1991,
Category Theory and Computer Science.
Ugo Montanari,
2014,
Math. Struct. Comput. Sci..
Francesca Rossi,
Ugo Montanari,
Manuel V. Hermenegildo,
1994,
ALP.
José Meseguer,
Ugo Montanari,
Vladimiro Sassone,
1992,
CONCUR.
Reiko Heckel,
Hartmut Ehrig,
Francesca Rossi,
1997,
Handbook of Graph Grammars.
Vincenzo Ciancia,
Ugo Montanari,
U. Montanari,
2010,
Inf. Comput..
Ugo Montanari,
Andrea Corradini,
U. Montanari,
1998
.
Marco Pistore,
Ugo Montanari,
Daniel Yankelevich,
1996,
ESOP.
Roberto Bruni,
Cosimo Laneve,
Ugo Montanari,
2002
.
Ugo Montanari,
Pierpaolo Degano,
R De Nicola,
1987
.
Ugo Montanari,
Andrea Corradini,
Paolo Baldan,
1999,
FoSSaCS.
Marco Pistore,
Gian Luigi Ferrari,
Ugo Montanari,
1998,
CAV.
Roberto Bruni,
José Meseguer,
Ugo Montanari,
2002,
Electron. Notes Theor. Comput. Sci..
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1996,
COORDINATION.
José Meseguer,
Ugo Montanari,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Ugo Montanari,
Matteo Sammartino,
Roberto Bruni,
2020,
ICGT.
Roberto Bruni,
Francesca Rossi,
Ugo Montanari,
2001,
Theory and Practice of Logic Programming.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1986,
Graph-Grammars and Their Application to Computer Science.
Hartmut Ehrig,
Ugo Montanari,
Grzegorz Rozenberg,
2006
.
Ugo Montanari,
U. Montanari,
1970,
Artif. Intell..
Emilio Tuosto,
Gian Luigi Ferrari,
Ugo Montanari,
2001,
ICTCS.
Ugo Montanari,
Pierpaolo Degano,
U. Montanari,
1985
.
Roberto Bruni,
Ugo Montanari,
R. Bruni,
2001,
Unifying Petri Nets.
Roberto Bruni,
C. A. R. Hoare,
Ugo Montanari,
2005,
CONCUR.
Ugo Montanari,
Andrea Corradini,
Paolo Baldan,
2002,
Formal and Natural Computing.
Hartmut Ehrig,
Ugo Montanari,
Grzegorz Rozenberg,
2021
.
Fabio Gadducci,
Ugo Montanari,
Marino Miculan,
2003
.
Giorgio Levi,
Ugo Montanari,
U. Montanari,
1988
.
Ugo Montanari,
U. Montanari,
Marcello Sgamma,
1989
.
Francesca Rossi,
Ugo Montanari,
F. Rossi,
1993
.
Hartmut Ehrig,
Ugo Montanari,
Andrea Corradini,
1994
.
Roberto Bruni,
Ugo Montanari,
David de Frutos-Escrig,
2000
.
Roberto Bruni,
José Meseguer,
Ugo Montanari,
2001
.
Roberto Bruni,
Ugo Montanari,
Andrea Corradini,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Ugo Montanari,
Maria Grazia Buscemi,
2002
.
José Meseguer,
Ugo Montanari,
Vladimiro Sassone,
1993
.
Roberto Bruni,
José Meseguer,
Ugo Montanari,
1998
.
Ugo Montanari,
Nicola Bicocchi,
Martin Wirsing,
2012
.
José Meseguer,
Ugo Montanari,
Pierpaolo Degano,
1996,
Acta Informatica.