Publications

This list is generated automatically from a BibTeX file.
PDF files can be obtained by clicking on the small blue icon.
See also my page on Google Scholar, and on DBLP.

  1. M. Miculan and M. Peressotti, "Bigraphs Reloaded," Dept. of Mathematics and Computer Science, Univ. of Udine, UDMI/01/2013/RR, 2013.
    @techreport{mp:br-tr,
      author = {Marino Miculan and Marco Peressotti},
      Institution = {Dept. of Mathematics and Computer Science, Univ. of Udine},
      Url = "/~marino.miculan/Papers/UDMI012013.pdf", Number = {UDMI/01/2013/RR},
      Title = {Bigraphs Reloaded},
      Year = 2013}
  2. M. Miculan and M. Paviotti, "Synthesis of distributed mobile programs using monadic types in Coq," in Proc. ITP’12, 2012.
    @InProceedings{mp:itp12,
      author = {Marino Miculan and Marco Paviotti},
      title = {Synthesis of distributed mobile programs using monadic types in Coq},
      booktitle = {Proc. ITP'12},
      year = 2012, editor = {Lennart Beringer and Amy Felty},
      series = Lecture Notes in Computer Science, Url = "/~marino.miculan/Papers/ITP12.pdf", publisher = {Springer}
    }
  3. M. Miculan and I. Sambarino, "Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine," in Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, Newcastle, UK, 8th September 2012, 2012, pp. 82-100. Go to document
    @Inproceedings{EPTCS100.6,
      author = "Miculan, Marino and Sambarino, Ilaria", year = "2012", title = "Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine", editor = "Ciobanu, Gabriel", booktitle = {Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, Newcastle, UK, 8th September 2012},
      series = "Electronic Proceedings in Theoretical Computer Science", volume = "100", publisher = "Open Publishing Association", pages = "82-100", doi = "10.4204/EPTCS.100.6", url = "http://dx.doi.org/10.4204/EPTCS.100.6", }
  4. G. Bacci and M. Miculan, "Measurable Stochastics for Brane Calculus," Theoretical Computer Science, vol. 431, pp. 117-136, 2012. Go to document
    @article{bm:tcs12,
      author = {Giorgio Bacci and Marino Miculan},
      Doi = {10.1016/j.tcs.2011.12.055},
      Issn = {0304-3975},
      Journal = "Theoretical Computer Science", Pages = {117--136},
      Title = {Measurable Stochastics for {Brane Calculus}},
      Volume = 431, Year = 2012, Url = "http://dx.doi.org/10.1016/j.tcs.2011.12.055", Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.tcs.2011.12.055}
    }
  5. G. Bacci and M. Miculan, "Structural operational semantics for continuous state probabilistic processes," in Proc. CMCS’12, 2012, pp. 71-90.
    @InProceedings{bm:cmcs12,
      author = {Giorgio Bacci and Marino Miculan},
      title = {Structural operational semantics for continuous state probabilistic processes},
      booktitle = {Proc. CMCS'12},
      pages = {71-90},
      year = 2012, url = "/~marino.miculan/Papers/CMCS12.pdf", volume = 7399, series = Lecture Notes in Computer Science, publisher = {Springer}
    }
  6. M. Miculan and C. Urban, "Formal analysis of Facebook Connect Single Sign-On authentication protocol," in SofSem 2011, Proceedings of Student Research Forum, 2011, pp. 99-116.
    @inproceedings{mu:sofsem11,
      author = {Marino Miculan and Caterina Urban},
      Booktitle = {{SofSem} 2011, Proceedings of Student Research Forum},
      Pages = {99--116},
      Publisher = {OKAT},
      Url = "/~marino.miculan/Papers/SOFSEM11.pdf", Title = {Formal analysis of {Facebook Connect} Single Sign-On authentication protocol},
      Year = 2011}
  7. C. Maiero and M. Miculan, "Unobservable Intrusion Detection Based on Call Traces in Paravirtualized Systems," in Proc. SECRYPT, 2011.
    @inproceedings{mm:secrypt11,
      author = {Carlo Maiero and Marino Miculan},
      Booktitle = {Proc. SECRYPT},
      Bibsource = {DBLP, http://dblp.uni-trier.de},
      Editor = {Javier Lopez and Pierangela Samarati},
      Publisher = {SciTePress},
      Year = 2011, Url = {/~marino.miculan/Papers/SECRYPT11.pdf},
      Title = {Unobservable Intrusion Detection Based on Call Traces in Paravirtualized Systems}
    }
  8. G. Bacci and M. Miculan, "Measurable Stochastics for Brane Calculus," in Proc. MeCBIC, 2010, pp. 6-22.
    @inproceedings{DBLP:journals/corr/abs-1011-0488,
      author = {Giorgio Bacci and Marino Miculan},
      title = {Measurable Stochastics for Brane Calculus},
      year = 2010, pages = {6-22},
      ee = {http://dx.doi.org/10.4204/EPTCS.40.2},
      editor = {Gabriel Ciobanu and Maciej Koutny},
      booktitle = {Proc. MeCBIC},
      series = {EPTCS},
      volume = 40, year = 2010, ee = {http://dx.doi.org/10.4204/EPTCS.40},
      Url = "/~marino.miculan/Papers/MeCBIC10.pdf", }
  9. Karl Crary and Marino Miculan, Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2010.
    @proceedings{lfmtp10, Bibsource = {DBLP, http://dblp.uni-trier.de},
      Booktitle = {Proc. LFMTP},
      Author = {Karl Crary and Marino Miculan},
      Ee = {http://dx.doi.org/10.4204/EPTCS.34},
      Series = {EPTCS},
      Title = {Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice},
      Volume = 34, Year = 2010}
  10. D. Grohmann and M. Miculan, "Graph Algebras for Bigraphs," in Proc. 9th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’10), 2010.
    @inproceedings{gm:gtvmt10,
      author = {Davide Grohmann and Marino Miculan},
      Booktitle = {Proc. 9th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'10)},
      Editor = {C. Ermel, J. de Lara and R. Heckel},
      Issn = {{ISSN 1863-2122}},
      Publisher = {European Association of Software Science and Technology},
      Series = {Electronic Communications of the EASST},
      Title = {Graph Algebras for Bigraphs},
      Url = "/~marino.miculan/Papers/GTVMT10.pdf", Volume = 10, Year = 2010, Bdsk-Url-1 = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/19}
    }
  11. D. Grohmann and M. Miculan, "Deriving Barbed Bisimulations for Bigraphical Reactive Systems," in Proceedings of International Conference on Graph Transformation (ICGT-DS 2008), 2009.
    @inproceedings{gm:icgt-ds08,
      author = {Davide Grohmann and Marino Miculan},
      Booktitle = {Proceedings of International Conference on Graph Transformation (ICGT-DS 2008)},
      Editor = {A. Corradini and E. Tuosto},
      Issn = {{ISSN 1863-2122}},
      Publisher = {European Association of Software Science and Technology},
      Series = {Electronic Communications of the EASST},
      Title = {Deriving Barbed Bisimulations for Bigraphical Reactive Systems},
      Url = "/~marino.miculan/Papers/ICGT08-DS.pdf", Volume = 16, Year = 2009, Bdsk-Url-1 = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/19}
    }
  12. G. Bacci, D. Grohmann, and M. Miculan, "Bigraphical models for protein and membrane interactions," in Proc. MeCBIC’09, 2009.
    @inproceedings{bgm:biobig,
      author = {Giorgio Bacci and Davide Grohmann and Marino Miculan},
      URL = "/~marino.miculan/Papers/MeCBIC09a.pdf", Booktitle = {Proc. MeCBIC'09},
      Editor = {Gabriel Ciobanu},
      Series = {EPTCS},
      Volume = 11, Title = {Bigraphical models for protein and membrane interactions},
      Year = 2009}
  13. G. Bacci, D. Grohmann, and M. Miculan, "DBtk: a Toolkit for Directed Bigraphs," in CALCO 2009 Conference Proceedings – Calco Tools, 2009.
    @inproceedings{bgm:dbtk,
      author = {Giorgio Bacci and Davide Grohmann and Marino Miculan},
      Booktitle = {CALCO 2009 Conference Proceedings - Calco Tools},
      Note = {Tool available at \url{http://sole.dimi.uniud.it/~davide.grohmann/dbtk/}},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Title = {DBtk: a Toolkit for Directed Bigraphs},
      Url = "/~marino.miculan/Papers/CALCO09.pdf", Volume = 5728, Year = 2009}
  14. G. Bacci, D. Grohmann, and M. Miculan, "A framework for protein and membrane interactions," in Proc. MeCBIC’09, 2009.
    @inproceedings{bgm:biobeta,
      author = {Giorgio Bacci and Davide Grohmann and Marino Miculan},
      Booktitle = {Proc. MeCBIC'09},
      Editor = {Gabriel Ciobanu},
      Series = {EPTCS},
      Volume = 11, Url = "/~marino.miculan/Papers/MeCBIC09b.pdf", Title = {A framework for protein and membrane interactions},
      Year = 2009}
  15. T. Kahsai and M. Miculan, "Implementing Spi-Calculus Using Nominal Techniques," in Proc. Computability in Europe (CiE), 2008, pp. 294-305.
    @inproceedings{km:cie08,
      author = {Temesghen Kahsai and Marino Miculan},
      Booktitle = {Proc. Computability in Europe (CiE)},
      Editor = {Arnold Beckmann and Costas Dimitracopoulos and Benedikt Löwe},
      Isbn = {978-3-540-69405-2},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Volume = 5028, Year = 2008, Pages = {294-305},
      Url = "/~marino.miculan/Papers/CIE08.pdf", Title = {Implementing Spi-Calculus Using Nominal Techniques},
      Year = 2008}
  16. D. Grohmann and M. Miculan, "Controlling resource access in Directed Bigraphs (long version)," in Proc. 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’08), 2008.
    @inproceedings{gm:gtvmt08,
      author = {Davide Grohmann and Marino Miculan},
      Booktitle = {Proc. 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08)},
      Editor = {C. Ermel, J. de Lara and R. Heckel},
      Issn = {1863-2122},
      Publisher = {European Association of Software Science and Technology},
      Series = {Electronic Communications of the EASST},
      Title = {Controlling resource access in Directed Bigraphs (long version)},
      Url = "/~marino.miculan/Papers/GTVMT08-long.pdf", Volume = 10, Year = 2008}
  17. Marino Miculan and Ivan Scagnetto and Furio Honsell, Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected PapersSpringer, 2008.
    @proceedings{types07, Bibsource = {DBLP, http://dblp.uni-trier.de},
      Booktitle = {Proc. TYPES},
      author = {Marino Miculan and Ivan Scagnetto and Furio Honsell},
      Isbn = {978-3-540-68084-0},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Title = {Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers},
      Volume = 4941, Year = 2008}
  18. D. Grohmann and M. Miculan, "Controlling resource access in Directed Bigraphs," Department of Mathematics and Computer Science, University of Udine, UDMI/12/2006/RR, 2008.
    @techreport{gm:gtvmt08-long,
      author = {Davide Grohmann and Marino Miculan},
      Institution = {Department of Mathematics and Computer Science, University of Udine},
      number = {UDMI/12/2006/RR},
      URL = "/~marino.miculan/Papers/UDMI122006.pdf", Title = {Controlling resource access in Directed Bigraphs},
      Year = 2008}
  19. G. Bacci and M. Miculan, "Undecidability of Model checking in Brane Logic," in Proc. 3rd Int. Workshop on Development of Computational Models, DCM’07, 2008.
    @inproceedings{bm:dcm07,
      author = {Giorgio Bacci and Marino Miculan},
      Booktitle = {Proc. 3rd Int. Workshop on Development of Computational Models, DCM'07},
      Number = 3, Publisher = {Elsevier},
      Series = Electronic Notes in Theoretical Computer Science, Title = {Undecidability of Model checking in Brane Logic},
      Url = {/~marino.miculan/Papers/DCM07.pdf},
      Volume = 192, Year = 2008}
  20. M. Miculan, "A categorical model of the Fusion calculus," in Proc. XXIV MFPS, 2008, pp. 275-293.
    @inproceedings{miculan:mfps08,
      author = {Marino Miculan},
      Booktitle = {Proc. XXIV MFPS},
      Pages = {275-293},
      Publisher = {Elsevier},
      Series = Electronic Notes in Theoretical Computer Science, Title = {A categorical model of the {Fusion} calculus},
      Url = "/~marino.miculan/Papers/MFPS08.pdf", Volume = 218, Year = 2008}
  21. S. Crafa, M. Mio, M. Miculan, C. Piazza, and S. Rossi, "PicNIc — Pi-calculus Non-Interference checker," in Proc. ACSD’08, 2008, pp. 33-38.
    @inproceedings{cmmpr08,
      author = {Silvia Crafa and Matteo Mio and Marino Miculan and Carla Piazza and Sabina Rossi},
      Booktitle = {Proc. ACSD'08},
      Editor = {Jonathan Billington and Zhenhua Duan and Maceij Koutny},
      Pages = {33--38},
      Publisher = {IEEE},
      Title = {PicNIc -- Pi-calculus Non-Interference checker},
      Url = {/~marino.miculan/Papers/ACSD08.pdf},
      Year = 2008}
  22. D. Grohmann and M. Miculan, "An Algebra for Directed Bigraphs," in Proceedings of TERMGRAPH 2007, 2008, pp. 49-63.
    @inproceedings{gm:termgraph07,
      author = {Davide Grohmann and Marino Miculan},
      Booktitle = {Proceedings of TERMGRAPH 2007},
      Doi = {10.1016/j.Electronic Notes in Theoretical Computer Science.2008.03.033},
      Editor = {Ian Mackie and Detlef Plump},
      Pages = {49--63},
      Publisher = {Elsevier},
      Series = Electronic Notes in Theoretical Computer Science, Title = {An Algebra for Directed Bigraphs},
      Volume = 203, Number = 1, Url = "/~marino.miculan/Papers/TERMGRAPH07.pdf", Year = 2008}
  23. D. Grohmann and M. Miculan, "Reactive Systems over Directed Bigraphs," in Proc. CONCUR 2007, 2007, pp. 380-394.
    @inproceedings{gm:concur07,
      author = {Davide Grohmann and Marino Miculan},
      Booktitle = {Proc. CONCUR 2007},
      Editor = {Luis Caires and Vasco Vasconcelos},
      Isbn = {978-3-540-74406-1},
      Publisher = {Springer},
      Series = {Lecture Notes in Computer Science},
      Volume = 4703, Year = 2007, Pages = {380--394},
      Url = {/~marino.miculan/Papers/CONCUR07.pdf},
      Title = {Reactive Systems over Directed Bigraphs}
    }
  24. D. Grohmann and M. Miculan, "Directed bigraphs," in Proc. XXIII MFPS, 2007, pp. 121-137.
    @inproceedings{gm:mfps07,
      author = {Davide Grohmann and Marino Miculan},
      Booktitle = {Proc. XXIII MFPS},
      Pages = {121--137},
      Publisher = {Elsevier},
      Url = "/~marino.miculan/Papers/MFPS07.pdf", Series = Electronic Notes in Theoretical Computer Science, Title = {Directed bigraphs},
      Volume = 173, Year = 2007}
  25. A. Ciaffaglione, L. Liquori, and M. Miculan, "Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts," J. Autom. Reasoning, vol. 39, iss. 1, pp. 1-47, 2007.
    @article{CLM07,
      author = {Alberto Ciaffaglione and Luigi Liquori and Marino Miculan},
      Bibsource = {DBLP, http://dblp.uni-trier.de},
      Ee = {http://dx.doi.org/10.1007/s10817-006-9061-y},
      Journal = {J. Autom. Reasoning},
      Number = 1, Pages = {1-47},
      Url = {/~marino.miculan/Papers/JAR07.pdf},
      Title = {Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts},
      Volume = 39, Year = 2007}
  26. A. Bucalo, M. Hofmann, F. Honsell, M. Miculan, and I. Scagnetto, "Consistency of the Theory of Contexts," Journal of Functional Programming, vol. 16, iss. 3, pp. 327-395, 2006.
    @article{bhhms,
      author = {Anna Bucalo and Martin Hofmann and Furio Honsell and Marino Miculan and Ivan Scagnetto},
      Journal = {Journal of Functional Programming},
      Month = may, Number = 3, Pages = {327-395},
      Title = {Consistency of the Theory of Contexts},
      URL = "/~marino.miculan/Papers/JFP05.pdf", Volume = 16, Year = 2006}
  27. D. Grohmann and M. Miculan, "Directed bigraphs: theory and applications," Department of Mathematics and Computer Science, University of Udine, UDMI/12/2006/RR, 2006.
    @techreport{gm:tr06,
      author = {Davide Grohmann and Marino Miculan},
      Institution = {Department of Mathematics and Computer Science, University of Udine},
      Note = {Available at \url{http://www.dimi.uniud.it/miculan/Papers/}.},
      Number = {UDMI/12/2006/RR},
      Title = {Directed bigraphs: theory and applications},
      Url = "/~marino.miculan/Papers/UDMI122006.pdf", Year = 2006}
  28. M. Miculan and G. Bacci, "Modal logics for Brane Calculus," Dept. of Mathematics and Computer Science, Univ. of Udine, UDMI/08/2006/RR, 2006.
    @techreport{mb:mlbc06,
      author = {Marino Miculan and Giorgio Bacci},
      Institution = {Dept. of Mathematics and Computer Science, Univ. of Udine},
      Url = {/~marino.miculan/Papers/UDMI082006.pdf},
      Number = {UDMI/08/2006/RR},
      Title = {Modal logics for Brane Calculus},
      Year = 2006}
  29. F. Gadducci, M. Miculan, and U. Montanari, "On permutation algebras, (pre)sheaves and named sets," Higher-Order and Symbolic Computation, vol. 19, iss. 2-3, pp. 283-304, 2006.
    @article{gmm:hosc05,
      author = {Fabio Gadducci and Marino Miculan and Ugo Montanari},
      Journal = {Higher-Order and Symbolic Computation},
      Month = sep, Number = {2-3},
      Pages = {283-304},
      Title = {On permutation algebras, (pre)sheaves and named sets},
      Url = {/~marino.miculan/Papers/HOSC06.pdf},
      Volume = 19, Year = 2006}
  30. M. Miculan and G. Bacci, "Modal Logics for Brane Calculus," in Proc. CMSB, 2006, pp. 1-16.
    @inproceedings{mb:cmsb06,
      author = {Marino Miculan and Giorgio Bacci},
      Bibsource = {DBLP, http://dblp.uni-trier.de},
      Booktitle = {Proc. CMSB},
      Editor = {Corrado Priami},
      Isbn = {3-540-46166-3},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Volume = 4210, Pages = {1-16},
      Title = {Modal Logics for Brane Calculus},
      Url = "/~marino.miculan/Papers/MeCBIC10.pdf", Year = 2006}
  31. M. Miculan and K. Yemane, "A unifying model of variables and names," in Proc. FOSSACS’05, 2005, pp. 170-186.
    @inproceedings{my:fossacs05,
      author = {Marino Miculan and Kidane Yemane},
      Booktitle = {Proc. FOSSACS'05},
      Editor = {Vladimiro Sassone},
      Month = apr, Series = Lecture Notes in Computer Science, Volume = 3441, Year = 2005, Url = "/~marino.miculan/Papers/FOSSACS05.pdf", Pages = {170-186},
      Title = {A unifying model of variables and names}
    }
  32. M. Massarini, M. Miculan, and F. Sepic, "Implementazione di Memoria Distribuita su cluster CompactPCI," in Atti del Congresso AICA 2005, 2005.
    @inproceedings{mms:aica05,
      author = {Maja Massarini and Marino Miculan and Francesco Sepic},
      Booktitle = {Atti del Congresso AICA 2005},
      Organization = {AICA},
      Url = "/~marino.miculan/Papers/AICA05.pdf", Title = {Implementazione di Memoria Distribuita su cluster CompactPCI},
      Year = 2005}
  33. P. Di Gianantonio and M. Miculan, "Unifying Recursive and Co-recursive Definitions in Sheaf Categories," in Proc. FOSSACS’04, 2004, pp. 136-150.
    @inproceedings{dgm:fossacs04,
      author = {Di Gianantonio, Pietro and Marino Miculan},
      Booktitle = {Proc. FOSSACS'04},
      Editor = {Igor Walukiewicz},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Volume = 2987, Year = 2004, Pages = {136-150},
      Url = {/~marino.miculan/Papers/FOSSACS04.pdf},
      Title = {Unifying Recursive and Co-recursive Definitions in Sheaf Categories}
    }
  34. M. Miculan and K. Yemane, "A unifying model of variables and names," Dept. of Mathematics and Computer Science, Univ. of Udine, UDMI/15/2004/RR, 2004.
    @techreport{my:umvn-tr,
      author = {Marino Miculan and Kidane Yemane},
      Institution = {Dept. of Mathematics and Computer Science, Univ. of Udine},
      Url = "/~marino.miculan/Papers/UDMI152004.pdf", Number = {UDMI/15/2004/RR},
      Title = {A unifying model of variables and names},
      Year = 2004}
  35. R. Bruni, F. Honsell, M. Lenisa, and M. Miculan, "Modeling Fresh Names in π-calculus Using Abstractions," in Proc. CMCS’04, 2004.
    @inproceedings{bhlm:cmcs04,
      author = {Roberto Bruni and Furio Honsell and Marina Lenisa and Marino Miculan},
      Booktitle = {Proc. CMCS'04},
      Editor = {Jiri Adamek},
      Publisher = {Elsevier},
      Series = Electronic Notes in Theoretical Computer Science, Volume = 106, Year = 2004, Url = {/~marino.miculan/Papers/CMCS04.pdf},
      Title = {Modeling Fresh Names in π-calculus Using Abstractions},
      Year = 2004}
  36. Furio Honsell and Marina Lenisa and Marino Miculan, Proceedings of the Workshop of the COMETA Project on Computational MetamodelsElsevier, 2004.
    @proceedings{cometa03, Booktitle = {Proc. COMETA'03},
      Author = {Furio Honsell and Marina Lenisa and Marino Miculan},
      Publisher = {Elsevier},
      Series = {Electronic Notes in Theoretical Computer Science},
      Title = {Proceedings of the Workshop of the COMETA Project on Computational Metamodels},
      Volume = 104, Year = 2004}
  37. Furio Honsell and Marino Miculan and Alberto Momigliano, Mechanized Reasoning about Languages with Variable Binding, 2003.
    @proceedings{merlin03, Booktitle = {Proc. 2nd MERLIN},
      author = {Furio Honsell and Marino Miculan and Alberto Momigliano},
      Organization = {ACM},
      Series = {ACM Digital Library},
      Title = {Mechanized Reasoning about Languages with Variable Binding},
      Year = 2003}
  38. A. Ciaffaglione, L. Liquori, and M. Miculan, "Imperative Object-based Calculi in (Co)Inductive Type Theories," in Proc. LPAR, 2003, pp. 59-77.
    @inproceedings{clm:lpar03,
      author = {Alberto Ciaffaglione and Luigi Liquori and Marino Miculan},
      Bibsource = {DBLP, http://dblp.uni-trier.de},
      Booktitle = {Proc. LPAR},
      Editor = {Moshe Y. Vardi and Andrei Voronkov},
      Isbn = {3-540-20101-7},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Volume = 2850, Url = "/~marino.miculan/Papers/LPAR03.pdf", Year = 2003, Pages = {59--77},
      Title = {Imperative Object-based Calculi in (Co)Inductive Type Theories}
    }
  39. P. Di Gianantonio and M. Miculan, "A Unifying Approach to Recursive and Co-recursive Definitions," in Proc. TYPES’02, 2003, pp. 148-161.
    @inproceedings{dgm:types02,
      author = {Di Gianantonio, Pietro and Marino Miculan},
      Booktitle = {Proc. TYPES'02},
      Editor = {Herman Geuvers and Freek Wiedijk},
      Publisher = {Springer-Verlag},
      Series = Lecture Notes in Computer Science, Volume = 2646, Year = 2003, Url = "/~marino.miculan/Papers/TYPES02.pdf", Pages = {148--161},
      Title = {A Unifying Approach to Recursive and Co-recursive Definitions}
    }
  40. A. Ciaffaglione, L. Liquori, and M. Miculan, "Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax," in Proc. 2nd MERLIN, 2003.
    @inproceedings{clm:merlin03,
      author = {Alberto Ciaffaglione and Luigi Liquori and Marino Miculan},
      Booktitle = {Proc. 2nd MERLIN},
      Editor = {Furio Honsell and Marino Miculan and Alberto Momigliano},
      Organization = {ACM},
      Series = {ACM Digital Library},
      Title = {Mechanized Reasoning about Languages with Variable Binding},
      Year = 2003, Url = {/~marino.miculan/Papers/MERLIN03.pdf},
      Title = {Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax}
    }
  41. F. Gadducci, M. Miculan, and U. Montanari, "About permutation algebras and sheaves (and named sets, too!)," Department of Mathematics and Computer Science, University of Udine, UDMI/26/2003/RR, 2003.
    @techreport{gmm:tr03,
      author = {Fabio Gadducci and Marino Miculan and Ugo Montanari},
      Institution = {Department of Mathematics and Computer Science, University of Udine},
      Number = {UDMI/26/2003/RR},
      Url = "/~marino.miculan/Papers/UDMI262003.pdf", Title = {About permutation algebras and sheaves (and named sets, too!)},
      Year = 2003}
  42. M. Miculan and I. Scagnetto, "A Framework for Typed HOAS and Semantics," in Proc. PPDP’03, 2003, pp. 184-194.
    @inproceedings{ms:ppdp03,
      author = {Marino Miculan and Ivan Scagnetto},
      Booktitle = {Proc. PPDP'03},
      Editor = {Dale Miller},
      Publisher = {ACM Press},
      Year = 2003, Url = "/~marino.miculan/Papers/PPDP03.pdf", Pages = {184--194},
      Title = {A Framework for Typed {HOAS} and Semantics}
    }
  43. I. Scagnetto and M. Miculan, "Ambient Calculus and its Logic in the Calculus of Inductive Constructions," in Proc. Third International Workshop on Logical Frameworks and Meta-Languages (LFM’02), 2002.
    @inproceedings{sm02:ambients,
      author = {Ivan Scagnetto and Marino Miculan},
      Booktitle = {Proc. Third International Workshop on Logical Frameworks and Meta-Languages (LFM'02)},
      Editor = {Frank Pfenning},
      Publisher = {Elsevier},
      Series = Electronic Notes in Theoretical Computer Science, Title = {Ambient Calculus and its Logic in the Calculus of Inductive Constructions},
      Url = "/~marino.miculan/Papers/LFM02.pdf", Volume = {70.2},
      Year = {2002}
    }
  44. Marina Lenisa and Marino Miculan, Proceedings of TOSCA 2001 – Theory of Concurrency, Higher Order Languages and TypesElsevier, 2001.
    @proceedings{tosca01, Booktitle = {Proc. TOSCA'01},
      author = {Marina Lenisa and Marino Miculan},
      Publisher = {Elsevier},
      Series = {Electronic Notes in Theoretical Computer Science},
      Title = {Proceedings of TOSCA 2001 - Theory of Concurrency, Higher Order Languages and Types},
      Volume = 62, Year = 2001}
  45. Furio Honsell and Marino Miculan, Proceedings of FOSSACS 2001Springer-Verlag, 2001.
    @proceedings{fossacs01, Booktitle = {Proc. FOSSACS},
      Author = {Furio Honsell and Marino Miculan},
      Publisher = {Springer-Verlag},
      Series = {Lecture Notes in Computer Science},
      Title = {Proceedings of FOSSACS 2001},
      Volume = 2030, Year = 2001}
  46. F. Honsell, M. Miculan, and I. Scagnetto, "An axiomatic approach to metareasoning on systems in higher-order abstract syntax," in Proc. ICALP’01, 2001, pp. 963-978.
    @inproceedings{hms:icalp01,
      author = {Furio Honsell and Marino Miculan and Ivan Scagnetto},
      Booktitle = {Proc. ICALP'01},
      Pages = {963-978},
      URL = "/~marino.miculan/Papers/ICALP01.pdf", Publisher = {Springer-Verlag},
      Series = Lecture Notes in Computer Science, Title = {An axiomatic approach to metareasoning on systems in higher-order abstract syntax},
      Volume = 2076, Year = 2001}
  47. F. Honsell, M. Miculan, and I. Scagnetto, "π-calculus in (Co)Inductive Type Theory," Theoretical Computer Science, vol. 253, iss. 2, pp. 239-285, 2001.
    @article{hms:picic,
      author = {Furio Honsell and Marino Miculan and Ivan Scagnetto},
      Journal = {Theoretical Computer Science},
      Number = 2, Pages = {239-285},
      Title = {π-calculus in (Co)Inductive Type Theory},
      Url = {/~marino.miculan/Papers/TCS99.pdf},
      Volume = 253, Year = 2001}
  48. M. Miculan, "Developing (Meta)Theory of Lambda-calculus in the Theory of Contexts," in Proc. MERLIN 2001, 2001, pp. 1-22.
    @inproceedings{miculan:merlin01,
      author = {Marino Miculan},
      Booktitle = {Proc. MERLIN 2001},
      Editor = {Simon Ambler and Roy Crole and Alberto Momigliano},
      Publisher = {Elsevier},
      Series = Electronic Notes in Theoretical Computer Science, Url = "/~marino.miculan/Papers/MERLIN01.pdf", Volume = {58.1},
      Year = 2001, Pages = {1-22},
      Title = {Developing (Meta)Theory of Lambda-calculus in the Theory of Contexts}
    }
  49. F. Honsell, M. Miculan, and I. Scagnetto, "The Theory of Contexts for First-Order and Higher-Order Abstract Syntax," in Proc. TOSCA’01, 2001, pp. 111-130.
    @inproceedings{hms:lamtoc,
      author = {Furio Honsell and Marino Miculan and Ivan Scagnetto},
      Booktitle = {Proc. TOSCA'01},
      Publisher = {Elsevier},
      Series = {Electronic Notes in Theoretical Computer Science},
      Volume = 62, Year = 2001, Pages = {111-130},
      Url = {/~marino.miculan/Papers/TOSCA01a.pdf},
      Title = {The Theory of Contexts for First-Order and Higher-Order Abstract Syntax},
      Year = 2001}
  50. M. Miculan, "On the formalization of the modal µ-calculus in the Calculus of Inductive Constructions," Information and Computation, vol. 164, iss. 1, pp. 199-231, 2001.
    @article{mic:ic01,
      author = {Marino Miculan},
      Journal = {Information and Computation},
      Number = 1, Pages = {199-231},
      Title = {On the formalization of the modal µ-calculus in the Calculus of Inductive Constructions},
      Volume = 164, Url = {/~marino.miculan/Papers/IC01.pdf},
      Year = 2001}
  51. M. Miculan, "Formalizing a lazy substitution proof system for µ-calculus in the Calculus of Inductive Constructions," in Proc. ICALP’99, Praha, 1999.
    @inproceedings{miculan:icalp99, Address = {Praha},
      Author = {Marino Miculan},
      Booktitle = {Proc. ICALP'99},
      Organization = {EATCS},
      Publisher = {Springer-Verlag},
      Series = Lecture Notes in Computer Science, Url = "/~marino.miculan/Papers/ICALP99.pdf", Title = {Formalizing a lazy substitution proof system for µ-calculus in the Calculus of Inductive Constructions},
      Volume = 1644, Year = 1999}
  52. A. Avron, F. Honsell, M. Miculan, and C. Paravano, "Encoding Modal Logics in Logical Frameworks," Studia Logica, vol. 60, iss. 1, pp. 161-208, 1998.
    @article{ahmp:modals,
      author = {Arnon Avron and Furio Honsell and Marino Miculan and Cristian Paravano},
      Journal = {Studia Logica},
      Number = 1, Pages = {161--208},
      Title = {Encoding Modal Logics in {L}ogical {F}rameworks},
      Url = "/~marino.miculan/Papers/SL98.pdf", Volume = 60, Year = 1998}
  53. M. Miculan, "A Natural Deduction style proof system for propositional µ-calculus and its formalization in inductive type theories," in Proc. ICTCS’98, 1998.
    @inproceedings{mm:ictcs98,
      author = {Marino Miculan},
      Booktitle = {Proc. ICTCS'98},
      Url = "/~marino.miculan/Papers/ICTCS98.pdf", Publisher = {World Scientific},
      Title = {A Natural Deduction style proof system for propositional µ-calculus and its formalization in inductive type theories},
      Year = 1998}
  54. M. Miculan, "Encoding Logical Theories of Programs," PhD Thesis , Italy, 1997.
    @phdthesis{mik:eltop, Address = {Italy},
      Author = {Marino Miculan},
      Number = {TD-7/97},
      School = {Dipartimento di Informatica, Università di Pisa},
      Title = {Encoding Logical Theories of Programs},
      Url = "/~marino.miculan/Papers/thesis.pdf", Year = 1997}
  55. F. Honsell and M. Miculan, "A Natural Deduction Approach to Dynamic Logics," in Proc. TYPES’95, Turin, 1995, pp. 165-182.
    @inproceedings{hm:ndadl,
      author = {Furio Honsell and Marino Miculan},
      Address = {Turin},
      Booktitle = {Proc. TYPES'95},
      Editor = {Stefano Berardi and Mario Coppo},
      Publisher = {Springer-Verlag},
      Series = Lecture Notes in Computer Science, Volume = 1158, Year = 1995, Url = "/~marino.miculan/Papers/TYPES95.pdf", Pages = {165-182},
      Title = {A Natural Deduction Approach to Dynamic Logics}
    }
  56. M. Miculan and F. Gadducci, "Modal µ-Types for Processes," in Proc. 10th LICS, 1995, pp. 221-231.
    @inproceedings{mg:bat,
      author = {Marino Miculan and Fabio Gadducci},
      Booktitle = {Proc. 10th LICS},
      Editor = {Dexter Kozen},
      Publisher = {IEEE Computer Society Press},
      Year = 1995, Pages = {221--231},
      Url = {/~marino.miculan/Papers/LICS95.pdf},
      Title = {Modal µ-Types for Processes}
    }
  57. M. Miculan, "The Expressive Power of Structural Operational Semantics with Explicit Assumptions," in Proceedings of TYPES’93, 1994, pp. 292-320.
    @inproceedings{mik:enos,
      author = {Marino Miculan},
      Booktitle = {Proceedings of TYPES'93},
      Editor = {Henk Barendregt and Tobias Nipkow},
      Publisher = {Springer-Verlag},
      Series = Lecture Notes in Computer Science, Volume = 806, Year = 1994, Pages = {292-320},
      Url = {/~marino.miculan/Papers/TYPES93.pdf},
      Title = {The Expressive Power of Structural Operational Semantics with Explicit Assumptions}
    }