Publications

This page is generated automatically from this BibTeX file.
PDF files can be obtained by clicking on the red PDF icons .
Some papers have an associated webpage, with further informations (e.g. code, examples, etc.), which can be accessed by clicking on the green folder icon .
External pages (e.g. on arxiv or journals’ sites) are linked by the blue icons .

See also my pages on Google Scholar, on DBLP, and on Scopus.

  1. S. Fabbro and M. Miculan, "Synthesis of certified programs with effects using monads in Coq," in PreProc. TYPES’14, 2014. Go to document
    @InProceedings{fm:types14,
      author = {Sara Fabbro and Marino Miculan},
      title = {Synthesis of certified programs with effects using monads in {Coq}},
      booktitle = {PreProc. TYPES'14},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/TYPES14.pdf", year = 2014}
  2. A. Mansutti, M. Miculan, and M. Peressotti, "Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems," in Proc. DAIS 2014, 2014, pp. 201-208. Go to document
    @InProceedings{mmp:dais14,
      author = {Alessio Mansutti and Marino Miculan and Marco Peressotti},
      title = {Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/DAIS14.pdf", booktitle = {Proc. DAIS 2014},
      year = 2014, editor = {K. Magoutis and P. Pietzuch},
      number = 8460, series = Lecture Notes in Computer Science, pages = {201--208}
    }
  3. A. Bizjak, L. Birkedal, and M. Miculan, "A Model of Countable Nondeterminism in Guarded Type Theory," in Proc. RTA-TLCA, 2014. Go to document
    @InProceedings{bbm:tlca14,
      author = {Aleš Bizjak and Lars Birkedal and Marino Miculan},
      title = {A Model of Countable Nondeterminism in Guarded Type Theory},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/TLCA14.pdf", booktitle = {Proc. RTA-TLCA},
      year = 2014, volume = {?},
      series = Lecture Notes in Computer Science}
  4. M. Miculan and M. Peressotti, "GSOS for non-deterministic processes with quantitative aspects," in Proc. QAPL’14, 2014. Go to document
    @InProceedings{mp:qapl12,
      author = {Marino Miculan and Marco Peressotti},
      title = {GSOS for non-deterministic processes with quantitative aspects},
      booktitle = {Proc. QAPL'14},
      year = 2014, pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/QAPL14.pdf", volume = ?, series = {EPTCS}
    }
  5. M. Miculan and M. Peressotti, "Bigraphs Reloaded," Dept. of Mathematics and Computer Science, Univ. of Udine, UDMI/01/2013/RR, 2013. Go to document
    @techreport{mp:br-tr,
      author = {Marino Miculan and Marco Peressotti},
      Institution = {Dept. of Mathematics and Computer Science, Univ. of Udine},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/UDMI012013.pdf", Number = {UDMI/01/2013/RR},
      Title = {Bigraphs Reloaded},
      Year = 2013}
  6. M. Miculan and M. Peressotti, "Weak bisimulations for labelled transition systems weighted over semirings," CoRR, vol. abs/1310.4106, 2013. Go to paper page
    @article{mp:wblts-tr,
      author = {Marino Miculan and Marco Peressotti},
      title = {Weak bisimulations for labelled transition systems weighted over semirings},
      journal = {CoRR},
      volume = {abs/1310.4106},
      year = {2013},
      url = {http://arxiv.org/abs/1310.4106},
      bibsource = {DBLP, http://dblp.uni-trier.de}
    }
  7. M. Miculan and M. Paviotti, "Synthesis of distributed mobile programs using monadic types in Coq," in Proc. ITP’12, 2012. Go to document Additional infos
    @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, pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/ITP12.pdf", web = "http://sole.dimi.uniud.it/~marino.miculan/wordpress/downloads/erlang-coq-synthesizer", publisher = {Springer}
    }
  8. 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 Go to paper page
    @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", pdf = "http://arxiv.org/pdf/1211.4094v1", url = "http://dx.doi.org/10.4204/EPTCS.100.6", }
  9. G. Bacci and M. Miculan, "Measurable Stochastics for Brane Calculus," Theoretical Computer Science, vol. 431, pp. 117-136, 2012. Go to document Go to paper page
    @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", pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/TCS12.pdf", Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.tcs.2011.12.055}
    }
  10. G. Bacci and M. Miculan, "Structural operational semantics for continuous state probabilistic processes," in Proc. CMCS’12, 2012, pp. 71-90. Go to document
    @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, pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/CMCS12.pdf", volume = 7399, series = Lecture Notes in Computer Science, publisher = {Springer}
    }
  11. C. Maiero and M. Miculan, "Unobservable Intrusion Detection Based on Call Traces in Paravirtualized Systems," in Proc. SECRYPT, 2011. Go to document
    @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, pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/SECRYPT11.pdf},
      Title = {Unobservable Intrusion Detection Based on Call Traces in Paravirtualized Systems}
    }
  12. 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. Go to document Additional infos
    @inproceedings{mu:sofsem11,
      author = {Marino Miculan and Caterina Urban},
      Booktitle = {{SofSem} 2011, Proceedings of Student Research Forum},
      Pages = {99--116},
      Publisher = {OKAT},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/SOFSEM11.pdf", web = "http://sole.dimi.uniud.it/~marino.miculan/Papers/fbconnect.zip", Title = {Formal analysis of {Facebook Connect} Single Sign-On authentication protocol},
      Year = 2011}
  13. 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},
      Series = {EPTCS},
      Title = {Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice},
      Volume = 34, Year = 2010}
  14. 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. Go to document
    @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},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/GTVMT10.pdf", Volume = 10, Year = 2010, Bdsk-Url-1 = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/19}
    }
  15. G. Bacci and M. Miculan, "Measurable Stochastics for Brane Calculus," in Proc. MeCBIC, 2010, pp. 6-22. Go to document Go to paper page
    @inproceedings{DBLP:journals/corr/abs-1011-0488,
      author = {Giorgio Bacci and Marino Miculan},
      title = {Measurable Stochastics for Brane Calculus},
      year = 2010, pages = {6-22},
      url = {http://dx.doi.org/10.4204/EPTCS.40.2},
      editor = {Gabriel Ciobanu and Maciej Koutny},
      booktitle = {Proc. MeCBIC},
      series = {EPTCS},
      volume = 40, year = 2010, pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/MeCBIC10.pdf", }
  16. G. Bacci, D. Grohmann, and M. Miculan, "A framework for protein and membrane interactions," in Proc. MeCBIC’09, 2009. Go to document
    @inproceedings{bgm:biobeta,
      author = {Giorgio Bacci and Davide Grohmann and Marino Miculan},
      Booktitle = {Proc. MeCBIC'09},
      Editor = {Gabriel Ciobanu},
      Series = {EPTCS},
      Volume = 11, pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/MeCBIC09b.pdf", Title = {A framework for protein and membrane interactions},
      Year = 2009}
  17. G. Bacci, D. Grohmann, and M. Miculan, "DBtk: a Toolkit for Directed Bigraphs," in CALCO 2009 Conference Proceedings – Calco Tools, 2009. Go to document Go to paper page
    @inproceedings{bgm:dbtk,
      author = {Giorgio Bacci and Davide Grohmann and Marino Miculan},
      Booktitle = {CALCO 2009 Conference Proceedings - Calco Tools},
      url = {http://sole.dimi.uniud.it/~davide.grohmann/dbtk/},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Title = {DBtk: a Toolkit for Directed Bigraphs},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/CALCO09.pdf", Volume = 5728, Year = 2009}
  18. G. Bacci, D. Grohmann, and M. Miculan, "Bigraphical models for protein and membrane interactions," in Proc. MeCBIC’09, 2009. Go to document
    @inproceedings{bgm:biobig,
      author = {Giorgio Bacci and Davide Grohmann and Marino Miculan},
      PDF = "http://sole.dimi.uniud.it/~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}
  19. D. Grohmann and M. Miculan, "Deriving Barbed Bisimulations for Bigraphical Reactive Systems," in Proceedings of International Conference on Graph Transformation (ICGT-DS 2008), 2009. Go to document
    @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},
      pdf = "http://sole.dimi.uniud.it/~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}
    }
  20. T. Kahsai and M. Miculan, "Implementing Spi-Calculus Using Nominal Techniques," in Proc. Computability in Europe (CiE), 2008, pp. 294-305. Go to document
    @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},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/CIE08.pdf", Title = {Implementing Spi-Calculus Using Nominal Techniques},
      Year = 2008}
  21. 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. Go to document
    @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)},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/GTVMT08-long.pdf", Volume = 10, Year = 2008}
  22. 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. Go to document Go to paper page
    @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},
      pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/ACSD08.pdf},
      url = {https://sites.google.com/site/miomatteo/Home/picnic},
      Year = 2008}
  23. 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. Go to document
    @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},
      pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/DCM07.pdf},
      Volume = 192, Year = 2008}
  24. M. Miculan, "A categorical model of the Fusion calculus," in Proc. XXIV MFPS, 2008, pp. 275-293. Go to document
    @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},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/MFPS08.pdf", Volume = 218, Year = 2008}
  25. 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. Go to paper page
    @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, url = "http://dx.doi.org/10.1007/978-3-540-68103-8"}
  26. 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. Go to document
    @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},
      PDF = "http://sole.dimi.uniud.it/~marino.miculan/Papers/UDMI122006.pdf", Title = {Controlling resource access in Directed Bigraphs},
      Year = 2008}
  27. D. Grohmann and M. Miculan, "An Algebra for Directed Bigraphs," in Proceedings of TERMGRAPH 2007, 2008, pp. 49-63. Go to document
    @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, pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/TERMGRAPH07.pdf", Year = 2008}
  28. 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. Go to document
    @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},
      pdf = {http://sole.dimi.uniud.it/~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}
  29. D. Grohmann and M. Miculan, "Directed bigraphs," in Proc. XXIII MFPS, 2007, pp. 121-137. Go to document
    @inproceedings{gm:mfps07,
      author = {Davide Grohmann and Marino Miculan},
      Booktitle = {Proc. XXIII MFPS},
      Pages = {121--137},
      Publisher = {Elsevier},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/MFPS07.pdf", Series = Electronic Notes in Theoretical Computer Science, Title = {Directed bigraphs},
      Volume = 173, Year = 2007}
  30. D. Grohmann and M. Miculan, "Reactive Systems over Directed Bigraphs," in Proc. CONCUR 2007, 2007, pp. 380-394. Go to document
    @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},
      pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/CONCUR07.pdf},
      Title = {Reactive Systems over Directed Bigraphs}
    }
  31. D. Grohmann and M. Miculan, "Directed bigraphs: theory and applications," Department of Mathematics and Computer Science, University of Udine, UDMI/12/2006/RR, 2006. Go to document
    @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},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/UDMI122006.pdf", Year = 2006}
  32. 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. Go to document
    @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},
      pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/HOSC06.pdf},
      Volume = 19, Year = 2006}
  33. M. Miculan and G. Bacci, "Modal Logics for Brane Calculus," in Proc. CMSB, 2006, pp. 1-16. Go to document
    @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},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/MeCBIC10.pdf", Year = 2006}
  34. 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. Go to document
    @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},
      PDF = "http://sole.dimi.uniud.it/~marino.miculan/Papers/JFP05.pdf", Volume = 16, Year = 2006}
  35. M. Miculan and G. Bacci, "Modal logics for Brane Calculus," Dept. of Mathematics and Computer Science, Univ. of Udine, UDMI/08/2006/RR, 2006. Go to document
    @techreport{mb:mlbc06,
      author = {Marino Miculan and Giorgio Bacci},
      Institution = {Dept. of Mathematics and Computer Science, Univ. of Udine},
      pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/UDMI082006.pdf},
      Number = {UDMI/08/2006/RR},
      Title = {Modal logics for Brane Calculus},
      Year = 2006}
  36. M. Miculan and K. Yemane, "A unifying model of variables and names," in Proc. FOSSACS’05, 2005, pp. 170-186. Go to document
    @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, pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/FOSSACS05.pdf", Pages = {170-186},
      Title = {A unifying model of variables and names}
    }
  37. M. Massarini, M. Miculan, and F. Sepic, "Implementazione di Memoria Distribuita su cluster CompactPCI," in Atti del Congresso AICA 2005, 2005. Go to document
    @inproceedings{mms:aica05,
      author = {Maja Massarini and Marino Miculan and Francesco Sepic},
      Booktitle = {Atti del Congresso AICA 2005},
      Organization = {AICA},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/AICA05.pdf", Title = {Implementazione di Memoria Distribuita su cluster CompactPCI},
      Year = 2005}
  38. R. Bruni, F. Honsell, M. Lenisa, and M. Miculan, "Modeling Fresh Names in π-calculus Using Abstractions," in Proc. CMCS’04, 2004. Go to document
    @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, pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/CMCS04.pdf},
      Title = {Modeling Fresh Names in π-calculus Using Abstractions},
      Year = 2004}
  39. Furio Honsell and Marina Lenisa and Marino Miculan, Proceedings of the Workshop of the COMETA Project on Computational MetamodelsElsevier, 2004. Go to paper page
    @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},
      url = "http://www.sciencedirect.com/science/journal/15710661/104", Volume = 104, Year = 2004}
  40. P. Di Gianantonio and M. Miculan, "Unifying Recursive and Co-recursive Definitions in Sheaf Categories," in Proc. FOSSACS’04, 2004, pp. 136-150. Go to document
    @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},
      pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/FOSSACS04.pdf},
      Title = {Unifying Recursive and Co-recursive Definitions in Sheaf Categories}
    }
  41. Furio Honsell and Marino Miculan and Alberto Momigliano, Mechanized Reasoning about Languages with Variable Binding, 2003. Go to paper page
    @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, url = "http://dl.acm.org/citation.cfm?id=1088454"}
  42. A. Ciaffaglione, L. Liquori, and M. Miculan, "Imperative Object-based Calculi in (Co)Inductive Type Theories," in Proc. LPAR, 2003, pp. 59-77. Go to document
    @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, pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/LPAR03.pdf", Year = 2003, Pages = {59--77},
      Title = {Imperative Object-based Calculi in (Co)Inductive Type Theories}
    }
  43. A. Ciaffaglione, L. Liquori, and M. Miculan, "Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax," in Proc. 2nd MERLIN, 2003. Go to document
    @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, pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/MERLIN03.pdf},
      Title = {Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax}
    }
  44. P. Di Gianantonio and M. Miculan, "A Unifying Approach to Recursive and Co-recursive Definitions," in Proc. TYPES’02, 2003, pp. 148-161. Go to document
    @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, pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/TYPES02.pdf", Pages = {148--161},
      Title = {A Unifying Approach to Recursive and Co-recursive Definitions}
    }
  45. M. Miculan and I. Scagnetto, "A Framework for Typed HOAS and Semantics," in Proc. PPDP’03, 2003, pp. 184-194. Go to document
    @inproceedings{ms:ppdp03,
      author = {Marino Miculan and Ivan Scagnetto},
      Booktitle = {Proc. PPDP'03},
      Editor = {Dale Miller},
      Publisher = {ACM Press},
      Year = 2003, pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/PPDP03.pdf", Pages = {184--194},
      Title = {A Framework for Typed {HOAS} and Semantics}
    }
  46. 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. Go to document
    @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},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/UDMI262003.pdf", Title = {About permutation algebras and sheaves (and named sets, too!)},
      Year = 2003}
  47. 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. Go to document
    @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},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/LFM02.pdf", Volume = {70.2},
      Year = {2002}
    }
  48. M. Miculan, "Developing (Meta)Theory of Lambda-calculus in the Theory of Contexts," in Proc. MERLIN 2001, 2001, pp. 1-22. Go to document
    @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, pdf = "http://sole.dimi.uniud.it/~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, "π-calculus in (Co)Inductive Type Theory," Theoretical Computer Science, vol. 253, iss. 2, pp. 239-285, 2001. Go to document
    @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},
      pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/TCS99.pdf},
      Volume = 253, 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. Go to document
    @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, pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/IC01.pdf},
      Year = 2001}
  51. 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. Go to document
    @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},
      pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/TOSCA01a.pdf},
      Title = {The Theory of Contexts for First-Order and Higher-Order Abstract Syntax},
      Year = 2001}
  52. 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. Go to document
    @inproceedings{hms:icalp01,
      author = {Furio Honsell and Marino Miculan and Ivan Scagnetto},
      Booktitle = {Proc. ICALP'01},
      Pages = {963-978},
      PDF = "http://sole.dimi.uniud.it/~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}
  53. Furio Honsell and Marino Miculan, Proceedings of FOSSACS 2001Springer-Verlag, 2001. Go to paper page
    @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, url = "http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-41864-1"}
  54. Marina Lenisa and Marino Miculan, Proceedings of TOSCA 2001 – Theory of Concurrency, Higher Order Languages and TypesElsevier, 2001. Go to paper page
    @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, Url = "http://www.sciencedirect.com/science/journal/15710661/62"}
  55. M. Miculan, "Formalizing a lazy substitution proof system for $\mu$-calculus in the Calculus of Inductive Constructions," in Proc. ICALP’99, Praha, 1999. Go to document
    @inproceedings{miculan:icalp99, Address = {Praha},
      Author = {Marino Miculan},
      Booktitle = {Proc. ICALP'99},
      Organization = {EATCS},
      Publisher = {Springer-Verlag},
      Series = Lecture Notes in Computer Science, pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/ICALP99.pdf", Title = {Formalizing a lazy substitution proof system for $\mu$-calculus in the Calculus of Inductive Constructions},
      Volume = 1644, Year = 1999}
  56. 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. Go to document
    @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},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/SL98.pdf", Volume = 60, Year = 1998}
  57. M. Miculan, "A Natural Deduction style proof system for propositional µ-calculus and its formalization in inductive type theories," in Proc. ICTCS’98, 1998. Go to document
    @inproceedings{mm:ictcs98,
      author = {Marino Miculan},
      Booktitle = {Proc. ICTCS'98},
      pdf = "http://sole.dimi.uniud.it/~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}
  58. M. Miculan, "Encoding Logical Theories of Programs," PhD Thesis , Italy, 1997. Go to document
    @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},
      pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/thesis.pdf", Year = 1997}
  59. M. Miculan and F. Gadducci, "Modal µ-Types for Processes," in Proc. 10th LICS, 1995, pp. 221-231. Go to document
    @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},
      pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/LICS95.pdf},
      Title = {Modal µ-Types for Processes}
    }
  60. F. Honsell and M. Miculan, "A Natural Deduction Approach to Dynamic Logics," in Proc. TYPES’95, Turin, 1995, pp. 165-182. Go to document
    @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, pdf = "http://sole.dimi.uniud.it/~marino.miculan/Papers/TYPES95.pdf", Pages = {165-182},
      Title = {A Natural Deduction Approach to Dynamic Logics}
    }
  61. M. Miculan, "The Expressive Power of Structural Operational Semantics with Explicit Assumptions," in Proceedings of TYPES’93, 1994, pp. 292-320. Go to document
    @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},
      pdf = {http://sole.dimi.uniud.it/~marino.miculan/Papers/TYPES93.pdf},
      Title = {The Expressive Power of Structural Operational Semantics with Explicit Assumptions}
    }