Homepage Anagrafe della Ricerca

• Consultazione dati

  • per struttura
  • per settore
  • per autore
  • per parola
  • per più criteri

• Link correlati

  • Unimap

• Funzioni

  • Stampa pagina

Autore

UGO GIOVANNI ERASMO MONTANARI

Unimap Dati autore

• Professore Ordinario presso Dipartimento di Informatica
• Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
• Settore scientifico disciplinare INF/01 INFORMATICA
• In servizio

Prodotti

• lista concisa
• lista espansa
• tipo
• anno

• Articolo in rivista

  1. Degano, P., Meseguer, J. e Montanari, U.,Axiomatizing the Algebra of Net Computations and Processes, ACTA INFORMATICA,vol. 33,num. 7,pp 641,tot.pag 0,1996
  2. Corradini, A., Montanari, U. and Rossi, F.,Graph Processes, Fundamenta Informaticae,vol. 26,num. 3/4,pp 241,tot.pag 0,1996
  3. Meseguer, J., Montanari, U and Sassone, V.,Process versus Unfolding Semantics for Place/Transition Petri Nets, THEORETICAL COMPUTER SCIENCE,vol. 153,num. 1-2,pp 171,tot.pag 0,1996
  4. Laneve, C. and Montanari, U.,Axiomatizing Permutation Equivalence, Mathematical Structures in Computer Science,vol. 6,pp 219,tot.pag 0,1996
  5. Montanari, U.,Causal Computing, ACM COMPUTING SURVEYS,vol. 28A,num. 4,pp 1,tot.pag 0,1996
  6. Corradini, A. and Montanari, U.,Special Issue dedicated to the Joint COMPUGRAPH/SEMAGRAPH Workshop, Mathematical Structures in Computer Science,vol. 6,num. 6,pp 1,tot.pag 0,1996
  7. Corradini, A. and Montanari, U.,Special Issue dedicated to the Joint COMPUGRAPH/SEMAGRAPH Workshop, Mathematical Structures in Computer Science,vol. 6,num. 6,pp 1,tot.pag 0,1996
  8. G. Ferrari, U. Montanari, P. Quaglia,A pi-calculus with explicit substitutions, THEORETICAL COMPUTER SCIENCE,vol. 168,pp 53,tot.pag 51,1996
  9. Montanari, U and Ristori, G.,A Concurrent Functional Semantics for a Process Algebra based on Action Systems, Fundamenta Informaticae,vol. 31,pp 357,tot.pag 0,1997
  10. Bistarelli, S., Montanari, U. and Rossi, F.,Semiring-Based Constraint Satisfaction and Optimization, JOURNAL OF THE ACM,vol. 44,num. 2,pp 201,tot.pag 0,1997
  11. G. Ferrari, U. Montanari, M. Mowbray,Structured transition systems with parametric observations: observational congruences and minimal realizations, Mathematical Structures in Computer Science,vol. 7,num. 1,pp 241,tot.pag 42,1997
  12. Bueno, F., Hermenegildo, M., Montanari, U. and Rossi, F.,Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs, SCIENCE OF COMPUTER PROGRAMMING,vol. 30,num. 1-2,pp 51,tot.pag 0,1997
  13. Meseguer, J., Montanari, U and Sassone, V.,On the Semantics of Place/Transition Petri Nets, Mathematical Structures in Computer Science,vol. 7,pp 359,tot.pag 0,1997
  14. Montanari, U and Rossi, F.,Special issue dedicated to Principles and Practice of Constraint Programming, THEORETICAL COMPUTER SCIENCE,vol. 173,num. 1,pp 1,tot.pag 0,1997
  15. Montanari, U and Sassone, V.,Special issue dedicated to Concurrency Theory, THEORETICAL COMPUTER SCIENCE,vol. 195,num. 2,pp 1,tot.pag 0,1998
  16. G. Ferrari, U. Montanari,Parameterized Structured Operational Semantics, Fundamenta Informaticae,vol. 34,num. 1-2,pp 1,tot.pag 31,1998
  17. Bistarelli, S., Fargier, H., Montanari, U., Rossi, F., Schiex, T. and Verfaille, G.,Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison, CONSTRAINTS,vol. 4,num. 3,pp 199,tot.pag 0,1999
  18. Bistarelli, S., Fargier, H., Montanari, U., Rossi, F., Schiex, T. and Verfaille, G.,Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison, CONSTRAINTS,vol. 4,num. 3,pp 199,tot.pag 0,1999
  19. Montanari, U. and Rossi, F.,Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems, APPLIED CATEGORICAL STRUCTURES,vol. 7,pp 333,tot.pag 0,1999
  20. Bruni, R. and Montanari, U.,Zero-Safe Nets: Comparing the Collective and Individual Token Approaches, INFORMATION AND COMPUTATION,vol. 156,num. 1/2,pp 46,tot.pag 0,2000
  21. G. Ferrari, U. Montanari,Tile Formats for Located and Mobile Systems, INFORMATION AND COMPUTATION,vol. 156,num. 1-2,pp 173,tot.pag 63,2000
  22. Baldan, P., Corradini, A. and Montanari, U.,Contextual Petri Nets, Asymmetric Event Structures and Processes, INFORMATION AND COMPUTATION,vol. 171,pp 1-49,tot.pag 49,2001
  23. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone,Functorial Models for Petri Nets, INFORMATION AND COMPUTATION,vol. 170,num. 2,pp 207-236,tot.pag 30,2001
  24. Bistarelli, S., Montanari, U. and Rossi, F.,Semiring-Based Constraint Logic Programming: Syntax and Semantics, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,vol. 23,num. 1,pp 1-29,tot.pag 29,2001
  25. Bruni, R., Montanari, U. and Rossi, F.,An Interactive Semantics of Logic Programming, Theory and Practice of Logic Programming,pp 1,tot.pag 0,2001
  26. Roberto Bruni, Fabio Gadducci, Ugo Montanari,Normal Forms for Algebras of Connections, THEORETICAL COMPUTER SCIENCE,vol. 286,num. 2,pp 247-292,tot.pag 46,2002
  27. Gadducci, F. and Montanari, U.,Comparing Logics for Rewriting: Rewriting Logic, Action Calculi and Tile Logic, THEORETICAL COMPUTER SCIENCE,vol. 285,num. 2,pp 319-358,tot.pag 40,2002
  28. Roberto Bruni, José Meseguer, Ugo Montanari,Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic, Mathematical Structures in Computer Science,vol. 12,num. 1,pp 53-90,tot.pag 38,2002
  29. Corradini, A., Heckel, R. and Montanari, U.,Compositional SOS and Beyond: A Coalgebraic view of Open Systems, THEORETICAL COMPUTER SCIENCE,vol. 280,pp 163-192,tot.pag 30,2002
  30. Bistarelli, S., Montanari, U. and Rossi, F.,Soft Constraint Logic Programming and Generalized Shortest Path Problems, JOURNAL OF HEURISTICS,vol. 8,pp 25-41,tot.pag 17,2002
  31. Roberto Bruni, Ugo Montanari,Dynamic Connectors for Concurrency, THEORETICAL COMPUTER SCIENCE,vol. 281,num. 1-2,pp 131-176,tot.pag 46,2002
  32. Montanari, U. and Pistore, M.,Structured Coalgebras and Minimal HD-Automata for the Pi-Calculus, THEORETICAL COMPUTER SCIENCE,vol. 1,num. 1,pp 1-1,tot.pag 1,2003
  33. Ferrari, G., Gnesi, S., Montanari, U. and Pistore, M.,A Model Checking Verification Environment for Mobile Processes, ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY,pp 1-2,tot.pag 2,2003
  34. Bruni, R. and Montanari, U.,Concurrent Models for Linda with Transactions, Mathematical Structures in Computer Science,pp 1-2,tot.pag 2,2004
  35. FERRARI GIAN-LUIGI, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio,Coalgebraic Minimization of HD-Automata for the π-Calculus Using Polymorphic Types, THEORETICAL COMPUTER SCIENCE,vol. Vol.331 (2-3),pp 325,tot.pag 41,2005
  36. Bruni, R., Montanari, U. and Sassone, V.,Observational Congruences For Dynamically Reconfigurable Tile Systems, Theoretical Computer Science,vol. 335,num. 2,pp 331-372,tot.pag 42,2005
  37. Lluch Lafuente, A. and Montanari, U.,Quantitative mu-Calculus and CTL Defined over Constraint Semirings, THEORETICAL COMPUTER SCIENCE,vol. 346,pp 135-160,tot.pag 26,2005
  38. Bruni, R., Lanese, I. and Montanari, U.,A Basic Algebra of Stateless Connectors, THEORETICAL COMPUTER SCIENCE,vol. 366,num. 1-2,pp 98-120,tot.pag 23,2006
  39. Bistarelli, S., Montanari, U. and Rossi, F.,Soft Concurrent Constraint Programming, ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,vol. 7,num. 3,pp 1-27,tot.pag 28,2006
  40. Gadducci, F. and Miculan, M. and Montanari, U.,About permutation algebras, (pre)sheaves and named sets, Higher-Order and Symbolic Computation,vol. 19,num. 2-3,pp 283-304,tot.pag 22,2006
  41. Baldan Paolo, CORRADINI ANDREA, MONTANARI UGO GIOVANNI ERASMO, Ribeiro Leila,Unfolding Semantics of Graph Transformation, INFORMATION AND COMPUTATION,vol. Vol. 205,pp 733,tot.pag 50,2007
  42. Lanese Ivan, MONTANARI UGO GIOVANNI ERASMO,Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming, THEORY AND PRACTICE OF LOGIC PROGRAMMING,vol. Volume 7, Issue 1 & 2,pp 1,tot.pag 44,tot. autori 2,2007
  43. Buscemi Maria grazia, MONTANARI UGO GIOVANNI ERASMO,A Compositional Coalgebraic Model of Fusion Calculus, THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING,vol. Vol. 72,pp 78,tot.pag 20,tot. autori 2,2007
  44. BRUNI ROBERTO, Lluch lafuente Alberto, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio,Style-Based Architectural Reconfigurations, EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE. BULLETIN,vol. 94,pp 161,tot.pag 20,tot. autori 4,2008
  45. Bonchi Filippo, MONTANARI UGO GIOVANNI ERASMO,Reactive Systems, (Semi-)Saturated Semantics and Coalgebras on Presheaves, THEORETICAL COMPUTER SCIENCE,vol. 410,pp 4044,tot.pag 23,tot. autori 2,2009
  46. BRUNI ROBERTO, Lluch lafuente Alberto, MONTANARI UGO GIOVANNI ERASMO,On Structured Model-Driven Transformations, INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS,vol. 5, num. 1-2,pp 185,tot.pag 206,tot. autori 3,2011
