publications

My publications, in reverse chronological order.

See also my pages on IRIS, Google Scholar, DBLP, Scopus, Orcid, ResearchGate, SemanticScholar, arxiv, MathSciNet.
My Erdős number is 3 (Erdős - Hell - Rizzi - Miculan).

Show: | | | | | | |

  1. Castelnovo, Davide ; Gadducci, Fabio ; Miculan, Marino: A simple criterion for 𝓜,𝓝-adhesivity. In: Theoretical Computer Science vols. 982 (2024), p. 114280
  2. Pasqua, Michele ; Miculan, Marino: Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems. In: Theoretical Computer Science vols. 998 (2024), p. 114537
  3. Voltan, Gabriele ; Foresti, Gian Luca ; Miculan, Marino: Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System. In: Proceedings of the Thematic Workshops co-located with the 3rd CINI National Lab AIIS Conference on Artificial Intelligence (Ital-IA 2023), CEUR Workshop Proceedings. vols. 3486 : CEUR-WS.org, 2023, pp. 409–414
  4. Foresti, Gian Luca ; De Nardin, Axel ; Fiorin, Alessio ; Miculan, Marino ; Piciarelli, Claudio: Exploiting maximum likelihood to improve network traffic deanonymization performances. In: Strategic Leadership Journal vols. 1 (2023), pp. 101–113 — ISBN 9791255150497
  5. Miculan, Marino ; Paier, Matteo: Assembling Coherent Network Topologies Using Round-Trip Graphs. In: Proceedings of the 24th Italian Conference on Theoretical Computer Science, ICTCS 2023, CEUR Workshop Proceedings. vols. 3587 : CEUR-WS.org, 2023, pp. 110–115
  6. Pasqua, Michele ; Miculan, Marino: AbU: A calculus for distributed event-driven programming with attribute-based interaction. In: Theoretical Computer Science vols. 958 (2023), p. 113841
  7. Miculan, Marino ; Vitacolonna, Nicola: Automated Verification of Telegram’s MTProto 2.0 in the Symbolic Model. In: Computers & Security (2023), p. 103072
  8. Bistarelli, Stefano ; Faloci, Francesco ; Mori, Paolo ; Taticchi, Carlo ; Miculan, Marino: Modeling Carne PRI supply chain with the *-Chain Platform. In: Mori, P. ; Visconti, I. ; Bistarelli, S. (eds.): Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023, CEUR Workshop Proceedings. vols. 3460 : CEUR-WS.org, 2023
  9. Altarui, Andrea ; Miculan, Marino ; Paier, Matteo: DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions. In: Buccafurri, F. ; Ferrari, E. ; Lax, G. (eds.): Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), Bari, Italy, May 2-5, 2023, CEUR Workshop Proceedings. vols. 3488 : CEUR-WS.org, 2023
  10. Stolze, Claude ; Miculan, Marino ; Di Gianantonio, Pietro: Composable partial multiparty session types for open systems. In: Software and Systems Modeling, Springer (2023), Nr. 22, pp. 473–494
  11. Bazzana, Lorenzo ; Miculan, Marino ; Codutti, Michele: CVE-2022-3203: ORing net IAP-420(+) Hidden Functionality.
  12. Castelnovo, Davide ; Miculan, Marino: Fuzzy Algebraic Theories. In: Manea, F. ; Simpson, A. (eds.): 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Leibniz International Proceedings in Informatics (LIPIcs). vols. 216. Dagstuhl, Germany : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022 — ISBN 978-3-95977-218-1, pp. 13:1–13:17
  13. Chiapperini, Alessio ; Miculan, Marino ; Peressotti, Marco: Computing (optimal) embeddings of directed bigraphs. In: Sci. Comput. Program. vols. 221 (2022), p. 102842
  14. Miculan, Marino ; Paier, Matteo: A Calculus for Subjective Communication. In: Dal Lago, U. ; Gorla, D. (eds.): Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022, CEUR Workshop Proceedings. vols. 3284 : CEUR-WS.org, 2022, pp. 148–160
  15. Pasqua, Michele ; Miculan, Marino: Distributed Programming of Smart Systems with Event-Condition-Action Rules. In: Dal Lago, U. ; Gorla, D. (eds.): Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022, CEUR Workshop Proceedings. vols. 3284 : CEUR-WS.org, 2022, pp. 201–206
  16. Castelnovo, Davide ; Gadducci, Fabio ; Miculan, Marino: A new criterion for M,N-adhesivity, with an application to hierarchical graphs. In: Proc. FoSSaCS, Lecture Notes in Computer Science. vols. 13242 : Springer, 2022, pp. 205–224
  17. Pasqua, Michele ; Comuzzo, Massimo ; Miculan, Marino: The AbU Language: IoT Distributed Programming Made Easy. In: IEEE Access vols. 10 (2022), pp. 132763–132776
  18. De Nardin, Axel ; Miculan, Marino ; Piciarelli, Claudio ; Foresti, Gian Luca: A time-series classification approach to shallow web traffic de-anonymization. In: Armando, A. ; Colajanni, M. (eds.): Proceedings of the Fifth Italian Conference on Cyber Security, ITASEC 2021. vols. 2940 : CEUR-WS, 2021, pp. 156–165
  19. Pasqua, Michele ; Miculan, Marino: On the Security and Safety of AbU Systems. In: Calinescu, R. ; Pasareanu, C. S. (eds.): Software Engineering and Formal Methods (SEFM 2021). vols. 13085 : Springer, 2021 — ISBN 978-3-030-92124-8, pp. 178–198
  20. Stolze, Claude ; Miculan, Marino ; Di Gianantonio, Pietro: Composable Partial Multiparty Session Types. In: FACS 2021 Conference Proceedings, Lecture Notes in Computer Science. vols. 13077 : Springer, 2021
  21. Castelnovo, Davide ; Miculan, Marino: Closure Hyperdoctrines. In: CALCO 2021 Conference Proceedings, LIPIcs. vols. 211 : Dagstuhl, 2021
  22. Miculan, Marino ; Pasqua, Michele: A Calculus for Attribute-based Memory Updates. In: Cerone, A. ; Ölveczky, P. (eds.): Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, Lecture Notes in Computer Science. vols. 12819 : Springer, 2021
  23. Miculan, Marino ; Vitacolonna, Nicola: Automated Symbolic Verification of Telegram’s MTProto 2.0. In: Vimercati, S. De Capitani di ; Samarati, P. (eds.): Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021 : SciTePress, 2021. — Best Paper Award — ISBN 978-989-758-524-1, pp. 185–197
  24. Miculan, Marino ; Tosone, Daniel: Securing the Art Market with Distributed Public Ledgers. In: Chiaraluce, F. ; Mostarda, L. (eds.): Proceedings of the 3rd Distributed Ledger Technology Workshop (DLT 2020), CEUR Workshop Proceedings. vols. 2580 : CEUR-WS.org, 2020
  25. Burco, Fabio ; Miculan, Marino ; Peressotti, Marco: Towards a Formal Model for Composable Container Systems. In: Proceedings of the 35th Annual ACM Symposium on Applied Computing, SAC ’20 : ACM, 2020 — ISBN 9781450368667
  26. Castelnovo, Davide ; Miculan, Marino: Closure hyperdoctrines, with paths. CoRR, abs/2007.04213.
  27. Chiapperini, Alessio ; Miculan, Marino ; Peressotti, Marco: Computing Embeddings of Directed Bigraphs. In: Gadducci, F. ; Kehrer, T. (eds.): Graph Transformation - 13th International Conference, ICGT 2020, Lecture Notes in Computer Science. vols. 12150 : Springer, 2020, pp. 38–56
  28. Bernardo, Marco ; Miculan, Marino: Constructive logical characterizations of bisimilarity for reactive probabilistic systems. In: Theor. Comput. Sci. vols. 764 (2019), pp. 80–99
  29. Miculan, Marino ; Foresti, Gian Luca ; Piciarelli, Claudio: Towards User Recognition by Shallow Web Traffic Inspection. In: Degano, P. ; Zunino, R. (eds.): Proceedings of the Third Italian Conference on Cyber Security, Pisa, Italy, February 13-15, 2019, CEUR Workshop Proceedings. vols. 2315 : CEUR-WS.org, 2019
  30. Geatti, Luca ; Igne, Federico ; Miculan, Marino: An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. In: Cherubini, A. ; Sabadini, N. ; Tini, S. (eds.): Proc. 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, CEUR Workshop Proceedings. vols. 2504 : CEUR-WS.org, 2019, pp. 171–183
  31. Hildebrandt, Thomas ; Miculan, Marino: First and Second International Workshops on Meta Models for Process Languages (MeMo), Selected Papers, Journal of Logical and Algebraic Methods in Programming. vols. 95, 2018
  32. Mansutti, Alessio ; Miculan, Marino: Deciding Hedged Bisimilarity. In: Proceedings of ICTCS 2018, CEUR Workshop Proceedings. vols. 2243 : CEUR, 2018, pp. 218–229
  33. Mansutti, Alessio ; Miculan, Marino ; Peressotti, Marco: Loose Graph Simulations. In: Seidl, M. ; Zschaler, S. (eds.): Software Technologies: Applications and Foundations : Springer, 2018 — ISBN 978-3-319-74730-9, pp. 109–126
  34. Miculan, Marino ; Peressotti, Marco: Deciding Weak Weighted Bisimulation. In: Proceedings of ICTCS 2017, CEUR-WS. vols. 1849, 2017, pp. 126–137
  35. Miculan, Marino ; Peressotti, Marco: Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation.
  36. Miculan, M. ; Rabe, F. (eds.): LFMTP ’17: Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : ACM, 2017 — ISBN 978-1-4503-5374-8
  37. Bernardo, Marco ; Miculan, Marino: Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. In: Proceedings of ICTCS 2016, CEUR-WS. vols. 1720, 2016, pp. 203–220
  38. Re, B. ; Miculan, M. (eds.): Special Issue on Methodologies, Technologies and Tools Enabling e-Government, International Journal of Electronic Governance. vols. 8, 2016
  39. Miculan, Marino ; Peressotti, Marco: Structural operational semantics for non-deterministic processes with quantitative aspects. In: Theoretical Computer Science vols. 655 (2016), pp. 135–154
  40. Miculan, Marino ; Peressotti, Marco: A Specification of Open Transactional Memory for Haskell. In: CoRR vols. abs/1602.05365 (2016)
  41. Miculan, Marino ; Peressotti, Marco: On the bisimulation hierarchy of state-to-function transition systems. In: Proceedings of ICTCS 2016, CEUR-WS. vols. 1720, 2016, pp. 88–102
  42. Miculan, Marino ; Miculan, M. (ed.): PreProceedings of the 2nd International Workshop on Meta Models for Process Languages (MeMo 2015). Grenoble, France, 2015
  43. Mansutti, Alessio ; Miculan, Marino ; Peressotti, Marco: Distributed execution of bigraphical reactive systems. In: ECEASST vols. 71 (2015)
  44. Bacci, Giorgio ; Miculan, Marino: Structural operational semantics for continuous state stochastic transition systems. In: Journal of Computer and System Sciences vols. 81 (2015), pp. 834–858
  45. Brengos, Tomasz ; Miculan, Marino ; Peressotti, Marco: Behavioural equivalences for coalgebras with unobservable moves . In: Journal of Logical and Algebraic Methods in Programming vols. 84 (2015), Nr. 6, pp. 826–852
  46. Miculan, Marino ; Peressotti, Marco ; Toneguzzo, Andrea: Open Transactions on Shared Memory. In: Holvoet, T. ; Viroli, M. (eds.): Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, Lecture Notes in Computer Science. vols. 9037 : Springer, 2015, pp. 213–229
  47. Miculan, Marino: Tutorial on Bigraphical Reactive Systems (slides). In: 1st International Workshop on Meta Models for Process Languages (MeMo), 2014
  48. Bacci, Giorgio ; Miculan, Marino ; Rizzi, Romeo: Finding a Forest in a Tree — The matching problem for wide reactive systems. In: Maffei, M. ; Tuosto, E. (eds.): Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers, Lecture Notes in Computer Science. vols. 8902 : Springer, 2014, pp. 17–33
  49. Re, Barbara ; Miculan, Marino ; Re, B. ; Miculan, M. (eds.): MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government. Italy : Universitas Studiorum, 2014
  50. Bizjak, A. ; Birkedal, Lars ; Miculan, Marino: A Model of Countable Nondeterminism in Guarded Type Theory. In: Dowek, G. (ed.): Proc. RTA-TLCA, Lecture Notes in Computer Science. vols. 8560 : Springer, 2014, pp. 108–123
  51. Miculan, Marino ; Peressotti, Marco: GSOS for non-deterministic processes with quantitative aspects. In: Bertrand, N. ; Bortolussi, L. (eds.): Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014., EPTCS. vols. 154, 2014, pp. 17–33
  52. Mansutti, Alessio ; Miculan, Marino ; Peressotti, Marco: Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. In: Magoutis, K. ; Pietzuch, P. (eds.): Proc. DAIS 2014, Lecture Notes in Computer Science, 2014, pp. 201–208
  53. Miculan, Marino ; Peressotti, Marco: Bigraphs Reloaded ( Nr. UDMI/01/2013/RR) : Dept. of Mathematics and Computer Science, Univ. of Udine, 2013
  54. Miculan, Marino ; Peressotti, Marco: Weak bisimulations for labelled transition systems weighted over semirings. CoRR, abs/1310.4106.
  55. Miculan, Marino ; Sambarino, Ilaria: Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine. In: Ciobanu, G. (ed.): Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, Newcastle, UK, 8th September 2012, Electronic Proceedings in Theoretical Computer Science. vols. 100 : Open Publishing Association, 2012, pp. 82–100
  56. Miculan, Marino ; Paviotti, Marco: Synthesis of Distributed Mobile Programs Using Monadic Types in Coq. In: Beringer, L. ; Felty, A. P. (eds.): Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings, Lecture Notes in Computer Science. vols. 7406 : Springer, 2012, pp. 183–200
  57. Bacci, Giorgio ; Miculan, Marino: Measurable Stochastics for Brane Calculus. In: Theoretical Computer Science vols. 431 (2012), pp. 117–136
  58. Bacci, Giorgio ; Miculan, Marino: Structural operational semantics for continuous state probabilistic processes. In: Proc. CMCS’12, Lecture Notes in Computer Science. vols. 7399 : Springer, 2012, pp. 71–90
  59. Maiero, Carlo ; Miculan, Marino: Unobservable Intrusion Detection Based on Call Traces in Paravirtualized Systems. In: Lopez, J. ; Samarati, P. (eds.): Proc. SECRYPT : SciTePress, 2011
  60. Miculan, Marino ; Urban, Caterina: Formal analysis of Facebook Connect Single Sign-On authentication protocol. In: SofSem 2011, Proceedings of Student Research Forum : OKAT, 2011. — Best Poster Award, pp. 99–116
  61. Bacci, Giorgio ; Miculan, Marino: Measurable Stochastics for Brane Calculus. In: Ciobanu, G. ; Koutny, M. (eds.): Proc. MeCBIC, EPTCS. vols. 40, 2010, pp. 6–22
  62. Grohmann, Davide ; Miculan, Marino: Graph Algebras for Bigraphs. In: C. Ermel, J. de L. ; Heckel, R. (eds.): Proc. 9th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’10), Electronic Communications of the EASST. vols. 10 : European Association of Software Science and Technology, 2010
  63. Crary, Karl ; Miculan, Marino ; Crary, K. ; Miculan, M. (eds.): Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, EPTCS. vols. 34, 2010
  64. Bacci, Giorgio ; Grohmann, Davide ; Miculan, Marino: A framework for protein and membrane interactions. In: Ciobanu, G. (ed.): Proc. MeCBIC’09, EPTCS. vols. 11, 2009
  65. Bacci, Giorgio ; Grohmann, Davide ; Miculan, Marino: Bigraphical models for protein and membrane interactions. In: Ciobanu, G. (ed.): Proc. MeCBIC’09, EPTCS. vols. 11, 2009
  66. Bacci, Giorgio ; Grohmann, Davide ; Miculan, Marino: DBtk: a Toolkit for Directed Bigraphs. In: CALCO 2009 Conference Proceedings - Calco Tools, Lecture Notes in Computer Science. vols. 5728 : Springer, 2009
  67. Grohmann, Davide ; Miculan, Marino: Deriving Barbed Bisimulations for Bigraphical Reactive Systems. In: Corradini, A. ; Tuosto, E. (eds.): Proceedings of International Conference on Graph Transformation (ICGT-DS 2008), Electronic Communications of the EASST. vols. 16 : European Association of Software Science and Technology, 2009
  68. Miculan, Marino: A categorical model of the Fusion calculus. In: Proc. XXIV MFPS, Electronic Notes in Theoretical Computer Science. vols. 218 : Elsevier, 2008, pp. 275–293
  69. Grohmann, Davide ; Miculan, Marino: An Algebra for Directed Bigraphs. In: Mackie, I. ; Plump, D. (eds.) Proceedings of TERMGRAPH 2007 vols. 203, Elsevier (2008), Nr. 1, pp. 49–63
  70. Grohmann, Davide ; Miculan, Marino: Controlling resource access in Directed Bigraphs (long version). In: C. Ermel, J. de L. ; Heckel, R. (eds.): Proc. 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’08), Electronic Communications of the EASST. vols. 10 : European Association of Software Science and Technology, 2008
  71. Kahsai, Temesghen ; Miculan, Marino: Implementing Spi-Calculus Using Nominal Techniques. In: Beckmann, A. ; Dimitracopoulos, C. ; Löwe, B. (eds.): Proc. Computability in Europe (CiE), Lecture Notes in Computer Science. vols. 5028 : Springer, 2008 — ISBN 978-3-540-69405-2, pp. 294–305
  72. Bacci, Giorgio ; Miculan, Marino: Undecidability of Model checking in Brane Logic. In: Proc. 3rd Int. Workshop on Development of Computational Models, DCM’07 vols. 192, Elsevier (2008), Nr. 3
  73. Crafa, Silvia ; Mio, Matteo ; Miculan, Marino ; Piazza, Carla ; Rossi, Sabina: PicNIc – Pi-calculus Non-Interference checker. In: Billington, J. ; Duan, Z. ; Koutny, M. (eds.): Proc. ACSD’08 : IEEE, 2008, pp. 33–38
  74. Miculan, Marino ; Scagnetto, Ivan ; Honsell, Furio ; Miculan, M. ; Scagnetto, I. ; Honsell, F. (eds.): Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, Lecture Notes in Computer Science. vols. 4941 : Springer, 2008 — ISBN 978-3-540-68084-0
  75. Ciaffaglione, Alberto ; Liquori, Luigi ; Miculan, Marino: Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. In: J. Autom. Reasoning vols. 39 (2007), Nr. 1, pp. 1–47
  76. Grohmann, Davide ; Miculan, Marino: Directed bigraphs. In: Proc. XXIII MFPS, Electronic Notes in Theoretical Computer Science. vols. 173 : Elsevier, 2007, pp. 121–137
  77. Grohmann, Davide ; Miculan, Marino: Reactive Systems over Directed Bigraphs. In: Caires, L. ; Vasconcelos, V. (eds.): Proc. CONCUR 2007, Lecture Notes in Computer Science. vols. 4703 : Springer, 2007 — ISBN 978-3-540-74406-1, pp. 380–394
  78. Gadducci, Fabio ; Miculan, Marino ; Montanari, Ugo: On permutation algebras, (pre)sheaves and named sets. In: Higher-Order and Symbolic Computation vols. 19 (2006), Nr. 2-3, pp. 283–304
  79. Miculan, Marino ; Bacci, Giorgio: Modal Logics for Brane Calculus. In: Priami, C. (ed.): Proc. CMSB, Lecture Notes in Computer Science. vols. 4210 : Springer, 2006 — ISBN 3-540-46166-3, pp. 1–16
  80. Bucalo, Anna ; Hofmann, Martin ; Honsell, Furio ; Miculan, Marino ; Scagnetto, Ivan: Consistency of the Theory of Contexts. In: Journal of Functional Programming vols. 16 (2006), Nr. 3, pp. 327–395
  81. Grohmann, Davide ; Miculan, Marino: Directed bigraphs: theory and applications ( Nr. UDMI/12/2006/RR) : Department of Mathematics and Computer Science, University of Udine, 2006
  82. Miculan, Marino ; Yemane, Kidane: A Unifying Model of Variables and Names. In: Sassone, V. (ed.): Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Proceedings, Lecture Notes in Computer Science. vols. 3441 : Springer, 2005, pp. 170–186
  83. Massarini, Maja ; Miculan, Marino ; Sepic, Francesco: Implementazione di Memoria Distribuita su cluster CompactPCI. In: Atti del Congresso AICA 2005 : AICA, 2005
  84. Bruni, Roberto ; Honsell, Furio ; Lenisa, Marina ; Miculan, Marino: Modeling Fresh Names in π-calculus Using Abstractions. In: Adamek, J. (ed.): Proc. CMCS’04, Electronic Notes in Theoretical Computer Science. vols. 106 : Elsevier, 2004
  85. Honsell, Furio ; Lenisa, Marina ; Miculan, Marino ; Honsell, F. ; Lenisa, M. ; Miculan, M. (eds.): Proceedings of the Workshop of the COMETA Project on Computational Metamodels, ENTCS. vols. 104 : Elsevier, 2004
  86. Di Gianantonio, Pietro ; Miculan, Marino: Unifying Recursive and Co-recursive Definitions in Sheaf Categories. In: Walukiewicz, I. (ed.): Proc. FOSSACS’04, Lecture Notes in Computer Science. vols. 2987 : Springer, 2004, pp. 136–150
  87. Honsell, Furio ; Miculan, Marino ; Momigliano, Alberto ; Honsell, F. ; Miculan, M. ; Momigliano, A. (eds.): Mechanized Reasoning about Languages with Variable Binding, ACM Digital Library : ACM, 2003
  88. Ciaffaglione, Alberto ; Liquori, Luigi ; Miculan, Marino: Imperative Object-based Calculi in (Co)Inductive Type Theories. In: Vardi, M. Y. ; Voronkov, A. (eds.): Proc. LPAR, Lecture Notes in Computer Science. vols. 2850 : Springer, 2003 — ISBN 3-540-20101-7, pp. 59–77
  89. Honsell, Furio ; Miculan, Marino: Foundations of Software Science and Computation Structures (FOSSACS 2001), Selected Papers, Theoretical Computer Science. vols. 298, 2003
  90. Di Gianantonio, Pietro ; Miculan, Marino: A Unifying Approach to Recursive and Co-recursive Definitions. In: Geuvers, H. ; Wiedijk, F. (eds.): Proc. TYPES’02, Lecture Notes in Computer Science. vols. 2646 : Springer-Verlag, 2003, pp. 148–161
  91. Miculan, Marino ; Scagnetto, Ivan: A Framework for Typed HOAS and Semantics. In: Miller, D. (ed.): Proc. PPDP’03 : ACM Press, 2003, pp. 184–194
  92. Ciaffaglione, Alberto ; Liquori, Luigi ; Miculan, Marino: Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax. In: Honsell, F. ; Miculan, M. ; Momigliano, A. (eds.): Proc. 2nd MERLIN, ACM Digital Library : ACM, 2003
  93. Bruni, Roberto ; Honsell, Furio ; Lenisa, Marina ; Miculan, Marino: Comparing higher-order encodings in logical frameworks and tile logic. In: Electronic Notes in Theoretical Computer Science vols. 62, Elsevier (2002), pp. 136–156
  94. Scagnetto, Ivan ; Miculan, Marino: Ambient Calculus and its Logic in the Calculus of Inductive Constructions. In: Pfenning, F. (ed.): Proc. Third International Workshop on Logical Frameworks and Meta-Languages (LFM’02), Electronic Notes in Theoretical Computer Science. vols. 70.2 : Elsevier, 2002
  95. Miculan, Marino: Developing (Meta)Theory of Lambda-calculus in the Theory of Contexts. In: Ambler, S. ; Crole, R. ; Momigliano, A. (eds.): Proc. MERLIN 2001, Electronic Notes in Theoretical Computer Science. vols. 58.1 : Elsevier, 2001, pp. 1–22
  96. Honsell, Furio ; Miculan, Marino ; Scagnetto, Ivan: An axiomatic approach to metareasoning on systems in higher-order abstract syntax. In: Proc. ICALP’01, Lecture Notes in Computer Science. vols. 2076 : Springer-Verlag, 2001, pp. 963–978
  97. Miculan, Marino: On the formalization of the modal µ-calculus in the Calculus of Inductive Constructions. In: Information and Computation vols. 164 (2001), Nr. 1, pp. 199–231
  98. Honsell, Furio ; Miculan, Marino ; Scagnetto, Ivan: π-calculus in (Co)Inductive Type Theory. In: Theoretical Computer Science vols. 253 (2001), Nr. 2, pp. 239–285
  99. Honsell, Furio ; Miculan, Marino ; Honsell, F. ; Miculan, M. (eds.): Proceedings of FOSSACS 2001, LNCS. vols. 2030 : Springer-Verlag, 2001
  100. Lenisa, Marina ; Miculan, Marino ; Lenisa, M. ; Miculan, M. (eds.): Proceedings of TOSCA 2001 - Theory of Concurrency, Higher Order Languages and Types, ENTCS. vols. 62 : Elsevier, 2001
  101. Honsell, Furio ; Miculan, Marino ; Scagnetto, Ivan: The Theory of Contexts for First-Order and Higher-Order Abstract Syntax. In: Proc. TOSCA’01, ENTCS. vols. 62 : Elsevier, 2001, pp. 111–130
  102. Cerrato, Simona ; Asnicar, Fabio ; Dall’Aglio, Paolo ; Felice, Amanda de ; Di Fant, Massimo ; Mizzaro, Marco ; Nesti, Fabrizio ; Candusso, Maria ; et al.: The Journal of High Energy Physics: Scientific Publishing on the Web. In: De Bra, P. ; Leggett, J. J. (eds.): Proceedings of WebNet 99 - World Conference on the WWW and Internet, Honolulu, Hawaii, USA, October 24-30, 1999 : AACE, 1999, pp. 1482–1483
  103. Miculan, Marino: Formalizing a lazy substitution proof system for µ-calculus in the Calculus of Inductive Constructions. In: Proc. ICALP’99, Lecture Notes in Computer Science. vols. 1644. Praha : Springer-Verlag, 1999
  104. Miculan, Marino: A Natural Deduction style proof system for propositional µ-calculus and its formalization in inductive type theories. In: Proc. ICTCS’98 : World Scientific, 1998
  105. Avron, Arnon ; Honsell, Furio ; Miculan, Marino ; Paravano, Cristian: Encoding Modal Logics in Logical Frameworks. In: Studia Logica vols. 60 (1998), Nr. 1, pp. 161–208
  106. Miculan, Marino: Encoding Logical Theories of Programs. Italy, Dipartimento di Informatica, Università di Pisa, 1997
  107. Honsell, Furio ; Miculan, Marino: A Natural Deduction Approach to Dynamic Logic. In: Berardi, S. ; Coppo, M. (eds.): Types for Proofs and Programs, International Workshop TYPES’95, Selected Papers, Lecture Notes in Computer Science. vols. 1158 : Springer, 1995, pp. 165–182
  108. Miculan, Marino ; Gadducci, Fabio: Modal µ-Types for Processes. In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science (LICS) : IEEE Computer Society, 1995, pp. 221–231
  109. Miculan, Marino: The Expressive Power of Structural Operational Semantics with Explicit Assumptions. In: Barendregt, H. ; Nipkow, T. (eds.): Types for Proofs and Programs, International Workshop TYPES’93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers, Lecture Notes in Computer Science. vols. 806 : Springer, 1994, pp. 263–290