Ugo Montanari
Orcid: 0000-0002-6204-8670Affiliations:
- University of Pisa, Italy
According to our database1,
Ugo Montanari
authored at least 344 papers
between 1968 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on di.unipi.it
On csauthors.net:
Bibliography
2020
Proceedings of the Graph Transformation - 13th International Conference, 2020
2019
Log. Methods Comput. Sci., 2019
From Dynamic Programming to Programming Science - Some Recollections in Honour of Stefania Gnesi.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
From Tuscany to Scotland and Back - A Homage to Rocco de Nicola for His 65th Birthday.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019
2018
Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach.
Proceedings of the Graph Transformation, Specifications, and Nets, 2018
2017
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-319-42900-7, 2017
Log. Methods Comput. Sci., 2017
2016
2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
J. Log. Algebraic Methods Program., 2015
Proceedings of the Proceedings Graphs as Models, 2015
Proceedings of the Coordination Models and Languages, 2015
Proceedings of the Software, 2015
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2014
Theor. Comput. Sci., 2014
Math. Struct. Comput. Sci., 2014
Fundam. Informaticae, 2014
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2014
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
Log. Methods Comput. Sci., 2013
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013
Proceedings of the 2013 Proceedings IEEE INFOCOM Workshops, 2013
2012
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
CoRR, 2012
Proceedings of the Theoretical Computer Science, 2012
Proceedings of the Fifth International C* Conference on Computer Science & Software Engineering, 2012
2011
Log. Methods Comput. Sci., 2011
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Proceedings of the Perspectives of Systems Informatics, 2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
ACM Trans. Comput. Log., 2010
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
Proceedings of the Graph Transformations - 5th International Conference, 2010
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.
Proceedings of the Formal Techniques for Distributed Systems, 2010
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010
2009
Theor. Comput. Sci., 2009
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009
Proceedings of the Programming Languages and Systems, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008
Style-Based Architectural Reconfigurations.
Bull. EATCS, 2008
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
Proceedings of the Programming Languages and Systems, 2008
2007
Theory Pract. Log. Program., 2007
J. Log. Algebraic Methods Program., 2007
Proceedings of the Second Workshop on Applied and Computational Category Theory, 2007
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming.
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007
Proceedings of the Programming Languages and Systems, 2007
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007
2006
High. Order Symb. Comput., 2006
Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006
Proceedings of the Third International Workshop on Term Graph Rewriting, 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
2005
Theor. Comput. Sci., 2005
Theor. Comput. Sci., 2005
Theor. Comput. Sci., 2005
Theor. Comput. Sci., 2005
Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the Trustworthy Global Computing, International Symposium, 2005
Proceedings of the Formal Methods for Mobile Computing, 2005
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005
Proceedings of the Foundations of Software Science and Computational Structures, 2005
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005
Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005
Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
Observing Reductions in Nominal Calculi <i>Via</i> a Graphical Encoding of Processes.
Proceedings of the Processes, 2005
Proceedings of the Formal Methods in Software and Systems Modeling, 2005
2004
Proceedings of the First International Workshop on Web Services and Formal Methods, 2004
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004
Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, 2004
Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs.
Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004
Verication On The Web Of Mobile Systems.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004
04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.
Proceedings of the Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004
2003
ACM Trans. Softw. Eng. Methodol., 2003
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
Proceedings of the Verification: Theory and Practice, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
Theor. Comput. Sci., 2002
Theor. Comput. Sci., 2002
Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic.
Math. Struct. Comput. Sci., 2002
J. Heuristics, 2002
Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002.
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002
Proceedings of the Category Theory and Computer Science, 2002
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Proceedings of the Graph Transformation, First International Conference, 2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
Proceedings of the Formal Methods for Components and Objects, 2002
Proceedings of the CONCUR 2002, 2002
Proceedings of the Formal and Natural Computing, 2002
2001
ACM Trans. Program. Lang. Syst., 2001
Inf. Comput., 2001
Proceedings of the International Workshop on Concurrency and Coordination, 2001
Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001
Proceedings of the International Workshop on Concurrency and Coordination, 2001
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001
Proceedings of the CONCUR 2001, 2001
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
2000
Inf. Comput., 2000
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000
Proceedings of the Theoretical Computer Science, 2000
Proceedings of the Theoretical Computer Science, 2000
Graphical Operational Semantics.
Proceedings of the ICALP Workshops 2000, 2000
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
Proceedings of the CONCUR 2000, 2000
The tile model.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
Proceedings of the Application and Theory of Petri Nets 2000, 2000
1999
Proceedings of the Conference on Category Theory and Computer Science, 1999
Proceedings of the Workshop on Distributed Systems, 1999
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.
Proceedings of the Coalgebraic Methods in Computer Science, 1999
Constraints An Int. J., 1999
Appl. Categorical Struct., 1999
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving.
Proceedings of the Software Architecture, 1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
Proceedings of the Foundations of Software Science and Computation Structure, 1999
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999
Proceedings of the Fundamental Approaches to Software Engineering, 1999
1998
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.
Sci. Comput. Program., 1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998
Proceedings of the Theory and Application of Graph Transformations, 1998
Proceedings of the Third International Workshop on Software Architecture, 1998
Final semantics for the pi-calculus.
Proceedings of the Programming Concepts and Methods, 1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
Proceedings of the Foundations of Software Science and Computation Structure, 1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
Proceedings of the Advances in Computing Science, 1998
1997
Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations.
Math. Struct. Comput. Sci., 1997
Fundam. Informaticae, 1997
Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997
Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997
Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.
Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997
Constraints and Agents for a Decentralized Network Infrastructure.
Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997
1996
Theor. Comput. Sci., 1996
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
Proceedings of the Programming Languages and Systems, 1996
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996
Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract).
Proceedings of the Coordination Languages and Models, First International Conference, 1996
1995
Theor. Comput. Sci., 1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
Proceedings of the Over-Constrained Systems, 1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
Proceedings of the Algebraic Methodology and Software Technology, 1995
1994
Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994
Modelling Concurrent Accesses to Shared Data via Petri Nets.
Proceedings of the Programming Concepts, 1994
An Event Structure Semantics for Safe Graph Grammars.
Proceedings of the Programming Concepts, 1994
Proceedings of the Principles and Practice of Constraint Programming, 1994
Proceedings of the Principles and Practice of Constraint Programming, 1994
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994
Proceedings of the Application and Theory of Petri Nets 1994, 1994
Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994
1993
Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming.
Theor. Comput. Sci., 1993
Constraint Satisfaction, Constraint Programming, and Concurrency.
Proceedings of the Principles and Practice of Constraint Programming, 1993
Proceedings of the Constraint Programming, 1993
Contextual Nets and Constraint Logic Programming.
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993
1992
An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs.
Theor. Comput. Sci., 1992
Dynamic congruence vs. progressing bisimulation for CCS.
Fundam. Informaticae, 1992
Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
SHARM: Concurrency and Hiding in an Abstract Rewriting Machine.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
Proceedings of the CAAP '92, 1992
Proceedings of the Algebraic and Logic Programming, 1992
1991
Finite Domain Constraint Solving and Constraint Logic Programming.
Proceedings of the Constraint Logic Programming, 1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
True Concurrency in Concurrent Constraint Programming.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991
Perfect Relaxation in Constraint Logic Programming.
Proceedings of the Logic Programming, 1991
Proceedings of the Category Theory and Computer Science, 1991
An Algebraic Representation of Logic-Program Computations.
Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991
Proceedings of the Advances in Petri Nets 1993, 1991
1990
Int. J. Found. Comput. Sci., 1990
Proceedings of the STACS 90, 1990
An Algebraic Semantics of Logic Programs as Structured Transition Systems.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990
Proceedings of the Semantics of Systems of Concurrent Processes, 1990
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990
1989
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989
Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation.
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989
Proceedings of the Category Theory and Computer Science, 1989
1988
Acta Informatica, 1988
Partial orderings descriptions and observations of nondeterministic concurrent processes.
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988
Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming.
Proceedings of the Meta-Programming in Logic Programming, 1988
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988
On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract)
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988
Proceedings of the CAAP '88, 1988
CEDISYS: Compositional Distributed Systems - State of the art, research goals, references.
Proceedings of the Advances in Petri Nets 1989, 1988
1987
J. Comput. Syst. Sci., 1987
Observational equivalences for concurrency models.
Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987
Proceedings of the ESEC '87, 1987
1986
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986
Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986
1985
Proceedings of the Mathematical Foundations of Software Development, 1985
Proceedings of the Fundamentals of Computation Theory, 1985
1984
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984
1982
Labeled Event Structures: A Model for Observable Concurrency.
Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982
1981
Communication Through Message Passing or Shared Memory: A Formal Comparison.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981
1979
Proceedings of the 4th International Conference on Software Engineering, 1979
1978
A Recursive Method Based on Case Analysis for Computing Network Terminal Reliability.
IEEE Trans. Commun., 1978
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978
1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977
1976
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976
1975
Networks, 1975
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975
1974
Networks of constraints: Fundamental properties and applications to picture processing.
Inf. Sci., 1974
Optimization Methods in Image Processing.
Proceedings of the Information Processing, 1974
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974
1973
Towards a Formal Definition of the Control in Structured Programs.
Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973
1971
On the Optimal Approximation of Discrete Functions with Low-dimensional Tables.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 2, 1971
Optimal Smoothing in Picture Processing: An Application to Fingerprints.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971
1970
IEEE Trans. Computers, 1970
Commun. ACM, 1970
1969
1968