Marino Miculan

Giorgio Bacci, Marino Miculan: Measurable stochastics for Brane Calculus. Theor. Comput. Sci. 431: 117-136 (2012)

Giorgio Bacci, Marino Miculan: Structural Operational Semantics for Continuous State Probabilistic Processes. CMCS 2012: 71-89

Marino Miculan, Marco Paviotti: Synthesis of Distributed Mobile Programs Using Monadic Types in Coq. ITP 2012: 183-200

Marino Miculan, Ilaria Sambarino: Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine. MeCBIC 2012: 82-100

Carlo Maiero, Marino Miculan: Unobservable Intrusion Detection based on Call Traces in Paravirtualized Systems. SECRYPT 2011: 300-306

Davide Grohmann, Marino Miculan: Graph Algebras for Bigraphs. ECEASST 29 (2010)

Giorgio Bacci, Marino Miculan: Measurable Stochastics for Brane Calculus. MeCBIC 2010: 6-22

Karl Crary, Marino Miculan (Eds.): Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. EPTCS 34, 2010

Giorgio Bacci, Davide Grohmann, Marino Miculan: DBtk: A Toolkit for Directed Bigraphs. CALCO 2009: 413-422

Giorgio Bacci, Davide Grohmann, Marino Miculan: Bigraphical models for protein and membrane interactions. MeCBIC 2009: 3-18

Giorgio Bacci, Davide Grohmann, Marino Miculan: A framework for protein and membrane interactions. MeCBIC 2009: 19-33

Davide Grohmann, Marino Miculan: Controlling resource access in Directed Bigraphs. ECEASST 10 (2008)

Davide Grohmann, Marino Miculan: Deriving Barbed Bisimulations for Bigraphical Reactive Systems. ECEASST 16 (2008)

Giorgio Bacci, Marino Miculan: Undecidability of Model Checking in Brane Logic. Electr. Notes Theor. Comput. Sci. 192(3): 23-37 (2008)

Davide Grohmann, Marino Miculan: An Algebra for Directed Bigraphs. Electr. Notes Theor. Comput. Sci. 203(1): 49-63 (2008)

Marino Miculan: A Categorical Model of the Fusion Calculus. Electr. Notes Theor. Comput. Sci. 218: 275-293 (2008)

Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi: PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38

Temesghen Kahsai, Marino Miculan: Implementing Spi Calculus Using Nominal Techniques. CiE 2008: 294-305

Marino Miculan, Ivan Scagnetto, Furio Honsell (Eds.): Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4941, Springer 2008, isbn 978-3-540-68084-0

Davide Grohmann, Marino Miculan: Directed Bigraphs. Electr. Notes Theor. Comput. Sci. 173: 121-137 (2007)

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. J. Autom. Reasoning 39(1): 1-47 (2007)

Davide Grohmann, Marino Miculan: Reactive Systems over Directed Bigraphs. CONCUR 2007: 380-394

Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann: Consistency of the theory of contexts. J. Funct. Program. 16(3): 327-372 (2006)

Fabio Gadducci, Marino Miculan, Ugo Montanari: About permutation algebras, (pre)sheaves and named sets. Higher-Order and Symbolic Computation 19(2-3): 283-304 (2006)

Marino Miculan, Giorgio Bacci: Modal Logics for Brane Calculus. CMSB 2006: 1-16

Marino Miculan, Kidane Yemane: A Unifying Model of Variables and Names. FoSSaCS 2005: 170-186

Marino Miculan, Ivan Scagnetto, Furio Honsell: Translating specifications from nominal logic to CIC with the theory of contexts. MERLIN 2005: 41-49

Furio Honsell, Marina Lenisa, Marino Miculan: Preface. Electr. Notes Theor. Comput. Sci. 104: 1-3 (2004)

Fabio Gadducci, Marino Miculan, Ugo Montanari: Some Characterization Results for Permutation Algebras. Electr. Notes Theor. Comput. Sci. 104: 129-147 (2004)

Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan: Modeling Fresh Names in the ?-calculus Using Abstractions. Electr. Notes Theor. Comput. Sci. 106: 25-41 (2004)

Pietro Di Gianantonio, Marino Miculan: Unifying Recursive and Co-recursive Definitions in Sheaf Categories. FoSSaCS 2004: 136-150

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN 2003

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR 2003: 59-77

Marino Miculan, Ivan Scagnetto: A framework for typed HOAS and semantics. PPDP 2003: 184-194

Ivan Scagnetto, Marino Miculan: Ambient Calculus and its Logic in the Calculus of Inductive Constructions. Electr. Notes Theor. Comput. Sci. 70(2): 76-95 (2002)

Pietro Di Gianantonio, Marino Miculan: A Unifying Approach to Recursive and Co-recursive Definitions. TYPES 2002: 148-161

Furio Honsell, Marino Miculan, Ivan Scagnetto: The Theory of Contexts for First Order and Higher Order Abstract Syntax. Electr. Notes Theor. Comput. Sci. 62: 116-135 (2001)

Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan: Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. Electr. Notes Theor. Comput. Sci. 62: 136-156 (2001)

Marina Lenisa, Marino Miculan: Preface. Electr. Notes Theor. Comput. Sci. 62: 257-258 (2001)

Marino Miculan: On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions. Inf. Comput. 164(1): 199-231 (2001)

Marino Miculan: Developing (Meta)Theory of Lambda-calculus in the Theory of Context. Electr. Notes Theor. Comput. Sci. 58(1): 37-58 (2001)

Furio Honsell, Marino Miculan, Ivan Scagnetto: pi-calculus in (Co)inductive-type theory. Theor. Comput. Sci. 253(2): 239-285 (2001)

Furio Honsell, Marino Miculan, Ivan Scagnetto: An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. ICALP 2001: 963-978

Furio Honsell, Marino Miculan (Eds.): Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2030, Springer 2001, isbn 3-540-41864-4

Marino Miculan: Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions. ICALP 1999: 554-564

Simona Cerrato, Fabio A. Asnicar, Paolo Dall'Aglio, Amanda de Felice, Massimo Di Fant, Marco Mizzaro, Fabrizio Nesti, Maria Candusso, Marino Miculan: The Journal of High Energy Physics: Scientific Publishing on the Web. WebNet 1999: 1482-1483

Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano: Encoding Modal Logics in Logical Frameworks. Studia Logica 60(1): 161-208 (1998)

Marino Miculan: A Natural Deduction style proof system for propositional $\mu$-calculus and its formalization in inductive type theories. CoRR cs.LO/9809120 (1998)

Marino Miculan, Fabio Gadducci: Modal mu-Types for Processes. LICS 1995: 221-231

Furio Honsell, Marino Miculan: A Natural Deduction Approach to Dynamic Logic. TYPES 1995: 165-182

Marino Miculan: The Expressive Power of Structural Operational Semantics with Explicit Assumptions. TYPES 1993: 263-290