Sfoglia per Autore
Non-interference by Unfolding
2014 Baldan, Paolo; Alberto, Carraro
Behavioral Metrics via Functor Lifting
2014 Baldan, Paolo; Filippo, Bonchi; Henning, Kerstan; Barbara, Koenig
Hereditary History-Preserving Bisimilarity: Logics and Automata
2014 Baldan, Paolo; Crafa, Silvia
A Logic for True Concurrency
2014 Baldan, Paolo; Crafa, Silvia
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta
2013 Baldan, Paolo; Nicoletta, Cocco; Marta, Simeoni
Comparing Metabolic Pathways through Reactions and Potential Fluxes
2013 Baldan, Paolo; Nicoletta, Cocco; Federica, Giummolè; Marta, Simeoni
Comparing metabolic pathways through potential fluxes: a selective opening approach
2013 Baldan, Paolo; M., Bocci; N., Cocco; M., Simeoni
Sharing in the Graph Rewriting Calculus
2012 Baldan, Paolo; Clara, Bertolissi
Efficient unfolding of contextual Petri nets
2012 Baldan, Paolo; A., Bruni; A., Corradini; B., Koenig; C., Rodriguez; S., Schwoon
Comparison of Metabolic Pathways by Considering Potential Fluxes
2012 Baldan, Paolo; N., Cocco; M., Simeoni
A lattice-theoretical perspective on adhesive categories
2011 Baldan, Paolo; Bonchi, F; Corradini, A; Heindel, T; Konig, B.
Efficient contextual unfolding
2011 Rodriguez, C; Schwoon, S; Baldan, Paolo
MPath2PN - Translating Metabolic Pathways into Petri Nets
2011 Baldan, Paolo; Nicoletta, Cocco; Francesco De, Nes; Merce Llabres, Segura; Andrea, Marin; Marta, Simeoni
Adhesivity Is Not Enough: Local Church-Rosser Revisited
2011 Baldan, Paolo; Gadducci, F; Sobocinski, P.
A Logic for True Concurrency
2010 Baldan, Paolo; Crafa, Silvia
From Petri Nets to Graph Transformation Systems
2010 Baldan, Paolo; A., Corradini; F., Gadducci; U., Montanari
Petri nets for modelling metabolic pathways: a survey
2010 Baldan, Paolo; Cocco, N; Marin, A; Simeoni, M.
Unfolding-based diagnosis of systems with an evolving topology
2010 Baldan, Paolo; Chatain, T; Haar, S; Konig, B.
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars
2010 Baldan, Paolo; A., Bruni; A., Corradini; B., Koenig; S., Schwoon
Concurrency Can't Be Observed, Asynchronously
2010 Baldan, Paolo; F., Bonchi; F., GADDUCCI F; G. V., Monreale
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile