MICULAN, Marino

MICULAN, Marino  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 109 (tempo di esecuzione: 0.054 secondi).
Titolo Data di pubblicazione Autore(i) File
A Calculus for Attribute-Based Memory Updates 1-gen-2021 Miculan, Marino; Pasqua, Michele
A Calculus for Subjective Communication 1-gen-2022 Miculan, M.; Paier, M.
A categorical model of the Fusion calculus 1-gen-2008 Miculan, Marino
A CSP implementation of the bigraph embedding problem 1-gen-2014 Miculan, Marino; Peressotti, Marco
A framework for protein and membrane interactions 1-gen-2009 Bacci, Giorgio; Grohmann, Davide; Miculan, Marino
A Framework for Typed HOAS and Semantics 1-gen-2003 Miculan, Marino; Scagnetto, Ivan
A Model of Countable Nondeterminism in Guarded Type Theory 1-gen-2014 A., Bizjak; L., Birkedal; Miculan, Marino
A natural deduction approach to dynamic logic 1-gen-1996 Honsell, Furio; Miculan, Marino
A new criterion for M,N-adhesivity, with an application to hierarchical graphs 1-gen-2022 Castelnovo, D.; Gadducci, F.; Miculan, M.
A simple criterion for M,N-adhesivity 1-gen-2024 Castelnovo, D.; Gadducci, F.; Miculan, M.
A time-series classification approach to shallow web traffic de-anonymization 1-gen-2021 de Nardin, A.; Miculan, M.; Piciarelli, C.; Foresti, G. L.
A Unifying Approach to Recursive and Co-recursive Definitions 1-gen-2003 DI GIANANTONIO, Pietro; Miculan, Marino
A unifying model of variables and names 1-gen-2005 Miculan, Marino; Yemane, K.
About permutation algebras, (pre)sheaves and named sets 1-gen-2006 Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
AbU: A calculus for distributed event-driven programming with attribute-based interaction 1-gen-2023 Pasqua, M.; Miculan, M.
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 1-gen-2002 Scagnetto, Ivan; Miculan, Marino
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
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 1-gen-2001 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Assembling Coherent Network Topologies Using Round-Trip Graphs (short paper) 1-gen-2023 Miculan, M.; Paier, M.