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]Ivan Lanese, Ugo Montanari:
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. GT-VC@CONCUR 2005: 55-72 - [c164]Maria Grazia Buscemi, Ugo Montanari:
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. APC 25 2005: 135-139 - [e14]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. Lecture Notes in Computer Science 3393, Springer 2005, ISBN 3-540-24936-2 [contents] - [e13]Barbara König, Ugo Montanari, Philippa Gardner:
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004. Dagstuhl Seminar Proceedings 04241, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - [i6]José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing:
05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing 2005 - [i5]Ivan Lanese, Ugo Montanari:
Insights emerged while comparing three models for global computing. Foundations of Global Computing 2005 - [i4]Ivan Lanese, Ugo Montanari:
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming. CoRR abs/cs/0504050 (2005) - 2004
- [j64]Roberto Bruni, Ugo Montanari:
Concurrent models for Linda with transactions. Math. Struct. Comput. Sci. 14(3): 421-468 (2004) - [c163]Michele Boreale, Maria Grazia Buscemi, Ugo Montanari:
D-Fusion: A Distinctive Fusion Calculus. APLAS 2004: 296-310 - [c162]Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari:
New Insights on Architectural Connectors. IFIP TCS 2004: 367-380 - [c161]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Nested Commits for Mobile Calculi: Extending Join. IFIP TCS 2004: 563-576 - [c160]Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto:
Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74 - [c159]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. PNGT@ICGT 2004: 5-28 - [c158]Ugo Montanari:
Web Services and Models of Computation. WSFM 2004: 5-9 - [c157]Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo:
Prototype Platforms for Distributed Agreements. FOCLASA 2004: 21-40 - [c156]Alberto Lluch-Lafuente, Ugo Montanari:
Quantitative ?-calculus and CTL Based on Constraint Semirings. QAPL 2004: 37-59 - [c155]Ivan Lanese, Ugo Montanari:
Synchronization Algebras with Mobility for Graph Transformations. FGUC 2004: 43-60 - [c154]Dan Hirsch, Ugo Montanari:
Shaped Hierarchical Architectural Design. GT-VMT@ETAPS 2004: 97-109 - [e12]Fabio Gadducci, Ugo Montanari:
Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002. Electronic Notes in Theoretical Computer Science 71, Elsevier 2004 [contents] - [i3]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 - 2003
- [j63]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) - [c153]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 - [c152]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 - [c151]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Algebraic Theories for Contextual Pre-nets. ICTCS 2003: 256-270 - [c150]Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Flat Committed Join in Join. COMETA 2003: 39-59 - [c149]Fabio Gadducci, Marino Miculan, Ugo Montanari:
Some Characterization Results for Permutation Algebras. COMETA 2003: 129-147 - [c148]Ivan Lanese, Ugo Montanari:
A Graphical Fusion Calculus. COMETA 2003: 199-215 - 2002
- [j62]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Soft Constraint Logic Programming and Generalized Shortest Path Problems. J. Heuristics 8(1): 25-41 (2002) - [j61]Roberto Bruni, José Meseguer, Ugo Montanari:
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. Math. Struct. Comput. Sci. 12(1): 53-90 (2002) - [j60]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) - [j59]Roberto Bruni, Ugo Montanari:
Dynamic connectors for concurrency. Theor. Comput. Sci. 281(1-2): 131-176 (2002) - [j58]Fabio Gadducci, Ugo Montanari:
Comparing logics for rewriting: rewriting logic, action calculi and tile logic. Theor. Comput. Sci. 285(2): 319-358 (2002) - [j57]Roberto Bruni, Fabio Gadducci, Ugo Montanari:
Normal forms for algebras of connection. Theor. Comput. Sci. 286(2): 247-292 (2002) - [c147]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Bisimulation Equivalences for Graph Grammars. Formal and Natural Computing 2002: 158-190 - [c146]Roberto Bruni, Cosimo Laneve, Ugo Montanari:
Orchestrating Transactions in Join Calculus. CONCUR 2002: 321-337 - [c145]Maria Grazia Buscemi, Ugo Montanari:
A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. CONCUR 2002: 449-465 - [c144]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Soft Concurrent Constraint Programming. ESOP 2002: 53-67 - [c143]Gian-Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto:
From Co-algebraic Specifications to Implementation: The Mihda Toolkit. FMCO 2002: 319-338 - [c142]Gian-Luigi Ferrari, Ugo Montanari, Marco Pistore:
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS 2002: 129-158 - [c141]Ugo Montanari, Leila Ribeiro:
Linear Ordered Graph Grammars and Their Algebraic Foundations. ICGT 2002: 317-333 - [c140]Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 242-266 - [c139]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:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c138]Paolo Baldan, Roberto Bruni, Ugo Montanari:
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. WADT 2002: 145-164 - [c137]Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro:
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT 2002: 165-184 - [c136]Fabio Gadducci, Ugo Montanari:
Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. WRLA 2002: 1-2 - [c135]Matteo Coccia, Fabio Gadducci, Ugo Montanari:
GS.Lambda Theories: A Syntax for Higher-Order Graphs. CTCS 2002: 83-100 - [c134]Roberto Bruni, José Meseguer, Ugo Montanari:
Tiling Transactions in Rewriting Logic. WRLA 2002: 90-109 - [e11]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. IFIP Conference Proceedings 223, Kluwer 2002, ISBN 1-4020-7181-7 [contents] - [i2]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Soft Concurrent Constraint Programming. CoRR cs.PL/0208008 (2002) - 2001
- [j56]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Functorial Models for Petri Nets. Inf. Comput. 170(2): 207-236 (2001) - [j55]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Contextual Petri Nets, Asymmetric Event Structures, and Processes. Inf. Comput. 171(1): 1-49 (2001) - [j54]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Semiring-based contstraint logic programming: syntax and semantics. ACM Trans. Program. Lang. Syst. 23(1): 1-29 (2001) - [j53]Roberto Bruni, Ugo Montanari, Francesca Rossi:
An interactive semantics of logic programming. Theory Pract. Log. Program. 1(6): 647-690 (2001) - [c133]Roberto Bruni, Ugo Montanari:
Transactions and Zero-Safe Nets. Unifying Petri Nets 2001: 380-426 - [c132]Dan Hirsch, Ugo Montanari:
Synchronized Hyperedge Replacement with Name Mobility. CONCUR 2001: 121-136 - [c131]Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS 2001: 1-16 - [c130]Barbara König, Ugo Montanari:
Observational Equivalence for Synchronized Graph Rewriting with Mobility. TACS 2001: 145-164 - [c129]Fabio Gadducci, Ugo Montanari:
A Concurrent Graph Semantics for Mobile Ambients. MFPS 2001: 88-105 - [c128]Roberto Bruni, Ugo Montanari:
Zero-safe net models for transactions in Linda. ConCoord 2001: 106-116 - [c127]Ugo Montanari, Vladimiro Sassone:
Preface. ConCoord 2001: 117 - [c126]Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters:
Comparing cospan-spans and tiles via a Hoare-style process calculus. TOSCA 2001: 157-176 - [c125]Dan Hirsch, Ugo Montanari:
Two Graph-Based Techniques for Software Architecture Reconfiguration. GETGRATS Closing Workshop 2001: 177-190 - [c124]Andrea Corradini, Marina Lenisa, Ugo Montanari:
Preface. CMCS 2001: 308-309 - [e10]Andrea Corradini, Marina Lenisa, Ugo Montanari:
Coalgebraic Methods in Computer Science, CMCS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 6-7, 2001. Electronic Notes in Theoretical Computer Science 44(1), Elsevier 2001 [contents] - [e9]Ugo Montanari, Vladimiro Sassone:
International Workshop on Concurrency and Coordination, ConCoord 2001, associated to the 13th Lipari School, Lipari Island, Italy, July 6-8, 2001. Electronic Notes in Theoretical Computer Science 54, Elsevier 2001 [contents] - [i1]Roberto Bruni, Ugo Montanari, Francesca Rossi:
An interactive semantics of logic programming. CoRR cs.LO/0107022 (2001) - 2000
- [j52]Roberto Bruni, Ugo Montanari:
Zero-Safe Nets: Comparing the Collective and Individual Token Approaches. Inf. Comput. 156(1-2): 46-89 (2000) - [j51]Gian-Luigi Ferrari, Ugo Montanari:
Tile Formats for Located and Mobile Systems. Inf. Comput. 156(1-2): 173-235 (2000) - [c123]Roberto Bruni, Ugo Montanari:
Executing Transactions in Zero-Safe Nets. ICATPN 2000: 83-102 - [c122]Fabio Gadducci, Ugo Montanari:
The tile model. Proof, Language, and Interaction 2000: 133-166 - [c121]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 - [c120]Dan Hirsch, Paola Inverardi, Ugo Montanari:
Reconfiguration of Software Architecture Styles with Name Mobility. COORDINATION 2000: 148-163 - [c119]Andrea Corradini, Reiko Heckel, Ugo Montanari:
Graphical Operational Semantics. ICALP Satellite Workshops 2000: 411-418 - [c118]Roberto Bruni, Ugo Montanari, Vladimiro Sassone:
Open Ended Systems, Dynamic Bisimulation and Tile Logic. IFIP TCS 2000: 440-456 - [c117]Ugo Montanari:
Two Problems in Wide Area Network Programming. IFIP TCS 2000: 609-611 - [c116]Ugo Montanari, Marco Pistore:
pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. MFCS 2000: 569-578 - [e8]Ugo Montanari, José D. P. Rolim, Emo Welzl:
Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings. Lecture Notes in Computer Science 1853, Springer 2000, ISBN 3-540-67715-1 [contents]
1990 – 1999
- 1999
- [j50]Ugo Montanari, Francesca Rossi:
Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems. Appl. Categorical Struct. 7(4): 333-370 (1999) - [j49]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 An Int. J. 4(3): 199-240 (1999) - [c115]Roberto Bruni, José Meseguer, Ugo Montanari:
Executable Tile Specifications for Process Calculi. FASE 1999: 60-76 - [c114]Andrea Corradini, Reiko Heckel, Ugo Montanari:
Tile Transition Systems as Structured Coalgebras. FCT 1999: 13-38 - [c113]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Unfolding and Event Structure Semantics for Graph Grammars. FoSSaCS 1999: 73-89 - [c112]Roberto Bruni, Ugo Montanari:
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. LICS 1999: 246-265 - [c111]Ugo Montanari, Marco Pistore:
Finite State Verification for the Asynchronous pi-Calculus. TACAS 1999: 255-269 - [c110]Paolo Baldan, Andrea Corradini, Ugo Montanari:
History Preserving Bisimulation for Contextual Nets. WADT 1999: 291-310 - [c109]Dan Hirsch, Paola Inverardi, Ugo Montanari:
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving. WICSA 1999: 127-144 - [c108]Dan Hirsch, Ugo Montanari:
Consistent transformations for software architecture styles of distributed systems. WDS@FCT 1999: 4 - [c107]Andrea Corradini, Reiko Heckel, Ugo Montanari:
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. CMCS 1999: 118-141 - [c106]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Functorial semantics for Petri nets under the individual token philosophy. CTCS 1999: 21 - 1998
- [j48]Gian-Luigi Ferrari, Ugo Montanari:
Parameterized Structured Operational Semantics. Fundam. Informaticae 34(1-2): 1-31 (1998) - [j47]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) - [c105]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
A Comparison of Petri Net Semantics under the Collective Token Philosophy. ASIAN 1998: 225-244 - [c104]Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori:
Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515 - [c103]Paolo Baldan, Andrea Corradini, Ugo Montanari:
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. FoSSaCS 1998: 63-80 - [c102]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Concatenable Graph Processes: Relating Processes and Derivation Traces. ICALP 1998: 283-295 - [c101]Fabio Gadducci, Ugo Montanari:
Axioms for Contextual Net Processes. ICALP 1998: 296-308 - [c100]Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore:
Final semantics for the pi-calculus. PROCOMET 1998: 225-243 - [c99]Dan Hirsch, Paola Inverardi, Ugo Montanari:
Graph grammars and constraint solving for software architecture styles. ISAW@FSE 1998: 69-72 - [c98]Paolo Baldan, Andrea Corradini, Ugo Montanari:
Unfolding of Double-Pushout Graph Grammars is a Coreflection. TAGT 1998: 145-163 - [c97]Roberto Bruni, Fabio Gadducci, Ugo Montanari:
Normal Forms for Partitions and Relations. WADT 1998: 31-47 - [c96]Roberto Bruni, José Meseguer, Ugo Montanari:
Internal strategies in a rewriting implementation of tile systems. WRLA 1998: 263-284 - 1997
- [j46]Ugo Montanari, Francesca Rossi:
Constraint Solving and Programming: What Next? Constraints An Int. J. 2(1): 87-91 (1997) - [j45]Ugo Montanari, Gioia Ristori:
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems. Fundam. Informaticae 31(3/4): 357-377 (1997) - [j44]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Semiring-based constraint satisfaction and optimization. J. ACM 44(2): 201-236 (1997) - [j43]Gian-Luigi Ferrari, Ugo Montanari, Miranda Mowbray:
Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. Math. Struct. Comput. Sci. 7(3): 241-282 (1997) - [j42]José Meseguer, Ugo Montanari, Vladimiro Sassone:
On the Semantics of Place/Transition Petri Nets. Math. Struct. Comput. Sci. 7(4): 359-397 (1997) - [c95]Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Constraints and Agents for a Decentralized Network Infrastructure. AAAI Workshop: Constraints & Agents 1997: 39-44 - [c94]José Meseguer, Ugo Montanari, Vladimiro Sassone:
Representation Theorems for Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 239-249 - [c93]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Semiring-based Constraint Logic Programming. IJCAI (1) 1997: 352-357 - [c92]Gian-Luigi Ferrari, Ugo Montanari:
A Tile-Based Coordination View of Asynchronous pi-Calculus. MFCS 1997: 52-70 - [c91]Ugo Montanari, Marco Pistore:
Minimal Transition Systems for History-Preserving Bisimulation. STACS 1997: 413-425 - [c90]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 - [c89]José Meseguer, Ugo Montanari:
Mapping tile logic into rewriting logic. WADT 1997: 62-91 - [c88]Roberto Bruni, Ugo Montanari:
Zero-safe nets: The individual token approach. WADT 1997: 122-140 - [c87]Roberto Bruni, Ugo Montanari:
Zero-safe nets, or transition synchronization made simple. EXPRESS 1997: 55-74 - [c86]Gian-Luigi Ferrari, Ugo Montanari:
Tiles for concurrent and located calculi? EXPRESS 1997: 115-140 - [c85]Ugo Montanari, Marco Pistore:
An Introduction to History Dependent Automata. HOOTS 1997: 170-188 - [c84]Ugo Montanari, Carolyn L. Talcott:
Can Actors and pi-Agents Live Together? HOOTS 1997: 189-196 - [p1]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 - 1996
- [j41]Pierpaolo Degano, José Meseguer, Ugo Montanari:
Axiomatizing the Algebra of Net Computations and Processes. Acta Informatica 33(7): 641-667 (1996) - [j40]Ugo Montanari:
Causal Computing. ACM Comput. Surv. 28(4es): 51 (1996) - [j39]Ugo Montanari, Francesca Rossi:
Constraint Solving and Programming: What's Next? ACM Comput. Surv. 28(4es): 70 (1996) - [j38]Andrea Corradini, Ugo Montanari, Francesca Rossi:
Graph Processes. Fundam. Informaticae 26(3/4): 241-265 (1996) - [j37]Cosimo Laneve, Ugo Montanari:
Axiomatizing Permutation Equivalence. Math. Struct. Comput. Sci. 6(3): 219-249 (1996) - [j36]José Meseguer, Ugo Montanari, Vladimiro Sassone:
Process versus Unfolding Semantics for Place/Transition Petri Nets. Theor. Comput. Sci. 153(1&2): 171-210 (1996) - [j35]Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia:
A Pi-Calculus with Explicit Substitutions. Theor. Comput. Sci. 168(1): 53-103 (1996) - [c83]Ugo Montanari, Francesca Rossi:
Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract). COORDINATION 1996: 12-27 - [c82]Ugo Montanari, Marco Pistore:
History dependent verification for partial order systems. Partial Order Methods in Verification 1996: 259-272 - [c81]Ugo Montanari, Marco Pistore, Daniel Yankelevich:
Efficient Minimization up to Location Equivalence. ESOP 1996: 265-279 - [c80]Fabio Gadducci, Ugo Montanari:
Tiles, rewriting rules and CCS. WRLA 1996: 1-19 - [e7]Ugo Montanari, Vladimiro Sassone:
CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings. Lecture Notes in Computer Science 1119, Springer 1996, ISBN 3-540-61604-7 [contents] - 1995
- [j34]Ugo Montanari, Francesca Rossi:
Contextual Nets. Acta Informatica 32(6): 545-596 (1995) - [j33]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) - [j32]Ugo Montanari, Daniel Yankelevich:
Location Equivalence in Parametric Setting. Theor. Comput. Sci. 149(2): 299-332 (1995) - [c79]Gian-Luigi Ferrari, Ugo Montanari:
Dynamic Matrices and the Cost Analysis of Concurrent Programs. AMAST 1995: 307-321 - [c78]Ugo Montanari, Marco Pistore:
Checking Bisimilarity for Finitary pi-Calculus. CONCUR 1995: 42-56 - [c77]Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia:
The Weak Late pi-Calculus Semantics as Observation Equivalence. CONCUR 1995: 57-71 - [c76]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 - [c75]Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Constraint Solving over Semirings. IJCAI (1) 1995: 624-630 - [c74]Andrea Corradini, Fabio Gadducci, Ugo Montanari:
Relating Two Categorial Models of Term Rewriting. RTA 1995: 225-240 - [c73]Andrea Corradini, Ugo Montanari:
Preface. SEGRAGRA 1995: 1-2 - [c72]Ugo Montanari, Marco Pistore:
Concurrent semantics for the pi-calculus. MFPS 1995: 411-429 - [e6]Ugo Montanari, Francesca Rossi:
Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings. Lecture Notes in Computer Science 976, Springer 1995, ISBN 3-540-60299-2 [contents] - [e5]Andrea Corradini, Ugo Montanari:
Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995. Electronic Notes in Theoretical Computer Science 2, Elsevier 1995 [contents] - 1994
- [j31]Ugo Montanari, Daniel Yankelevich:
Combining CCS and Petri Nets Via Structural Axioms. Fundam. Informaticae 20(1/2/3): 193-229 (1994) - [j30]Andrea Corradini, Ugo Montanari, Francesca Rossi:
An Abstract Machine for Concurrent Modular Systems: CHARM. Theor. Comput. Sci. 122(1&2): 165-200 (1994) - [c71]Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi:
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP 1994: 114-132 - [c70]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 - [c69]Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia:
A Pi-Calculus with Explicit Substitutions: the Late Semantics. MFCS 1994: 342-351 - [c68]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 - [c67]Ugo Montanari, Francesca Rossi, Vijay A. Saraswat:
CC Programs with both In- and Non-determinism: A Concurrent Semantics. PPCP 1994: 162-172 - [c66]Nicoletta De Francesco, Ugo Montanari, Gioia Ristori:
Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994: 403-422 - [c65]Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi:
An Event Structure Semantics for Safe Graph Grammars. PROCOMET 1994: 423-444 - [c64]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 - [c63]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 - [c62]Ugo Montanari, Francesca Rossi:
Concurrency and Concurrent Constraint Programming. Constraint Programming 1994: 171-192 - 1993
- [j29]Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich:
Axiomatizing CCS, Nets and Processes. Sci. Comput. Program. 21(3): 225-261 (1993) - [j28]Ugo Montanari, Francesca Rossi:
Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming. Theor. Comput. Sci. 109(1&2): 225-256 (1993) - [j27]Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Universal Axioms for Bisimulations. Theor. Comput. Sci. 114(1): 63-91 (1993) - [c61]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 - [c60]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 - [c59]Ugo Montanari, Francesca Rossi:
Contextual Occurence Nets and Concurrent Constraint Programming. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 280-295 - [c58]Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo:
Contextual Nets and Constraint Logic Programming. ICLP Workshop on Concurrent Constraint Programming 1993 - [c57]Francesca Rossi, Ugo Montanari:
Concurrent Semantics for Concurrent Constraint Programs. NATO ASI CP 1993: 173-227 - [c56]Ugo Montanari, Francesca Rossi:
Constraint Satisfaction, Constraint Programming, and Concurrency. PPCP 1993: 219-227 - 1992
- [j26]Ugo Montanari, Vladimiro Sassone:
Dynamic congruence vs. progressing bisimulation for CCS. Fundam. Informaticae 16(1): 171-199 (1992) - [j25]Andrea Corradini, Ugo Montanari:
An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs. Theor. Comput. Sci. 103(1): 51-106 (1992) - [c55]Cosimo Laneve, Ugo Montanari:
Axiomatizing Permutation Equivalence in the Lambda-Calculus. ALP 1992: 350-363 - [c54]Ugo Montanari, Francesca Rossi:
Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics. CAAP 1992: 232-247 - [c53]José Meseguer, Ugo Montanari, Vladimiro Sassone:
On the Semantics of Petri Nets. CONCUR 1992: 286-301 - [c52]Andrea Corradini, Ugo Montanari, Francesca Rossi:
SHARM: Concurrency and Hiding in an Abstract Rewriting Machine. FGCS 1992: 887-896 - [c51]Ugo Montanari, Daniel Yankelevich:
A Parametric Approach to Localities. ICALP 1992: 617-628 - [c50]Cosimo Laneve, Ugo Montanari:
Mobility in the CC-Paradigm. MFCS 1992: 336-345 - [c49]Ugo Montanari:
True Concurrency: Theory and Practice. MPC 1992: 14-17 - [c48]Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Observation Trees. NAPAW 1992: 103-118 - 1991
- [j24]Ugo Montanari, Francesca Rossi:
Constraint Relaxation may be Perfect. Artif. Intell. 48(2): 143-170 (1991) - [c47]Roberto Gorrieri, Ugo Montanari:
Distributed Implementation of CCS. Applications and Theory of Petri Nets 1991: 244-266 - [c46]Andrea Corradini, Ugo Montanari:
An Algebraic Representation of Logic-Program Computations. Computational Logic - Essays in Honor of Alan Robinson 1991: 584-612 - [c45]Gian-Luigi Ferrari, Ugo Montanari:
The Observation Algebra of Spatial Pomsets. CONCUR 1991: 188-202 - [c44]Andrea Corradini, Ugo Montanari:
An Algebra of Graphs and Graph Rewriting. Category Theory and Computer Science 1991: 236-260 - [c43]Ugo Montanari, Francesca Rossi:
Perfect Relaxation in Constraint Logic Programming. ICLP 1991: 223-237 - [c42]Ugo Montanari, Vladimiro Sassone:
CCS Dynamic Bisimulation is Progressing. MFCS 1991: 346-356 - [c41]Ugo Montanari, Francesca Rossi:
True Concurrency in Concurrent Constraint Programming. ISLP 1991: 694-713 - [c40]Gian-Luigi Ferrari, Roberto Gorrieri, Ugo Montanari:
An Extended Expansion Theorem. TAPSOFT, Vol.2 1991: 29-48 - [c39]Ugo Montanari, Francesca Rossi:
Finite Domain Constraint Solving and Constraint Logic Programming. WCLP 1991: 201-221 - 1990
- [j23]José Meseguer, Ugo Montanari:
Petri Nets Are Monoids. Inf. Comput. 88(2): 105-155 (1990) - [j22]Roberto Gorrieri, Ugo Montanari:
Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing. Int. J. Found. Comput. Sci. 1(3): 277-294 (1990) - [j21]Roberto Gorrieri, Sergio Marchetti, Ugo Montanari:
A2CCKS: Atomic Actions for CCS. Theor. Comput. Sci. 72(2&3): 203-223 (1990) - [j20]Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
A Partial Ordering Semantics for CCS. Theor. Comput. Sci. 75(3): 223-262 (1990) - [c38]Gian-Luigi Ferrari, Ugo Montanari:
Towards the Unification of Models for Concurrency. CAAP 1990: 162-176 - [c37]Roberto Gorrieri, Ugo Montanari:
SCONE: A Simple Calculus of Nets. CONCUR 1990: 2-30 - [c36]Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager:
Back and Forth Bisimulations. CONCUR 1990: 152-165 - [c35]Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe:
Graph Grammars and Logic Programming. Graph-Grammars and Their Application to Computer Science 1990: 221-237 - [c34]Andrea Corradini, Gian-Luigi Ferrari, Ugo Montanari:
Transition Systems with Algebraic Structure as Models of Computations. Semantics of Systems of Concurrent Processes 1990: 185-222 - [c33]Andrea Corradini, Ugo Montanari:
An Algebraic Semantics of Logic Programs as Structured Transition Systems. NACLP 1990: 788-812 - [c32]Andrea Corradini, Ugo Montanari:
Towards a Process Semantics in the Logic Programming Style. STACS 1990: 95-108
1980 – 1989
- 1989
- [c31]Ugo Montanari, Daniel Yankelevich:
An Algebraic View of Interleaving and Distributed Operational Semantics for CCS. Category Theory and Computer Science 1989: 5-20 - [c30]Francesca Rossi, Ugo Montanari:
Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation. KR 1989: 394-399 - [c29]Pierpaolo Degano, José Meseguer, Ugo Montanari:
Axiomatizing Net Computations and Processes. LICS 1989: 175-185 - 1988
- [j19]Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Informatica 26(1/2): 59-91 (1988) - [c28]Ugo Montanari:
CEDISYS: Compositional Distributed Systems - State of the art, research goals, references. European Workshop on Applications and Theory in Petri Nets 1988: 507-524 - [c27]Roberto Gorrieri, Sergio Marchetti, Ugo Montanari:
A²CCS: A Simple Extension of CCS for Handling Atomic Actions. CAAP 1988: 258-270 - [c26]Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract). LICS 1988: 133-141 - [c25]José Meseguer, Ugo Montanari:
Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory. LICS 1988: 155-164 - [c24]Francesca Rossi, Ugo Montanari:
Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming. META 1988: 531-544 - [c23]Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Partial orderings descriptions and observations of nondeterministic concurrent processes. REX Workshop 1988: 438-466 - 1987
- [j18]Pierpaolo Degano, Ugo Montanari:
A model for distributed systems based on graph rewriting. J. ACM 34(2): 411-449 (1987) - [j17]Pierpaolo Degano, Ugo Montanari:
Concurrent Histories: A Basis for Observing Distributed Systems. J. Comput. Syst. Sci. 34(2/3): 422-461 (1987) - [c22]Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari:
An Executon Environment for the Formal Definiton of Ada. ESEC 1987: 327-335 - [c21]Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Observational equivalences for concurrency models. Formal Description of Programming Concepts 1987: 105-134 - [e4]A. Nico Habermann, Ugo Montanari:
Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings. Lecture Notes in Computer Science 275, Springer 1987, ISBN 3-540-18341-8 [contents] - [e3]Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari:
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). Lecture Notes in Computer Science 249, Springer 1987, ISBN 3-540-17660-8 [contents] - [e2]Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari:
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). Lecture Notes in Computer Science 250, Springer 1987, ISBN 3-540-17611-X [contents] - 1986
- [c20]Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
CCS is an (Augmented) Contact Free C/E System. Mathematical Models for the Semantics of Parallelism 1986: 144-165 - [c19]Ugo Montanari, Francesca Rossi:
An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints. Graph-Grammars and Their Application to Computer Science 1986: 440-457 - [c18]Francesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari:
Graph rewriting with unification and composition. Graph-Grammars and Their Application to Computer Science 1986: 496-514 - 1985
- [c17]Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Partial ordering derivations for CCS. FCT 1985: 520-533 - [c16]Pierpaolo Degano, Ugo Montanari:
Specification Languages for Distributed Systems. TAPSOFT, Vol.1 1985: 29-51 - 1984
- [c15]Pierpaolo Degano, Ugo Montanari:
Liveness Properties as Convergence in Metric Spaces. STOC 1984: 31-38 - 1982
- [j16]Alberto Martelli, Ugo Montanari:
An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2): 258-282 (1982) - [c14]Ilaria Castellani, Ugo Montanari:
Graph Grammars for distributed systems. Graph-Grammars and Their Application to Computer Science 1982: 20-38 - [c13]Ilaria Castellani, Paola Franceschi, Ugo Montanari:
Labeled Event Structures: A Model for Observable Concurrency. Formal Description of Programming Concepts 1982: 383-400 - [e1]Mariangiola Dezani-Ciancaglini, Ugo Montanari:
International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings. Lecture Notes in Computer Science 137, Springer 1982, ISBN 3-540-11494-7 [contents] - 1981
- [j15]Stefania Gnesi, Ugo Montanari, Alberto Martelli:
Dynamic Programming as Graph Searching: An Algebraic Approach. J. ACM 28(4): 737-751 (1981) - [c12]Rocco De Nicola, Alberto Martelli, Ugo Montanari:
Communication Through Message Passing or Shared Memory: A Formal Comparison. ICDCS 1981: 513-522
1970 – 1979
- 1979
- [c11]Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini:
A Flexible Environment for Program Development Based on a Symbolic Interpreter. ICSE 1979: 251-264 - 1978
- [j14]Alberto Martelli, Ugo Montanari:
Optimizing Decision Trees Through Heuristically Guided Search. Commun. ACM 21(12): 1025-1039 (1978) - [j13]Luigi Fratta, Ugo Montanari:
A Recursive Method Based on Case Analysis for Computing Network Terminal Reliability. IEEE Trans. Commun. 26(8): 1166-1177 (1978) - [c10]Alfonso Catalano, Stefania Gnesi, Ugo Montanari:
Shortest Path Problems and Tree Grammars: An Algebraic Framework. Graph-Grammars and Their Application to Computer Science and Biology 1978: 167-179 - 1977
- [c9]Alberto Martelli, Ugo Montanari:
Theorem Proving with Structure Sharing and Efficient Unification. IJCAI 1977: 543 - 1976
- [c8]V. Giarratana, F. Gimona, Ugo Montanari:
Observability Concepts in Abstract Data Type Specifications. MFCS 1976: 576-587 - 1975
- [j12]Luigi Fratta, Ugo Montanari:
A Vertex Elimination Algorithm for Enumerating all Simple Paths in a Graph. Networks 5(2): 151-177 (1975) - [c7]Alberto Martelli, Ugo Montanari:
Form Dynamic Programming To Search Algorithms With Functional Costs. IJCAI 1975: 345-350 - 1974
- [j11]Mario Aiello, Carlo Lami, Ugo Montanari:
Optimal matching of wheat chromosomes. Comput. Graph. Image Process. 3(3): 225-235 (1974) - [j10]Ugo Montanari:
Networks of constraints: Fundamental properties and applications to picture processing. Inf. Sci. 7: 95-132 (1974) - [c6]Alberto Martelli, Ugo Montanari:
Dynamic Programming Schemata. ICALP 1974: 66-80 - [c5]Ugo Montanari:
Optimization Methods in Image Processing. IFIP Congress 1974: 727-732 - 1973
- [c4]Alberto Martelli, Ugo Montanari:
Additive AND/OR Graphs. IJCAI 1973: 1-11 - [c3]Luigia Carlucci Aiello, Ugo Montanari:
Towards a Formal Definition of the Control in Structured Programs. MFCS 1973: 169-174 - 1971
- [j9]Ugo Montanari:
On the Optimal Detection of Curves in Noisy Pictures. Commun. ACM 14(5): 335-345 (1971) - [c2]Alberto Martelli, Ugo Montanari:
Optimal Smoothing in Picture Processing: An Application to Fingerprints. IFIP Congress (1) 1971: 173-178 - [c1]Ugo Montanari:
On the Optimal Approximation of Discrete Functions with Low-dimensional Tables. IFIP Congress (2) 1971: 1363-1368 - 1970
- [j8]Ugo Montanari:
Heuristically Guided Search and Chromosome Matching. Artif. Intell. 1(4): 227-245 (1970) - [j7]Ugo Montanari:
A Note on Minimal Length Polygongal Approximation to a Digitized Contour. Commun. ACM 13(1): 41-47 (1970) - [j6]Ugo Montanari:
Separable Graphs, Planar Graphs and Web Grammars. Inf. Control. 16(3): 243-267 (1970) - [j5]Giorgio Levi, Ugo Montanari:
A Grey-Weighted Skeleton. Inf. Control. 17(1): 62-91 (1970) - [j4]Ugo Montanari:
On Limit Properties in Digitization Schemes. J. ACM 17(2): 348-360 (1970) - [j3]Antonio Grasselli, Ugo Montanari:
On the Minimization of READ-ONLY Memories in Microprogrammed Digital Computers. IEEE Trans. Computers 19(11): 1111-1114 (1970)
1960 – 1969
- 1969
- [j2]Ugo Montanari:
Continuous Skeletons from Digitized Images. J. ACM 16(1): 534-549 (1969) - 1968
- [j1]Ugo Montanari:
A Method for Obtaining Skeletons Using a Quasi-Euclidean Distance. J. ACM 15(4): 600-624 (1968)
Coauthor Index
[j101] [c229] [j100] [c226] [c225] [p10] [j99] [c223] [i12] [i11] [b1] [i10] [j95] [j94] [j93] [j92] [c222] [c221] [p9] [i9] [j91] [c217] [c216] [j88] [j85] [c207] [c206] [c205] [p4] [p2] [j82] [c203] [c202] [c196] [j77] [c193] [c192] [c187] [e17] [j72] [j70] [c183] [c181] [j67] [c176] [c174] [c173] [c171] [c168] [j64] [c162] [c161] [c157] [c153] [c151] [c150] [j61] [j59] [j57] [c146] [c139] [c138] [c134] [j56] [j53] [c133] [c128] [i1] [j52] [c123] [c121] [c118] [c115] [c112] [c106] [c105] [c97] [c96] [c88] [c87]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-28 01:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
