MICULAN, Marino

MICULAN, Marino  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 98 (tempo di esecuzione: 0.031 secondi).
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.
Composable partial multiparty session types for open systems 1-gen-2022 Stolze, Claude; Miculan, Marino; Di Gianantonio, Pietro
Computing (optimal) embeddings of directed bigraphs 1-gen-2022 Chiapperini, A.; Miculan, M.; Peressotti, M.
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