MONTANARI, UGO GIOVANNI ERASMO Statistiche

MONTANARI, UGO GIOVANNI ERASMO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 217 (tempo di esecuzione: 0.051 secondi).
Titolo Data di pubblicazione Autore(i) File
Algebras for Tree Decomposable Graphs 1-gen-2020 Bruni, R.; Montanari, U.; Sammartino, M.
Bayesian network semantics for Petri nets 1-gen-2020 Bruni, R.; Melgratti, H.; Montanari, U.
A coalgebraic approach to unification semantics of logic programming 1-gen-2019 Bruni, R.; Montanari, U.; Mossa, G.
Concurrency and probability: removing confusion, compositionally 1-gen-2019 Bruni, Roberto; Melgratti, Hernán; Montanari, UGO GIOVANNI ERASMO
Data-Driven Choreographies à la Klaim 1-gen-2019 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernán C.; Montanari, UGO GIOVANNI ERASMO; Tuosto, Emilio
Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems 1-gen-2019 Bruni, Roberto; Montanari, Ugo
Concurrency and probability: removing confusion, compositionally 1-gen-2018 Bruni, Roberto; Melgratti, Hernan; Montanari, UGO GIOVANNI ERASMO
Event structures for Petri nets with persistence 1-gen-2018 Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
Models of computation 1-gen-2017 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
A coalgebraic semantics for causality in Petri nets 1-gen-2015 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO; Sammartino, Matteo
A normal form for stateful connectors 1-gen-2015 Bruni, Roberto; Melgratti, Hernan; Montanari, UGO GIOVANNI ERASMO
Causal trees, finally 1-gen-2015 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO; Sammartino, Matteo
cJoin: join with communicating transactions 1-gen-2015 Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO
Constraint design rewriting 1-gen-2015 Bruni, Roberto; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO
Reconfigurable and software-defined networks of connectors and components 1-gen-2015 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO; Sammartino, M.
Revisiting causality, coalgebraically 1-gen-2015 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO; Sammartino, M.
Behaviour, Interaction and Dynamics 1-gen-2014 Bruni, Roberto; Melgratti, H.; Montanari, UGO GIOVANNI ERASMO
From hierarchical BIP to Petri calculus 1-gen-2014 Bruni, Roberto; Melgratti, H.; Montanari, UGO GIOVANNI ERASMO
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs 1-gen-2014 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO; Plotkin, G.; Terreni, D.
A survey on basic connectors and buffers 1-gen-2013 Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO