All referred publications

• Graph Algebras for Bigraphs

  Davide Grohmann, Marino Miculan

  In J. Küster, E. Tuosto, eds, Proc. GT-VMT 2010, ECEASST, 2010. PDF.

• A framework for protein and membrane interactions

  Giorgio Bacci, Davide Grohmann, and Marino Miculan

  In G. Ciobanu, editor, Proc. MeCBIC’09, EPTCS, 2009. PDF.

• Bigraphical models for protein and membrane interactions

  Giorgio Bacci, Davide Grohmann, and Marino Miculan

  In Gabriel Ciobanu, editor, Proc. MeCBIC’09, EPTCS, 2009. PDF (extended version)

• Deriving Barbed Bisimulations for Bigraphical Reactive Systems

  Davide Grohmann, Marino Miculan

  Andrea Corradini, Emilio Tuosto, eds: Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation (ICGT 2008). Electronic Communications of the EASST, Volume 16, 2009. PDF

• DBtk: A Toolkit for Directed Bigraphs

  Giorgio Bacci, Davide Grohmann and Marino Miculan

  A. Kurz, M. Lenisa, and A. Tarlecki (Eds.): CALCO 2009, LNCS 5728, pp. 413–422, 2009. PDF

• Graph Grammars for Local Bigraphs

  Davide Grohmann, Marino Miculan

  In A. Corradini, editor, Pre-Proceedings of TERMGRAPH 2009, pp. 49-63, 2009. PDF

• A categorical model of the Fusion calculus

  Marino Miculan

  In Proceedings of MFPS XXIV, ENTCS 218, pp. 275-293, Elsevier, 2008. PDF (Final proceedings version).

• PicNIc - Pi-calculus Non-Interference checker

  Silvia Crafa, Marino Miculan, Matteo Mio, Carla Piazza, Sabina Rossi

  J. Billington and M. Koutny, editors, 8th International Conference on Application of Concurrency to System Design, Proceedings. IEEE, 2008. PDF

• Implementing Spi Calculus using Nominal techniques

  Temesghen Kahsai and Marino Miculan

  In Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Löwe, editors, Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, Proceedings. Lecture Notes in Computer Science volume 5028, 2008. PDF.

• An Algebra for Directed Bigraphs

  Davide Grohmann, Marino Miculan

  In I. Mackie and D. Plump, editors, Proceedings of TERMGRAPH 2007, ENTCS 203(1), pp. 49-63, 2008. PDF.

• Controlling resource access in Directed Bigraphs

  Davide Grohmann, Marino Miculan

  In Claudia Ermel, Reiko Heckel, and Juan de Lara, editors, Proceedings of GT-VMT 2008, Electronic Communications of the EASST, Volume 10 (2008). PDF (longer version with appendixes).

• Undecidability of Model checking in Brane Logic

  Giorgio Bacci and Marino Miculan

  In Dezani and Danos, editors, Proceedings of the Third International Workshop on Developments in Computational Models (DCM 2007). Electronic Notes in Theoretical Computer Science Volume 192, Issue 3, Pages 23-37. PDF

• Reactive Systems over Directed Bigraphs

  Davide Grohmann, Marino Miculan

  In L. Caires and V.T. Vasconcelos, editors, Proceedings of CONCUR 2007, Number 4703 in Lecture Notes in Computer Science, pages 380-394, 2007. PDF

• Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

  Alberto Ciaffaglione, Luigi Liquori and Marino Miculan

  Journal of Automated Reasoning, Volume 39(1), pp. 1-47, July 2007. PDF

• Directed Bigraphs

  Davide Grohmann, Marino Miculan

  In Proceedings of MFPS XXIII, ENTCS 173, pp. 121-137, Elsevier, 2007. PDF

• Directed Bigraphs: Theory and Applications

  Davide Grohmann, Marino Miculan

  DiMI Research Report UDMI/12/2006/RR, University of Udine, December 2006. PDF

• About permutation algebras, (pre)sheaves and named sets

  Fabio Gadducci, Ugo Montanari, and Marino Miculan

  Higher Order and Symbolic Computation, Volume 19, Numbers 2-3, September 2006, pp 283-304. PDF

• Modal logics for Brane Calculus

  Marino Miculan and Giorgio Bacci

  In C. Priami, editor, Proceedings of CMSB'06. Number 4210 in Lecture Notes in Computer Science, pages 1-16, 2006. PDF

• Consistency of the Theory of Contexts

  Anna Bucalo, Martin Hofmann, Furio Honsell, Marino Miculan, Ivan Scagnetto

  Journal of Functional Programming, Volume 16, Issue 03, May 2006, pp 327-395. PDF

• Implementazione di Memoria Distribuita su cluster CompactPCI

  Maja Massarini, Marino Miculan and Francesco Sepic

  In Atti del Congresso AICA 2005. PDF

• Translating Specifications from Nominal Logic to CIC with the Theory of Contexts

  Ivan Scagnetto, Furio Honsell, and Marino Miculan

  In R. Pollack, editor, Proceedings of MERLIN'05. ACM DL, 2005. PDF

• A unifying model of variables and names

  Marino Miculan and Kidane Yemane

  In V. Sassone, editor, Proceedings of FOSSACS'05. Number 3441 in Lecture Notes in Computer Science, pages 170-186, 2005. PDF

• Modeling Fresh Names in the π-calculus using Abstractions

  Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan

  In Proceedings of CMCS 2004. ENTCS 106, pages 25-41, Elsevier, 2004. PDF

• Unifying Recursive and Co-recursive Definitions in Sheaf Categories

  Pietro Di Gianantonio and Marino Miculan

  In I. Walukiewicz, editor, Proceedings of FOSSACS'04. Number 2987 in Lecture Notes in Computer Science, 2004. PDF

• Some characterization results for permutation algebras

  Fabio Gadducci, Ugo Montanari, and Marino Miculan

  In Proceedings of COMETA 2003. ENTCS 104, 2004. Elsevier. PDF

• A Framework for Typed HOAS and Semantics

  Marino Miculan and Ivan Scagnetto

  In Proceedings of PPDP 2003, pages 184–194. Uppsala, 2003. ACM. PDF

• Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax

  Alberto Ciaffaglione, Luigi Liquori and Marino Miculan

  In Proceedings of MERλIN 2003. ACM, 2003. PDF

• Imperative Object-based Calculi in (Co)Inductive Type Theories

  Alberto Ciaffaglione, Luigi Liquori and Marino Miculan

  In Proceedings of LPAR 2003, LNCS 2850, pages 59–77, 2003. PDF

• A Unifying Approach to Recursive and Co-recursive Definitions

  Pietro Di Gianantonio and Marino Miculan

  In Geuvers, Wiedijk, editors, Proceedings of TYPES'02. Number 2646 in Lecture Notes in Computer Science, 2003. PDF

• Ambient Calculus and its Logic in the Calculus of Inductive Constructions

  Ivan Scagnetto and Marino Miculan

  In Proceedings of LFM 2002. ENTCS 70.2, Elsevier, 2002. PDF

• Frecuencis lessicâls dal furlan scrit

  Alessandra Burelli and Marino Miculan

  Gjornâl furlan des siencis - Friulian journal of science, Vol. 1, March 2002. PDF

• The Theory of Contexts for First Order and Higher Order Abstract Syntax

  Furio Honsell, Marino Miculan and Ivan Scagnetto

  In Proceedings of TOSCA 2001. ENTCS 62, Elsevier/Forum, 2001. PDF

• Comparing Higher-order Encodings in Logical Frameworks and Tile Logic

  Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan

  In Proceedings of TOSCA 2001. ENTCS 62, Elsevier/Forum, 2001. PDF

• Developing (Meta)Theory of lambda-calculus in the Theory of Contexts

  Marino Miculan

  In Proceedings of MERLIN 2001. ENTCS 58.1, Elsevier, 2001. PDF

• An axiomatic approach to metareasoning on systems in higher-order abstract syntax

  Furio Honsell, Marino Miculan and Ivan Scagnetto

  In Proceedings of ICALP'01, Number 2076 in Lecture Notes in Computer Science, pages 963-978, 2001. PDF (slightly expanded version).

• On the formalization of the modal μ-calculus in the Calculus of Inductive Constructions

  Marino Miculan

  In Information and Computation, Vol. 164, No. 1, pages 199-231, 2001. PDF

• π-calculus in (Co)Inductive Type Theories

  Furio Honsell, Marino Miculan and Ivan Scagnetto

  In Theoretical Computer Science, 253(2), pages 239-285, 2001. PDF

• The Journal of High Energy Physics: Scientific Publishing on the Web

  Fabio Asnicar, Marina Candusso, Simona Cerrato, Paolo Dall'Aglio, Amanda de Felice, Massimo Di Fant, Marino Miculan, Marco Mizzaro, Fabrizio Nesti

  In WebNet (2) 1999: 1482-1483. 1999.

• Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions

  Marino Miculan

  In Proceedings of ICALP'99. Number 1644 in Lecture Notes in Computer Science, pages 554-564, 1999. PDF

• A Natural Deduction style proof system for propositional μ-calculus and its formalization in inductive type theories

  Marino Miculan

  In Proceedings of ICTCS'98. World Scientific, 1998. PDF

• Encoding Modal Logics in Logical Frameworks

  Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano

  In Studia Logica, 60(1), Jan. 1998. PDF

• Encoding Logical Theories of Programs

  Marino Miculan

  Ph.D. Thesis TD-7/97, March 1997. Dipartimento di Informatica, Università di Pisa. PDF

• A Natural Deduction Approach to Dynamic Logics

  Furio Honsell and Marino Miculan

  In Berardi, Coppo, editors, Proceedings of TYPES'95. Number 1158 in Lecture Notes in Computer Science, p.165-182, 1996. PDF

• Modal μ-types for Processes

  Marino Miculan and Fabio Gadducci

  In Proceedings of 10th IEEE Symposium on Logic in Computer Science (LICS), pages 221-231, San Diego, California, 26-29 June 1995. IEEE. PDF

• Expressivity of Structured Operational Semantics with Explicit Assumptions

  Marino Miculan

  In Barendregt, Nipkow, editors, Proceedings of TYPES'93. Number 806 in Lecture Notes in Computer Science, p.292-320, 1994. PDF