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).

  1. A simple criterion for 𝓜,𝓝-adhesivity
    Davide Castelnovo, Fabio Gadducci, and Marino Miculan
    Theoretical Computer Science 2024
  2. Exploiting maximum likelihood to improve network traffic deanonymization performances
    Gian Luca Foresti, Axel De Nardin, Alessio Fiorin, Marino Miculan, and Claudio Piciarelli
    Strategic Leadership Journal 2023
  3. Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System
    Gabriele Voltan, Gian Luca Foresti, and Marino Miculan
    In Proceedings of the Thematic Workshops co-located with the 3rd CINI National Lab AIIS Conference on Artificial Intelligence (Ital IA 2023), Pisa, Italy, May 29-30, 2023 2023
  4. Modeling Carne PRI supply chain with the *-Chain Platform
    Stefano Bistarelli, Francesco Faloci, Paolo Mori, Carlo Taticchi, and Marino Miculan
    In Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023 2023
  5. DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions
    Andrea Altarui, Marino Miculan, and Matteo Paier
    In Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), Bari, Italy, May 2-5, 2023 2023
  6. AbU: A calculus for distributed event-driven programming with attribute-based interaction
    Michele Pasqua, and Marino Miculan
    Theoretical Computer Science 2023
  7. Automated Verification of Telegram’s MTProto 2.0 in the Symbolic Model
    Marino Miculan, and Nicola Vitacolonna
    Computers & Security 2023
  8. Composable partial multiparty session types for open systems
    Claude Stolze, Marino Miculan, and Pietro Di Gianantonio
    Software and Systems Modeling 2023
  9. Assembling Coherent Network Topologies Using Round-Trip Graphs
    Marino Miculan, and Matteo Paier
    In Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023 2023
  10. CVE-2022-3203: ORing net IAP-420(+) Hidden Functionality
    Lorenzo Bazzana, Marino Miculan, and Michele Codutti
    2022
  11. Computing (optimal) embeddings of directed bigraphs
    Alessio Chiapperini, Marino Miculan, and Marco Peressotti
    Sci. Comput. Program. 2022
  12. A Calculus for Subjective Communication
    Marino Miculan, and Matteo Paier
    In Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022 2022
  13. Distributed Programming of Smart Systems with Event-Condition-Action Rules
    Michele Pasqua, and Marino Miculan
    In Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022 2022
  14. A new criterion for M,N-adhesivity, with an application to hierarchical graphs
    Davide Castelnovo, Fabio Gadducci, and Marino Miculan
    In Proc. FoSSaCS 2022
  15. Fuzzy Algebraic Theories
    Davide Castelnovo, and Marino Miculan
    In 30th EACSL Annual Conference on Computer Science Logic (CSL 2022) 2022
  16. The AbU Language: IoT Distributed Programming Made Easy
    Michele Pasqua, Massimo Comuzzo, and Marino Miculan
    IEEE Access 2022
  17. Composable Partial Multiparty Session Types
    Claude Stolze, Marino Miculan, and Pietro Di Gianantonio
    In FACS 2021 Conference Proceedings 2021
  18. On the Security and Safety of AbU Systems
    Michele Pasqua, and Marino Miculan
    In Software Engineering and Formal Methods (SEFM 2021) 2021
  19. Closure Hyperdoctrines
    Davide Castelnovo, and Marino Miculan
    In CALCO 2021 Conference Proceedings 2021
  20. A time-series classification approach to shallow web traffic de-anonymization
    Axel De Nardin, Marino Miculan, Claudio Piciarelli, and Gian Luca Foresti
    In Proceedings of the Fifth Italian Conference on Cyber Security, ITASEC 2021 2021
  21. A Calculus for Attribute-based Memory Updates
    Marino Miculan, and Michele Pasqua
    In Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021 2021
  22. Automated Symbolic Verification of Telegram’s MTProto 2.0
    Marino Miculan, and Nicola Vitacolonna
    In Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021 2021
  23. Securing the Art Market with Distributed Public Ledgers
    Marino Miculan, and Daniel Tosone
    In Proceedings of the 3rd Distributed Ledger Technology Workshop (DLT 2020) 2020
  24. Computing Embeddings of Directed Bigraphs
    Alessio Chiapperini, Marino Miculan, and Marco Peressotti
    In Graph Transformation - 13th International Conference, ICGT 2020 2020
  25. Towards a Formal Model for Composable Container Systems
    Fabio Burco, Marino Miculan, and Marco Peressotti
    In Proceedings of the 35th Annual ACM Symposium on Applied Computing 2020
  26. An Abstract Distributed Middleware for Transactions over Heterogeneous Stores
    Luca Geatti, Federico Igne, and Marino Miculan
    In Proc. 20th Italian Conference on Theoretical Computer Science, ICTCS 2019 2019
  27. Constructive logical characterizations of bisimilarity for reactive probabilistic systems
    Marco Bernardo, and Marino Miculan
    Theor. Comput. Sci. 2019
  28. Towards User Recognition by Shallow Web Traffic Inspection
    Marino Miculan, Gian Luca Foresti, and Claudio Piciarelli
    In Proceedings of the Third Italian Conference on Cyber Security, Pisa, Italy, February 13-15, 2019 2019
  29. Loose Graph Simulations
    Alessio Mansutti, Marino Miculan, and Marco Peressotti
    In Software Technologies: Applications and Foundations 2018
  30. First and Second International Workshops on Meta Models for Process Languages (MeMo), Selected Papers
    Thomas Hildebrandt, and Marino Miculan
    2018
  31. Deciding Hedged Bisimilarity
    Alessio Mansutti, and Marino Miculan
    In Proceedings of ICTCS 2018 2018
  32. LFMTP ’17: Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    2017
  33. Deciding Weak Weighted Bisimulation
    Marino Miculan, and Marco Peressotti
    In Proceedings of ICTCS 2017 2017
  34. Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation
    Marino Miculan, and Marco Peressotti
    2017
  35. Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems
    Marco Bernardo, and Marino Miculan
    In Proceedings of ICTCS 2016 2016
  36. Special Issue on Methodologies, Technologies and Tools Enabling e-Government
    2016
  37. On the bisimulation hierarchy of state-to-function transition systems
    Marino Miculan, and Marco Peressotti
    In Proceedings of ICTCS 2016 2016
  38. A Specification of Open Transactional Memory for Haskell
    Marino Miculan, and Marco Peressotti
    CoRR 2016
  39. Structural operational semantics for non-deterministic processes with quantitative aspects
    Marino Miculan, and Marco Peressotti
    Theoretical Computer Science 2016
  40. Open Transactions on Shared Memory
    Marino Miculan, Marco Peressotti, and Andrea Toneguzzo
    In 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 2015
  41. Distributed execution of bigraphical reactive systems
    Alessio Mansutti, Marino Miculan, and Marco Peressotti
    ECEASST 2015
  42. Structural operational semantics for continuous state stochastic transition systems
    Giorgio Bacci, and Marino Miculan
    Journal of Computer and System Sciences 2015
  43. Behavioural equivalences for coalgebras with unobservable moves
    Tomasz Brengos, Marino Miculan, and Marco Peressotti
    Journal of Logical and Algebraic Methods in Programming 2015
  44. PreProceedings of the 2nd International Workshop on Meta Models for Process Languages (MeMo 2015)
    Marino Miculan
    2015
  45. Finding a Forest in a Tree — The matching problem for wide reactive systems
    Giorgio Bacci, Marino Miculan, and Romeo Rizzi
    In Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers 2014
  46. A Model of Countable Nondeterminism in Guarded Type Theory
    A. Bizjak, Lars Birkedal, and Marino Miculan
    In Proc. RTA-TLCA 2014
  47. GSOS for non-deterministic processes with quantitative aspects
    Marino Miculan, and Marco Peressotti
    In Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. 2014
  48. Tutorial on Bigraphical Reactive Systems (slides)
    Marino Miculan
    In 1st International Workshop on Meta Models for Process Languages (MeMo) 2014
  49. Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems
    Alessio Mansutti, Marino Miculan, and Marco Peressotti
    In Proc. DAIS 2014 2014
  50. MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government
    Barbara Re, and Marino Miculan
    2014
  51. Bigraphs Reloaded
    Marino Miculan, and Marco Peressotti
    2013
  52. Weak bisimulations for labelled transition systems weighted over semirings
    Marino Miculan, and Marco Peressotti
    CoRR 2013
  53. Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine
    Marino Miculan, and Ilaria Sambarino
    In Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, Newcastle, UK, 8th September 2012 2012
  54. Synthesis of Distributed Mobile Programs Using Monadic Types in Coq
    Marino Miculan, and Marco Paviotti
    In Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings 2012
  55. Measurable Stochastics for Brane Calculus
    Giorgio Bacci, and Marino Miculan
    Theoretical Computer Science 2012
  56. Structural operational semantics for continuous state probabilistic processes
    Giorgio Bacci, and Marino Miculan
    In Proc. CMCS’12 2012
  57. Unobservable Intrusion Detection Based on Call Traces in Paravirtualized Systems
    Carlo Maiero, and Marino Miculan
    In Proc. SECRYPT 2011
  58. Formal analysis of Facebook Connect Single Sign-On authentication protocol
    Marino Miculan, and Caterina Urban
    In SofSem 2011, Proceedings of Student Research Forum 2011
  59. Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
    Karl Crary, and Marino Miculan
    2010
  60. Graph Algebras for Bigraphs
    Davide Grohmann, and Marino Miculan
    In Proc. 9th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’10) 2010
  61. Measurable Stochastics for Brane Calculus
    Giorgio Bacci, and Marino Miculan
    In Proc. MeCBIC 2010
  62. Bigraphical models for protein and membrane interactions
    Giorgio Bacci, Davide Grohmann, and Marino Miculan
    In Proc. MeCBIC’09 2009
  63. A framework for protein and membrane interactions
    Giorgio Bacci, Davide Grohmann, and Marino Miculan
    In Proc. MeCBIC’09 2009
  64. DBtk: a Toolkit for Directed Bigraphs
    Giorgio Bacci, Davide Grohmann, and Marino Miculan
    In CALCO 2009 Conference Proceedings - Calco Tools 2009
  65. Deriving Barbed Bisimulations for Bigraphical Reactive Systems
    Davide Grohmann, and Marino Miculan
    In Proceedings of International Conference on Graph Transformation (ICGT-DS 2008) 2009
  66. An Algebra for Directed Bigraphs
    Davide Grohmann, and Marino Miculan
    Electronic Notes in Theoretical Computer Science 2008
  67. Implementing Spi-Calculus Using Nominal Techniques
    Temesghen Kahsai, and Marino Miculan
    In Proc. Computability in Europe (CiE) 2008
  68. A categorical model of the Fusion calculus
    Marino Miculan
    In Proc. XXIV MFPS 2008
  69. Undecidability of Model checking in Brane Logic
    Giorgio Bacci, and Marino Miculan
    Electronic Notes in Theoretical Computer Science 2008
  70. Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
    Marino Miculan, Ivan Scagnetto, and Furio Honsell
    2008
  71. Controlling resource access in Directed Bigraphs (long version)
    Davide Grohmann, and Marino Miculan
    In Proc. 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’08) 2008
  72. PicNIc – Pi-calculus Non-Interference checker
    Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, and Sabina Rossi
    In Proc. ACSD’08 2008
  73. Directed bigraphs
    Davide Grohmann, and Marino Miculan
    In Proc. XXIII MFPS 2007
  74. Reactive Systems over Directed Bigraphs
    Davide Grohmann, and Marino Miculan
    In Proc. CONCUR 2007 2007
  75. Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
    Alberto Ciaffaglione, Luigi Liquori, and Marino Miculan
    J. Autom. Reasoning 2007
  76. Consistency of the Theory of Contexts
    Anna Bucalo, Martin Hofmann, Furio Honsell, Marino Miculan, and Ivan Scagnetto
    Journal of Functional Programming 2006
  77. On permutation algebras, (pre)sheaves and named sets
    Fabio Gadducci, Marino Miculan, and Ugo Montanari
    Higher-Order and Symbolic Computation 2006
  78. Modal Logics for Brane Calculus
    Marino Miculan, and Giorgio Bacci
    In Proc. CMSB 2006
  79. Directed bigraphs: theory and applications
    Davide Grohmann, and Marino Miculan
    2006
  80. A unifying model of variables and names
    Marino Miculan, and Kidane Yemane
    In Proc. FOSSACS’05 2005
  81. Implementazione di Memoria Distribuita su cluster CompactPCI
    Maja Massarini, Marino Miculan, and Francesco Sepic
    In Atti del Congresso AICA 2005 2005
  82. Proceedings of the Workshop of the COMETA Project on Computational Metamodels
    Furio Honsell, Marina Lenisa, and Marino Miculan
    2004
  83. Unifying Recursive and Co-recursive Definitions in Sheaf Categories
    Pietro Di Gianantonio, and Marino Miculan
    In Proc. FOSSACS’04 2004
  84. Modeling Fresh Names in π-calculus Using Abstractions
    Roberto Bruni, Furio Honsell, Marina Lenisa, and Marino Miculan
    In Proc. CMCS’04 2004
  85. Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax
    Alberto Ciaffaglione, Luigi Liquori, and Marino Miculan
    In Proc. 2nd MERLIN 2003
  86. Imperative Object-based Calculi in (Co)Inductive Type Theories
    Alberto Ciaffaglione, Luigi Liquori, and Marino Miculan
    In Proc. LPAR 2003
  87. Mechanized Reasoning about Languages with Variable Binding
    Furio Honsell, Marino Miculan, and Alberto Momigliano
    2003
  88. A Unifying Approach to Recursive and Co-recursive Definitions
    Pietro Di Gianantonio, and Marino Miculan
    In Proc. TYPES’02 2003
  89. A Framework for Typed HOAS and Semantics
    Marino Miculan, and Ivan Scagnetto
    In Proc. PPDP’03 2003
  90. Foundations of Software Science and Computation Structures (FOSSACS 2001), Selected Papers
    Furio Honsell, and Marino Miculan
    2003
  91. Ambient Calculus and its Logic in the Calculus of Inductive Constructions
    Ivan Scagnetto, and Marino Miculan
    In Proc. Third International Workshop on Logical Frameworks and Meta-Languages (LFM’02) 2002
  92. Comparing higher-order encodings in logical frameworks and tile logic
    Roberto Bruni, Furio Honsell, Marina Lenisa, and Marino Miculan
    Electronic Notes in Theoretical Computer Science 2002
  93. Proceedings of TOSCA 2001 - Theory of Concurrency, Higher Order Languages and Types
    Marina Lenisa, and Marino Miculan
    2001
  94. Proceedings of FOSSACS 2001
    Furio Honsell, and Marino Miculan
    2001
  95. The Theory of Contexts for First-Order and Higher-Order Abstract Syntax
    Furio Honsell, Marino Miculan, and Ivan Scagnetto
    In Proc. TOSCA’01 2001
  96. Developing (Meta)Theory of Lambda-calculus in the Theory of Contexts
    Marino Miculan
    In Proc. MERLIN 2001 2001
  97. An axiomatic approach to metareasoning on systems in higher-order abstract syntax
    Furio Honsell, Marino Miculan, and Ivan Scagnetto
    In Proc. ICALP’01 2001
  98. π-calculus in (Co)Inductive Type Theory
    Furio Honsell, Marino Miculan, and Ivan Scagnetto
    Theoretical Computer Science 2001
  99. On the formalization of the modal µ-calculus in the Calculus of Inductive Constructions
    Marino Miculan
    Information and Computation 2001
  100. The Journal of High Energy Physics: Scientific Publishing on the Web
    Simona Cerrato, Fabio Asnicar, Paolo Dall’Aglio, Amanda Felice, Massimo Di Fant, Marco Mizzaro, Fabrizio Nesti, Maria Candusso, and Marino Miculan
    In Proceedings of WebNet 99 - World Conference on the WWW and Internet, Honolulu, Hawaii, USA, October 24-30, 1999 1999
  101. Formalizing a lazy substitution proof system for µ-calculus in the Calculus of Inductive Constructions
    Marino Miculan
    In Proc. ICALP’99 1999
  102. A Natural Deduction style proof system for propositional µ-calculus and its formalization in inductive type theories
    Marino Miculan
    In Proc. ICTCS’98 1998
  103. Encoding Modal Logics in Logical Frameworks
    Arnon Avron, Furio Honsell, Marino Miculan, and Cristian Paravano
    Studia Logica 1998
  104. Miculan, M. (1997). Encoding Logical Theories of Programs (Number TD-7/97). Dipartimento di Informatica, Università di Pisa.
  105. A Natural Deduction Approach to Dynamic Logics
    Furio Honsell, and Marino Miculan
    In Proc. TYPES’95 1995
  106. Modal µ-Types for Processes
    Marino Miculan, and Fabio Gadducci
    In Proc. 10th LICS 1995
  107. The Expressive Power of Structural Operational Semantics with Explicit Assumptions
    Marino Miculan
    In Types for Proofs and Programs, International Workshop TYPES’93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers 1994