MICULAN, Marino
MICULAN, Marino
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
A Calculus for Attribute-Based Memory Updates
2021-01-01 Miculan, Marino; Pasqua, Michele
A Calculus for Subjective Communication
2022-01-01 Miculan, M.; Paier, M.
A categorical model of the Fusion calculus
2008-01-01 Miculan, Marino
A CSP implementation of the bigraph embedding problem
2014-01-01 Miculan, Marino; Peressotti, Marco
A framework for protein and membrane interactions
2009-01-01 Bacci, Giorgio; Grohmann, Davide; Miculan, Marino
A Framework for Typed HOAS and Semantics
2003-01-01 Miculan, Marino; Scagnetto, Ivan
A Model of Countable Nondeterminism in Guarded Type Theory
2014-01-01 A., Bizjak; L., Birkedal; Miculan, Marino
A natural deduction approach to dynamic logic
1996-01-01 Honsell, Furio; Miculan, Marino
A new criterion for M,N-adhesivity, with an application to hierarchical graphs
2022-01-01 Castelnovo, D.; Gadducci, F.; Miculan, M.
A time-series classification approach to shallow web traffic de-anonymization
2021-01-01 de Nardin, A.; Miculan, M.; Piciarelli, C.; Foresti, G. L.
A Unifying Approach to Recursive and Co-recursive Definitions
2003-01-01 DI GIANANTONIO, Pietro; Miculan, Marino
A unifying model of variables and names
2005-01-01 Miculan, Marino; Yemane, K.
About permutation algebras, (pre)sheaves and named sets
2006-01-01 Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
AbU: A calculus for distributed event-driven programming with attribute-based interaction
2023-01-01 Pasqua, M.; Miculan, M.
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
2002-01-01 Scagnetto, Ivan; Miculan, Marino
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
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.
Automated verification of Telegram’s MTProto 2.0 in the symbolic model
2023-01-01 Miculan, Marino; Vitacolonna, Nicola