IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 108
Titolo Data di pubblicazione Autore(i) File
Theoretical Computer Science: Preface 1-gen-2003 Honsell, Furio; Miculan, Marino
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 1-gen-2003 Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
A Unifying Approach to Recursive and Co-recursive Definitions 1-gen-2003 DI GIANANTONIO, Pietro; Miculan, Marino
Proceedings of COMETA 2003 1-gen-2004 Honsell, F; Lenisa, M; Miculan, Marino
Some characterization results for permutation algebras 1-gen-2004 Gadducci, F; Miculan, Marino; Montanari, U.
Proceedings of the Workshop COMETA Computational Metamodels 1-gen-2004 Honsell, F; Lenisa, Marina; Miculan, Marino
Modeling fresh names in the π-calculus using abstractions 1-gen-2004 Bruni, R; Honsell, Furio; Lenisa, Marina; Miculan, Marino
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 1-gen-2004 DI GIANANTONIO, Pietro; Miculan, Marino
A unifying model of variables and names 1-gen-2005 Miculan, Marino; Yemane, K.
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 1-gen-2005 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
Implementazione di Memoria Distribuita su cluster CompactPCI 1-gen-2006 Massarini, M; Miculan, Marino; Sepic, F.
About permutation algebras, (pre)sheaves and named sets 1-gen-2006 Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
Modal logics for Brane Calculus 1-gen-2006 Miculan, Marino; Bacci, G.
Consistency of the Theory of Contexts 1-gen-2006 Bucalo, Anna; Hofmann, M; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Directed Bigraphs 1-gen-2007 Davide, Grohmann; Miculan, Marino
Reactive Systems over Directed Bigraphs 1-gen-2007 Grohmann, Davide; Miculan, Marino
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 1-gen-2007 Ciaffaglione, Alberto; Liquori, L; Miculan, Marino
Undecidability of Model Checking in Brane Logic 1-gen-2008 Bacci, G; Miculan, Marino
PicNIc - Pi-calculus Non-Interference checker 1-gen-2008 Crafa, Silvia; Miculan, Marino; Mio, Matteo; Piazza, Carla; Rossi, Sabina
Controlling resource access in Directed Bigraphs 1-gen-2008 Grohmann, D; Miculan, Marino
Mostrati risultati da 21 a 40 di 108
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