Montanari, Ugo
334  results:
Search for persons X
?
1

Algebras for Tree Decomposable Graphs:

, In: Graph Transformation; Lecture Notes in Computer Science,
 
?
2

Bayesian network semantics for Petri nets:

Bruni, Roberto ; Melgratti, Hernán ; Montanari, Ugo
Theoretical Computer Science.  807 (2020)  - p. 95-113 , 2020
 
?
3

Petri Inheritance: The Foundation of Nondeterministic, Conc..:

, In: Carl Adam Petri: Ideas, Personality, Impact,
Bruni, Roberto ; Montanari, Ugo - p. 147-153 , 2019
 
?
4

From Dynamic Programming to Programming Science: Some Recol..:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,
Montanari, Ugo - p. 12-15 , 2019
 
?
5

Data-Driven Choreographies à la Klaim:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,
Bruni, Roberto ; Corradini, Andrea ; Gadducci, Fabio... - p. 170-190 , 2019
 
?
6

From Tuscany to Scotland and Back: A Homage to Rocco de Nic..:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,
Montanari, Ugo - p. 3-6 , 2019
 
?
7

A Coalgebraic Approach to Unification Semantics of Logic Pr..:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,
Bruni, Roberto ; Montanari, Ugo ; Mossa, Giorgio - p. 223-240 , 2019
 
?
8

Concurrency and Probability : Removing Confusion, Compos..:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,
 
?
10

Constraint design rewriting:

Bruni, Roberto ; Lluch Lafuente, Alberto ; Montanari, Ugo
Science of Computer Programming.  97 (2015)  - p. 23-30 , 2015
 
?
11

Network-Conscious π-calculus – A Model of Pastry:

Montanari, Ugo ; Sammartino, Matteo
Electronic Notes in Theoretical Computer Science.  312 (2015)  - p. 3-17 , 2015
 
?
12

A coalgebraic semantics for causality in Petri nets:

Bruni, Roberto ; Montanari, Ugo ; Sammartino, Matteo
Journal of Logical and Algebraic Methods in Programming.  84 (2015)  6 - p. 853-883 , 2015
 
?
 
?
15

Foreword: special issue on structure transformation:

MONTANARI, UGO
Mathematical Structures in Computer Science.  24 (2014)  4 - p. , 2014
 
1-15
Related subjects