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. T. Brengos, M. Miculan, and M. Peressotti, "Behavioural equivalences for coalgebras with unobservable moves," CoRR, vol. abs/1411.0090, 2014. Go to paper page
    @article{DBLP:journals/corr/BrengosMP14,
      author = {Tomasz Brengos and Marino Miculan and Marco Peressotti},
      Bibsource = {dblp computer science bibliography, http://dblp.org},
      Biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/BrengosMP14},
      Date-Added = {2015-01-15 11:16:02 +0000},
      Date-Modified = {2015-01-15 11:16:02 +0000},
      Journal = {CoRR},
      Timestamp = {Mon, 01 Dec 2014 14:32:13 +0100},
      Title = {Behavioural equivalences for coalgebras with unobservable moves},
      Url = {http://arxiv.org/abs/1411.0090},
      Volume = {abs/1411.0090},
      Year = {2014},
      Bdsk-Url-1 = {http://arxiv.org/abs/1411.0090}
    }
  2. M. Miculan and M. Peressotti, "GSOS for non-deterministic processes with quantitative aspects," in Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014., 2014, pp. 17-33. Go to paper page
    @inproceedings{DBLP:journals/corr/MiculanP14,
      author = {Marino Miculan and Marco Peressotti},
      Bibsource = {dblp computer science bibliography, http://dblp.org},
      Biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/MiculanP14},
      Booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2014, Grenoble, France, 12-13 April 2014.},
      Date-Added = {2015-01-15 11:04:40 +0000},
      Date-Modified = {2015-01-15 11:05:13 +0000},
      Doi = {10.4204/EPTCS.154.2},
      Editor = {Nathalie Bertrand and Luca Bortolussi},
      Pages = {17--33},
      Series = {EPTCS},
      Timestamp = {Tue, 01 Jul 2014 17:30:23 +0200},
      Title = {{GSOS} for non-deterministic processes with quantitative aspects},
      Url = {http://dx.doi.org/10.4204/EPTCS.154.2},
      Volume = {154},
      Year = {2014},
      Bdsk-Url-1 = {http://dx.doi.org/10.4204/EPTCS.154.2}
    }
  3. A. Mansutti, M. Miculan, and M. Peressotti, "Towards distributed bigraphical reactive systems," in Proc. GCM’14, 2014.
    @inproceedings{mmp:gcm14,
      author = {Alessio Mansutti and Marino Miculan and Marco Peressotti},
      Booktitle = {Proc. GCM'14},
      Date-Added = {2015-01-15 10:58:53 +0000},
      Date-Modified = {2015-01-15 11:55:14 +0000},
      Editor = {Rachid Echahed and Annegret Habel and Mohamed Mosbah},
      Publisher = {EPTCS},
      Title = {Towards distributed bigraphical reactive systems},
      Year = {2014}
    }
  4. 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},
      Booktitle = {PreProc. TYPES'14},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/TYPES14.pdf},
      Title = {Synthesis of certified programs with effects using monads in {Coq}},
      Year = 2014}
  5. M. Miculan and M. Peressotti, "A CSP implementation of the bigraph embedding problem," CoRR, vol. abs/1412.1042, 2014. Go to paper page
    @article{DBLP:journals/corr/MiculanP14b,
      author = {Marino Miculan and Marco Peressotti},
      Bibsource = {dblp computer science bibliography, http://dblp.org},
      Biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/MiculanP14b},
      Date-Added = {2015-01-15 10:49:57 +0000},
      Date-Modified = {2015-01-15 10:49:57 +0000},
      Journal = {CoRR},
      Timestamp = {Thu, 01 Jan 2015 19:51:08 +0100},
      Title = {A {CSP} implementation of the bigraph embedding problem},
      Url = {http://arxiv.org/abs/1412.1042},
      Volume = {abs/1412.1042},
      Year = {2014},
      Bdsk-Url-1 = {http://arxiv.org/abs/1412.1042}
    }
  6. 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},
      Booktitle = {Proc. DAIS 2014},
      Editor = {K. Magoutis and P. Pietzuch},
      Number = 8460, Pages = {201--208},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/DAIS14.pdf},
      Series = Lecture Notes in Computer Science, Title = {Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems},
      Year = 2014}
  7. M. Miculan, "Tutorial on Bigraphical Reactive Systems (slides)," in 1st International Workshop on Meta Models for Process Languages (MeMo), 2014. Go to document
    @inproceedings{miculan:memo14,
      author = {Marino Miculan},
      Booktitle = {1st International Workshop on Meta Models for Process Languages (MeMo)},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/MeMo14-tutorial.pdf},
      Title = {Tutorial on Bigraphical Reactive Systems (slides)},
      Year = 2014}
  8. A. Bizjak, L. Birkedal, and M. Miculan, "A Model of Countable Nondeterminism in Guarded Type Theory," in Proc. RTA-TLCA, 2014, pp. 108-123. Go to document
    @inproceedings{bbm:tlca14,
      author = {A. Bizjak and Lars Birkedal and Marino Miculan},
      Booktitle = {Proc. RTA-TLCA},
      Date-Modified = {2015-01-15 12:12:02 +0000},
      Editor = {Gilles Dowek},
      Pages = {108-123},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/TLCA14.pdf},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Title = {A Model of Countable Nondeterminism in Guarded Type Theory},
      Volume = {8560},
      Year = 2014}
  9. G. Bacci and M. Miculan, "Structural operational semantics for continuous state stochastic transition systems," Journal of Computer and System Sciences, 2014. Go to paper page
    @article{Bacci2014, Abstract = {Abstract In this paper we show how to model syntax and semantics of stochastic processes with continuous states, respectively as algebras and coalgebras of suitable endofunctors over the category of measurable spaces Meas. Moreover, we present an SOS-like rule format, called MGSOS, representing abstract \{GSOS\} over Meas, and yielding fully abstract universal semantics, for which behavioral equivalence is a congruence. An \{MGSOS\} specification defines how semantics of processes are composed by means of measure terms, which are expressions specifically designed for describing finite measures. The syntax of these measure terms, and their interpretation as measures, are part of the \{MGSOS\} specification. We give two example applications, with a simple and neat \{MGSOS\} specification: a ``quantitative CCS'', and a calculus of processes living in the plane R 2 whose communication rate depends on their distance. The approach we follow in these cases can be readily adapted to deal with other quantitative aspects. },
      Author = {Giorgio Bacci and Marino Miculan},
      Date-Added = {2015-01-15 10:14:19 +0000},
      Date-Modified = {2015-01-15 11:26:24 +0000},
      Doi = {http://dx.doi.org/10.1016/j.jcss.2014.12.003},
      Issn = {0022-0000},
      Journal = {Journal of Computer and System Sciences},
      Keywords = {Quantitative aspects},
      Title = {Structural operational semantics for continuous state stochastic transition systems},
      Url = {http://www.sciencedirect.com/science/article/pii/S0022000014001652},
      Year = {2014},
      Bdsk-Url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000014001652},
      Bdsk-Url-2 = {http://dx.doi.org/10.1016/j.jcss.2014.12.003}
    }
  10. G. Bacci, M. Miculan, and R. Rizzi, "Finding a Forest in a Tree — The matching problem for wide reactive systems," in Trustworthy Global Computing – 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers, 2014, pp. 17-33. Go to document
    @inproceedings{bmr:tgc14,
      author = {Giorgio Bacci and Marino Miculan and Romeo Rizzi},
      Booktitle = {Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
      Date-Modified = {2015-01-15 10:46:04 +0000},
      Editor = {M. Maffei and E. Tuosto},
      Pages = {17--33},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/TGC14.pdf},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Title = {Finding a Forest in a Tree --- The matching problem for wide reactive systems},
      Volume = {8902},
      Year = 2014}
  11. Barbara Re and Marino Miculan, MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-GovernmentItaly: Universitas Studiorum, 2014.
    @proceedings{rm:metteg14, Address = {Italy},
      Author = {Barbara Re and Marino Miculan},
      Booktitle = {Proc. MeTTeG14},
      Date-Modified = {2015-01-15 11:55:59 +0000},
      Editor = {Barbara Re and Marino Miculan},
      Publisher = {Universitas Studiorum},
      Title = {MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government},
      Year = 2014}
  12. 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},
      Bibsource = {DBLP, http://dblp.uni-trier.de},
      Journal = {CoRR},
      Title = {Weak bisimulations for labelled transition systems weighted over semirings},
      Url = {http://arxiv.org/abs/1310.4106},
      Volume = {abs/1310.4106},
      Year = {2013},
      Bdsk-Url-1 = {http://arxiv.org/abs/1310.4106}
    }
  13. 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},
      Number = {UDMI/01/2013/RR},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/UDMI012013.pdf},
      Title = {Bigraphs Reloaded},
      Year = 2013}
  14. 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},
      Booktitle = {Proc. CMCS'12},
      Pages = {71-90},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/CMCS12.pdf},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Title = {Structural operational semantics for continuous state probabilistic processes},
      Volume = 7399, Year = 2012}
  15. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/TCS12.pdf},
      Title = {Measurable Stochastics for {Brane Calculus}},
      Url = {http://dx.doi.org/10.1016/j.tcs.2011.12.055},
      Volume = 431, Year = 2012, Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.tcs.2011.12.055}
    }
  16. 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},
      Booktitle = {Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, Newcastle, UK, 8th September 2012},
      Doi = {10.4204/EPTCS.100.6},
      Editor = {Ciobanu, Gabriel},
      Pages = {82-100},
      Pdf = {http://arxiv.org/pdf/1211.4094v1},
      Publisher = {Open Publishing Association},
      Series = {Electronic Proceedings in Theoretical Computer Science},
      Title = {Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine},
      Url = {http://dx.doi.org/10.4204/EPTCS.100.6},
      Volume = {100},
      Year = {2012},
      Bdsk-Url-1 = {http://dx.doi.org/10.4204/EPTCS.100.6}
    }
  17. M. Miculan and M. Paviotti, "Synthesis of Distributed Mobile Programs Using Monadic Types in Coq," in Interactive Theorem Proving – Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings, 2012, pp. 183-200. Go to document Go to paper page Additional infos
    @inproceedings{mp:itp12,
      author = {Marino Miculan and Marco Paviotti},
      Bibsource = {dblp computer science bibliography, http://dblp.org},
      Biburl = {http://dblp.uni-trier.de/rec/bib/conf/itp/MiculanP12},
      Booktitle = {Interactive Theorem Proving - Third International Conference, {ITP} 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings},
      Date-Added = {2015-01-15 11:46:28 +0000},
      Date-Modified = {2015-01-15 11:48:54 +0000},
      Doi = {10.1007/978-3-642-32347-8_13},
      Editor = {Lennart Beringer and Amy P. Felty},
      Pages = {183--200},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/ITP12.pdf},
      Publisher = {Springer},
      Series = {Lecture Notes in Computer Science},
      Timestamp = {Tue, 14 Aug 2012 11:20:26 +0200},
      Title = {Synthesis of Distributed Mobile Programs Using Monadic Types in Coq},
      Url = {http://dx.doi.org/10.1007/978-3-642-32347-8_13},
      Volume = {7406},
      Web = {http://users.dimi.uniud.it/~marino.miculan/wordpress/downloads/erlang-coq-synthesizer},
      Year = {2012},
      Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-642-32347-8_13}
    }
  18. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/SOFSEM11.pdf},
      Publisher = {OKAT},
      Title = {Formal analysis of {Facebook Connect} Single Sign-On authentication protocol},
      Web = {http://users.dimi.uniud.it/~marino.miculan/Papers/fbconnect.zip},
      Year = 2011}
  19. 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},
      Bibsource = {DBLP, http://dblp.uni-trier.de},
      Booktitle = {Proc. SECRYPT},
      Editor = {Javier Lopez and Pierangela Samarati},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/SECRYPT11.pdf},
      Publisher = {SciTePress},
      Title = {Unobservable Intrusion Detection Based on Call Traces in Paravirtualized Systems},
      Year = 2011}
  20. Karl Crary and Marino Miculan, Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2010.
    @proceedings{lfmtp10,
      author = {Karl Crary and Marino Miculan},
      Bibsource = {DBLP, http://dblp.uni-trier.de},
      Booktitle = {Proc. LFMTP},
      Date-Modified = {2015-01-15 11:57:26 +0000},
      Editor = {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}
  21. 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}},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/GTVMT10.pdf},
      Publisher = {European Association of Software Science and Technology},
      Series = {Electronic Communications of the EASST},
      Title = {Graph Algebras for Bigraphs},
      Volume = 10, Year = 2010, Bdsk-Url-1 = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/19}
    }
  22. 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},
      Booktitle = {Proc. MeCBIC},
      Editor = {Gabriel Ciobanu and Maciej Koutny},
      Pages = {6-22},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/MeCBIC10.pdf},
      Series = {EPTCS},
      Title = {Measurable Stochastics for Brane Calculus},
      Url = {http://dx.doi.org/10.4204/EPTCS.40.2},
      Volume = 40, Year = 2010, Bdsk-Url-1 = {http://dx.doi.org/10.4204/EPTCS.40.2}
    }
  23. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/CALCO09.pdf},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Title = {DBtk: a Toolkit for Directed Bigraphs},
      Url = {http://users.dimi.uniud.it/~davide.grohmann/dbtk/},
      Volume = 5728, Year = 2009, Bdsk-Url-1 = {http://users.dimi.uniud.it/~davide.grohmann/dbtk/}
    }
  24. 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}},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/ICGT08-DS.pdf},
      Publisher = {European Association of Software Science and Technology},
      Series = {Electronic Communications of the EASST},
      Title = {Deriving Barbed Bisimulations for Bigraphical Reactive Systems},
      Volume = 16, Year = 2009, Bdsk-Url-1 = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/19}
    }
  25. 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},
      Booktitle = {Proc. MeCBIC'09},
      Editor = {Gabriel Ciobanu},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/MeCBIC09a.pdf},
      Series = {EPTCS},
      Title = {Bigraphical models for protein and membrane interactions},
      Volume = 11, Year = 2009}
  26. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/MeCBIC09b.pdf},
      Series = {EPTCS},
      Title = {A framework for protein and membrane interactions},
      Volume = 11, Year = 2009}
  27. D. Grohmann and M. Miculan, "An Algebra for Directed Bigraphs," Electronic Notes in Theoretical Computer Science, vol. 203, iss. 1, pp. 49-63, 2008. Go to document
    @article{gm:termgraph07,
      author = {Davide Grohmann and Marino Miculan},
      Booktitle = {Proceedings of TERMGRAPH 2007},
      Date-Modified = {2015-01-15 11:52:22 +0000},
      Doi = {10.1016/j.Electronic Notes in Theoretical Computer Science.2008.03.033},
      Editor = {Ian Mackie and Detlef Plump},
      Journal = {Electronic Notes in Theoretical Computer Science},
      Number = 1, Pages = {49--63},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/TERMGRAPH07.pdf},
      Publisher = {Elsevier},
      Title = {An Algebra for Directed Bigraphs},
      Volume = 203, Year = 2008, Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.Electronic Notes in Theoretical Computer Science.2008.03.033}
    }
  28. 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{\"o}we},
      Isbn = {978-3-540-69405-2},
      Pages = {294-305},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/CIE08.pdf},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Title = {Implementing Spi-Calculus Using Nominal Techniques},
      Volume = 5028, Year = 2008}
  29. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/GTVMT08-long.pdf},
      Publisher = {European Association of Software Science and Technology},
      Series = {Electronic Communications of the EASST},
      Title = {Controlling resource access in Directed Bigraphs (long version)},
      Volume = 10, Year = 2008}
  30. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/MFPS08.pdf},
      Publisher = {Elsevier},
      Series = Electronic Notes in Theoretical Computer Science, Title = {A categorical model of the {Fusion} calculus},
      Volume = 218, Year = 2008}
  31. G. Bacci and M. Miculan, "Undecidability of Model checking in Brane Logic," Electronic Notes in Theoretical Computer Science, vol. 192, iss. 3, 2008. Go to document
    @article{bm:dcm07,
      author = {Giorgio Bacci and Marino Miculan},
      Booktitle = {Proc. 3rd Int. Workshop on Development of Computational Models, DCM'07},
      Date-Modified = {2015-01-15 11:51:25 +0000},
      Journal = {Electronic Notes in Theoretical Computer Science},
      Number = 3, Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/DCM07.pdf},
      Publisher = {Elsevier},
      Title = {Undecidability of Model checking in Brane Logic},
      Volume = 192, Year = 2008}
  32. 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,
      author = {Marino Miculan and Ivan Scagnetto and Furio Honsell},
      Bibsource = {DBLP, http://dblp.uni-trier.de},
      Booktitle = {Proc. TYPES},
      Date-Modified = {2015-01-15 12:23:10 +0000},
      Editor = {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},
      Url = {http://dx.doi.org/10.1007/978-3-540-68103-8},
      Volume = 4941, Year = 2008, Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-540-68103-8}
    }
  33. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/ACSD08.pdf},
      Publisher = {IEEE},
      Title = {PicNIc -- Pi-calculus Non-Interference checker},
      Url = {https://sites.google.com/site/miomatteo/Home/picnic},
      Year = 2008, Bdsk-Url-1 = {https://sites.google.com/site/miomatteo/Home/picnic}
    }
  34. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/MFPS07.pdf},
      Publisher = {Elsevier},
      Series = Electronic Notes in Theoretical Computer Science, Title = {Directed bigraphs},
      Volume = 173, Year = 2007}
  35. 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},
      Pages = {380--394},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/CONCUR07.pdf},
      Publisher = {Springer},
      Series = {Lecture Notes in Computer Science},
      Title = {Reactive Systems over Directed Bigraphs},
      Volume = 4703, Year = 2007}
  36. 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://users.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}
  37. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/JFP05.pdf},
      Title = {Consistency of the Theory of Contexts},
      Volume = 16, Year = 2006}
  38. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/HOSC06.pdf},
      Title = {On permutation algebras, (pre)sheaves and named sets},
      Volume = 19, Year = 2006}
  39. 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},
      Pages = {1-16},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/MeCBIC10.pdf},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Title = {Modal Logics for Brane Calculus},
      Volume = 4210, Year = 2006}
  40. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/UDMI122006.pdf},
      Title = {Directed bigraphs: theory and applications},
      Year = 2006}
  41. 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://users.dimi.uniud.it/~marino.miculan/Papers/AICA05.pdf},
      Title = {Implementazione di Memoria Distribuita su cluster CompactPCI},
      Year = 2005}
  42. 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, Pages = {170-186},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/FOSSACS05.pdf},
      Series = Lecture Notes in Computer Science, Title = {A unifying model of variables and names},
      Volume = 3441, Year = 2005}
  43. 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,
      author = {Furio Honsell and Marina Lenisa and Marino Miculan},
      Booktitle = {Proc. COMETA'03},
      Date-Modified = {2015-01-15 12:24:17 +0000},
      Editor = {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, Bdsk-Url-1 = {http://www.sciencedirect.com/science/journal/15710661/104}
    }
  44. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/CMCS04.pdf},
      Publisher = {Elsevier},
      Series = Electronic Notes in Theoretical Computer Science, Title = {Modeling Fresh Names in π-calculus Using Abstractions},
      Volume = 106, Year = 2004}
  45. 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},
      Pages = {136-150},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/FOSSACS04.pdf},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Title = {Unifying Recursive and Co-recursive Definitions in Sheaf Categories},
      Volume = 2987, Year = 2004}
  46. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/MERLIN03.pdf},
      Series = {ACM Digital Library},
      Title = {Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax},
      Year = 2003}
  47. 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},
      Pages = {184--194},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/PPDP03.pdf},
      Publisher = {ACM Press},
      Title = {A Framework for Typed {HOAS} and Semantics},
      Year = 2003}
  48. Furio Honsell and Marino Miculan and Alberto Momigliano, Mechanized Reasoning about Languages with Variable Binding, 2003. Go to paper page
    @proceedings{merlin03,
      author = {Furio Honsell and Marino Miculan and Alberto Momigliano},
      Booktitle = {Proc. 2nd MERLIN},
      Date-Modified = {2015-01-15 12:24:08 +0000},
      Editor = {Furio Honsell and Marino Miculan and Alberto Momigliano},
      Organization = {ACM},
      Series = {ACM Digital Library},
      Title = {Mechanized Reasoning about Languages with Variable Binding},
      Url = {http://dl.acm.org/citation.cfm?id=1088454},
      Year = 2003, Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=1088454}
    }
  49. 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},
      Pages = {148--161},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/TYPES02.pdf},
      Publisher = {Springer-Verlag},
      Series = Lecture Notes in Computer Science, Title = {A Unifying Approach to Recursive and Co-recursive Definitions},
      Volume = 2646, Year = 2003}
  50. 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},
      Pages = {59--77},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/LPAR03.pdf},
      Publisher = {Springer},
      Series = Lecture Notes in Computer Science, Title = {Imperative Object-based Calculi in (Co)Inductive Type Theories},
      Volume = 2850, Year = 2003}
  51. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/LFM02.pdf},
      Publisher = {Elsevier},
      Series = Electronic Notes in Theoretical Computer Science, Title = {Ambient Calculus and its Logic in the Calculus of Inductive Constructions},
      Volume = {70.2},
      Year = {2002}
    }
  52. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/TCS99.pdf},
      Title = {π-calculus in (Co)Inductive Type Theory},
      Volume = 253, Year = 2001}
  53. 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},
      Date-Modified = {2015-01-15 11:37:48 +0000},
      Journal = {Information and Computation},
      Number = 1, Pages = {199-231},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/IC01.pdf},
      Title = {On the formalization of the modal µ-calculus in the Calculus of Inductive Constructions},
      Volume = 164, Year = 2001}
  54. Furio Honsell and Marino Miculan, Proceedings of FOSSACS 2001Springer-Verlag, 2001. Go to paper page
    @proceedings{fossacs01,
      author = {Furio Honsell and Marino Miculan},
      Booktitle = {Proc. FOSSACS},
      Date-Modified = {2015-01-15 12:24:50 +0000},
      Editor = {Furio Honsell and Marino Miculan},
      Publisher = {Springer-Verlag},
      Series = {Lecture Notes in Computer Science},
      Title = {Proceedings of FOSSACS 2001},
      Url = {http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-41864-1},
      Volume = 2030, Year = 2001, Bdsk-Url-1 = {http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-41864-1}
    }
  55. 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://users.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}
  56. 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},
      Pages = {111-130},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/TOSCA01a.pdf},
      Publisher = {Elsevier},
      Series = {Electronic Notes in Theoretical Computer Science},
      Title = {The Theory of Contexts for First-Order and Higher-Order Abstract Syntax},
      Volume = 62, Year = 2001}
  57. 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},
      Pages = {1-22},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/MERLIN01.pdf},
      Publisher = {Elsevier},
      Series = Electronic Notes in Theoretical Computer Science, Title = {Developing (Meta)Theory of Lambda-calculus in the Theory of Contexts},
      Volume = {58.1},
      Year = 2001}
  58. Marina Lenisa and Marino Miculan, Proceedings of TOSCA 2001 – Theory of Concurrency, Higher Order Languages and TypesElsevier, 2001. Go to paper page
    @proceedings{tosca01,
      author = {Marina Lenisa and Marino Miculan},
      Booktitle = {Proc. TOSCA'01},
      Date-Modified = {2015-01-15 12:24:38 +0000},
      Editor = {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},
      Url = {http://www.sciencedirect.com/science/journal/15710661/62},
      Volume = 62, Year = 2001, Bdsk-Url-1 = {http://www.sciencedirect.com/science/journal/15710661/62}
    }
  59. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/ICALP99.pdf},
      Publisher = {Springer-Verlag},
      Series = Lecture Notes in Computer Science, Title = {Formalizing a lazy substitution proof system for $\mu$-calculus in the Calculus of Inductive Constructions},
      Volume = 1644, Year = 1999}
  60. 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://users.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}
  61. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/SL98.pdf},
      Title = {Encoding Modal Logics in {L}ogical {F}rameworks},
      Volume = 60, Year = 1998}
  62. 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},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/thesis.pdf},
      School = {Dipartimento di Informatica, Universit{\`a} di Pisa},
      Title = {Encoding Logical Theories of Programs},
      Year = 1997}
  63. 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, Address = {Turin},
      Author = {Furio Honsell and Marino Miculan},
      Booktitle = {Proc. TYPES'95},
      Editor = {Stefano Berardi and Mario Coppo},
      Pages = {165-182},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/TYPES95.pdf},
      Publisher = {Springer-Verlag},
      Series = Lecture Notes in Computer Science, Title = {A Natural Deduction Approach to Dynamic Logics},
      Volume = 1158, Year = 1995}
  64. 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},
      Pages = {221--231},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/LICS95.pdf},
      Publisher = {IEEE Computer Society Press},
      Title = {Modal µ-Types for Processes},
      Year = 1995}
  65. 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},
      Pages = {292-320},
      Pdf = {http://users.dimi.uniud.it/~marino.miculan/Papers/TYPES93.pdf},
      Publisher = {Springer-Verlag},
      Series = Lecture Notes in Computer Science, Title = {The Expressive Power of Structural Operational Semantics with Explicit Assumptions},
      Volume = 806, Year = 1994}