Ugo Montanari

373 papers A* 21A 11B 46C 4Misc 1Journal 110Unranked 154
YearRankTypeTitle / Venue / Authors
2020 B conf
Algebras for Tree Decomposable Graphs.
ICGT
Roberto Bruni, Ugo Montanari, Matteo Sammartino
2020 J jnl
Bayesian network semantics for Petri nets.
Theor. Comput. Sci.
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2019 — conf
A Coalgebraic Approach to Unification Semantics of Logic Programming.
The Art of Modelling Computational Systems
Roberto Bruni, Ugo Montanari, Giorgio Mossa
2019 J jnl
Concurrency and Probability: Removing Confusion, Compositionally.
Log. Methods Comput. Sci.
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2019 — conf
Data-Driven Choreographies à la Klaim.
Models, Languages, and Tools for Concurrent and Distributed Programming
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto
2019 — conf
From Dynamic Programming to Programming Science - Some Recollections in Honour of Stefania Gnesi.
From Software Engineering to Formal Methods and Tools, and Back
Ugo Montanari
2019 — conf
From Tuscany to Scotland and Back - A Homage to Rocco de Nicola for His 65th Birthday.
Models, Languages, and Tools for Concurrent and Distributed Programming
Ugo Montanari
2019 — ch.
Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems.
Carl Adam Petri: Ideas, Personality, Impact
Roberto Bruni, Ugo Montanari
2018 A* conf
Concurrency and Probability: Removing Confusion, Compositionally.
LICS
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2018 — conf
Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach.
Graph Transformation, Specifications, and Nets
Ugo Montanari, Matteo Sammartino, Alain Tcheukam Siwe
2018 J jnl
Event Structures for Petri nets with Persistence.
CoRR
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
2018 J jnl
Event Structures for Petri nets with Persistence.
Log. Methods Comput. Sci.
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
2018 J jnl
Unifying Inference for Bayesian and Petri Nets.
CoRR
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2017 J jnl
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields.
Log. Methods Comput. Sci.
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
2017 J jnl
Concurrency and Probability: Removing Confusion, Compositionally.
CoRR
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2017 J jnl
Logical and Semantic Frameworks with Applications.
Theor. Comput. Sci.
Mauricio Ayala-Rincón, Ian Mackie, Ugo Montanari
2017 — book
Models of Computation
Roberto Bruni, Ugo Montanari
2016 J jnl
Hartmut Ehrig (1944-2016).
Bull. EATCS
Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg
2015 C conf
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields.
COORDINATION
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
2015 — conf
A Normal Form for Stateful Connectors.
Logic, Rewriting, and Concurrency
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2015 J jnl
A coalgebraic semantics for causality in Petri nets.
CoRR
Roberto Bruni, Ugo Montanari, Matteo Sammartino
2015 J jnl
A coalgebraic semantics for causality in Petri nets.
J. Log. Algebraic Methods Program.
Roberto Bruni, Ugo Montanari, Matteo Sammartino
2015 — conf
Causal Trees, Finally.
Programming Languages with Applications to Biology and Security
Roberto Bruni, Ugo Montanari, Matteo Sammartino
2015 J jnl
Constraint design rewriting.
Sci. Comput. Program.
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
2015 — conf
Dynamic Programming on Nominal Graphs.
GaM
Nicklas Hoch, Ugo Montanari, Matteo Sammartino
2015 — ch.
From Local to Global Knowledge and Back.
The ASCENS Approach
Nicklas Hoch, Giacoma Valentina Monreale, Ugo Montanari, Matteo Sammartino, Alain Tcheukam Siwe
2015 — conf
Programming Autonomic Systems with Multiple Constraint Stores.
Software, Services, and Systems
Ugo Montanari, Rosario Pugliese, Francesco Tiezzi
2015 — ch.
Reconfigurable and Software-Defined Networks of Connectors and Components.
The ASCENS Approach
Roberto Bruni, Ugo Montanari, Matteo Sammartino
2015 J jnl
Revisiting causality, coalgebraically.
Acta Informatica
Roberto Bruni, Ugo Montanari, Matteo Sammartino
2015 — ch.
The E-mobility Case Study.
The ASCENS Approach
Nicklas Hoch, Henry-Paul Bensler, Dhaminda B. Abeywickrama, Tomás Bures, Ugo Montanari
2015 — ch.
Tools for Ensemble Design and Runtime.
The ASCENS Approach
Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev
2015 J jnl
cJoin: Join with communicating transactions.
Math. Struct. Comput. Sci.
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2014 J jnl
A network-conscious π-calculus and its coalgebraic semantics.
Theor. Comput. Sci.
Ugo Montanari, Matteo Sammartino
2014 — conf
Behaviour, Interaction and Dynamics.
Specification, Algebra, and Software
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2014 J jnl
Foreword: special issue on structure transformation.
Math. Struct. Comput. Sci.
Ugo Montanari
2014 — conf
From Hierarchical BIP to Petri Calculus.
FPS@ETAPS
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2014 — conf
Network-Conscious π-calculus - A Model of Pastry.
LSFA
Ugo Montanari, Matteo Sammartino
2014 J jnl
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs.
Fundam. Informaticae
Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni
2014 — conf
Prosumers as Aggregators in the DEZENT Context of Regenerative Power Production.
SASO
Ugo Montanari, Alain Tcheukam Siwe
2013 — conf
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase.
SASO Workshops
Tomás Bures, Rocco De Nicola, Ilias Gerostathopoulos, Nicklas Hoch, Michal Kit, Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola B. Serbedzija, Martin Wirsing, Franco Zambonelli
2013 J jnl
Connector algebras for C/E and P/T nets' interactions.
Log. Methods Comput. Sci.
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski
2013 A* conf
Real time market models and prosumer profiling.
INFOCOM
Ugo Montanari, Alain Tcheukam Siwe
2013 — conf
Real time market models and prosumer profiling.
INFOCOM Workshops
Ugo Montanari, Alain Tcheukam Siwe
2012 J jnl
A Game-Theoretic Analysis of Grid Job Scheduling.
J. Grid Comput.
Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja
2012 — conf
A Modular LTS for Open Reactive Systems.
IFIP TCS
Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
2012 B conf
Network Conscious π-calculus: A Concurrent Semantics.
MFPS
Ugo Montanari, Matteo Sammartino
2012 J jnl
Soft Constraint Logic Programming for Electric Vehicle Travel Optimization
CoRR
Giacoma Valentina Monreale, Ugo Montanari, Nicklas Hoch
2012 — conf
Soft constraints for KnowLang.
C3S2E
Ugo Montanari, Emil Vassev
2011 B conf
A Connector Algebra for P/T Nets Interactions.
CONCUR
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2011 — ch.
A Formal Support to Business and Architectural Design for Service-Oriented Systems.
Results of the SENSORIA Project
Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto
2011 — conf
A Survey on Basic Connectors and Buffers.
FMCO
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2011 — ch.
A Unifying Formal Basis for the Sensoria Approach: A White Paper.
Results of the SENSORIA Project
Ugo Montanari
2011 — ch.
CC-Pi: A Constraint Language for Service Negotiation and Composition.
Results of the SENSORIA Project
Maria Grazia Buscemi, Ugo Montanari
2011 — conf
Connector Algebras, Petri Nets, and BIP.
Ershov Memorial Conference
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2011 — conf
Constraints for Service Contracts.
TGC
Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari
2011 — ch.
Hierarchical Models for Service-Oriented Systems.
Results of the SENSORIA Project
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
2011 J jnl
On Structured Model-Driven Transformations.
Int. J. Softw. Informatics
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
2011 J jnl
QoS negotiation in service composition.
J. Log. Algebraic Methods Program.
Maria Grazia Buscemi, Ugo Montanari
2011 J jnl
Symbolic and Asynchronous Semantics via Normalized Coalgebras
Log. Methods Comput. Sci.
Filippo Bonchi, Ugo Montanari
2010 — conf
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.
FMOODS/FORTE
Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo
2010 — conf
Families of Symmetries as Efficient Models of Resource Binding.
CMCS@ETAPS
Vincenzo Ciancia, Alexander Kurz, Ugo Montanari
2010 J jnl
From Petri Nets to Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari
2010 J jnl
Modeling a Service and Session Calculus with Hierarchical Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Roberto Bruni, Andrea Corradini, Ugo Montanari
2010 — conf
On GS-Monoidal Theories for Graphs with Nesting.
Graph Transformations and Model-Driven Engineering
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
2010 B conf
Saturated LTSs for Adhesive Rewriting Systems.
ICGT
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
2010 J jnl
Symmetries, local names and dynamic (de)-allocation of names.
Inf. Comput.
Vincenzo Ciancia, Ugo Montanari
2010 — conf
Toward a Game-Theoretic Model of Grid Systems.
TGC
Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja
2010 J jnl
Unicast and multicast QoS routing with soft-constraint logic programming.
ACM Trans. Comput. Log.
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
2009 — conf
A Service-Oriented UML Profile with Formal Support.
ICSOC/ServiceWave
Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing
2009 B conf
Coalgebraic Symbolic Semantics.
CALCO
Filippo Bonchi, Ugo Montanari
2009 A conf
Minimization Algorithm for Symbolic Bisimilarity.
ESOP
Filippo Bonchi, Ugo Montanari
2009 J jnl
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves.
Theor. Comput. Sci.
Filippo Bonchi, Ugo Montanari
2009 — ed.
Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
WADT
Andrea Corradini, Ugo Montanari
2008 — conf
A Name Abstraction Functor for Named Sets.
CMCS
Vincenzo Ciancia, Ugo Montanari
2008 J jnl
A survey of constraint-based programming paradigms.
Comput. Sci. Rev.
Maria Grazia Buscemi, Ugo Montanari
2008 — conf
Hierarchical Design Rewriting with Maude.
WRLA
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
2008 A conf
Open Bisimulation for the Concurrent Constraint Pi-Calculus.
ESOP
Maria Grazia Buscemi, Ugo Montanari
2008 J jnl
Preface.
Theor. Comput. Sci.
Ugo Montanari, Donald Sannella
2008 J jnl
Style-Based Architectural Reconfigurations.
Bull. EATCS
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
2008 B conf
Symbolic Semantics Revisited.
FoSSaCS
Filippo Bonchi, Ugo Montanari
2008 — conf
Tiles for Reo.
WADT
Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari
2007 J jnl
A compositional coalgebraic model of fusion calculus.
J. Log. Algebraic Methods Program.
Maria Grazia Buscemi, Ugo Montanari
2007 B ed.
Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
CALCO
Till Mossakowski, Ugo Montanari, Magne Haveraaen
2007 A conf
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.
ESOP
Maria Grazia Buscemi, Ugo Montanari
2007 B conf
Coalgebraic Models for Reactive Systems.
CONCUR
Filippo Bonchi, Ugo Montanari
2007 Misc conf
Constraint-Based Policy Negotiation and Enforcement for Telco Services.
TASE
Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari
2007 — conf
G-Reactive Systems as Coalgebras.
ACCAT@ETAPS
Filippo Bonchi, Ugo Montanari
2007 J jnl
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming.
Theory Pract. Log. Program.
Ivan Lanese, Ugo Montanari
2007 — conf
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming.
QAPL
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
2007 — conf
Service Oriented Architectural Design.
TGC
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto
2007 — ed.
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
TGC
Ugo Montanari, Donald Sannella, Roberto Bruni
2007 J jnl
Unfolding semantics of graph transformation.
Inf. Comput.
Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
2007 J jnl
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
CoRR
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
2006 — conf
A Coalgebraic Theory of Reactive Systems.
LIX
Filippo Bonchi, Ugo Montanari
2006 J jnl
A basic algebra of stateless connectors.
Theor. Comput. Sci.
Roberto Bruni, Ivan Lanese, Ugo Montanari
2006 J jnl
About permutation algebras, (pre)sheaves and named sets.
High. Order Symb. Comput.
Fabio Gadducci, Marino Miculan, Ugo Montanari
2006 B conf
Concurrent Rewriting for Graphs with Equivalences.
CONCUR
Paolo Baldan, Fabio Gadducci, Ugo Montanari
2006 J jnl
Event Structure Semantics for Dynamic Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2006 B conf
Event Structure Semantics for Nominal Calculi.
CONCUR
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2006 — ch.
Foreword.
Handbook of Constraint Programming
Ugo Montanari
2006 — ed.
Foundations of Global Computing, 20.-25. February 2005
Foundations of Global Computing
José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing
2006 B ed.
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
ICGT
Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
2006 — conf
Modelling Calculi with Name Mobility using Graphs with Equivalences.
TERMGRAPH@ETAPS
Paolo Baldan, Fabio Gadducci, Ugo Montanari
2006 — conf
SCC: A Service Centered Calculus.
WS-FM
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
2006 A* conf
Saturated Semantics for Reactive Systems.
LICS
Filippo Bonchi, Barbara König, Ugo Montanari
2006 J jnl
Soft concurrent constraint programming.
ACM Trans. Comput. Log.
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
2005 — conf
05081 Abstracts Collection - Foundations of Global Computing.
Foundations of Global Computing
José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing
2005 — conf
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus.
APC 25
Maria Grazia Buscemi, Ugo Montanari
2005 — conf
A General Name Binding Mechanism.
TGC
Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
2005 C conf
A Process Calculus for QoS-Aware Applications.
COORDINATION
Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
2005 J jnl
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types.
Theor. Comput. Sci.
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto
2005 B conf
Comparing Two Approaches to Compensable Flow Composition.
CONCUR
Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari
2005 B conf
Complete Axioms for Stateless Connectors.
CALCO
Roberto Bruni, Ivan Lanese, Ugo Montanari
2005 B conf
Deriving Weak Bisimulation Congruences from Reduction Systems.
CONCUR
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski
2005 — ed.
Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday
Formal Methods in Software and Systems Modeling
Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
2005 — conf
From Theory to Practice in Transactional Composition of Web Services.
EPEW/WS-FM
Roberto Bruni, Gian-Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
2005 — conf
Graph Processes with Fusions: Concurrency by Colimits, Again.
Formal Methods in Software and Systems Modeling
Fabio Gadducci, Ugo Montanari
2005 — ed.
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
Barbara König, Ugo Montanari, Philippa Gardner
2005 — conf
History-Dependent Automata: An Introduction.
SFM
Ugo Montanari, Marco Pistore
2005 — conf
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility.
GT-VC@CONCUR
Ivan Lanese, Ugo Montanari
2005 — conf
Insights emerged while comparing three models for global computing.
Foundations of Global Computing
Ivan Lanese, Ugo Montanari
2005 J jnl
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
CoRR
Ivan Lanese, Ugo Montanari
2005 B conf
Model Checking for Nominal Calculi.
FoSSaCS
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto
2005 B conf
Modelling Fusion Calculus using HD-Automata.
CALCO
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane
2005 J jnl
Observational congruences for dynamically reconfigurable tile systems.
Theor. Comput. Sci.
Roberto Bruni, Ugo Montanari, Vladimiro Sassone
2005 — conf
Observing Reductions in Nominal Calculi
Processes, Terms and Cycles
Fabio Gadducci, Ugo Montanari
2005 J jnl
Quantitative mu-calculus and CTL defined over constraint semirings.
Theor. Comput. Sci.
Alberto Lluch-Lafuente, Ugo Montanari
2005 J jnl
Structured coalgebras and minimal HD-automata for the
Theor. Comput. Sci.
Ugo Montanari, Marco Pistore
2005 — conf
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.
FMCO
Gian-Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto
2005 A* conf
Theoretical foundations for compensations in flow composition languages.
POPL
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2004 — conf
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
Barbara König, Ugo Montanari, Philippa Gardner
2004 J jnl
Concurrent models for Linda with transactions.
Math. Struct. Comput. Sci.
Roberto Bruni, Ugo Montanari
2004 B conf
D-Fusion: A Distinctive Fusion Calculus.
APLAS
Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
2004 — ed.
Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002
WRLA
Fabio Gadducci, Ugo Montanari
2004 — conf
Nested Commits for Mobile Calculi: Extending Join.
IFIP TCS
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2004 — conf
New Insights on Architectural Connectors.
IFIP TCS
Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari
2004 — conf
Prototype Platforms for Distributed Agreements.
FOCLASA
Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo
2004 — conf
Quantitative ?-calculus and CTL Based on Constraint Semirings.
QAPL
Alberto Lluch-Lafuente, Ugo Montanari
2004 — conf
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs.
PNGT@ICGT
Paolo Baldan, Andrea Corradini, Ugo Montanari
2004 — conf
Shaped Hierarchical Architectural Design.
GT-VMT@ETAPS
Dan Hirsch, Ugo Montanari
2004 — conf
Synchronization Algebras with Mobility for Graph Transformations.
FGUC
Ivan Lanese, Ugo Montanari
2004 — conf
Verication On The Web Of Mobile Systems.
VVEIS
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto
2004 — conf
Web Services and Models of Computation.
WSFM
Ugo Montanari
2003 — conf
A Formal Basis for Reasoning on Programmable QoS.
Verification: Theory and Practice
Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
2003 — conf
A Graphical Fusion Calculus.
COMETA
Ivan Lanese, Ugo Montanari
2003 J jnl
A model-checking verification environment for mobile processes.
ACM Trans. Softw. Eng. Methodol.
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore
2003 — conf
Algebraic Theories for Contextual Pre-nets.
ICTCS
Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
2003 — conf
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.
Lectures on Concurrency and Petri Nets
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2003 — conf
Flat Committed Join in Join.
COMETA
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
2003 — conf
Some Characterization Results for Permutation Algebras.
COMETA
Fabio Gadducci, Marino Miculan, Ugo Montanari
2002 B conf
A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence.
CONCUR
Maria Grazia Buscemi, Ugo Montanari
2002 — conf
AGILE: Software Architecture for Mobility.
WADT
Luís 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
2002 — conf
Bisimulation Equivalences for Graph Grammars.
Formal and Natural Computing
Paolo Baldan, Andrea Corradini, Ugo Montanari
2002 J jnl
Comparing logics for rewriting: rewriting logic, action calculi and tile logic.
Theor. Comput. Sci.
Fabio Gadducci, Ugo Montanari
2002 J jnl
Compositional SOS and beyond: a coalgebraic view of open systems.
Theor. Comput. Sci.
Andrea Corradini, Reiko Heckel, Ugo Montanari
2002 — conf
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars.
WADT
Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
2002 J jnl
Dynamic connectors for concurrency.
Theor. Comput. Sci.
Roberto Bruni, Ugo Montanari
2002 — ed.
Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17
IFIP TCS
Ricardo A. Baeza-Yates, Ugo Montanari, Nicola Santoro
2002 — conf
From Co-algebraic Specifications to Implementation: The Mihda Toolkit.
FMCO
Gian-Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto
2002 — conf
GS.Lambda Theories: A Syntax for Higher-Order Graphs.
CTCS
Matteo Coccia, Fabio Gadducci, Ugo Montanari
2002 — conf
Graph-Based Models of Internetworking Systems.
10th Anniversary Colloquium of UNU/IIST
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto
2002 B conf
Linear Ordered Graph Grammars and Their Algebraic Foundations.
ICGT
Ugo Montanari, Leila Ribeiro
2002 B conf
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation.
FoSSaCS
Gian-Luigi Ferrari, Ugo Montanari, Marco Pistore
2002 J jnl
Normal forms for algebras of connection.
Theor. Comput. Sci.
Roberto Bruni, Fabio Gadducci, Ugo Montanari
2002 B conf
Orchestrating Transactions in Join Calculus.
CONCUR
Roberto Bruni, Cosimo Laneve, Ugo Montanari
2002 — conf
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation.
WADT
Paolo Baldan, Roberto Bruni, Ugo Montanari
2002 — conf
Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002.
WRLA
Fabio Gadducci, Ugo Montanari
2002 J jnl
Soft Concurrent Constraint Programming
CoRR
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
2002 A conf
Soft Concurrent Constraint Programming.
ESOP
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
2002 J jnl
Soft Constraint Logic Programming and Generalized Shortest Path Problems.
J. Heuristics
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
2002 J jnl
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic.
Math. Struct. Comput. Sci.
Roberto Bruni, José Meseguer, Ugo Montanari
2002 — conf
Tiling Transactions in Rewriting Logic.
WRLA
Roberto Bruni, José Meseguer, Ugo Montanari
2001 B conf
A Concurrent Graph Semantics for Mobile Ambients.
MFPS
Fabio Gadducci, Ugo Montanari
2001 — conf
A LTS Semantics of Ambients via Graph Synchronization with Mobility.
ICTCS
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto
2001 J jnl
An interactive semantics of logic programming
CoRR
Roberto Bruni, Ugo Montanari, Francesca Rossi
2001 J jnl
An interactive semantics of logic programming.
Theory Pract. Log. Program.
Roberto Bruni, Ugo Montanari, Francesca Rossi
2001 — ed.
Coalgebraic Methods in Computer Science, CMCS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 6-7, 2001
CMCS
Andrea Corradini, Marina Lenisa, Ugo Montanari
2001 — conf
Comparing cospan-spans and tiles via a Hoare-style process calculus.
TOSCA
Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters
2001 J jnl
Contextual Petri Nets, Asymmetric Event Structures, and Processes.
Inf. Comput.
Paolo Baldan, Andrea Corradini, Ugo Montanari
2001 J jnl
Functorial Models for Petri Nets.
Inf. Comput.
Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
2001 — ed.
International Workshop on Concurrency and Coordination, ConCoord 2001, associated to the 13th Lipari School, Lipari Island, Italy, July 6-8, 2001
ConCoord
Ugo Montanari, Vladimiro Sassone
2001 — conf
Observational Equivalence for Synchronized Graph Rewriting with Mobility.
TACS
Barbara König, Ugo Montanari
2001 — conf
Preface.
CMCS
Andrea Corradini, Marina Lenisa, Ugo Montanari
2001 — conf
Preface.
ConCoord
Ugo Montanari, Vladimiro Sassone
2001 J jnl
Semiring-based contstraint logic programming: syntax and semantics.
ACM Trans. Program. Lang. Syst.
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
2001 B conf
Synchronized Hyperedge Replacement with Name Mobility.
CONCUR
Dan Hirsch, Ugo Montanari
2001 — conf
Transactions and Zero-Safe Nets.
Unifying Petri Nets
Roberto Bruni, Ugo Montanari
2001 — conf
Two Graph-Based Techniques for Software Architecture Reconfiguration.
GETGRATS Closing Workshop
Dan Hirsch, Ugo Montanari
2001 — conf
Zero-safe net models for transactions in Linda.
ConCoord
Roberto Bruni, Ugo Montanari
2000 A* ed.
Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings
ICALP
Ugo Montanari, José D. P. Rolim, Emo Welzl
2000 B conf
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.
CONCUR
Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari
2000 — conf
Executing Transactions in Zero-Safe Nets.
ICATPN
Roberto Bruni, Ugo Montanari
2000 — conf
Graphical Operational Semantics.
ICALP Satellite Workshops
Andrea Corradini, Reiko Heckel, Ugo Montanari
2000 — conf
Open Ended Systems, Dynamic Bisimulation and Tile Logic.
IFIP TCS
Roberto Bruni, Ugo Montanari, Vladimiro Sassone
2000 C conf
Reconfiguration of Software Architecture Styles with Name Mobility.
COORDINATION
Dan Hirsch, Paola Inverardi, Ugo Montanari
2000 — conf
The tile model.
Proof, Language, and Interaction
Fabio Gadducci, Ugo Montanari
2000 J jnl
Tile Formats for Located and Mobile Systems.
Inf. Comput.
Gian-Luigi Ferrari, Ugo Montanari
2000 — conf
Two Problems in Wide Area Network Programming.
IFIP TCS
Ugo Montanari
2000 J jnl
Zero-Safe Nets: Comparing the Collective and Individual Token Approaches.
Inf. Comput.
Roberto Bruni, Ugo Montanari
2000 B conf
pi-Calculus, Structured Coalgebras, and Minimal HD-Automata.
MFCS
Ugo Montanari, Marco Pistore
1999 A* conf
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.
LICS
Roberto Bruni, Ugo Montanari
1999 — conf
Consistent transformations for software architecture styles of distributed systems.
WDS@FCT
Dan Hirsch, Ugo Montanari
1999 B conf
Executable Tile Specifications for Process Calculi.
FASE
Roberto Bruni, José Meseguer, Ugo Montanari
1999 A conf
Finite State Verification for the Asynchronous pi-Calculus.
TACAS
Ugo Montanari, Marco Pistore
1999 — conf
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.
CMCS
Andrea Corradini, Reiko Heckel, Ugo Montanari
1999 — conf
Functorial semantics for Petri nets under the individual token philosophy.
CTCS
Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
1999 J jnl
Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems.
Appl. Categorical Struct.
Ugo Montanari, Francesca Rossi
1999 — conf
History Preserving Bisimulation for Contextual Nets.
WADT
Paolo Baldan, Andrea Corradini, Ugo Montanari
1999 — conf
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving.
WICSA
Dan Hirsch, Paola Inverardi, Ugo Montanari
1999 J jnl
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.
Constraints An Int. J.
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier
1999 B conf
Tile Transition Systems as Structured Coalgebras.
FCT
Andrea Corradini, Reiko Heckel, Ugo Montanari
1999 B conf
Unfolding and Event Structure Semantics for Graph Grammars.
FoSSaCS
Paolo Baldan, Andrea Corradini, Ugo Montanari
1998 — conf
A Comparison of Petri Net Semantics under the Collective Token Philosophy.
ASIAN
Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
1998 B conf
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures.
FoSSaCS
Paolo Baldan, Andrea Corradini, Ugo Montanari
1998 A* conf
Axioms for Contextual Net Processes.
ICALP
Fabio Gadducci, Ugo Montanari
1998 A* conf
Concatenable Graph Processes: Relating Processes and Derivation Traces.
ICALP
Paolo Baldan, Andrea Corradini, Ugo Montanari
1998 — conf
Final semantics for the pi-calculus.
PROCOMET
Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore
1998 — conf
Graph grammars and constraint solving for software architecture styles.
ISAW@FSE
Dan Hirsch, Paola Inverardi, Ugo Montanari
1998 — conf
Internal strategies in a rewriting implementation of tile systems.
WRLA
Roberto Bruni, José Meseguer, Ugo Montanari
1998 — conf
Normal Forms for Partitions and Relations.
WADT
Roberto Bruni, Fabio Gadducci, Ugo Montanari
1998 J jnl
Parameterized Structured Operational Semantics.
Fundam. Informaticae
Gian-Luigi Ferrari, Ugo Montanari
1998 J jnl
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.
Sci. Comput. Program.
Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
1998 — conf
Unfolding of Double-Pushout Graph Grammars is a Coreflection.
TAGT
Paolo Baldan, Andrea Corradini, Ugo Montanari
1998 A* conf
Verifying Mobile Processes in the HAL Environment.
CAV
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
1997 J jnl
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems.
Fundam. Informaticae
Ugo Montanari, Gioia Ristori
1997 B conf
A Tile-Based Coordination View of Asynchronous pi-Calculus.
MFCS
Gian-Luigi Ferrari, Ugo Montanari
1997 — ch.
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.
Handbook of Graph Grammars
Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe
1997 A conf
An Automated Based Verification Environment for Mobile Processes.
TACAS
Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
1997 — conf
An Introduction to History Dependent Automata.
HOOTS
Ugo Montanari, Marco Pistore
1997 — conf
Can Actors and pi-Agents Live Together?
HOOTS
Ugo Montanari, Carolyn L. Talcott
1997 J jnl
Constraint Solving and Programming: What Next?
Constraints An Int. J.
Ugo Montanari, Francesca Rossi
1997 — conf
Constraints and Agents for a Decentralized Network Infrastructure.
AAAI Workshop: Constraints & Agents
Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Stefano Bistarelli, Ugo Montanari, Francesca Rossi
1997 — conf
Mapping tile logic into rewriting logic.
WADT
José Meseguer, Ugo Montanari
1997 A conf
Minimal Transition Systems for History-Preserving Bisimulation.
STACS
Ugo Montanari, Marco Pistore
1997 J jnl
On the Semantics of Place/Transition Petri Nets.
Math. Struct. Comput. Sci.
José Meseguer, Ugo Montanari, Vladimiro Sassone
1997 — conf
Representation Theorems for Petri Nets.
Foundations of Computer Science: Potential - Theory - Cognition
José Meseguer, Ugo Montanari, Vladimiro Sassone
1997 — conf
Semiring-based Constraint Logic Programming.
IJCAI (1)
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
1997 J jnl
Semiring-based constraint satisfaction and optimization.
J. ACM
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
1997 J jnl
Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations.
Math. Struct. Comput. Sci.
Gian-Luigi Ferrari, Ugo Montanari, Miranda Mowbray
1997 — conf
Tiles for concurrent and located calculi?
EXPRESS
Gian-Luigi Ferrari, Ugo Montanari
1997 — conf
Zero-safe nets, or transition synchronization made simple.
EXPRESS
Roberto Bruni, Ugo Montanari
1997 — conf
Zero-safe nets: The individual token approach.
WADT
Roberto Bruni, Ugo Montanari
1996 J jnl
A Pi-Calculus with Explicit Substitutions.
Theor. Comput. Sci.
Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia
1996 J jnl
Axiomatizing Permutation Equivalence.
Math. Struct. Comput. Sci.
Cosimo Laneve, Ugo Montanari
1996 J jnl
Axiomatizing the Algebra of Net Computations and Processes.
Acta Informatica
Pierpaolo Degano, José Meseguer, Ugo Montanari
1996 B ed.
CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings
CONCUR
Ugo Montanari, Vladimiro Sassone
1996 J jnl
Causal Computing.
ACM Comput. Surv.
Ugo Montanari
1996 J jnl
Constraint Solving and Programming: What's Next?
ACM Comput. Surv.
Ugo Montanari, Francesca Rossi
1996 A conf
Efficient Minimization up to Location Equivalence.
ESOP
Ugo Montanari, Marco Pistore, Daniel Yankelevich
1996 J jnl
Graph Processes.
Fundam. Informaticae
Andrea Corradini, Ugo Montanari, Francesca Rossi
1996 C conf
Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract).
COORDINATION
Ugo Montanari, Francesca Rossi
1996 — conf
History dependent verification for partial order systems.
Partial Order Methods in Verification
Ugo Montanari, Marco Pistore
1996 J jnl
Process versus Unfolding Semantics for Place/Transition Petri Nets.
Theor. Comput. Sci.
José Meseguer, Ugo Montanari, Vladimiro Sassone
1996 — conf
Tiles, rewriting rules and CCS.
WRLA
Fabio Gadducci, Ugo Montanari
1995 B conf
Checking Bisimilarity for Finitary pi-Calculus.
CONCUR
Ugo Montanari, Marco Pistore
1995 B conf
Concurrent semantics for the pi-calculus.
MFPS
Ugo Montanari, Marco Pistore
1995 A* conf
Constraint Solving over Semirings.
IJCAI (1)
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
1995 J jnl
Contextual Nets.
Acta Informatica
Ugo Montanari, Francesca Rossi
1995 — conf
Dynamic Matrices and the Cost Analysis of Concurrent Programs.
AMAST
Gian-Luigi Ferrari, Ugo Montanari
1995 — ed.
Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995
SEGRAGRA
Andrea Corradini, Ugo Montanari
1995 J jnl
Location Equivalence in Parametric Setting.
Theor. Comput. Sci.
Ugo Montanari, Daniel Yankelevich
1995 J jnl
On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies.
Theor. Comput. Sci.
Roberto Gorrieri, Ugo Montanari
1995 — conf
Preface.
SEGRAGRA
Andrea Corradini, Ugo Montanari
1995 A ed.
Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings
CP
Ugo Montanari, Francesca Rossi
1995 — conf
Relating Two Categorial Models of Term Rewriting.
RTA
Andrea Corradini, Fabio Gadducci, Ugo Montanari
1995 — conf
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.
Over-Constrained Systems
Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie
1995 B conf
The Weak Late pi-Calculus Semantics as Observation Equivalence.
CONCUR
Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia
1994 B conf
A Pi-Calculus with Explicit Substitutions: the Late Semantics.
MFCS
Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia
1994 J jnl
An Abstract Machine for Concurrent Modular Systems: CHARM.
Theor. Comput. Sci.
Andrea Corradini, Ugo Montanari, Francesca Rossi
1994 — conf
An Event Structure Semantics for Graph Grammars with Parallel Productions.
TAGT
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1994 — conf
An Event Structure Semantics for Safe Graph Grammars.
PROCOMET
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1994 — conf
CC Programs with both In- and Non-determinism: A Concurrent Semantics.
PPCP
Ugo Montanari, Francesca Rossi, Vijay A. Saraswat
1994 J jnl
Combining CCS and Petri Nets Via Structural Axioms.
Fundam. Informaticae
Ugo Montanari, Daniel Yankelevich
1994 — conf
Concurrency and Concurrent Constraint Programming
Constraint Programming
Ugo Montanari, Francesca Rossi
1994 — conf
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.
ALP
Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
1994 — conf
Modelling Concurrent Accesses to Shared Data via Petri Nets.
PROCOMET
Nicoletta De Francesco, Ugo Montanari, Gioia Ristori
1994 — conf
On the Model of Computation of Place/Transition Petri Nets.
Application and Theory of Petri Nets
José Meseguer, Ugo Montanari, Vladimiro Sassone
1994 — conf
The Category of Typed Graph Grammars and its Adjunctions with Categories.
TAGT
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg
1994 — conf
Towards a Concurrent Semantics based Analysis of CC and CLP.
PPCP
Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1993 — conf
Abstract Graph Derivations in the Double Pushout Approach.
Dagstuhl Seminar on Graph Transformations in Computer Science
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1993 J jnl
Axiomatizing CCS, Nets and Processes.
Sci. Comput. Program.
Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich
1993 — conf
Concurrent Semantics for Concurrent Constraint Programs.
NATO ASI CP
Francesca Rossi, Ugo Montanari
1993 — conf
Constraint Satisfaction, Constraint Programming, and Concurrency.
PPCP
Ugo Montanari, Francesca Rossi
1993 — conf
Contextual Nets and Constraint Logic Programming.
ICLP Workshop on Concurrent Constraint Programming
Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
1993 — conf
Contextual Occurence Nets and Concurrent Constraint Programming.
Dagstuhl Seminar on Graph Transformations in Computer Science
Ugo Montanari, Francesca Rossi
1993 J jnl
Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming.
Theor. Comput. Sci.
Ugo Montanari, Francesca Rossi
1993 — conf
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.
Dagstuhl Seminar on Graph Transformations in Computer Science
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1993 J jnl
Universal Axioms for Bisimulations.
Theor. Comput. Sci.
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1992 A* conf
A Parametric Approach to Localities.
ICALP
Ugo Montanari, Daniel Yankelevich
1992 J jnl
An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs.
Theor. Comput. Sci.
Andrea Corradini, Ugo Montanari
1992 — conf
Axiomatizing Permutation Equivalence in the Lambda-Calculus.
ALP
Cosimo Laneve, Ugo Montanari
1992 J jnl
Dynamic congruence vs. progressing bisimulation for CCS.
Fundam. Informaticae
Ugo Montanari, Vladimiro Sassone
1992 — conf
Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics.
CAAP
Ugo Montanari, Francesca Rossi
1992 B conf
Mobility in the CC-Paradigm.
MFCS
Cosimo Laneve, Ugo Montanari
1992 — conf
Observation Trees.
NAPAW
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1992 B conf
On the Semantics of Petri Nets.
CONCUR
José Meseguer, Ugo Montanari, Vladimiro Sassone
1992 — conf
SHARM: Concurrency and Hiding in an Abstract Rewriting Machine.
FGCS
Andrea Corradini, Ugo Montanari, Francesca Rossi
1992 B conf
True Concurrency: Theory and Practice.
MPC
Ugo Montanari
1991 — conf
An Algebra of Graphs and Graph Rewriting.
Category Theory and Computer Science
Andrea Corradini, Ugo Montanari
1991 — conf
An Algebraic Representation of Logic-Program Computations.
Computational Logic - Essays in Honor of Alan Robinson
Andrea Corradini, Ugo Montanari
1991 — conf
An Extended Expansion Theorem.
TAPSOFT, Vol.2
Gian-Luigi Ferrari, Roberto Gorrieri, Ugo Montanari
1991 B conf
CCS Dynamic Bisimulation is Progressing.
MFCS
Ugo Montanari, Vladimiro Sassone
1991 J jnl
Constraint Relaxation may be Perfect.
Artif. Intell.
Ugo Montanari, Francesca Rossi
1991 — conf
Distributed Implementation of CCS.
Applications and Theory of Petri Nets
Roberto Gorrieri, Ugo Montanari
1991 — conf
Finite Domain Constraint Solving and Constraint Logic Programming.
WCLP
Ugo Montanari, Francesca Rossi
1991 B conf
Perfect Relaxation in Constraint Logic Programming.
ICLP
Ugo Montanari, Francesca Rossi
1991 B conf
The Observation Algebra of Spatial Pomsets.
CONCUR
Gian-Luigi Ferrari, Ugo Montanari
1991 — conf
True Concurrency in Concurrent Constraint Programming.
ISLP
Ugo Montanari, Francesca Rossi
1990 J jnl
A Partial Ordering Semantics for CCS.
Theor. Comput. Sci.
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1990 J jnl
A2CCKS: Atomic Actions for CCS.
Theor. Comput. Sci.
Roberto Gorrieri, Sergio Marchetti, Ugo Montanari
1990 — conf
An Algebraic Semantics of Logic Programs as Structured Transition Systems.
NACLP
Andrea Corradini, Ugo Montanari
1990 B conf
Back and Forth Bisimulations.
CONCUR
Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager
1990 — conf
Graph Grammars and Logic Programming.
Graph-Grammars and Their Application to Computer Science
Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe
1990 J jnl
Petri Nets Are Monoids
Inf. Comput.
José Meseguer, Ugo Montanari
1990 B conf
SCONE: A Simple Calculus of Nets.
CONCUR
Roberto Gorrieri, Ugo Montanari
1990 J jnl
Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing.
Int. J. Found. Comput. Sci.
Roberto Gorrieri, Ugo Montanari
1990 A conf
Towards a Process Semantics in the Logic Programming Style.
STACS
Andrea Corradini, Ugo Montanari
1990 — conf
Towards the Unification of Models for Concurrency.
CAAP
Gian-Luigi Ferrari, Ugo Montanari
1990 — conf
Transition Systems with Algebraic Structure as Models of Computations.
Semantics of Systems of Concurrent Processes
Andrea Corradini, Gian-Luigi Ferrari, Ugo Montanari
1989 — conf
An Algebraic View of Interleaving and Distributed Operational Semantics for CCS.
Category Theory and Computer Science
Ugo Montanari, Daniel Yankelevich
1989 A* conf
Axiomatizing Net Computations and Processes
LICS
Pierpaolo Degano, José Meseguer, Ugo Montanari
1989 A* conf
Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation.
KR
Francesca Rossi, Ugo Montanari
1988 J jnl
A Distributed Operational Semantics for CCS Based on Condition/Event Systems.
Acta Informatica
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1988 — conf
A²CCS: A Simple Extension of CCS for Handling Atomic Actions.
CAAP
Roberto Gorrieri, Sergio Marchetti, Ugo Montanari
1988 — conf
CEDISYS: Compositional Distributed Systems - State of the art, research goals, references.
European Workshop on Applications and Theory in Petri Nets
Ugo Montanari
1988 — conf
Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming.
META
Francesca Rossi, Ugo Montanari
1988 A* conf
On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract)
LICS
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1988 — conf
Partial orderings descriptions and observations of nondeterministic concurrent processes.
REX Workshop
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1988 A* conf
Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory
LICS
José Meseguer, Ugo Montanari
1987 J jnl
A model for distributed systems based on graph rewriting.
J. ACM
Pierpaolo Degano, Ugo Montanari
1987 — conf
An Executon Environment for the Formal Definiton of Ada.
ESEC
Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari
1987 J jnl
Concurrent Histories: A Basis for Observing Distributed Systems.
J. Comput. Syst. Sci.
Pierpaolo Degano, Ugo Montanari
1987 — conf
Observational equivalences for concurrency models.
Formal Description of Programming Concepts
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1987 — ed.
Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings
Software Development and Ada
A. Nico Habermann, Ugo Montanari
1987 — ed.
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87)
TAPSOFT, Vol.1
Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
1987 — ed.
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
TAPSOFT, Vol.2
Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
1986 — conf
An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints.
Graph-Grammars and Their Application to Computer Science
Ugo Montanari, Francesca Rossi
1986 — conf
CCS is an (Augmented) Contact Free C/E System.
Mathematical Models for the Semantics of Parallelism
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1986 — conf
Graph rewriting with unification and composition.
Graph-Grammars and Their Application to Computer Science
Francesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari
1985 B conf
Partial ordering derivations for CCS.
FCT
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1985 — conf
Specification Languages for Distributed Systems.
TAPSOFT, Vol.1
Pierpaolo Degano, Ugo Montanari
1984 A* conf
Liveness Properties as Convergence in Metric Spaces
STOC
Pierpaolo Degano, Ugo Montanari
1982 J jnl
An Efficient Unification Algorithm.
ACM Trans. Program. Lang. Syst.
Alberto Martelli, Ugo Montanari
1982 — conf
Graph Grammars for distributed systems.
Graph-Grammars and Their Application to Computer Science
Ilaria Castellani, Ugo Montanari
1982 — ed.
International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings
Symposium on Programming
Mariangiola Dezani-Ciancaglini, Ugo Montanari
1982 — conf
Labeled Event Structures: A Model for Observable Concurrency.
Formal Description of Programming Concepts
Ilaria Castellani, Paola Franceschi, Ugo Montanari
1981 A conf
Communication Through Message Passing or Shared Memory: A Formal Comparison.
ICDCS
Rocco De Nicola, Alberto Martelli, Ugo Montanari
1981 J jnl
Dynamic Programming as Graph Searching: An Algebraic Approach.
J. ACM
Stefania Gnesi, Ugo Montanari, Alberto Martelli
1979 A* conf
A Flexible Environment for Program Development Based on a Symbolic Interpreter.
ICSE
Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini
1978 J jnl
A Recursive Method Based on Case Analysis for Computing Network Terminal Reliability.
IEEE Trans. Commun.
Luigi Fratta, Ugo Montanari
1978 J jnl
Optimizing Decision Trees Through Heuristically Guided Search.
Commun. ACM
Alberto Martelli, Ugo Montanari
1978 — conf
Shortest Path Problems and Tree Grammars: An Algebraic Framework.
Graph-Grammars and Their Application to Computer Science and Biology
Alfonso Catalano, Stefania Gnesi, Ugo Montanari
1977 A* conf
Theorem Proving with Structure Sharing and Efficient Unification.
IJCAI
Alberto Martelli, Ugo Montanari
1976 B conf
Observability Concepts in Abstract Data Type Specifications.
MFCS
V. Giarratana, F. Gimona, Ugo Montanari
1975 J jnl
A Vertex Elimination Algorithm for Enumerating all Simple Paths in a Graph.
Networks
Luigi Fratta, Ugo Montanari
1975 A* conf
Form Dynamic Programming To Search Algorithms With Functional Costs.
IJCAI
Alberto Martelli, Ugo Montanari
1974 A* conf
Dynamic Programming Schemata.
ICALP
Alberto Martelli, Ugo Montanari
1974 J jnl
Networks of constraints: Fundamental properties and applications to picture processing.
Inf. Sci.
Ugo Montanari
1974 J jnl
Optimal matching of wheat chromosomes.
Comput. Graph. Image Process.
Mario Aiello, Carlo Lami, Ugo Montanari
1974 — conf
Optimization Methods in Image Processing.
IFIP Congress
Ugo Montanari
1973 A* conf
Additive AND/OR Graphs.
IJCAI
Alberto Martelli, Ugo Montanari
1973 B conf
Towards a Formal Definition of the Control in Structured Programs.
MFCS
Luigia Carlucci Aiello, Ugo Montanari
1971 — conf
On the Optimal Approximation of Discrete Functions with Low-dimensional Tables.
IFIP Congress (2)
Ugo Montanari
1971 J jnl
On the Optimal Detection of Curves in Noisy Pictures.
Commun. ACM
Ugo Montanari
1971 — conf
Optimal Smoothing in Picture Processing: An Application to Fingerprints.
IFIP Congress (1)
Alberto Martelli, Ugo Montanari
1970 J jnl
A Grey-Weighted Skeleton
Inf. Control.
Giorgio Levi, Ugo Montanari
1970 J jnl
A Note on Minimal Length Polygongal Approximation to a Digitized Contour.
Commun. ACM
Ugo Montanari
1970 J jnl
Heuristically Guided Search and Chromosome Matching.
Artif. Intell.
Ugo Montanari
1970 J jnl
On Limit Properties in Digitization Schemes.
J. ACM
Ugo Montanari
1970 J jnl
On the Minimization of READ-ONLY Memories in Microprogrammed Digital Computers.
IEEE Trans. Computers
Antonio Grasselli, Ugo Montanari
1970 J jnl
Separable Graphs, Planar Graphs and Web Grammars
Inf. Control.
Ugo Montanari
1969 J jnl
Continuous Skeletons from Digitized Images.
J. ACM
Ugo Montanari
1968 J jnl
A Method for Obtaining Skeletons Using a Quasi-Euclidean Distance.
J. ACM
Ugo Montanari