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