Ugo Montanari Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
286Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Ugo Montanari: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers Springer 2009
285Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Coalgebraic Symbolic Semantics. CALCO 2009: 173-190
284Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Minimization Algorithm for Symbolic Bisimilarity. ESOP 2009: 267-284
283Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing: A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave 2009: 455-469
282Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: Hierarchical Design Rewriting with Maude. Electr. Notes Theor. Comput. Sci. 238(3): 45-62 (2009)
281Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Theor. Comput. Sci. 410(41): 4044-4066 (2009)
2008
280Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Grazia Buscemi, Ugo Montanari: Open Bisimulation for the Concurrent Constraint Pi-Calculus. ESOP 2008: 254-268
279Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Symbolic Semantics Revisited. FoSSaCS 2008: 395-412
278Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari: Tiles for Reo. WADT 2008: 37-55
277Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Grazia Buscemi, Ugo Montanari: A survey of constraint-based programming paradigms. Computer Science Review 2(3): 137-141 (2008)
276Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Ciancia, Ugo Montanari: A Name Abstraction Functor for Named Sets. Electr. Notes Theor. Comput. Sci. 203(5): 49-70 (2008)
275Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: A Coalgebraic Theory of Reactive Systems. Electr. Notes Theor. Comput. Sci. 209: 201-215 (2008)
274Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Donald Sannella: Preface. Theor. Comput. Sci. 402(2-3): 81 (2008)
2007
273no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTill Mossakowski, Ugo Montanari, Magne Haveraaen: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings Springer 2007
272no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Donald Sannella, Roberto Bruni: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers Springer 2007
271Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Ugo Montanari: Coalgebraic Models for Reactive Systems. CONCUR 2007: 364-379
270Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Grazia Buscemi, Ugo Montanari: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. ESOP 2007: 18-32
269Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari: Constraint-Based Policy Negotiation and Enforcement for Telco Services. TASE 2007: 463-472
268Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: Service Oriented Architectural Design. TGC 2007: 186-203
267Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini: Unicast and Multicast Qos Routing with Soft Constraint Logic Programming CoRR abs/0704.1783: (2007)
266Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Fabio Gadducci, Ugo Montanari: Modelling Calculi with Name Mobility using Graphs with Equivalences. Electr. Notes Theor. Comput. Sci. 176(1): 85-97 (2007)
265Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo: Prototype Platforms for Distributed Agreements. Electr. Notes Theor. Comput. Sci. 180(2): 21-40 (2007)
264Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano 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. Electr. Notes Theor. Comput. Sci. 190(3): 111-127 (2007)
263Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Unfolding semantics of graph transformation. Inf. Comput. 205(5): 733-782 (2007)
262Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Grazia Buscemi, Ugo Montanari: A compositional coalgebraic model of fusion calculus. J. Log. Algebr. Program. 72(1): 78-97 (2007)
261Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Lanese, Ugo Montanari: Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. TPLP 7(1-2): 123-151 (2007)
2006
260no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Ugo Montanari, Martin Wirsing: Foundations of Global Computing, 20.-25. February 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
259no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings Springer 2006
258Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Fabio Gadducci, Ugo Montanari: Concurrent Rewriting for Graphs with Equivalences. CONCUR 2006: 279-294
257Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Event Structure Semantics for Nominal Calculi. CONCUR 2006: 295-309
256Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilippo Bonchi, Barbara König, Ugo Montanari: Saturated Semantics for Reactive Systems. LICS 2006: 69-80
255Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele 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. WS-FM 2006: 38-57
254Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft concurrent constraint programming. ACM Trans. Comput. Log. 7(3): 563-589 (2006)
253Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Event Structure Semantics for Dynamic Graph Grammars. ECEASST 2: (2006)
252Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Lanese, Ugo Montanari: Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. Electr. Notes Theor. Comput. Sci. 154(2): 55-72 (2006)
251Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Grazia Buscemi, Ugo Montanari: A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. Electr. Notes Theor. Comput. Sci. 162: 135-139 (2006)
250Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Marino Miculan, Ugo Montanari: About permutation algebras, (pre)sheaves and named sets. Higher-Order and Symbolic Computation 19(2-3): 283-304 (2006)
249Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ivan Lanese, Ugo Montanari: A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2): 98-120 (2006)
2005
248no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbara König, Ugo Montanari, Philippa Gardner: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004 IBFI, Schloss Dagstuhl, Germany 2005
247no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday Springer 2005
246Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane: Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156
245Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ivan Lanese, Ugo Montanari: Complete Axioms for Stateless Connectors. CALCO 2005: 98-113
244Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski: Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307
243Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari: Comparing Two Approaches to Compensable Flow Composition. CONCUR 2005: 383-397
242Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48
241Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto: From Theory to Practice in Transactional Composition of Web Services. EPEW/WS-FM 2005: 272-286
240Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto: Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. FMCO 2005: 22-43
239Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Model Checking for Nominal Calculi. FoSSaCS 2005: 1-24
238Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Ugo Montanari: Graph Processes with Fusions: Concurrency by Colimits, Again. Formal Methods in Software and Systems Modeling 2005: 84-100
237Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Ugo Montanari, Martin Wirsing: 05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing 2005
236Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Lanese, Ugo Montanari: Insights emerged while comparing three models for global computing. Foundations of Global Computing 2005
235Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Theoretical foundations for compensations in flow composition languages. POPL 2005: 209-220
234Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Ugo Montanari: Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. Processes, Terms and Cycles 2005: 106-126
233Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: History-Dependent Automata: An Introduction. SFM 2005: 1-28
232Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Boreale, Maria Grazia Buscemi, Ugo Montanari: A General Name Binding Mechanism. TGC 2005: 61-74
231Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Lanese, Ugo Montanari: Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming CoRR abs/cs/0504050: (2005)
230Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Lluch-Lafuente, Ugo Montanari: Quantitative ?-calculus and CTL Based on Constraint Semirings. Electr. Notes Theor. Comput. Sci. 112: 37-59 (2005)
229Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Ugo Montanari: Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. Electr. Notes Theor. Comput. Sci. 127(2): 5-28 (2005)
228Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Lanese, Ugo Montanari: Synchronization Algebras with Mobility for Graph Transformations. Electr. Notes Theor. Comput. Sci. 138(1): 43-60 (2005)
227Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. Theor. Comput. Sci. 331(2-3): 325-365 (2005)
226Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari, Vladimiro Sassone: Observational congruences for dynamically reconfigurable tile systems. Theor. Comput. Sci. 335(2-3): 331-372 (2005)
225Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: Structured coalgebras and minimal HD-automata for the pi-calculus. Theor. Comput. Sci. 340(3): 539-576 (2005)
224Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Lluch-Lafuente, Ugo Montanari: Quantitative mu-calculus and CTL defined over constraint semirings. Theor. Comput. Sci. 346(1): 135-160 (2005)
2004
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Boreale, Maria Grazia Buscemi, Ugo Montanari: D-Fusion: A Distinctive Fusion Calculus. APLAS 2004: 296-310
222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbara König, Ugo Montanari, Philippa Gardner: 04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004
221no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari: New Insights on Architectural Connectors. IFIP TCS 2004: 367-380
220no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Nested Commits for Mobile Calculi: Extending Join. IFIP TCS 2004: 563-576
219no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto: Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Marino Miculan, Ugo Montanari: Some Characterization Results for Permutation Algebras. Electr. Notes Theor. Comput. Sci. 104: 129-147 (2004)
217Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Lanese, Ugo Montanari: A Graphical Fusion Calculus. Electr. Notes Theor. Comput. Sci. 104: 199-215 (2004)
216Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Flat Committed Join in Join. Electr. Notes Theor. Comput. Sci. 104: 39-59 (2004)
215Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari: Web Services and Models of Computation. Electr. Notes Theor. Comput. Sci. 105: 5-9 (2004)
214Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Hirsch, Ugo Montanari: Shaped Hierarchical Architectural Design. Electr. Notes Theor. Comput. Sci. 109: 97-109 (2004)
213Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari: Concurrent models for Linda with transactions. Mathematical Structures in Computer Science 14(3): 421-468 (2004)
2003
212Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Algebraic Theories for Contextual Pre-nets. ICTCS 2003: 256-270
211Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Hernán C. Melgratti, Ugo Montanari: Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. Lectures on Concurrency and Petri Nets 2003: 291-327
210Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto: A Formal Basis for Reasoning on Programmable QoS. Verification: Theory and Practice 2003: 436-479
209Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore: A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. 12(4): 440-473 (2003)
2002
208no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo A. Baeza-Yates, Ugo Montanari, Nicola Santoro: Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montréal, Québec, Canada Kluwer 2002
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 242-266
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Cosimo Laneve, Ugo Montanari: Orchestrating Transactions in Join Calculus. CONCUR 2002: 321-337
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Grazia Buscemi, Ugo Montanari: A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. CONCUR 2002: 449-465
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft Concurrent Constraint Programming. ESOP 2002: 53-67
203Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto: From Co-algebraic Specifications to Implementation: The Mihda Toolkit. FMCO 2002: 319-338
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari, Marco Pistore: Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS 2002: 129-158
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Ugo Montanari: Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing 2002: 158-190
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Leila Ribeiro: Linear Ordered Graph Grammars and Their Algebraic Foundations. ICGT 2002: 317-333
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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. WADT 2002: 1-33
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Roberto Bruni, Ugo Montanari: Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. WADT 2002: 145-164
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT 2002: 165-184
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft Concurrent Constraint Programming CoRR cs.PL/0208008: (2002)
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Coccia, Fabio Gadducci, Ugo Montanari: GS.Lambda Theories: A Syntax for Higher-Order Graphs. Electr. Notes Theor. Comput. Sci. 69: (2002)
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Ugo Montanari: Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. Electr. Notes Theor. Comput. Sci. 71: 1-2 (2002)
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, José Meseguer, Ugo Montanari: Tiling Transactions in Rewriting Logic. Electr. Notes Theor. Comput. Sci. 71: (2002)
192no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft Constraint Logic Programming and Generalized Shortest Path Problems. J. Heuristics 8(1): 25-41 (2002)
191no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, José Meseguer, Ugo Montanari: Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. Mathematical Structures in Computer Science 12(1): 53-90 (2002)
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Reiko Heckel, Ugo Montanari: Compositional SOS and beyond: a coalgebraic view of open systems. Theor. Comput. Sci. 280(1-2): 163-192 (2002)
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari: Dynamic connectors for concurrency. Theor. Comput. Sci. 281(1-2): 131-176 (2002)
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Ugo Montanari: Comparing logics for rewriting: rewriting logic, action calculi and tile logic. Theor. Comput. Sci. 285(2): 319-358 (2002)
187no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Fabio Gadducci, Ugo Montanari: Normal forms for algebras of connection. Theor. Comput. Sci. 286(2): 247-292 (2002)
2001
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Hirsch, Ugo Montanari: Synchronized Hyperedge Replacement with Name Mobility. CONCUR 2001: 121-136
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto: A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS 2001: 1-16
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbara König, Ugo Montanari: Observational Equivalence for Synchronized Graph Rewriting with Mobility. TACS 2001: 145-164
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari: Transactions and Zero-Safe Nets. Unifying Petri Nets 2001: 380-426
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari, Francesca Rossi: An interactive semantics of logic programming CoRR cs.LO/0107022: (2001)
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Marina Lenisa, Ugo Montanari: Preface. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Ugo Montanari: A Concurrent Graph Semantics for Mobile Ambients. Electr. Notes Theor. Comput. Sci. 45: (2001)
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Hirsch, Ugo Montanari: Two Graph-Based Techniques for Software Architecture Reconfiguration. Electr. Notes Theor. Comput. Sci. 51: (2001)
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Vladimiro Sassone: Preface. Electr. Notes Theor. Comput. Sci. 54: (2001)
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari: Zero-safe net models for transactions in Linda. Electr. Notes Theor. Comput. Sci. 54: (2001)
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters: Comparing cospan-spans and tiles via a Hoare-style process calculus. Electr. Notes Theor. Comput. Sci. 62: (2001)
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Functorial Models for Petri Nets. Inf. Comput. 170(2): 207-236 (2001)
174no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Ugo Montanari: Contextual Petri Nets, Asymmetric Event Structures, and Processes. Inf. Comput. 171(1): 1-49 (2001)
173no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari, Francesca Rossi: An interactive semantics of logic programming. TPLP 1(6): 647-690 (2001)
2000
172no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, José D. P. Rolim, Emo Welzl: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings Springer 2000
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari: Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. CONCUR 2000: 259-274
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Hirsch, Paola Inverardi, Ugo Montanari: Reconfiguration of Software Architecture Styles with Name Mobility. COORDINATION 2000: 148-163
169no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Reiko Heckel, Ugo Montanari: Graphical Operational Semantics. ICALP Satellite Workshops 2000: 411-418
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari: Executing Transactions in Zero-Safe Nets. ICATPN 2000: 83-102
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari, Vladimiro Sassone: Open Ended Systems, Dynamic Bisimulation and Tile Logic. IFIP TCS 2000: 440-456
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari: Two Problems in Wide Area Network Programming. IFIP TCS 2000: 609-611
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. MFCS 2000: 569-578
164no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Ugo Montanari: The tile model. Proof, Language, and Interaction 2000: 133-166
163no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari: Tile Formats for Located and Mobile Systems. Inf. Comput. 156(1-2): 173-235 (2000)
162no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari: Zero-Safe Nets: Comparing the Collective and Individual Token Approaches. Inf. Comput. 156(1-2): 46-89 (2000)
1999
161no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, José Meseguer, Ugo Montanari: Executable Tile Specifications for Process Calculi. FASE 1999: 60-76
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Reiko Heckel, Ugo Montanari: Tile Transition Systems as Structured Coalgebras. FCT 1999: 13-38
159no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Ugo Montanari: Unfolding and Event Structure Semantics for Graph Grammars. FoSSaCS 1999: 73-89
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari: Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. LICS 1999: 246-265
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: Finite State Verification for the Asynchronous pi-Calculus. TACAS 1999: 255-269
156no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Ugo Montanari: History Preserving Bisimulation for Contextual Nets. WADT 1999: 291-310
155no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Hirsch, Paola Inverardi, Ugo Montanari: Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving. WICSA 1999: 127-144
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Francesca Rossi: Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems. Applied Categorical Structures 7(4): 333-370 (1999)
153no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier: Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. Constraints 4(3): 199-240 (1999)
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Reiko Heckel, Ugo Montanari: From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. Electr. Notes Theor. Comput. Sci. 19: (1999)
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Hirsch, Ugo Montanari: Consistent transformations for software architecture styles of distributed systems. Electr. Notes Theor. Comput. Sci. 28: (1999)
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Functorial semantics for Petri nets under the individual token philosophy. Electr. Notes Theor. Comput. Sci. 29: (1999)
1998
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: A Comparison of Petri Net Semantics under the Collective Token Philosophy. ASIAN 1998: 225-244
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Ugo Montanari: An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. FoSSaCS 1998: 63-80
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Ugo Montanari: Concatenable Graph Processes: Relating Processes and Derivation Traces. ICALP 1998: 283-295
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Ugo Montanari: Axioms for Contextual Net Processes. ICALP 1998: 296-308
144no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFurio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore: Final semantics for the pi-calculus. PROCOMET 1998: 225-243
143no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Baldan, Andrea Corradini, Ugo Montanari: Unfolding of Double-Pushout Graph Grammars is a Coreflection. TAGT 1998: 145-163
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Fabio Gadducci, Ugo Montanari: Normal Forms for Partitions and Relations. WADT 1998: 31-47
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, José Meseguer, Ugo Montanari: Internal strategies in a rewriting implementation of tile systems. Electr. Notes Theor. Comput. Sci. 15: (1998)
140no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari: Parameterized Structured Operational Semantics. Fundam. Inform. 34(1-2): 1-31 (1998)
139no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi: Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. Sci. Comput. Program. 30(1-2): 51-82 (1998)
1997
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Meseguer, Ugo Montanari, Vladimiro Sassone: Representation Theorems for Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 239-249
137no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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. Handbook of Graph Grammars 1997: 163-246
136no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Ugo Montanari, Francesca Rossi: Semiring-based Constraint Logic Programming. IJCAI (1) 1997: 352-357
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari: A Tile-Based Coordination View of Asynchronous pi-Calculus. MFCS 1997: 52-70
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: Minimal Transition Systems for History-Preserving Bisimulation. STACS 1997: 413-425
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori: An Automated Based Verification Environment for Mobile Processes. TACAS 1997: 275-289
132no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari: Zero-safe nets: The individual token approach. WADT 1997: 122-140
131no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Meseguer, Ugo Montanari: Mapping tile logic into rewriting logic. WADT 1997: 62-91
130no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Francesca Rossi: Constraint Solving and Programming: What Next? Constraints 2(1): 87-91 (1997)
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: An Introduction to History Dependent Automata. Electr. Notes Theor. Comput. Sci. 10: (1997)
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Carolyn L. Talcott: Can Actors and pi-Agents Live Together? Electr. Notes Theor. Comput. Sci. 10: (1997)
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari: Tiles for concurrent and located calculi? Electr. Notes Theor. Comput. Sci. 7: (1997)
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Ugo Montanari: Zero-safe nets, or transition synchronization made simple. Electr. Notes Theor. Comput. Sci. 7: (1997)
125no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Gioia Ristori: A Concurrent Functional Semantics for a Process Algebra Based on Action Systems. Fundam. Inform. 31(3/4): 357-377 (1997)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Ugo Montanari, Francesca Rossi: Semiring-based constraint satisfaction and optimization. J. ACM 44(2): 201-236 (1997)
123no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari, Miranda Mowbray: Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. Mathematical Structures in Computer Science 7(3): 241-282 (1997)
122no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Meseguer, Ugo Montanari, Vladimiro Sassone: On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science 7(4): 359-397 (1997)
1996
121no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Vladimiro Sassone: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings Springer 1996
120no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Francesca Rossi: Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract). COORDINATION 1996: 12-27
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore, Daniel Yankelevich: Efficient Minimization up to Location Equivalence. ESOP 1996: 265-279
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari: Causal Computing. ACM Comput. Surv. 28(4es): 51 (1996)
117no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Francesca Rossi: Constraint Solving and Programming: What's Next? ACM Comput. Surv. 28(4es): 70 (1996)
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierpaolo Degano, José Meseguer, Ugo Montanari: Axiomatizing the Algebra of Net Computations and Processes. Acta Inf. 33(7): 641-667 (1996)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Gadducci, Ugo Montanari: Tiles, rewriting rules and CCS. Electr. Notes Theor. Comput. Sci. 4: (1996)
114no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Ugo Montanari, Francesca Rossi: Graph Processes. Fundam. Inform. 26(3/4): 241-265 (1996)
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosimo Laneve, Ugo Montanari: Axiomatizing Permutation Equivalence. Mathematical Structures in Computer Science 6(3): 219-249 (1996)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Meseguer, Ugo Montanari, Vladimiro Sassone: Process versus Unfolding Semantics for Place/Transition Petri Nets. Theor. Comput. Sci. 153(1&2): 171-210 (1996)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions. Theor. Comput. Sci. 168(1): 53-103 (1996)
1995
110no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Francesca Rossi: Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings Springer 1995
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari: Dynamic Matrices and the Cost Analysis of Concurrent Programs. AMAST 1995: 307-321
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: Checking Bisimilarity for Finitary pi-Calculus. CONCUR 1995: 42-56
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari, Paola Quaglia: The Weak Late pi-Calculus Semantics as Observation Equivalence. CONCUR 1995: 57-71
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Ugo Montanari, Francesca Rossi: Constraint Solving over Semirings. IJCAI (1) 1995: 624-630
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie: Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. Over-Constrained Systems 1995: 111-150
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Fabio Gadducci, Ugo Montanari: Relating Two Categorial Models of Term Rewriting. RTA 1995: 225-240
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Francesca Rossi: Contextual Nets Acta Inf. 32(6): 545-596 (1995)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Marco Pistore: Concurrent semantics for the pi-calculus. Electr. Notes Theor. Comput. Sci. 1: (1995)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Ugo Montanari: Preface. Electr. Notes Theor. Comput. Sci. 2: (1995)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Ugo Montanari: On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies. Theor. Comput. Sci. 141(1&2): 195-252 (1995)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Daniel Yankelevich: Location Equivalence in Parametric Setting. Theor. Comput. Sci. 149(2): 299-332 (1995)
1994
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi: From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP 1994: 114-132
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Meseguer, Ugo Montanari, Vladimiro Sassone: On the Model of Computation of Place/Transition Petri Nets. Application and Theory of Petri Nets 1994: 16-38
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Francesca Rossi: Concurrency and Concurrent Constraint Programming Constraint Programming 1994: 171-192
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGian Luigi Ferrari, Ugo Montanari, Paola Quaglia: A Pi-Calculus with Explicit Substitutions: the Late Semantics. MFCS 1994: 342-351
94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo 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. PPCP 1994: 151-161
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Francesca Rossi, Vijay A. Saraswat: CC Programs with both In- and Non-determinism: A Concurrent Semantics. PPCP 1994: 162-172
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Ugo Montanari, Gioia Ristori: Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994: 403-422
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: An Event Structure Semantics for Safe Graph Grammars. PROCOMET 1994: 423-444
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: An Event Structure Semantics for Graph Grammars with Parallel Productions. TAGT 1994: 240-256
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg: The Category of Typed Graph Grammars and its Adjunctions with Categories. TAGT 1994: 56-74
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Daniel Yankelevich: Combining CCS and Petri Nets Via Structural Axioms. Fundam. Inform. 20(1/2/3): 193-229 (1994)
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Ugo Montanari, Francesca Rossi: An Abstract Machine for Concurrent Modular Systems: CHARM. Theor. Comput. Sci. 122(1&2): 165-200 (1994)
1993
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 119-137
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Francesca Rossi: Contextual Occurence Nets and Concurrent Constraint Programming. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 280-295
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: Abstract Graph Derivations in the Double Pushout Approach. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 86-103
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo Montanari, Francesca Rossi: Constraint Satisfaction, Constraint Programming, and Concurrency. PPCP 1993: 219-227
82