• 
  

  Articolo su rivista scientifica Index Medicus, Science Citation Index

  1. Buscemi Maria grazia, MONTANARI UGO GIOVANNI ERASMO,A Survey of Constraint-based Programming Paradigms, COMPUTER SCIENCE REVIEW,vol. 2,pp 137,tot.pag 5,tot. autori 2,2008
  2. Ciancia Vincenzo, MONTANARI UGO GIOVANNI ERASMO,Symmetries, local names and dynamic (de)-allocation of names, INFORMATION AND COMPUTATION,vol. 208(12),pp 1349,tot.pag 19,tot. autori 2,2010
  3. Bistarelli Stefano, MONTANARI UGO GIOVANNI ERASMO, Rossi Francesca, Santini Francesco,Unicast and multicast QoS routing with soft-constraint logic programming, A C M TRANSACTIONS ON COMPUTATIONAL LOGIC,vol. 12(1),pp 5.1,tot.pag 48,tot. autori 4,2010
  4. Bonchi Filippo, MONTANARI UGO GIOVANNI ERASMO,Symbolic and Asynchronous Semantics via Normalized Coalgebras, LOGICAL METHODS IN COMPUTER SCIENCE,vol. 7(2), paper 7,pp 1,tot.pag 53,tot. autori 2,2011
  5. BUSCEMI MARIA GRAZIA, MONTANARI UGO GIOVANNI ERASMO,QoS negotiation in service composition, JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING.,vol. 80 (1),pp 13,tot.pag 12,tot. autori 2,2011
