The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ugo Montanari: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alberto Martelli, Ugo Montanari
    An Efficient Unification Algorithm. [Citation Graph (5, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:258-282 [Journal]
  2. Ugo Montanari, Francesca Rossi
    Constraint Relaxation may be Perfect. [Citation Graph (1, 0)][DBLP]
    Artif. Intell., 1991, v:48, n:2, pp:143-170 [Journal]
  3. Alberto Martelli, Ugo Montanari
    Optimizing Decision Trees Through Heuristically Guided Search. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1978, v:21, n:12, pp:1025-1039 [Journal]
  4. Ugo Montanari
    A Note on Minimal Length Polygongal Approximation to a Digitized Contour. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1970, v:13, n:1, pp:41-47 [Journal]
  5. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
    Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:291-327 [Conf]
  6. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    CCS is an (Augmented) Contact Free C/E System. [Citation Graph (0, 0)][DBLP]
    Mathematical Models for the Semantics of Parallelism, 1986, pp:144-165 [Conf]
  7. Cosimo Laneve, Ugo Montanari
    Axiomatizing Permutation Equivalence in the Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:350-363 [Conf]
  8. Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
    From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:114-132 [Conf]
  9. Gian Luigi Ferrari, Ugo Montanari
    Dynamic Matrices and the Cost Analysis of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:307-321 [Conf]
  10. Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
    D-Fusion: A Distinctive Fusion Calculus. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:296-310 [Conf]
  11. Roberto Bruni, Ugo Montanari
    Executing Transactions in Zero-Safe Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:83-102 [Conf]
  12. Roberto Bruni, Ugo Montanari
    Transactions and Zero-Safe Nets. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:380-426 [Conf]
  13. Roberto Gorrieri, Ugo Montanari
    Distributed Implementation of CCS. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1991, pp:244-266 [Conf]
  14. José Meseguer, Ugo Montanari, Vladimiro Sassone
    On the Model of Computation of Place/Transition Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:16-38 [Conf]
  15. Ugo Montanari
    CEDISYS: Compositional Distributed Systems - State of the art, research goals, references. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1988, pp:507-524 [Conf]
  16. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    A Comparison of Petri Net Semantics under the Collective Token Philosophy. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:225-244 [Conf]
  17. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Bisimulation Equivalences for Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Formal and Natural Computing, 2002, pp:158-190 [Conf]
  18. Andrea Corradini, Ugo Montanari
    An Algebraic Representation of Logic-Program Computations. [Citation Graph (0, 0)][DBLP]
    Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:584-612 [Conf]
  19. Fabio Gadducci, Ugo Montanari
    Graph Processes with Fusions: Concurrency by Colimits, Again. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:84-100 [Conf]
  20. Fabio Gadducci, Ugo Montanari
    Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:106-126 [Conf]
  21. José Meseguer, Ugo Montanari, Vladimiro Sassone
    Representation Theorems for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:239-249 [Conf]
  22. Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
    A Formal Basis for Reasoning on Programmable QoS. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:436-479 [Conf]
  23. Roberto Gorrieri, Sergio Marchetti, Ugo Montanari
    A²CCS: A Simple Extension of CCS for Handling Atomic Actions. [Citation Graph (0, 0)][DBLP]
    CAAP, 1988, pp:258-270 [Conf]
  24. Gian Luigi Ferrari, Ugo Montanari
    Towards the Unification of Models for Concurrency. [Citation Graph (0, 0)][DBLP]
    CAAP, 1990, pp:162-176 [Conf]
  25. Ugo Montanari, Francesca Rossi
    Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics. [Citation Graph (0, 0)][DBLP]
    CAAP, 1992, pp:232-247 [Conf]
  26. Roberto Bruni, Ivan Lanese, Ugo Montanari
    Complete Axioms for Stateless Connectors. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:98-113 [Conf]
  27. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane
    Modelling Fusion Calculus using HD-Automata. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:142-156 [Conf]
  28. Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
    Verifying Mobile Processes in the HAL Environment. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:511-515 [Conf]
  29. Paolo Baldan, Fabio Gadducci, Ugo Montanari
    Concurrent Rewriting for Graphs with Equivalences. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:279-294 [Conf]
  30. Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari
    Comparing Two Approaches to Compensable Flow Composition. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:383-397 [Conf]
  31. Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari
    Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:259-274 [Conf]
  32. Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski
    Deriving Weak Bisimulation Congruences from Reduction Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:293-307 [Conf]
  33. Roberto Bruni, Cosimo Laneve, Ugo Montanari
    Orchestrating Transactions in Join Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:321-337 [Conf]
  34. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
    Event Structure Semantics for Nominal Calculi. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:295-309 [Conf]
  35. Maria Grazia Buscemi, Ugo Montanari
    A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:449-465 [Conf]
  36. Gian Luigi Ferrari, Ugo Montanari
    The Observation Algebra of Spatial Pomsets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:188-202 [Conf]
  37. Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia
    The Weak Late pi-Calculus Semantics as Observation Equivalence. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:57-71 [Conf]
  38. Dan Hirsch, Ugo Montanari
    Synchronized Hyperedge Replacement with Name Mobility. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:121-136 [Conf]
  39. Roberto Gorrieri, Ugo Montanari
    SCONE: A Simple Calculus of Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:2-30 [Conf]
  40. José Meseguer, Ugo Montanari, Vladimiro Sassone
    On the Semantics of Petri Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:286-301 [Conf]
  41. Ugo Montanari, Marco Pistore
    Checking Bisimilarity for Finitary pi-Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:42-56 [Conf]
  42. Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager
    Back and Forth Bisimulations. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:152-165 [Conf]
  43. Dan Hirsch, Paola Inverardi, Ugo Montanari
    Reconfiguration of Software Architecture Styles with Name Mobility. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:148-163 [Conf]
  44. Ugo Montanari, Francesca Rossi
    Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1996, pp:12-27 [Conf]
  45. Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
    A Process Calculus for QoS-Aware Applications. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:33-48 [Conf]
  46. Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie
    Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. [Citation Graph (0, 0)][DBLP]
    Over-Constrained Systems, 1995, pp:111-150 [Conf]
  47. Andrea Corradini, Ugo Montanari
    An Algebra of Graphs and Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:236-260 [Conf]
  48. Ugo Montanari, Daniel Yankelevich
    An Algebraic View of Interleaving and Distributed Operational Semantics for CCS. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:5-20 [Conf]
  49. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    Abstract Graph Derivations in the Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:86-103 [Conf]
  50. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:119-137 [Conf]
  51. José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing
    05081 Abstracts Collection - Foundations of Global Computing. [Citation Graph (0, 0)][DBLP]
    Foundations of Global Computing, 2005, pp:- [Conf]
  52. Barbara König, Ugo Montanari, Philippa Gardner
    04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. [Citation Graph (0, 0)][DBLP]
    Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf]
  53. Ivan Lanese, Ugo Montanari
    Insights emerged while comparing three models for global computing. [Citation Graph (0, 0)][DBLP]
    Foundations of Global Computing, 2005, pp:- [Conf]
  54. Ugo Montanari, Francesca Rossi
    Contextual Occurence Nets and Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:280-295 [Conf]
  55. Roberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
    From Theory to Practice in Transactional Composition of Web Services. [Citation Graph (0, 0)][DBLP]
    EPEW/WS-FM, 2005, pp:272-286 [Conf]
  56. Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari
    An Executon Environment for the Formal Definiton of Ada. [Citation Graph (0, 0)][DBLP]
    ESEC, 1987, pp:327-335 [Conf]
  57. Stefano Bistarelli, Ugo Montanari, Francesca Rossi
    Soft Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:53-67 [Conf]
  58. Ugo Montanari, Marco Pistore, Daniel Yankelevich
    Efficient Minimization up to Location Equivalence. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:265-279 [Conf]
  59. Roberto Bruni, José Meseguer, Ugo Montanari
    Executable Tile Specifications for Process Calculi. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:60-76 [Conf]
  60. Andrea Corradini, Reiko Heckel, Ugo Montanari
    Tile Transition Systems as Structured Coalgebras. [Citation Graph (0, 0)][DBLP]
    FCT, 1999, pp:13-38 [Conf]
  61. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Partial ordering derivations for CCS. [Citation Graph (0, 0)][DBLP]
    FCT, 1985, pp:520-533 [Conf]
  62. Andrea Corradini, Ugo Montanari, Francesca Rossi
    SHARM: Concurrency and Hiding in an Abstract Rewriting Machine. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:887-896 [Conf]
  63. Gian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto
    From Co-algebraic Specifications to Implementation: The Mihda Toolkit. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:319-338 [Conf]
  64. Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto
    Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:22-43 [Conf]
  65. Paolo Baldan, Andrea Corradini, Ugo Montanari
    An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:63-80 [Conf]
  66. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Unfolding and Event Structure Semantics for Graph Grammars. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:73-89 [Conf]
  67. Gian Luigi Ferrari, Ugo Montanari, Marco Pistore
    Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:129-158 [Conf]
  68. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    Model Checking for Nominal Calculi. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:1-24 [Conf]
  69. Ilaria Castellani, Ugo Montanari
    Graph Grammars for distributed systems. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1982, pp:20-38 [Conf]
  70. Alfonso Catalano, Stefania Gnesi, Ugo Montanari
    Shortest Path Problems and Tree Grammars: An Algebraic Framework. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science and Biology, 1978, pp:167-179 [Conf]
  71. Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe
    Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Handbook of Graph Grammars, 1997, pp:163-246 [Conf]
  72. Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe
    Graph Grammars and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1990, pp:221-237 [Conf]
  73. Ugo Montanari, Leila Ribeiro
    Linear Ordered Graph Grammars and Their Algebraic Foundations. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:317-333 [Conf]
  74. Ugo Montanari, Francesca Rossi
    An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1986, pp:440-457 [Conf]
  75. Francesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari
    Graph rewriting with unification and composition. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1986, pp:496-514 [Conf]
  76. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Concatenable Graph Processes: Relating Processes and Derivation Traces. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:283-295 [Conf]
  77. Andrea Corradini, Reiko Heckel, Ugo Montanari
    Graphical Operational Semantics. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:411-418 [Conf]
  78. Fabio Gadducci, Ugo Montanari
    Axioms for Contextual Net Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:296-308 [Conf]
  79. Alberto Martelli, Ugo Montanari
    Dynamic Programming Schemata. [Citation Graph (0, 0)][DBLP]
    ICALP, 1974, pp:66-80 [Conf]
  80. Ugo Montanari, Daniel Yankelevich
    A Parametric Approach to Localities. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:617-628 [Conf]
  81. Rocco De Nicola, A. Matelli, Ugo Montanari
    Communication Through Message Passing or Shared Memory: A Formal Comparison. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1981, pp:513-522 [Conf]
  82. Ugo Montanari, Francesca Rossi
    Perfect Relaxation in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:223-237 [Conf]
  83. Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini
    A Flexible Environment for Program Development Based on a Symbolic Interpreter. [Citation Graph (0, 0)][DBLP]
    ICSE, 1979, pp:251-264 [Conf]
  84. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    Algebraic Theories for Contextual Pre-nets. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:256-270 [Conf]
  85. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    A LTS Semantics of Ambients via Graph Synchronization with Mobility. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:1-16 [Conf]
  86. Alberto Martelli, Ugo Montanari
    Optimal Smoothing in Picture Processing: An Application to Fingerprints. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1971, pp:173-178 [Conf]
  87. Ugo Montanari
    On the Optimal Approximation of Discrete Functions with Low-dimensional Tables. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (2), 1971, pp:1363-1368 [Conf]
  88. Ugo Montanari
    Optimization Methods in Image Processing. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1974, pp:727-732 [Conf]
  89. Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari
    New Insights on Architectural Connectors. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:367-380 [Conf]
  90. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
    Nested Commits for Mobile Calculi: Extending Join. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:563-576 [Conf]
  91. Roberto Bruni, Ugo Montanari, Vladimiro Sassone
    Open Ended Systems, Dynamic Bisimulation and Tile Logic. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:440-456 [Conf]
  92. Ugo Montanari
    Two Problems in Wide Area Network Programming. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:609-611 [Conf]
  93. Stefano Bistarelli, Ugo Montanari, Francesca Rossi
    Constraint Solving over Semirings. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1995, pp:624-630 [Conf]
  94. Stefano Bistarelli, Ugo Montanari, Francesca Rossi
    Semiring-based Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:352-357 [Conf]
  95. Alberto Martelli, Ugo Montanari
    Additive AND/OR Graphs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1973, pp:1-11 [Conf]
  96. Alberto Martelli, Ugo Montanari
    Form Dynamic Programming To Search Algorithms With Functional Costs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1975, pp:345-350 [Conf]
  97. Alberto Martelli, Ugo Montanari
    Theorem Proving with Structure Sharing and Efficient Unification. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:543- [Conf]
  98. Francesca Rossi, Ugo Montanari
    Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation. [Citation Graph (0, 0)][DBLP]
    KR, 1989, pp:394-399 [Conf]
  99. Filippo Bonchi, Barbara König, Ugo Montanari
    Saturated Semantics for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:69-80 [Conf]
  100. Roberto Bruni, Ugo Montanari
    Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:246-265 [Conf]
  101. Pierpaolo Degano, José Meseguer, Ugo Montanari
    Axiomatizing Net Computations and Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:175-185 [Conf]
  102. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:133-141 [Conf]
  103. José Meseguer, Ugo Montanari
    Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:155-164 [Conf]
  104. Andrea Corradini, Gian Luigi Ferrari, Ugo Montanari
    Transition Systems with Algebraic Structure as Models of Computations. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:185-222 [Conf]
  105. Francesca Rossi, Ugo Montanari
    Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:531-544 [Conf]
  106. Luigia Carlucci Aiello, Ugo Montanari
    Towards a Formal Definition of the Control in Structured Programs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1973, pp:169-174 [Conf]
  107. Gian Luigi Ferrari, Ugo Montanari
    A Tile-Based Coordination View of Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:52-70 [Conf]
  108. Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia
    A Pi-Calculus with Explicit Substitutions: the Late Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:342-351 [Conf]
  109. V. Giarratana, F. Gimona, Ugo Montanari
    Observability Concepts in Abstract Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:576-587 [Conf]
  110. Cosimo Laneve, Ugo Montanari
    Mobility in the CC-Paradigm. [Citation Graph (0, 0)][DBLP]
    MFCS, 1992, pp:336-345 [Conf]
  111. Ugo Montanari, Marco Pistore
    pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:569-578 [Conf]
  112. Ugo Montanari, Vladimiro Sassone
    CCS Dynamic Bisimulation is Progressing. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:346-356 [Conf]
  113. Ugo Montanari
    True Concurrency: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:14-17 [Conf]
  114. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Observation Trees. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:103-118 [Conf]
  115. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
    Theoretical foundations for compensations in flow composition languages. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:209-220 [Conf]
  116. Ugo Montanari, Francesca Rossi
    Constraint Satisfaction, Constraint Programming, and Concurrency. [Citation Graph (0, 0)][DBLP]
    PPCP, 1993, pp:219-227 [Conf]
  117. Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
    Towards a Concurrent Semantics based Analysis of CC and CLP. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:151-161 [Conf]
  118. Ugo Montanari, Francesca Rossi, Vijay A. Saraswat
    CC Programs with both In- and Non-determinism: A Concurrent Semantics. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:162-172 [Conf]
  119. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    An Event Structure Semantics for Safe Graph Grammars. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:423-444 [Conf]
  120. Nicoletta De Francesco, Ugo Montanari, Gioia Ristori
    Modelling Concurrent Accesses to Shared Data via Petri Nets. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:403-422 [Conf]
  121. Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore
    Final semantics for the pi-calculus. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:225-243 [Conf]
  122. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Partial orderings descriptions and observations of nondeterministic concurrent processes. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:438-466 [Conf]
  123. Andrea Corradini, Fabio Gadducci, Ugo Montanari
    Relating Two Categorial Models of Term Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:225-240 [Conf]
  124. Ugo Montanari, Marco Pistore
    History-Dependent Automata: An Introduction. [Citation Graph (0, 0)][DBLP]
    SFM, 2005, pp:1-28 [Conf]
  125. Andrea Corradini, Ugo Montanari
    An Algebraic Semantics of Logic Programs as Structured Transition Systems. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:788-812 [Conf]
  126. Ugo Montanari, Francesca Rossi
    True Concurrency in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:694-713 [Conf]
  127. Andrea Corradini, Ugo Montanari
    Towards a Process Semantics in the Logic Programming Style. [Citation Graph (0, 0)][DBLP]
    STACS, 1990, pp:95-108 [Conf]
  128. Ugo Montanari, Marco Pistore
    Minimal Transition Systems for History-Preserving Bisimulation. [Citation Graph (0, 0)][DBLP]
    STACS, 1997, pp:413-425 [Conf]
  129. Pierpaolo Degano, Ugo Montanari
    Liveness Properties as Convergence in Metric Spaces [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:31-38 [Conf]
  130. Gian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
    An Automated Based Verification Environment for Mobile Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:275-289 [Conf]
  131. Ugo Montanari, Marco Pistore
    Finite State Verification for the Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:255-269 [Conf]
  132. Barbara König, Ugo Montanari
    Observational Equivalence for Synchronized Graph Rewriting with Mobility. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:145-164 [Conf]
  133. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Unfolding of Double-Pushout Graph Grammars is a Coreflection. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:145-163 [Conf]
  134. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg
    The Category of Typed Graph Grammars and its Adjunctions with Categories. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:56-74 [Conf]
  135. Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
    An Event Structure Semantics for Graph Grammars with Parallel Productions. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:240-256 [Conf]
  136. Pierpaolo Degano, Ugo Montanari
    Specification Languages for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:29-51 [Conf]
  137. Gian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari
    An Extended Expansion Theorem. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:29-48 [Conf]
  138. Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
    A General Name Binding Mechanism. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:61-74 [Conf]
  139. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    Graph-Based Models of Internetworking Systems. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:242-266 [Conf]
  140. Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto
    Verication On The Web Of Mobile Systems. [Citation Graph (0, 0)][DBLP]
    VVEIS, 2004, pp:72-74 [Conf]
  141. Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
    AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
  142. Paolo Baldan, Roberto Bruni, Ugo Montanari
    Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:145-164 [Conf]
  143. Paolo Baldan, Andrea Corradini, Ugo Montanari
    History Preserving Bisimulation for Contextual Nets. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:291-310 [Conf]
  144. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
    Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:165-184 [Conf]
  145. José Meseguer, Ugo Montanari
    Mapping tile logic into rewriting logic. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:62-91 [Conf]
  146. Roberto Bruni, Fabio Gadducci, Ugo Montanari
    Normal Forms for Partitions and Relations. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:31-47 [Conf]
  147. Roberto Bruni, Ugo Montanari
    Zero-safe nets: The individual token approach. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:122-140 [Conf]
  148. Ugo Montanari, Francesca Rossi
    Finite Domain Constraint Solving and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:201-221 [Conf]
  149. Dan Hirsch, Paola Inverardi, Ugo Montanari
    Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving. [Citation Graph (0, 0)][DBLP]
    WICSA, 1999, pp:127-144 [Conf]
  150. Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
    SCC: A Service Centered Calculus. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:38-57 [Conf]
  151. Pierpaolo Degano, José Meseguer, Ugo Montanari
    Axiomatizing the Algebra of Net Computations and Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:7, pp:641-667 [Journal]
  152. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    A Distributed Operational Semantics for CCS Based on Condition/Event Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1988, v:26, n:1/2, pp:59-91 [Journal]
  153. Ugo Montanari, Francesca Rossi
    Contextual Nets [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:6, pp:545-596 [Journal]
  154. Ugo Montanari
    Heuristically Guided Search and Chromosome Matching. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1970, v:1, n:4, pp:227-245 [Journal]
  155. Ugo Montanari
    On the Optimal Detection of Curves in Noisy Pictures. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1971, v:14, n:5, pp:335-345 [Journal]
  156. Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier
    Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. [Citation Graph (0, 0)][DBLP]
    Constraints, 1999, v:4, n:3, pp:199-240 [Journal]
  157. Ugo Montanari, Francesca Rossi
    Constraint Solving and Programming: What Next? [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:1, pp:87-91 [Journal]
  158. Roberto Bruni, Ugo Montanari, Francesca Rossi
    An interactive semantics of logic programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  159. Stefano Bistarelli, Ugo Montanari, Francesca Rossi
    Soft Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  160. Ugo Montanari
    Causal Computing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:51- [Journal]
  161. Ugo Montanari, Francesca Rossi
    Constraint Solving and Programming: What's Next? [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:70- [Journal]
  162. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:5-28 [Journal]
  163. Roberto Bruni, Ugo Montanari
    Zero-safe net models for transactions in Linda. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  164. Roberto Bruni, Ugo Montanari
    Zero-safe nets, or transition synchronization made simple. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  165. Roberto Bruni, José Meseguer, Ugo Montanari
    Tiling Transactions in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  166. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
    Flat Committed Join in Join. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:39-59 [Journal]
  167. Roberto Bruni, José Meseguer, Ugo Montanari
    Internal strategies in a rewriting implementation of tile systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  168. Matteo Coccia, Fabio Gadducci, Ugo Montanari
    GS.Lambda Theories: A Syntax for Higher-Order Graphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  169. Andrea Corradini, Reiko Heckel, Ugo Montanari
    From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
  170. Andrea Corradini, Marina Lenisa, Ugo Montanari
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  171. Andrea Corradini, Ugo Montanari
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  172. Gian Luigi Ferrari, Ugo Montanari
    Tiles for concurrent and located calculi? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  173. Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters
    Comparing cospan-spans and tiles via a Hoare-style process calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  174. Fabio Gadducci, Ugo Montanari
    A Concurrent Graph Semantics for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  175. Fabio Gadducci, Ugo Montanari
    Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:1-2 [Journal]
  176. Fabio Gadducci, Ugo Montanari
    Tiles, rewriting rules and CCS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  177. Fabio Gadducci, Marino Miculan, Ugo Montanari
    Some Characterization Results for Permutation Algebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:129-147 [Journal]
  178. Dan Hirsch, Ugo Montanari
    Two Graph-Based Techniques for Software Architecture Reconfiguration. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  179. Dan Hirsch, Ugo Montanari
    Shaped Hierarchical Architectural Design. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:109, n:, pp:97-109 [Journal]
  180. Dan Hirsch, Ugo Montanari
    Consistent transformations for software architecture styles of distributed systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
  181. Ivan Lanese, Ugo Montanari
    A Graphical Fusion Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:199-215 [Journal]
  182. Ivan Lanese, Ugo Montanari
    Synchronization Algebras with Mobility for Graph Transformations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:1, pp:43-60 [Journal]
  183. Ivan Lanese, Ugo Montanari
    Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:2, pp:55-72 [Journal]
  184. Alberto Lluch-Lafuente, Ugo Montanari
    Quantitative ?-calculus and CTL Based on Constraint Semirings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:37-59 [Journal]
  185. Ugo Montanari
    Web Services and Models of Computation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:5-9 [Journal]
  186. Ugo Montanari, Marco Pistore
    Concurrent semantics for the pi-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  187. Ugo Montanari, Marco Pistore
    An Introduction to History Dependent Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  188. Ugo Montanari, Vladimiro Sassone
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  189. Ugo Montanari, Carolyn L. Talcott
    Can Actors and pi-Agents Live Together? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  190. Maria Grazia Buscemi, Ugo Montanari
    A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:135-139 [Journal]
  191. Paolo Baldan, Fabio Gadducci, Ugo Montanari
    Modelling Calculi with Name Mobility using Graphs with Equivalences. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:1, pp:85-97 [Journal]
  192. Andrea Corradini, Ugo Montanari, Francesca Rossi
    Graph Processes. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:26, n:3/4, pp:241-265 [Journal]
  193. Gian Luigi Ferrari, Ugo Montanari
    Parameterized Structured Operational Semantics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:34, n:1-2, pp:1-31 [Journal]
  194. Ugo Montanari, Gioia Ristori
    A Concurrent Functional Semantics for a Process Algebra Based on Action Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:31, n:3/4, pp:357-377 [Journal]
  195. Ugo Montanari, Vladimiro Sassone
    Dynamic congruence vs. progressing bisimulation for CCS. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:16, n:1, pp:171-199 [Journal]
  196. Ugo Montanari, Daniel Yankelevich
    Combining CCS and Petri Nets Via Structural Axioms. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:20, n:1/2/3, pp:193-229 [Journal]
  197. Stefano Bistarelli, Ugo Montanari, Francesca Rossi
    Soft Constraint Logic Programming and Generalized Shortest Path Problems. [Citation Graph (0, 0)][DBLP]
    J. Heuristics, 2002, v:8, n:1, pp:25-41 [Journal]
  198. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Contextual Petri Nets, Asymmetric Event Structures, and Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:171, n:1, pp:1-49 [Journal]
  199. Roberto Bruni, Ugo Montanari
    Zero-Safe Nets: Comparing the Collective and Individual Token Approaches. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:156, n:1-2, pp:46-89 [Journal]
  200. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    Functorial Models for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:170, n:2, pp:207-236 [Journal]
  201. Gian Luigi Ferrari, Ugo Montanari
    Tile Formats for Located and Mobile Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:156, n:1-2, pp:173-235 [Journal]
  202. Giorgio Levi, Ugo Montanari
    A Grey-Weighted Skeleton [Citation Graph (0, 0)][DBLP]
    Information and Control, 1970, v:17, n:1, pp:62-91 [Journal]
  203. José Meseguer, Ugo Montanari
    Petri Nets Are Monoids [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1990, v:88, n:2, pp:105-155 [Journal]
  204. Ugo Montanari
    Separable Graphs, Planar Graphs and Web Grammars [Citation Graph (0, 0)][DBLP]
    Information and Control, 1970, v:16, n:3, pp:243-267 [Journal]
  205. Roberto Gorrieri, Ugo Montanari
    Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:3, pp:277-294 [Journal]
  206. Ugo Montanari
    Networks of constraints: Fundamental properties and applications to picture processing. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1974, v:7, n:, pp:95-132 [Journal]
  207. Stefano Bistarelli, Ugo Montanari, Francesca Rossi
    Semiring-based constraint satisfaction and optimization. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1997, v:44, n:2, pp:201-236 [Journal]
  208. Pierpaolo Degano, Ugo Montanari
    A model for distributed systems based on graph rewriting. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1987, v:34, n:2, pp:411-449 [Journal]
  209. Stefania Gnesi, Ugo Montanari, Alberto Martelli
    Dynamic Programming as Graph Searching: An Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1981, v:28, n:4, pp:737-751 [Journal]
  210. Ugo Montanari
    A Method for Obtaining Skeletons Using a Quasi-Euclidean Distance. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1968, v:15, n:4, pp:600-624 [Journal]
  211. Ugo Montanari
    Continuous Skeletons from Digitized Images. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1969, v:16, n:1, pp:534-549 [Journal]
  212. Ugo Montanari
    On Limit Properties in Digitization Schemes. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1970, v:17, n:2, pp:348-360 [Journal]
  213. Pierpaolo Degano, Ugo Montanari
    Concurrent Histories: A Basis for Observing Distributed Systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:422-461 [Journal]
  214. Fabio Gadducci, Marino Miculan, Ugo Montanari
    About permutation algebras, (pre)sheaves and named sets. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:283-304 [Journal]
  215. Ugo Montanari, Francesca Rossi
    Concurrency and Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:171-192 [Journal]
  216. Roberto Bruni, Ugo Montanari
    Concurrent models for Linda with transactions. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:3, pp:421-468 [Journal]
  217. Roberto Bruni, José Meseguer, Ugo Montanari
    Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:53-90 [Journal]
  218. Gian Luigi Ferrari, Ugo Montanari, Miranda Mowbray
    Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:3, pp:241-282 [Journal]
  219. José Meseguer, Ugo Montanari, Vladimiro Sassone
    On the Semantics of Place/Transition Petri Nets. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:4, pp:359-397 [Journal]
  220. Cosimo Laneve, Ugo Montanari
    Axiomatizing Permutation Equivalence. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:219-249 [Journal]
  221. Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
    Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:30, n:1-2, pp:51-82 [Journal]
  222. Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich
    Axiomatizing CCS, Nets and Processes. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1993, v:21, n:3, pp:225-261 [Journal]
  223. Roberto Bruni, Fabio Gadducci, Ugo Montanari
    Normal forms for algebras of connection. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:286, n:2, pp:247-292 [Journal]
  224. Roberto Bruni, Ivan Lanese, Ugo Montanari
    A basic algebra of stateless connectors. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:1-2, pp:98-120 [Journal]
  225. Roberto Bruni, Ugo Montanari
    Dynamic connectors for concurrency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:281, n:1-2, pp:131-176 [Journal]
  226. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
    Functorial semantics for Petri nets under the individual token philosophy. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  227. Roberto Bruni, Ugo Montanari, Vladimiro Sassone
    Observational congruences for dynamically reconfigurable tile systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:335, n:2-3, pp:331-372 [Journal]
  228. Andrea Corradini, Reiko Heckel, Ugo Montanari
    Compositional SOS and beyond: a coalgebraic view of open systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:280, n:1-2, pp:163-192 [Journal]
  229. Andrea Corradini, Ugo Montanari
    An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:103, n:1, pp:51-106 [Journal]
  230. Andrea Corradini, Ugo Montanari, Francesca Rossi
    An Abstract Machine for Concurrent Modular Systems: CHARM. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:165-200 [Journal]
  231. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    A Partial Ordering Semantics for CCS. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:223-262 [Journal]
  232. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Universal Axioms for Bisimulations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:114, n:1, pp:63-91 [Journal]
  233. Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia
    A Pi-Calculus with Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:168, n:1, pp:53-103 [Journal]
  234. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:331, n:2-3, pp:325-365 [Journal]
  235. Fabio Gadducci, Ugo Montanari
    Comparing logics for rewriting: rewriting logic, action calculi and tile logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:319-358 [Journal]
  236. Roberto Gorrieri, Ugo Montanari
    On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:141, n:1&2, pp:195-252 [Journal]
  237. Roberto Gorrieri, Sergio Marchetti, Ugo Montanari
    A2CCKS: Atomic Actions for CCS. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:72, n:2&3, pp:203-223 [Journal]
  238. Alberto Lluch-Lafuente, Ugo Montanari
    Quantitative mu-calculus and CTL defined over constraint semirings. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:135-160 [Journal]
  239. José Meseguer, Ugo Montanari, Vladimiro Sassone
    Process versus Unfolding Semantics for Place/Transition Petri Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:153, n:1&2, pp:171-210 [Journal]
  240. Ugo Montanari, Marco Pistore
    Structured coalgebras and minimal HD-automata for the pi-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:340, n:3, pp:539-576 [Journal]
  241. Ugo Montanari, Francesca Rossi
    Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:109, n:1&2, pp:225-256 [Journal]
  242. Ugo Montanari, Daniel Yankelevich
    Location Equivalence in Parametric Setting. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:149, n:2, pp:299-332 [Journal]
  243. Stefano Bistarelli, Ugo Montanari, Francesca Rossi
    Soft concurrent constraint programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:3, pp:563-589 [Journal]
  244. Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore
    A model-checking verification environment for mobile processes. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:4, pp:440-473 [Journal]
  245. Roberto Bruni, Ugo Montanari, Francesca Rossi
    An interactive semantics of logic programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:6, pp:647-690 [Journal]
  246. Filippo Bonchi, Ugo Montanari
    Coalgebraic Models for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:364-379 [Conf]
  247. Maria Grazia Buscemi, Ugo Montanari
    CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:18-32 [Conf]
  248. Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari
    Constraint-Based Policy Negotiation and Enforcement for Telco Services. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:463-472 [Conf]
  249. Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
    Unicast and Multicast Qos Routing with Soft Constraint Logic Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  250. Ivan Lanese, Ugo Montanari
    Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  251. Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo
    Prototype Platforms for Distributed Agreements. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:2, pp:21-40 [Journal]
  252. Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
    Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:111-127 [Journal]
  253. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
    Unfolding semantics of graph transformation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:5, pp:733-782 [Journal]
  254. Maria Grazia Buscemi, Ugo Montanari
    A compositional coalgebraic model of fusion calculus. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:72, n:1, pp:78-97 [Journal]

  255. The tile model. [Citation Graph (, )][DBLP]


  256. Coalgebraic Symbolic Semantics. [Citation Graph (, )][DBLP]


  257. Open Bisimulation for the Concurrent Constraint Pi-Calculus. [Citation Graph (, )][DBLP]


  258. Minimization Algorithm for Symbolic Bisimilarity. [Citation Graph (, )][DBLP]


  259. Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. [Citation Graph (, )][DBLP]


  260. Symbolic Semantics Revisited. [Citation Graph (, )][DBLP]


  261. Saturated LTSs for Adhesive Rewriting Systems. [Citation Graph (, )][DBLP]


  262. A Service-Oriented UML Profile with Formal Support. [Citation Graph (, )][DBLP]


  263. Service Oriented Architectural Design. [Citation Graph (, )][DBLP]


  264. Tiles for Reo. [Citation Graph (, )][DBLP]


  265. Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems. [Citation Graph (, )][DBLP]


  266. A Name Abstraction Functor for Named Sets. [Citation Graph (, )][DBLP]


  267. A Coalgebraic Theory of Reactive Systems. [Citation Graph (, )][DBLP]


  268. Hierarchical Design Rewriting with Maude. [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.033secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002