default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUgo Montanari
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j101]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Bayesian network semantics for Petri nets. Theor. Comput. Sci. 807: 95-113 (2020)- [c229]Roberto Bruni
, Ugo Montanari, Matteo Sammartino:
Algebras for Tree Decomposable Graphs. ICGT 2020: 203-220
2010 – 2019
- 2019
- [j100]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Concurrency and Probability: Removing Confusion, Compositionally. Log. Methods Comput. Sci. 15(4) (2019) - [c228]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: 3-6 - [c227]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: 12-15 - [c226]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: 170-190 - [c225]Roberto Bruni, Ugo Montanari, Giorgio Mossa:
A Coalgebraic Approach to Unification Semantics of Logic Programming. The Art of Modelling Computational Systems 2019: 223-240 - [p10]Roberto Bruni, Ugo Montanari:
Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems. Carl Adam Petri: Ideas, Personality, Impact 2019: 147-153 - 2018
- [j99]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) - [c224]Ugo Montanari, Matteo Sammartino, Alain Tcheukam Siwe:
Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach. Graph Transformation, Specifications, and Nets 2018: 179-200 - [c223]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Concurrency and Probability: Removing Confusion, Compositionally. LICS 2018: 195-204 - [i12]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. CoRR abs/1802.03726 (2018) - [i11]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Unifying Inference for Bayesian and Petri Nets. CoRR abs/1807.06305 (2018) - 2017
- [b1]Roberto Bruni, Ugo Montanari:
Models of Computation. Texts in Theoretical Computer Science. An EATCS Series, Springer 2017, ISBN 978-3-319-42898-7, pp. 3-356 - [j98]Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Log. Methods Comput. Sci. 13(1) (2017) - [j97]Mauricio Ayala-Rincón, Ian Mackie, Ugo Montanari:
Logical and Semantic Frameworks with Applications. Theor. Comput. Sci. 685: 1-2 (2017) - [i10]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Concurrency and Probability: Removing Confusion, Compositionally. CoRR abs/1710.04570 (2017) - 2016
- [j96]Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg:
Hartmut Ehrig (1944-2016). Bull. EATCS 119 (2016) - 2015
- [j95]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
Revisiting causality, coalgebraically. Acta Informatica 52(1): 5-33 (2015) - [j94]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
A coalgebraic semantics for causality in Petri nets. J. Log. Algebraic Methods Program. 84(6): 853-883 (2015) - [j93]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
cJoin: Join with communicating transactions. Math. Struct. Comput. Sci. 25(3): 566-618 (2015) - [j92]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Constraint design rewriting. Sci. Comput. Program. 97: 23-30 (2015) - [c222]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
Causal Trees, Finally. Programming Languages with Applications to Biology and Security 2015: 27-43 - [c221]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
A Normal Form for Stateful Connectors. Logic, Rewriting, and Concurrency 2015: 205-227 - [c220]Ugo Montanari, Rosario Pugliese, Francesco Tiezzi:
Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems 2015: 641-661 - [c219]Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION 2015: 101-116 - [c218]Nicklas Hoch, Ugo Montanari, Matteo Sammartino:
Dynamic Programming on Nominal Graphs. GaM 2015: 80-96 - [p9]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
Reconfigurable and Software-Defined Networks of Connectors and Components. The ASCENS Approach 2015: 73-106 - [p8]Nicklas Hoch, Giacoma Valentina Monreale, Ugo Montanari, Matteo Sammartino, Alain Tcheukam Siwe:
From Local to Global Knowledge and Back. The ASCENS Approach 2015: 185-220 - [p7]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:
Tools for Ensemble Design and Runtime. The ASCENS Approach 2015: 429-448 - [p6]Nicklas Hoch, Henry-Paul Bensler, Dhaminda B. Abeywickrama, Tomás Bures, Ugo Montanari:
The E-mobility Case Study. The ASCENS Approach 2015: 513-533 - [i9]Roberto Bruni, Ugo Montanari, Matteo Sammartino:
A coalgebraic semantics for causality in Petri nets. CoRR abs/1507.06462 (2015) - 2014
- [j91]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): 287-317 (2014) - [j90]Ugo Montanari:
Foreword: special issue on structure transformation. Math. Struct. Comput. Sci. 24(4) (2014) - [j89]Ugo Montanari, Matteo Sammartino:
A network-conscious π-calculus and its coalgebraic semantics. Theor. Comput. Sci. 546: 188-224 (2014) - [c217]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Behaviour, Interaction and Dynamics. Specification, Algebra, and Software 2014: 382-401 - [c216]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
From Hierarchical BIP to Petri Calculus. FPS@ETAPS 2014: 54-68 - [c215]Ugo Montanari, Alain Tcheukam Siwe:
Prosumers as Aggregators in the DEZENT Context of Regenerative Power Production. SASO 2014: 167-174 - [c214]Ugo Montanari, Matteo Sammartino:
Network-Conscious π-calculus - A Model of Pastry. LSFA 2014: 3-17 - 2013
- [j88]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) - [c213]Ugo Montanari, Alain Tcheukam Siwe:
Real time market models and prosumer profiling. INFOCOM Workshops 2013: 7-12 - [c212]Ugo Montanari, Alain Tcheukam Siwe:
Real time market models and prosumer profiling. INFOCOM 2013: 3183-3188 - [c211]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: 71-76 - 2012
- [j87]Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja:
A Game-Theoretic Analysis of Grid Job Scheduling. J. Grid Comput. 10(3): 501-519 (2012) - [c210]Ugo Montanari, Emil Vassev:
Soft constraints for KnowLang. C3S2E 2012: 99-103 - [c209]Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari:
A Modular LTS for Open Reactive Systems. IFIP TCS 2012: 134-148 - [c208]Ugo Montanari, Matteo Sammartino:
Network Conscious π-calculus: A Concurrent Semantics. MFPS 2012: 291-306 - [i8]Giacoma Valentina Monreale, Ugo Montanari, Nicklas Hoch:
Soft Constraint Logic Programming for Electric Vehicle Travel Optimization. CoRR abs/1212.2056 (2012) - 2011
- [j86]Filippo Bonchi, Ugo Montanari:
Symbolic and Asynchronous Semantics via Normalized Coalgebras. Log. Methods Comput. Sci. 7(2) (2011) - [j85]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
On Structured Model-Driven Transformations. Int. J. Softw. Informatics 5(1-2): 185-206 (2011) - [j84]Maria Grazia Buscemi, Ugo Montanari:
QoS negotiation in service composition. J. Log. Algebraic Methods Program. 80(1): 13-24 (2011) - [c207]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
A Connector Algebra for P/T Nets Interactions. CONCUR 2011: 312-326 - [c206]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Connector Algebras, Petri Nets, and BIP. Ershov Memorial Conference 2011: 19-38 - [c205]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
A Survey on Basic Connectors and Buffers. FMCO 2011: 49-68 - [c204]Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari:
Constraints for Service Contracts. TGC 2011: 104-120 - [p5]Ugo Montanari:
A Unifying Formal Basis for the Sensoria Approach: A White Paper. Results of the SENSORIA Project 2011: 15-25 - [p4]Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto:
A Formal Support to Business and Architectural Design for Service-Oriented Systems. Results of the SENSORIA Project 2011: 133-152 - [p3]Maria Grazia Buscemi, Ugo Montanari:
CC-Pi: A Constraint Language for Service Negotiation and Composition. Results of the SENSORIA Project 2011: 262-281 - [p2]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari:
Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project 2011: 349-368 - 2010
- [j83]Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari:
From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [j82]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) - [j81]Vincenzo Ciancia, Ugo Montanari:
Symmetries, local names and dynamic (de)-allocation of names. Inf. Comput. 208(12): 1349-1367 (2010) - [j80]Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini:
Unicast and multicast QoS routing with soft-constraint logic programming. ACM Trans. Comput. Log. 12(1): 5:1-5:48 (2010) - [c203]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: 59-86 - [c202]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: 2-16 - [c201]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari:
Saturated LTSs for Adhesive Rewriting Systems. ICGT 2010: 123-138 - [c200]Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja:
Toward a Game-Theoretic Model of Grid Systems. TGC 2010: 57-72 - [c199]Vincenzo Ciancia, Alexander Kurz, Ugo Montanari:
Families of Symmetries as Efficient Models of Resource Binding. CMCS@ETAPS 2010: 63-81
2000 – 2009
- 2009
- [j79]Filippo Bonchi, Ugo Montanari:
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Theor. Comput. Sci. 410(41): 4044-4066 (2009) - [c198]Filippo Bonchi, Ugo Montanari:
Coalgebraic Symbolic Semantics. CALCO 2009: 173-190 - [c197]Filippo Bonchi, Ugo Montanari:
Minimization Algorithm for Symbolic Bisimilarity. ESOP 2009: 267-284 - [c196]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 - [e19]Andrea Corradini, Ugo Montanari:
Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5486, Springer 2009, ISBN 978-3-642-03428-2 [contents] - 2008
- [j78]Maria Grazia Buscemi, Ugo Montanari:
A survey of constraint-based programming paradigms. Comput. Sci. Rev. 2(3): 137-141 (2008) - [j77]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Style-Based Architectural Reconfigurations. Bull. EATCS 94: 161-180 (2008) - [j76]Ugo Montanari, Donald Sannella:
Preface. Theor. Comput. Sci. 402(2-3): 81 (2008) - [c195]Maria Grazia Buscemi, Ugo Montanari:
Open Bisimulation for the Concurrent Constraint Pi-Calculus. ESOP 2008: 254-268 - [c194]Filippo Bonchi, Ugo Montanari:
Symbolic Semantics Revisited. FoSSaCS 2008: 395-412 - [c193]Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari:
Tiles for Reo. WADT 2008: 37-55 - [c192]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Hierarchical Design Rewriting with Maude. WRLA 2008: 45-62 - [c191]Vincenzo Ciancia, Ugo Montanari:
A Name Abstraction Functor for Named Sets. CMCS 2008: 49-70 - 2007
- [j75]Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro:
Unfolding semantics of graph transformation. Inf. Comput. 205(5): 733-782 (2007) - [j74]Maria Grazia Buscemi, Ugo Montanari:
A compositional coalgebraic model of fusion calculus. J. Log. Algebraic Methods Program. 72(1): 78-97 (2007) - [j73]Ivan Lanese, Ugo Montanari:
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. Theory Pract. Log. Program. 7(1-2): 123-151 (2007) - [c190]Filippo Bonchi, Ugo Montanari:
Coalgebraic Models for Reactive Systems. CONCUR 2007: 364-379 - [c189]Maria Grazia Buscemi, Ugo Montanari:
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. ESOP 2007: 18-32 - [c188]Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari:
Constraint-Based Policy Negotiation and Enforcement for Telco Services. TASE 2007: 463-472 - [c187]Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto:
Service Oriented Architectural Design. TGC 2007: 186-203 - [c186]Filippo Bonchi, Ugo Montanari:
G-Reactive Systems as Coalgebras. ACCAT@ETAPS 2007: 3-17 - [c185]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. QAPL 2007: 111-127 - [e18]Till Mossakowski, Ugo Montanari, Magne Haveraaen:
Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings. Lecture Notes in Computer Science 4624, Springer 2007, ISBN 978-3-540-73857-2 [contents] - [e17]Ugo Montanari, Donald Sannella, Roberto Bruni:
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4661, Springer 2007, ISBN 978-3-540-75333-9 [contents] - [i7]Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini:
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming. CoRR abs/0704.1783 (2007) - 2006
- [j72]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Event Structure Semantics for Dynamic Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006) - [j71]Fabio Gadducci, Marino Miculan, Ugo Montanari:
About permutation algebras, (pre)sheaves and named sets. High. Order Symb. Comput. 19(2-3): 283-304 (2006) - [j70]Roberto Bruni, Ivan Lanese, Ugo Montanari:
A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2): 98-120 (2006) - [j69]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Soft concurrent constraint programming. ACM Trans. Comput. Log. 7(3): 563-589 (2006) - [c184]Paolo Baldan, Fabio Gadducci, Ugo Montanari:
Concurrent Rewriting for Graphs with Equivalences. CONCUR 2006: 279-294 - [c183]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Event Structure Semantics for Nominal Calculi. CONCUR 2006: 295-309 - [c182]Filippo Bonchi, Barbara König, Ugo Montanari:
Saturated Semantics for Reactive Systems. LICS 2006: 69-80 - [c181]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 - [c180]Paolo Baldan, Fabio Gadducci, Ugo Montanari:
Modelling Calculi with Name Mobility using Graphs with Equivalences. TERMGRAPH@ETAPS 2006: 85-97 - [c179]Filippo Bonchi, Ugo Montanari:
A Coalgebraic Theory of Reactive Systems. LIX 2006: 201-215 - [e16]José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing:
Foundations of Global Computing, 20.-25. February 2005. Dagstuhl Seminar Proceedings 05081, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [e15]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. Lecture Notes in Computer Science 4178, Springer 2006, ISBN 3-540-38870-2 [contents] - [r1]Ugo Montanari:
Foreword. Handbook of Constraint Programming 2006: v-vi - 2005
- [j68]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) - [j67]Roberto Bruni, Ugo Montanari, Vladimiro Sassone:
Observational congruences for dynamically reconfigurable tile systems. Theor. Comput. Sci. 335(2-3): 331-372 (2005) - [j66]Ugo Montanari, Marco Pistore:
Structured coalgebras and minimal HD-automata for the pi-calculus. Theor. Comput. Sci. 340(3): 539-576 (2005) - [j65]Alberto Lluch-Lafuente, Ugo Montanari:
Quantitative mu-calculus and CTL defined over constraint semirings. Theor. Comput. Sci. 346(1): 135-160 (2005) - [c178]Fabio Gadducci, Ugo Montanari:
Graph Processes with Fusions: Concurrency by Colimits, Again. Formal Methods in Software and Systems Modeling 2005: 84-100 - [c177]Fabio Gadducci, Ugo Montanari:
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. Processes, Terms and Cycles 2005: 106-126 - [c176]Roberto Bruni, Ivan Lanese, Ugo Montanari:
Complete Axioms for Stateless Connectors. CALCO 2005: 98-113 - [c175]Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane:
Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156 - [c174]Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski:
Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307 - [c173]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 - [c172]Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48 - [c171]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 - [c170]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 - [c169]Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Model Checking for Nominal Calculi. FoSSaCS 2005: 1-24 - [c168]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Theoretical foundations for compensations in flow composition languages. POPL 2005: 209-220 - [c167]Ugo Montanari, Marco Pistore:
History-Dependent Automata: An Introduction. SFM 2005: 1-28 - [c166]Michele Boreale, Maria Grazia Buscemi, Ugo Montanari:
A General Name Binding Mechanism. TGC 2005: 61-74 - [c165]