• 
  

  Libro di ricerca

  1. Andrea Corradini , Marina Lenisa and Ugo Montanari, Eds.,Proc. CMCS 2001: Coalgebraic Methods in Computer Science,tot.pag. 0,edizione Elsevier,2001
  2. Ugo Montanari and Vladimiro Sassone,ConCoord: International Workshop on Concurrency and Coordination,tot.pag. 0,edizione Elsevier,2001
  3. Ricardo Baeza-Yates, Ugo Montanari, and Nicola Santoro,Foundations of Information Technology in the Era of Network and Mobile Computing, TCS 2002,tot.pag. 612,edizione Kluwer,2002
  4. Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg and Gabriele Taentzer, Eds.,Formal Methods in Software and System Modeling,edizione Springer,2004
  5. CORRADINI ANDREA, Ehrig Hartmut, MONTANARI UGO GIOVANNI ERASMO, Ribeiro Leila, Rozenberg Grzegorz,Proceedings of the Third International Conference on Graph Transformation (ICGT'06),tot.pag. 474,tot.autori 5,2006
  6. Mossakowski Till, MONTANARI UGO GIOVANNI ERASMO, Haveraaen Magne,CALCO 2007,tot.pag. 461,tot.autori 3,2007
• 
  

  Libro, manuale o trattato

  1. Montanari, U and Sassone, V.,CONCUR '96: Concurrency Theory,tot.pag. 0,1996
  2. H. Ehrig, H.-J. Kreowski, U. Montanari and G. Rozenberg,Handbook of Graph Grammars and Computing by Graph Transformation, Vol.3: Concurrency, Parallellism, and Distribution,tot.pag. 0,1999
  3. Ugo Montanari, Jose Rolim and Emo Welzl,ICALP 2000,tot.pag. 0,2000
• 
  

  Capitolo, parte o articolo in libro

  1. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R. and Loewe,Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach in Handbook of Graph Grammars and Computing by Graph Transformation,pp 163, World Scientific,tot.pag. 0,1997
  2. Meseguer, J., Montanari, U. and Sassone, V.,Representation Theorems for Petri Nets in Foundations of Computer Science (dedicated to W. Brauer),pp 239, Springer,tot.pag. 0,1997
  3. Montanari, U., Pistore, M. and Rossi, F.,Modeling Concurrent, Mobile and Coordinated Systems via Graph Transformations in Handbook of Graph Grammars and Computing by Graph Transformation,pp 189, World Scientific,tot.pag. 0,1999
  4. Baldan, P.,Corradini, A., Ehrig, E., L"owe, M., Montanari, U. and Rossi, F.,Concurrent Semantics of Algebraic Graph Transformations in Handbook of Graph Grammars and Computing by Graph Transformation,pp 107, World Scientific,tot.pag. 0,1999
  5. Bruni, R. and Montanari, U.,Transactions and Zero-Safe Nets in Advances in Petri Nets, Springer,tot.pag. 0,2002
  6. Baldan, P., Corradini, A. and Montanari, U.,Bisimulation Equivalences for Graph Grammars in Festschrift in Honor of Grzegorz Rozeberg,pp 158, 187, Springer LNCS 2300,tot.pag. 30,2002
  7. De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R. and Tuosto, E.,A Formal Basis for Reasoning on Programmable QoS in Verification--Theory and Practice: Proceedings of an International Symposium in Honor of Zohar Manna's 64th Birthday,pp 1, 2, Springer,tot.pag. 2,2003
  8. Ferrari, G., Montanari, U. and Tuosto, E.,Graph-based Models of Internetworking Systems in UNU/IIST 10th Anniversary Colloquium,pp 242, 266, Springer,tot.pag. 25,2003
  9. Roberto Bruni, Hernán Melgratti and Ugo Montanari,Extending the Zero-Safe approach to Coloured, Reconfigurable and Dynamic Nets in Advances in Petri Nets: Lectures on Concurrency and Petri Nets,pp 291, 327, Springer Verlag,tot.pag. 37,2004
  10. Gadducci, F. and Montanari, U.,Observing Reductions in Nominal Calculi via a Graphical Encoding of Processes in Festschrift in Honor of Jan Willem Klop,pp 1, 21, Springer LNCS,tot.pag. 21,2005
  11. BRUNI ROBERTO, MONTANARI UGO GIOVANNI ERASMO,Costruzioni per la semantica operazionale della concorrenza in La Matematica, vol. 4,pp 181, 218,tot. autori 2,tot.pag. 38,2010
  12. MONTANARI UGO GIOVANNI ERASMO,A Unifying Formal Basis for the Sensoria Approach: A White Paper in Sensoria Project,pp 15, 25,tot. autori 1,tot.pag. 11,2011
  13. BRUNI ROBERTO, Foster Howard, Lluch lafuente Alberto, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio,A formal support to business and architectural design for service-oriented systems in Sensoria Project,pp 133, 152,tot. autori 5,tot.pag. 20,2011
  14. Buscemi Maria grazia, MONTANARI UGO GIOVANNI ERASMO,CC-Pi: A Constraint Language for Service Negotiation and Composition in Sensoria Project,pp 262, 281,tot. autori 2,tot.pag. 20,2011
  15. BRUNI ROBERTO, CORRADINI ANDREA, GADDUCCI FABIO, Lluch lafuente Alberto, MONTANARI UGO GIOVANNI ERASMO,Hierarchical models for service-oriented systems in Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing,pp 349, 368,tot. autori 5,tot.pag. 20,2011
• 
  

  Articolo, saggio o studio originale in volume

  1. GADDUCCI FABIO, MONTANARI UGO GIOVANNI ERASMO,The Tile Model in Proof, Language, and Interaction, Essays in Honour of Robin Milner,pp 133, 166,tot. autori 2,tot.pag. 32,2000
  2. Baldan Paolo, CORRADINI ANDREA, GADDUCCI FABIO, MONTANARI UGO GIOVANNI ERASMO,From Petri nets to graph transformation systems in Manipulation of Graphs, Algebras and Pictures, Essays Dedicated to Hans-Joerg Kreowski on the Occasion of His 60th Birthday,pp 1, 18,tot. autori 4,tot.pag. 18,2010
  3. BRUNI ROBERTO, CORRADINI ANDREA, GADDUCCI FABIO, Lluch lafuente Alberto, MONTANARI UGO GIOVANNI ERASMO,On gs-monoidal theories for graphs with nesting in Graph Transformations and Model-Driven Engineering, Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday,pp 59, 86,tot. autori 5,tot.pag. 28,2010
• 
  

  Articolo in atti di congresso

  1. Montanari, U., Pistore, M., and Yankelevich, D.,Efficient Minimization up to Location Equivalence, Programming Languages and Systems - ESOP'96, pp 265,vol. LNCS 1058,1996
  2. Montanari, U., and Rossi, F.,Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization, Coordination Languages and Models, pp 12,vol. LNCS 1061,1996
  3. Bistarelli, S., Fargier, H., Montanari, U., Rossi, F., Schiex, T. and Verfaille, G.,Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison, Over-Constrained Systems, pp ?,vol. LNCS 1106,1996
  4. Montanari, U. and Pistore,History Dependent Verification for Partial Order Systems, Partial Order Methods in Verifications, pp 259,vol. 29,1996
  5. Montanari, U. and Pistore,History Dependent Verification for Partial Order Systems, Partial Order Methods in Verifications, pp 259,vol. 29,1996
  6. Gadducci, F. and Montanari, U.,Tiles, Rewriting Rules and CCS, First International Workshop on Rewriting Logic and its Applications, pp 1,vol. ENTCS 4,1996
  7. Ferrari, G., Ferro, G., Gnesi, S., Montanari, U., Pistore, M. and Ristori, G.,An Automata Based Verification Environment for Mobile Processes, TACAS, pp 275,vol. LNCS 1217,1997
  8. Bistarelli, S., Montanari, U. and Rossi, F.,Semiring-based Constraint Logic Programming, IJCAI97, pp 352,vol. ?,1997
  9. Andreoli, J.M., Bistarelli, S., Borghoff, U.M., Montanari, U., Pareschi, R. and Rossi, F.,Constraints and Agents for a Decentralized Network Infrastructure, AAAI97 Workshop on Constraints and Agents, pp ?,vol. ?,1997
  10. Ferrari, G.L. and Montanari, U.,A Tile-Based Coordination View of Asynchronous Pi-Calculus, MFCS'97, pp 52,vol. LNCS 1295,1997
  11. Bruni, R. and Montanari,Zero-Safe Nets, or Transition Synchronization Made Simple, EXPRESS'97, pp 1,vol. ENTCS 7,1997
  12. Montanari, U. and Pistore,Minimal Transition Systems for History-Preserving Bisimulation, STACS 97, pp 413,vol. LNCS 1200,1997
  13. Ferrari, G. and Montanari, U.,Tiles for Concurrent and Located Calculi, EXPRESS'97, pp 1,vol. ENTCS 7,1997
  14. Hirsch, D., Inverardi, P. and Montanari, U.,Graph Grammars and Constraint Solving for Software Architecture Styles, ISAW'98, pp ?,vol. 1,1998
  15. Bruni, R., Meseguer, J., Montanari, U. and Sassone, V.,A Comparison of Petri Net Semantics under the Collective Token Philosophy, ASIAN'98, pp 225,vol. LNCS 1538,1998
  16. Bruni, R., Meseguer, J. and Montanari, U.,Implementing Tile Systems: Some Examples from Process Calculi, ICTCS, pp 168,vol. 1,1998
  17. Bruni, R., Meseguer, J. and Montanari, U.,Internal Strategies in a Rewriting Implementation of Tile Systems, WRLA'98, pp 1,vol. ENTCS 15,1998
  18. Montanari, U. and Pistore, M.,An Introduction to History Dependent Automata, HOOTS'98, pp 1,vol. ENTCS 10,1998
  19. Montanari , U. and Talcott, C.,Can Actors and pi-Agents Live Together?, HOOTS'98, pp 1,vol. ENTCS 10,1998
  20. Gadducci, F. and Montanari, U.,Axioms for Contextual Net Processes, ICALP'98, pp 296,vol. LNCS 1443,1998
  21. Baldan, P., Corradini, A. and Montanari, U.,Concatenable Graph Processes: Relating Processes and Derivation Traces, ICALP'98, pp 283,vol. LNCS 1443,1998
  22. Ferrari, G., Gnesi, S., Montanari, U., Pistore, M. and Ristori, G.,Verifying Mobile Processes in the HAL Environment, CAV'98, pp 511,vol. LNCS 1427,1998
  23. Honsell, F., Lenisa, M., Montanari, U. and Pistore, M.,Final Semantics for the Pi-Calculus, PROCOMET'98, pp 226,vol. 1,1998
  24. Baldan, P., Corradini, A. and Montanari, U.,An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures, FOSSACS'98, pp 63,vol. LNCS 1378,1998
  25. Bruni, R. and Montanari, U.,Zero-Safe Nets: The Individual Token Approach, WADT'98, pp 122,vol. LNCS 1376,1998
  26. Meseguer, J. and Montanari, U.,Mapping Tile Logic into Rewriting Logic, WADT'98, pp 62,vol. LNCS 1376,1998
  27. Montanari, U. and Rossi, F.,Modeling Process Coordination Via Tiles, Graphs and Constraints, 3rd Biennial World Conference on Integrated Design and Process Technology, pp 1,vol. 4,1998
  28. Bruni, R., Gadducci, F. and Montanari, U.,Normal Forms for Partitions and Relations, WADT'98, pp 31,vol. LNCS 1589,1998
  29. Corradini, A., Heckel, R. and Montanari, U.,Tile Transition Systems as Structured Coalgebras, FCT'99, pp 13,vol. LNCS 1684,1999
  30. Hirsch, D. and Montanari, U.,Consistent Transformations for Software Architecture Styles of Distributed Systems, Workshop on Distributed Systems, pp 1,vol. ENTCS 28,1999
  31. Bruni, R., Meseguer, J., Montanari, U. and Sassone, V.,Functorial Semantics for Petri Nets Under the Individual Token Philosophy, CTCS'99, pp 1,vol. ENTCS 24,1999
  32. Bruni, R. and Montanari, U.,Zero-Safe Nets: Composing Nets via Transition Synchronization, Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pp 43-80,vol. 1,1999
  33. Baldan, P., Corradini, A. and Montanari, U.,Unfolding of Double-Pushout Graph Grammars is a Coreflection, Theory and Application of Graph Transformations, pp 145,vol. LNCS 1764,1999
  34. Hirsch, D., Inverardi, P. and Montanari, U.,Modeling Software Architectures and Styles with Graph Grammars and Constraint Solving, Working IFIP Conference on Software Architecture, pp ?,vol. 1,1999
  35. Bruni, R. and Montanari, U.,Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus, LICS, pp 246-265,vol. 1,1999
  36. Montanari, U. and Pistore, M.,Finite State Verification for the Asynchronous Pi-Calculus, TACAS'99, pp 255,vol. LNCS 1579,1999
  37. Baldan, P., Corradini, A. and Montanari, U.,Unfolding and Event Structure Semantics for Graph Grammars, FOSSACS'99, pp 73,vol. LNCS 1578,1999
  38. Bruni, R., Meseguer, J. and Montanari, U.,Executable Tile Specifications for Process Calculi, FASE'99, pp 60,vol. LNCS 1577,1999
  39. Corradini, A., Heckel, R. and Montanari, U.,From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence, CMCS'99, pp 1,vol. ENTCS 19,1999
  40. Baldan, P., Corradini, A. and Montanari, U.,History Preserving Bisimulation for Contextual Nets, WADT'99, pp 291,vol. LNCS 1827,1999
  41. Bruni, R., Montanari, U. and Sassone, V.,Open Ended Systems, Dynamic Bisimulation and Tile Logic, IFIP TCS2000, pp 440,vol. LNCS 1872,2000
  42. Hirsch, D., Inverardi, P. and Montanari, U.,Reconfiguration of Software Architecture Styles with Name Mobility, Coordination 2000, pp 148,vol. LNCS 1906,2000
  43. Bruni, R., de Frutos-Escrig, D., Marti-Oliet, N. and Montanari, U.,Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic, CONCUR 2000, pp 259,vol. LNCS 1877,2000
  44. Montanari, U.,Two Problems in Wide Area Network Programming, IFIP TCS 2000, pp 609,vol. LNCS 1872,2000
  45. Bruni, R. and Montanari, U.,Executing Transactions in Zero-Safe Nets, International Conference on Application and Theory of Petri Nets 2000, pp 83,vol. LNCS 1825,2000
  46. Corradini, A., Heckel, R. and Montanari, U.,Graphical Operational Semantics, ICALP Workshops 2000, pp 411,vol. Proceedings in Informatics 8,2000
  47. Montanari, U. and Pistore, M.,Structured Coalgebras and Minimal HD-Automata, MFCS 2000, pp ?,vol. LNCS 1983,2000
  48. Gadducci, F. and Montanari, U.,A Concurrent Graph Semantics for Mobile Ambients, Mathematical Foundations of Programming Semantics, pp 1, Aarhus,vol. 45,2001
  49. Hirsch, D. and Montanari, U.,A Graphical Calculus for Name Mobility, Workshop on Software Engineering and Mobility, pp ?, Toronto,vol. ?,2001
  50. Hirsch, D. and Montanari, U.,Synchronized Hyperedge Replacement with Name Mobility, CONCUR 2001, pp 121-136, Aalborg,vol. 2154,2001
  51. Koenig, B. and Montanari, U.,Observational Equivalence for Synchronized Graph Rewriting, TACS 2001, pp 145-164, Sendai,vol. 2215,2001
  52. Bruni, R. and Montanari, U.,Zero-Safe Net Models for Transactions in Linda, ConCoord: International Workshop on Concurrency and Coordination, pp 1, Lipari,vol. 54,2001
  53. Gadducci, F., Montanari, U., Sabadini, N. and Walters, R.,Comparing Cospan-Spans and Tiles via a Hoare-style Process Calculus, TOSCA Final Workshop, pp 1, Udine,vol. ?,2001
  54. GianLuigi Ferrari, G.L., Montanari, U. and Tuosto, E.,A LTS Semantics of Ambients via Graph Synchronization with Mobility, ICTCS 2001, pp 1-16, Torino,vol. 2202,2001
  55. Roberto Bruni, Cosimo Laneve, Ugo Montanari,Orchestrating Transactions in Join Calculus, CONCUR 2002, 13th International Conference on Concurrency Theory, pp 321-336, Brno, Czech Republic,vol. 2421,2002
  56. Bistarelli, S., Montanari, U. and Rossi, F.,Soft Concurrent Constraint Programming, ESOP 2002, pp 53-67, Grenoble,vol. 1,2002
  57. Ferrari, G., Montanari, U. and Pistore, M.,Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation, FOSSACS 2002, pp 129-143, Grenoble,vol. 1,2002
  58. Buscemi, M. and Montanari, U.,A First Order Coalgebraic Model of Pi-Calculus Early Observational Equivalence, CONCUR 2002, pp 449-465, Brno,vol. 1,2002
  59. Montanari, U. and Ribeiro, L.,Linear Ordered Graph Grammars and Their Algebraic Foundations, ICGT 2002, pp 317-333, Barcelona,vol. 1,2002
  60. Andrade, L., Baldan, P., Baumeister, H., Bruni, R., Corradini, A., De Nicola, R., Fiadeiro, J., Gadducci, F., Gnesi, S., Hoffman, P., Koch, N., Kosiuczenko, P., Lapadula, A., Latella, D., Lopes, A., Loreti, M., Massink, M., Mazzanti, F., Montanari, U., Oliveira, C., Pugliese, R., Tarlecki, A., Wermelinger, M., Wirsing, M. and Zawlocki, A.,AGILE: Software Architecture for Mobility, Recent Trends in Algebraic Develeopment Techniques---16th International Workshop, WADT 2002, pp 1-1,vol. 2755,2003
  61. Bruni, R., Meseguer, J., Montanari, U. and Sassone, V.,Algebraic Theories for Contextual Pre-Nets, Proc. ICTCS 2003, pp 256-270,vol. 2841,2003
  62. Ferrari, G., Montanari. U, Raggi, R. and Tuosto, E.,From Co-algebraic Specifications to Implementation: The MIHDA Toolkit, Proc. FMCO 2002, pp 1-2, Leiden,vol. 1,2003
  63. Baldan, P., Bruni, R. and Montanari, U.,Pre-nets, Read Arcs and Unfolding: a Functorial Presentation, Recent Trends in Algebraic Develeopment Techniques---16th International Workshop, WADT 2002, pp 1-2,vol. 2755,2003
  64. Baldan, P., Corradini, A., Montanari, U. and Ribeiro, L.,Coreflective Concurrent Semantics for Single-Pushout Graph Grammars, Recent Trends in Algebraic Develeopment Techniques---16th International Workshop, WADT 2002, pp 1-1,vol. 1,2003
  65. Roberto Bruni, Hernán Melgratti and Ugo Montanari,Nested commits for mobile calculi: extending Join, IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, pp 563-576, Toulose, France,vol. 1,2004
  66. Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes and Ugo Montanari,New insights on architectural connectors, IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, pp 367-379, Toulose, France,vol. 1,2004
  67. Boreale, M., Buscemi, M.G. and Montanari, U.,D-Fusion: a Distinctive Fusion Calculus, APLAS 2004, pp 296-310,vol. 3302,2004
  68. Ferrari, G., Montanari, U., Tuosto, E., VIctor, B. and Yemane, K.,Modelling Fusion Calculus Using HD-automata, CALCO 2005, pp 142-156,vol. 1,2005
  69. Bruni, R., Lanese, I. and Montanari, U.,Complete Axioms for Stateless Connectors, CALCO 2005, pp 98-113,vol. 1,2005
  70. Bruni, R., Gadducci, F., Montanari, U. and Sobocinski, P.,Deriving Weak Bisimulation Congruences from Reduction Systems, CONCUR 2005, pp 293-307, San Francisco,vol. 1,2005
  71. Bruni, R., Butler, M, Ferreira, C., Hoare, T., Melgratti, H. and Montanari, U.,Comparing Two Approaches to Compensable Flow Composition, CONCUR 2005, pp 383-397, San Francisco,vol. 1,2005
  72. De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R. and Tuosto, E.,A Process Calculus for QoS-Aware Applications, COORDINATION 2005, pp 33-48,vol. 1,2005
  73. Montanari, U. and Pistore, M.,History-Dependent Automata: An Introduction, SFM-Moby 2005, pp 1-28,vol. 1,2005
  74. Ferrari, G., Montanari, U. and Tuosto, E.,Model Checking for Nominal Calculi, FOSSACS 2005, pp 1-24, Edinburgh,vol. 1,2005
  75. Gadducci, F. and Montanari, U.,Graph processes with fusions: Concurrency by colimits, again, Formal Methods in Software and System Modelling (Ehrig Festschrift), pp 84-100, Berlino (Germania),vol. 3393,2005
  76. Roberto Bruni, Hernán Melgratti, Ugo Montanari,Theoretical foundations for compensations in flow composition languages, POPL 2005, 32nd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, pp 209-220, Long Beach, California, USA,vol. 1,2005
  77. Ferrari, G.L., Hirsch, D., Lanese, I., Montanari, U.,and Tuosto, E.,Synchronized Hyperedge Replacement as a Model for Service Oriented Computing, FMCO 2005, pp 1-21, Leiden,vol. 1,2005
  78. Boreale, M. Buscemi, M.G. and Montanari, U.,A General Name Binding Mechanism, TGC 2005, pp 61-74, Edinburgh,vol. 1,2005
  79. Bonchi, F., Koenig, B. and Montanari, U.,Saturated Semantics for Reactive Systems, LICS 2006, pp 69-78,vol. 1,2006
  80. Baldan, P. and Gadducci, F. and Montanari, U.,Concurrent rewriting for graphs with equivalences, 17th International Conference on Concurrency Theory (CONCUR 2006), pp 279-294, Bonn (Germania),vol. 4137,2006
• 
  

  Atto di convegno internazionale con revisori articolo su invito

  1. Buscemi Maria grazia, MONTANARI UGO GIOVANNI ERASMO, Taneja Sonia,Toward a Game-Theoretic Model of Grid Systems, TGC, pp 57-72, München,vol. 6084, tot. autori 3,2010
  2. BRUNI ROBERTO, CORRADINI ANDREA, MONTANARI UGO GIOVANNI ERASMO,Modeling a Service and Session Calculus with Hierarchical Graph Transformation, Int. Coll. on Graph and Model Transformation, On the occasion of the 65th birthday of Hartmut Ehrig, pp 1-15, Berlin, Germany,vol. 30, tot. autori 3,2010
  3. BRUNI ROBERTO, Melgratti Hernan, MONTANARI UGO GIOVANNI ERASMO,Connector Algebras, Petri Nets, and BIP, 8th Andrei Ershov Informatics Conference (PSI 2011), pp xx-xx, Novosibirsk, Akademgorodok, Russia, tot. autori 3,2011
• 
  

  Atto di convegno internazionale con revisori articolo in extenso

  1. Buscemi Maria grazia, MONTANARI UGO GIOVANNI ERASMO,CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements, ETAPS - ESOP 2007, pp 18-32, Braga,vol. LNCS 4421, tot. autori 2,2007
  2. Bonchi Filippo, MONTANARI UGO GIOVANNI ERASMO,Coalgebraic Models for Reactive Systems, CONCUR 2007, pp 364-379, Lisbona,vol. Springer LNCS 4703, tot. autori 2,2007
  3. BRUNI ROBERTO, Melgratti Hernan, MONTANARI UGO GIOVANNI ERASMO,Event structure semantics for dynamic graph grammars, PNGT 2006, Workshop on Petrin Nets and Graph Transformation, pp 1-20, Natal, Brasil,vol. 2, tot. autori 3,2007
  4. Buscemi Maria grazie, Ferrari Laura, Moiso Corrado, MONTANARI UGO GIOVANNI ERASMO,Constraint-Based Policy Negotiation and Enforcement for Telco Services, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), pp 463-472, Shangai,2007
  5. BRUNI ROBERTO, Lluch lafuente Alberto, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio,Service Oriented Architectural Design, TGC 2007, pp 186-203, Sophia Antipolis,vol. 4912, tot. autori 4,2007
  6. BRUNI ROBERTO, Lluch lafuente Alberto, MONTANARI UGO GIOVANNI ERASMO,Hierarchical Design Rewriting with Maude, 7th International Workshop on Rewriting Logic and its Applications (WRLA 2008), pp 45-62, Budapest, Hungary,vol. 238.3, tot. autori 3,2008
  7. BRUNI ROBERTO, Hoelzl Matthias, Koch Nora, Lluch lafuente Alberto, Mayer Philip, MONTANARI UGO GIOVANNI ERASMO, Schroeder Andreas, Wirsing Martin,A service-oriented UML profile with formal support, Joint ICSOC-ServiceWave 2009, pp 455-469, Stockholm, Sweden,vol. 5900, tot. autori 8,2009
  8. Arbab Farhad, BRUNI ROBERTO, Clarke Dave, Lanese Ivan, MONTANARI UGO GIOVANNI ERASMO,Tiles for Reo, 19th International Workshop on Algebraic Development Techniques (WADT 2008), pp 37-55, Pisa, Italy,vol. 5486, tot. autori 5,2009
  9. CORRADINI ANDREA, MONTANARI UGO GIOVANNI ERASMO,Revised Papers WADT 2008, Revised Papers WADT 2008, pp 1-341, Pisa,vol. 5486, tot. autori 2,2009
  10. Boronat Artur, BRUNI ROBERTO, Lluch lafuente Alberto, MONTANARI UGO GIOVANNI ERASMO, Paolillo Generoso,Exploiting the hierarchical structure of rule-based specifications for decision planning, IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS-FORTE 2010), pp 2-16, Amsterdam, The Netherlands,vol. 6117, tot. autori 5,2010
  11. Ciancia Vincenzo, MONTANARI UGO GIOVANNI ERASMO,Families of Symmetries as Efficient Models of Resource Binding, Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS’10), pp 63-81, Paphos (Cipro),vol. 264 (2), tot. autori 2,2010
  12. BRUNI ROBERTO, Melgratti Hernan, MONTANARI UGO GIOVANNI ERASMO,A Connector Algebra for P/T Nets Interactions, 22nd International Conference on Concurrency Theory (CONCUR 2011), pp 312-326, Aachen, Germany,vol. 6901, tot. autori 3,2011
