MICULAN, Marino
MICULAN, Marino
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
A categorical model of the Fusion calculus
2008-01-01 Miculan, Marino
A Framework for Typed HOAS and Semantics
2003-01-01 Miculan, Marino; Scagnetto, Ivan
A Unifying Approach to Recursive and Co-recursive Definitions
2003-01-01 DI GIANANTONIO, Pietro; Miculan, Marino
About permutation algebras, (pre)sheaves and named sets
2006-01-01 Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
An abstract distributed middleware for transactions over heterogeneous stores
2019-01-01 Geatti, L.; Igne, F.; Miculan, M.
An Algebra for Directed Bigraphs
2008-01-01 Grohmann, Davide; Miculan, Marino
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
2002-01-01 Scagnetto, Ivan; Miculan, Marino
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
2001-01-01 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Automated symbolic verification of Telegram’s MTProto 2.0
2021-01-01 Miculan, M.; Vitacolonna, N.
Behavioural equivalences for coalgebras with unobservable moves
2015-01-01 Brengos, Tomasz; Miculan, Marino; Peressotti, Marco
Bigraphical models for protein and membrane interactions
2009-01-01 Bacci, Giorgio; Grohmann, Davide; Miculan, Marino
A Calculus for Attribute-Based Memory Updates
2021-01-01 Miculan, Marino; Pasqua, Michele
Closure hyperdoctrines
2021-01-01 Castelnovo, D.; Miculan, M.
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic
2002-01-01 Bruni, R; Honsell, F; Lenisa, Marina; Miculan, Marino
Composable Partial Multiparty Session Types
2021-01-01 Stolze, C.; Miculan, M.; Di Gianantonio, P.
Computing Embeddings of Directed Bigraphs
2020-01-01 Chiapperini, A.; Miculan, M.; Peressotti, M.
Consistency of the Theory of Contexts
2006-01-01 Bucalo, Anna; Hofmann, M; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Constructive logical characterizations of bisimilarity for reactive probabilistic systems
2018-01-01 Bernardo, Marco; Miculan, Marino
Controlling resource access in Directed Bigraphs
2008-01-01 Grohmann, D; Miculan, Marino
A CSP implementation of the bigraph embedding problem
2014-01-01 Miculan, Marino; Peressotti, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A categorical model of the Fusion calculus | 1-gen-2008 | Miculan, Marino | |
A Framework for Typed HOAS and Semantics | 1-gen-2003 | Miculan, Marino; Scagnetto, Ivan | |
A Unifying Approach to Recursive and Co-recursive Definitions | 1-gen-2003 | DI GIANANTONIO, Pietro; Miculan, Marino | |
About permutation algebras, (pre)sheaves and named sets | 1-gen-2006 | Gadducci, Fabio; Miculan, Marino; Montanari, Ugo | |
An abstract distributed middleware for transactions over heterogeneous stores | 1-gen-2019 | Geatti, L.; Igne, F.; Miculan, M. | |
An Algebra for Directed Bigraphs | 1-gen-2008 | Grohmann, Davide; Miculan, Marino | |
Ambient Calculus and its Logic in the Calculus of Inductive Constructions | 1-gen-2002 | Scagnetto, Ivan; Miculan, Marino | |
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS | 1-gen-2001 | Honsell, Furio; Miculan, Marino; Scagnetto, Ivan | |
Automated symbolic verification of Telegram’s MTProto 2.0 | 1-gen-2021 | Miculan, M.; Vitacolonna, N. | |
Behavioural equivalences for coalgebras with unobservable moves | 1-gen-2015 | Brengos, Tomasz; Miculan, Marino; Peressotti, Marco | |
Bigraphical models for protein and membrane interactions | 1-gen-2009 | Bacci, Giorgio; Grohmann, Davide; Miculan, Marino | |
A Calculus for Attribute-Based Memory Updates | 1-gen-2021 | Miculan, Marino; Pasqua, Michele | |
Closure hyperdoctrines | 1-gen-2021 | Castelnovo, D.; Miculan, M. | |
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic | 1-gen-2002 | Bruni, R; Honsell, F; Lenisa, Marina; Miculan, Marino | |
Composable Partial Multiparty Session Types | 1-gen-2021 | Stolze, C.; Miculan, M.; Di Gianantonio, P. | |
Computing Embeddings of Directed Bigraphs | 1-gen-2020 | Chiapperini, A.; Miculan, M.; Peressotti, M. | |
Consistency of the Theory of Contexts | 1-gen-2006 | Bucalo, Anna; Hofmann, M; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan | |
Constructive logical characterizations of bisimilarity for reactive probabilistic systems | 1-gen-2018 | Bernardo, Marco; Miculan, Marino | |
Controlling resource access in Directed Bigraphs | 1-gen-2008 | Grohmann, D; Miculan, Marino | |
A CSP implementation of the bigraph embedding problem | 1-gen-2014 | Miculan, Marino; Peressotti, Marco |