Ugo Montanari

ORCID

Publication Activity (10 Years)

Years Active: 1968-2020
Publications (10 Years): 16

Top Venues

CoRR

Log. Methods Comput. Sci.

Theor. Comput. Sci.

Models, Languages, and Tools for Concurrent and Distributed Programming

Publications

Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Bayesian network semantics for Petri nets. Theor. Comput. Sci. 807 (2020)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
Algebras for Tree Decomposable Graphs. ICGT (2020)
Roberto Bruni, Ugo Montanari, Giorgio Mossa
A Coalgebraic Approach to Unification Semantics of Logic Programming. The Art of Modelling Computational Systems (2019)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto
Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Ugo Montanari
From Dynamic Programming to Programming Science - Some Recollections in Honour of Stefania Gnesi. From Software Engineering to Formal Methods and Tools, and Back (2019)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally. Log. Methods Comput. Sci. 15 (4) (2019)
Ugo Montanari
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 (2019)
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. 14 (3) (2018)
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
Event Structures for Petri nets with Persistence. CoRR (2018)
Ugo Montanari, Matteo Sammartino, Alain Tcheukam Siwe
Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach. Graph Transformation, Specifications, and Nets (2018)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Unifying Inference for Bayesian and Petri Nets. CoRR (2018)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally. LICS (2018)
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Log. Methods Comput. Sci. 13 (1) (2017)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally. CoRR (2017)
Mauricio Ayala-Rincón, Ian Mackie, Ugo Montanari
Logical and Semantic Frameworks with Applications. Theor. Comput. Sci. 685 (2017)
Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg
Hartmut Ehrig (1944-2016). Bull. EATCS 119 (2016)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
Revisiting causality, coalgebraically. Acta Informatica 52 (1) (2015)
Nicklas Hoch, Ugo Montanari, Matteo Sammartino
Dynamic Programming on Nominal Graphs. GaM (2015)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
Causal Trees, Finally. Programming Languages with Applications to Biology and Security (2015)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
A Normal Form for Stateful Connectors. Logic, Rewriting, and Concurrency (2015)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
Constraint design rewriting. Sci. Comput. Program. 97 (2015)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
A coalgebraic semantics for causality in Petri nets. CoRR (2015)
Ugo Montanari, Rosario Pugliese, Francesco Tiezzi
Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems (2015)
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION (2015)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
cJoin: Join with communicating transactions. Math. Struct. Comput. Sci. 25 (3) (2015)
Roberto Bruni, Ugo Montanari, Matteo Sammartino
A coalgebraic semantics for causality in Petri nets. J. Log. Algebraic Methods Program. 84 (6) (2015)
Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs. Fundam. Informaticae 134 (3-4) (2014)
Ugo Montanari, Matteo Sammartino
Network-Conscious π-calculus - A Model of Pastry. LSFA (2014)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Behaviour, Interaction and Dynamics. Specification, Algebra, and Software (2014)
Ugo Montanari, Alain Tcheukam Siwe
Prosumers as Aggregators in the DEZENT Context of Regenerative Power Production. SASO (2014)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
From Hierarchical BIP to Petri Calculus. FPS@ETAPS (2014)
Ugo Montanari, Matteo Sammartino
A network-conscious π-calculus and its coalgebraic semantics. Theor. Comput. Sci. 546 (2014)
Ugo Montanari
Foreword: special issue on structure transformation. Math. Struct. Comput. Sci. 24 (4) (2014)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski
Connector algebras for C/E and P/T nets' interactions. Log. Methods Comput. Sci. 9 (3) (2013)
Ugo Montanari, Alain Tcheukam Siwe
Real time market models and prosumer profiling. INFOCOM (2013)
Ugo Montanari, Alain Tcheukam Siwe
Real time market models and prosumer profiling. INFOCOM Workshops (2013)
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
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. SASO Workshops (2013)
Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
A Modular LTS for Open Reactive Systems. IFIP TCS (2012)
Ugo Montanari, Emil Vassev
Soft constraints for KnowLang. C3S2E (2012)
Giacoma Valentina Monreale, Ugo Montanari, Nicklas Hoch
Soft Constraint Logic Programming for Electric Vehicle Travel Optimization CoRR (2012)
Ugo Montanari, Matteo Sammartino
Network Conscious π-calculus: A Concurrent Semantics. MFPS (2012)
Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja
A Game-Theoretic Analysis of Grid Job Scheduling. J. Grid Comput. 10 (3) (2012)
Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari
Constraints for Service Contracts. TGC (2011)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
A Survey on Basic Connectors and Buffers. FMCO (2011)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Connector Algebras, Petri Nets, and BIP. Ershov Memorial Conference (2011)
Maria Grazia Buscemi, Ugo Montanari
QoS negotiation in service composition. J. Log. Algebraic Methods Program. 80 (1) (2011)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
A Connector Algebra for P/T Nets Interactions. CONCUR (2011)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
On Structured Model-Driven Transformations. Int. J. Softw. Informatics 5 (1-2) (2011)
Filippo Bonchi, Ugo Montanari
Symbolic and Asynchronous Semantics via Normalized Coalgebras Log. Methods Comput. Sci. 7 (2) (2011)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari
On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering (2010)
Vincenzo Ciancia, Alexander Kurz, Ugo Montanari
Families of Symmetries as Efficient Models of Resource Binding. CMCS (2010)
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
Unicast and multicast QoS routing with soft-constraint logic programming. ACM Trans. Comput. Log. 12 (1) (2010)
Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja
Toward a Game-Theoretic Model of Grid Systems. TGC (2010)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
Saturated LTSs for Adhesive Rewriting Systems. ICGT (2010)
Roberto Bruni, Andrea Corradini, Ugo Montanari
Modeling a Service and Session Calculus with Hierarchical Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari
From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Vincenzo Ciancia, Ugo Montanari
Symmetries, local names and dynamic (de)-allocation of names. Inf. Comput. 208 (12) (2010)
Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE (2010)
Filippo Bonchi, Ugo Montanari
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Theor. Comput. Sci. 410 (41) (2009)
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)
Filippo Bonchi, Ugo Montanari
Coalgebraic Symbolic Semantics. CALCO (2009)
Filippo Bonchi, Ugo Montanari
Minimization Algorithm for Symbolic Bisimilarity. ESOP (2009)
Filippo Bonchi, Ugo Montanari
G-Reactive Systems as Coalgebras. Electron. Notes Theor. Comput. Sci. 203 (6) (2008)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
Hierarchical Design Rewriting with Maude. WRLA (2008)
Ugo Montanari, Donald Sannella
Preface. Theor. Comput. Sci. 402 (2-3) (2008)
Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari
Tiles for Reo. WADT (2008)
Filippo Bonchi, Ugo Montanari
A Coalgebraic Theory of Reactive Systems. Electron. Notes Theor. Comput. Sci. 209 (2008)
Vincenzo Ciancia, Ugo Montanari
A Name Abstraction Functor for Named Sets. CMCS (2008)
Maria Grazia Buscemi, Ugo Montanari
A survey of constraint-based programming paradigms. Comput. Sci. Rev. 2 (3) (2008)
Filippo Bonchi, Ugo Montanari
Symbolic Semantics Revisited. FoSSaCS (2008)
Maria Grazia Buscemi, Ugo Montanari
Open Bisimulation for the Concurrent Constraint Pi-Calculus. ESOP (2008)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari
Style-Based Architectural Reconfigurations. Bull. EATCS 94 (2008)
Maria Grazia Buscemi, Ugo Montanari
A compositional coalgebraic model of fusion calculus. J. Log. Algebraic Methods Program. 72 (1) (2007)
Ivan Lanese, Ugo Montanari
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. Theory Pract. Log. Program. 7 (1-2) (2007)
Maria Grazia Buscemi, Ugo Montanari
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. ESOP (2007)
Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
Unfolding semantics of graph transformation. Inf. Comput. 205 (5) (2007)
Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto
Service Oriented Architectural Design. TGC (2007)
Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo
Prototype Platforms for Distributed Agreements. Electron. Notes Theor. Comput. Sci. 180 (2) (2007)
Filippo Bonchi, Ugo Montanari
Coalgebraic Models for Reactive Systems. CONCUR (2007)
Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari
Constraint-Based Policy Negotiation and Enforcement for Telco Services. TASE (2007)
Paolo Baldan, Fabio Gadducci, Ugo Montanari
Modelling Calculi with Name Mobility using Graphs with Equivalences. Electron. Notes Theor. Comput. Sci. 176 (1) (2007)
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming CoRR (2007)
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. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Maria Grazia Buscemi, Ugo Montanari
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. Electron. Notes Theor. Comput. Sci. 162 (2006)
Filippo Bonchi, Barbara König, Ugo Montanari
Saturated Semantics for Reactive Systems. LICS (2006)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Event Structure Semantics for Nominal Calculi. CONCUR (2006)
Ivan Lanese, Ugo Montanari
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. Electron. Notes Theor. Comput. Sci. 154 (2) (2006)
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)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Event Structure Semantics for Dynamic Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006)
Fabio Gadducci, Marino Miculan, Ugo Montanari
About permutation algebras, (pre)sheaves and named sets. High. Order Symb. Comput. 19 (2-3) (2006)
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
Soft concurrent constraint programming. ACM Trans. Comput. Log. 7 (3) (2006)
Paolo Baldan, Fabio Gadducci, Ugo Montanari
Concurrent Rewriting for Graphs with Equivalences. CONCUR (2006)
Roberto Bruni, Ivan Lanese, Ugo Montanari
A basic algebra of stateless connectors. Theor. Comput. Sci. 366 (1-2) (2006)
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)
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)
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) (2005)
José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing
05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing (2005)
Ugo Montanari, Marco Pistore
-calculus. Theor. Comput. Sci. 340 (3) (2005)
Fabio Gadducci, Ugo Montanari
a Graphical Encoding of Processes. Processes, Terms and Cycles (2005)
Roberto Bruni, Ivan Lanese, Ugo Montanari
Complete Axioms for Stateless Connectors. CALCO (2005)

Ugo Montanari.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ugo Montanari