• 
  

  Articolo su atti di congresso internazionale periodico o di societa' internazionale

  1. Baldan Paolo, GADDUCCI FABIO, MONTANARI UGO GIOVANNI ERASMO,Modelling calculi with name mobility using graphs with equivalences, Third International Workshop on Term Graph Rewriting (TERMGRAPH 2006), pp 85-97, Vienna (Austria),vol. 176 (1), tot. autori 3,2007
  2. Bonchi Filippo, MONTANARI UGO GIOVANNI ERASMO,Minimization Algorithm for Symbolic Bisimilarity, ESOP, pp 267-284, York,vol. LNCS 5502, tot. autori 2,2009
  3. Bonchi Filippo, GADDUCCI FABIO, MONREALE GIACOMA, MONTANARI UGO GIOVANNI ERASMO,Saturated LTSs for Adhesive Rewriting Systems, Fifth International Conference on Graph Transformations (ICGT 2010), pp 123-138, Enschede (Olanda),vol. 6372, tot. autori 4,2010
  4. GADDUCCI FABIO, MONREALE GIACOMA, MONTANARI UGO GIOVANNI ERASMO,A modular LTS for open reactive systems, Seventh IFIP International Conference on Theoretical Computer Science (TCS 2012), pp 100-116, Amsterdam (Olanda),vol. 10000, tot. autori 3,2012
• 
  

  Articolo su atti di congresso internazionale

  1. Bonchi Filippo, MONTANARI UGO GIOVANNI ERASMO,Symbolic Semantics Revisited, FOSSACS 2008, pp 395-412, Budapest,vol. 4962, tot. autori 2,2008
  2. Buscemi Maria grazia, MONTANARI UGO GIOVANNI ERASMO,Open Bisimulation for the Concurrent Constraint Pi-Calculus, ESOP 2008, pp 254-268, Budapest,vol. 4960, tot. autori 2,2008
  3. Bonchi Filippo, MONTANARI UGO GIOVANNI ERASMO,Coalgebraic Symbolic Semantics, CALCO, pp 173-193, Udine,vol. 5728, tot. autori 2,2009
• 
  

  Riassunto di comunicazione a congresso internazionale

  1. BRUNI ROBERTO, Lluch lafuente Alberto, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio,Architectural Design Rewriting as an Architecture Description Language (position paper), The Rise and Rise of the Declarative Datacentre, pp 15-16, Cambridge, UK, tot. autori 4,2008
  2. BRUNI ROBERTO, MONTANARI UGO GIOVANNI ERASMO,Models for Open Transactions (extended abstract), 3rd Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2009), pp 25-34, Toledo, Spain, tot. autori 2,2009
  3. BRUNI ROBERTO, CORRADINI ANDREA, GADDUCCI FABIO, Lluch lafuente Alberto, MONTANARI UGO GIOVANNI ERASMO,Rewriting nested graphs, through term graphs (abstract), 20th International Workshop on Algebraic Development Techniques (WADT 2010), pp 54-56, Schloss Etelsen, Germany,2010
• 
  

  Rapporto interno e/o relazione

  1. BRUNI ROBERTO, Lluch lafuente Alberto, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio,Style-based architectural reconfigurations, Dipartimento di Informatica, Universita' di Pisa,tot. autori 4,2007
• 
  

  Curatele di libri collettanei o di Atti di convegno

  1. GADDUCCI FABIO, MONTANARI UGO GIOVANNI ERASMO,Fourth International Workshop on Rewriting Logic and its Applications (WRLA 2002),tot. autori 2, 300,2002
  2. BRUNI ROBERTO, MONTANARI UGO GIOVANNI ERASMO, Sannella Donald,Proceedings of the 2nd Symposium on Trustworthy Global Computing (TGC 2006),tot. autori 3, 339,2007
• 
  

  Software

  1. FERRARI GIAN-LUIGI, MONTANARI UGO GIOVANNI ERASMO, Gnesi Stefania, Pistore Marco,HAL: History Dependent Automata Laboratory,categoria ,progetto FET Global Computing PROFUNDIS,2002
  2. FERRARI GIAN-LUIGI, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio,MIHDA (Bisimulation Checker),categoria ,progetto FET Global Computing Project PROFUNDIS,2003
  3. FERRARI GIAN-LUIGI, MONTANARI UGO GIOVANNI ERASMO, Tuosto Emilio, Raggi Roberto, Gnesi Stefania, Baldamus Michael,Profundis WEB Services,categoria ,progetto FET GLOBAL COMPUTING PROJECT PROFUNDIS,2004
  4. BRUNI ROBERTO, FERRARI GIAN-LUIGI, Melgratti Hernann, MONTANARI UGO GIOVANNI ERASMO, Strollo Daniele, Tuosto Emilio,Java Transactional Web Services (JTWS),categoria ,progetto FET GLOBAL COMPUTING PROJECT SENSORIA,2005
  5. BRUNI ROBERTO, Lluch lafuente Alberto, MONTANARI UGO GIOVANNI ERASMO,Architectural Design Rewriting (ADR),Sito di distribuzione http://www.albertolluch.com/research/adr,categoria ,progetto SENSORIA,2008