The Expressive Power of Structural Operational Semantics with Explicit Assumptions. - Marino Miculan (TYPES, 1993)

Modal mu-Types for Processes - Marino Miculan; Fabio Gadducci (LICS, 1995)

A Natural Deduction Approach to Dynamic Logic. - Furio Honsell; Marino Miculan (TYPES, 1995)

A Natural Deduction style proof system for propositional μ-calculus and its formalization in inductive type theories - Marino Miculan (CoRR, 1998)

Encoding Modal Logics in Logical Frameworks. - Arnon Avron; Furio Honsell; Marino Miculan; Cristian Paravano (Stud Logica, 1998)

Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions. - Marino Miculan (ICALP, 1999)

The Journal of High Energy Physics: Scientific Publishing on the Web. - Simona Cerrato; Fabio A. Asnicar; Paolo Dall'Aglio; Amanda de Felice; Massimo Di Fant; Marco Mizzaro; Fabrizio Nesti; Maria Candusso; Marino Miculan (WebNet, 1999)

An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. - Furio Honsell; Marino Miculan; Ivan Scagnetto (ICALP, 2001)

Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. - Roberto Bruni 001; Furio Honsell; Marina Lenisa; Marino Miculan (TOSCA, 2001)

The Theory of Contexts for First Order and Higher Order Abstract Syntax. - Furio Honsell; Marino Miculan; Ivan Scagnetto (TOSCA, 2001)

Preface. - Marina Lenisa; Marino Miculan (TOSCA, 2001)

On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions. - Marino Miculan (Inf. Comput., 2001)

pi-calculus in (Co)inductive-type theory. - Furio Honsell; Marino Miculan; Ivan Scagnetto (Theor. Comput. Sci., 2001)

Developing (Meta)Theory of Lambda-calculus in the Theory of Context. - Marino Miculan (MERLIN, 2001)

A Unifying Approach to Recursive and Co-recursive Definitions. - Pietro Di Gianantonio; Marino Miculan (TYPES, 2002)

Ambient Calculus and its Logic in the Calculus of Inductive Constructions. - Ivan Scagnetto; Marino Miculan (LFM, 2002)

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. - Alberto Ciaffaglione; Luigi Liquori; Marino Miculan (MERLIN, 2003)

Imperative Object-Based Calculi in Co-inductive Type Theories. - Alberto Ciaffaglione; Luigi Liquori; Marino Miculan (LPAR, 2003)

A framework for typed HOAS and semantics. - Marino Miculan; Ivan Scagnetto (PPDP, 2003)

Some Characterization Results for Permutation Algebras. - Fabio Gadducci; Marino Miculan; Ugo Montanari (COMETA, 2003)

Preface. - Furio Honsell; Marina Lenisa; Marino Miculan (COMETA, 2003)

Unifying Recursive and Co-recursive Definitions in Sheaf Categories. - Pietro Di Gianantonio; Marino Miculan (FoSSaCS, 2004)

Modeling Fresh Names in the π-calculus Using Abstractions. - Roberto Bruni 001; Furio Honsell; Marina Lenisa; Marino Miculan (CMCS, 2004)

A Unifying Model of Variables and Names. - Marino Miculan; Kidane Yemane (FoSSaCS, 2005)

Translating specifications from nominal logic to CIC with the theory of contexts. - Marino Miculan; Ivan Scagnetto; Furio Honsell (MERLIN, 2005)

Modal Logics for Brane Calculus. - Marino Miculan; Giorgio Bacci (CMSB, 2006)

Consistency of the theory of contexts. - Anna Bucalo; Furio Honsell; Marino Miculan; Ivan Scagnetto; Martin Hofmann 001 (J. Funct. Program., 2006)

About permutation algebras, (pre)sheaves and named sets. - Fabio Gadducci; Marino Miculan; Ugo Montanari (High. Order Symb. Comput., 2006)

Reactive Systems over Directed Bigraphs. - Davide Grohmann; Marino Miculan (CONCUR, 2007)

Undecidability of Model Checking in Brane Logic. - Giorgio Bacci; Marino Miculan (DCM@ICALP, 2007)

Directed Bigraphs. - Davide Grohmann; Marino Miculan (MFPS, 2007)

An Algebra for Directed Bigraphs. - Davide Grohmann; Marino Miculan (TERMGRAPH@ETAPS, 2007)

Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. - Alberto Ciaffaglione; Luigi Liquori; Marino Miculan (J. Autom. Reason., 2007)

PicNIc - Pi-calculus non-interference checker. - Silvia Crafa; Matteo Mio; Marino Miculan; Carla Piazza; Sabina Rossi (ACSD, 2008)

Implementing Spi Calculus Using Nominal Techniques. - Temesghen Kahsai; Marino Miculan (CiE, 2008)

Controlling resource access in Directed Bigraphs. - Davide Grohmann; Marino Miculan (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Deriving Barbed Bisimulations for Bigraphical Reactive Systems. - Davide Grohmann; Marino Miculan (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

A Categorical Model of the Fusion Calculus. - Marino Miculan (MFPS, 2008)

DBtk: A Toolkit for Directed Bigraphs. - Giorgio Bacci; Davide Grohmann; Marino Miculan (CALCO, 2009)

Bigraphical models for protein and membrane interactions - Giorgio Bacci; Davide Grohmann; Marino Miculan (MeCBIC, 2009)

A framework for protein and membrane interactions - Giorgio Bacci; Davide Grohmann; Marino Miculan (MeCBIC, 2009)

Graph Algebras for Bigraphs. - Davide Grohmann; Marino Miculan (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Unobservable Intrusion Detection based on Call Traces in Paravirtualized Systems. - Carlo Maiero; Marino Miculan (SECRYPT, 2011)

Structural Operational Semantics for Continuous State Probabilistic Processes. - Giorgio Bacci; Marino Miculan (CMCS, 2012)

Synthesis of Distributed Mobile Programs Using Monadic Types in Coq. - Marino Miculan; Marco Paviotti (ITP, 2012)

Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine - Marino Miculan; Ilaria Sambarino (MeCBIC, 2012)

Measurable stochastics for Brane Calculus. - Giorgio Bacci; Marino Miculan (Theor. Comput. Sci., 2012)

Weak bisimulations for labelled transition systems weighted over semirings. - Marino Miculan; Marco Peressotti (CoRR, 2013)

Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. - Alessio Mansutti; Marino Miculan; Marco Peressotti (DAIS, 2014)

A Model of Countable Nondeterminism in Guarded Type Theory. - Ales Bizjak; Lars Birkedal; Marino Miculan (RTA-TLCA, 2014)

Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems. - Giorgio Bacci; Marino Miculan; Romeo Rizzi (TGC, 2014)

GSOS for non-deterministic processes with quantitative aspects. - Marino Miculan; Marco Peressotti (QAPL, 2014)

A CSP implementation of the bigraph embedding problem. - Marino Miculan; Marco Peressotti (CoRR, 2014)

Distributed execution of bigraphical reactive systems. - Alessio Mansutti; Marino Miculan; Marco Peressotti (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Open Transactions on Shared Memory. - Marino Miculan; Marco Peressotti; Andrea Toneguzzo (COORDINATION, 2015)

Structural operational semantics for continuous state stochastic transition systems. - Giorgio Bacci; Marino Miculan (J. Comput. Syst. Sci., 2015)

Behavioural equivalences for coalgebras with unobservable moves. - Tomasz Brengos; Marino Miculan; Marco Peressotti (J. Log. Algebraic Methods Program., 2015)

Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. - Marco Bernardo 001; Marino Miculan (ICTCS, 2016)

On the Bisimulation Hierarchy of State-to-Function Transition Systems. - Marino Miculan; Marco Peressotti (ICTCS, 2016)

A Specification of Open Transactional Memory for Haskell. - Marino Miculan; Marco Peressotti (CoRR, 2016)

Structural operational semantics for non-deterministic processes with quantitative aspects. - Marino Miculan; Marco Peressotti (Theor. Comput. Sci., 2016)

Deciding Weak Weighted Bisimulation. - Marino Miculan; Marco Peressotti (ICTCS/CILC, 2017)

Loose Graph Simulations. - Alessio Mansutti; Marino Miculan; Marco Peressotti (STAF Workshops, 2017)

Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation. - Marino Miculan; Marco Peressotti (CoRR, 2017)

Deciding Hedged Bisimilarity. - Alessio Mansutti; Marino Miculan (ICTCS, 2018)

Guest editors' foreword. - Thomas T. Hildebrandt; Marino Miculan (J. Log. Algebraic Methods Program., 2018)

An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. - Luca Geatti; Federico Igne; Marino Miculan (ICTCS, 2019)

Towards User Recognition by Shallow Web Traffic Inspection. - Marino Miculan; Gian Luca Foresti; Claudio Piciarelli (ITASEC, 2019)

Constructive logical characterizations of bisimilarity for reactive probabilistic systems. - Marco Bernardo 001; Marino Miculan (Theor. Comput. Sci., 2019)

Computing Embeddings of Directed Bigraphs. - Alessio Chiapperini; Marino Miculan; Marco Peressotti (ICGT, 2020)

Software Transactional Memory with Interactions. - Marino Miculan; Marco Peressotti (ICTCS, 2020)

Securing the Art Market with Distributed Public Ledgers. - Marino Miculan; Daniel Tosone (DLT@ITASEC, 2020)

Towards a formal model for composable container systems. - Fabio Burco; Marino Miculan; Marco Peressotti (SAC, 2020)

A CSP implementation of the directed bigraph embedding problem. - Alessio Chiapperini; Marino Miculan; Marco Peressotti (CoRR, 2020)

Closure hyperdoctrines, with paths. - Davide Castelnovo; Marino Miculan (CoRR, 2020)

Closure Hyperdoctrines. - Davide Castelnovo; Marino Miculan (CALCO, 2021)

Composable Partial Multiparty Session Types. - Claude Stolze; Marino Miculan; Pietro Di Gianantonio (FACS, 2021)

A Calculus for Attribute-Based Memory Updates. - Marino Miculan; Michele Pasqua (ICTAC, 2021)

A Time-series Classification Approach to Shallow Web Traffic De-anonymization. - Axel De Nardin; Marino Miculan; Claudio Piciarelli; Gian Luca Foresti (ITASEC, 2021)

Automated Symbolic Verification of Telegram's MTProto 2.0. - Marino Miculan; Nicola Vitacolonna (SECRYPT, 2021)

On the Security and Safety of AbU Systems. - Michele Pasqua; Marino Miculan (SEFM, 2021)

Fuzzy Algebraic Theories. - Davide Castelnovo; Marino Miculan (CSL, 2022)

A new criterion for M, N-adhesivity, with an application to hierarchical graphs. - Davide Castelnovo; Fabio Gadducci; Marino Miculan (FoSSaCS, 2022)

A Calculus for Subjective Communication. - Marino Miculan; Matteo Paier (ICTCS, 2022)

Distributed Programming of Smart Systems with Event-Condition-Action Rules. - Michele Pasqua; Marino Miculan (ICTCS, 2022)

The AbU Language: IoT Distributed Programming Made Easy. - Michele Pasqua; Massimo Comuzzo; Marino Miculan (IEEE Access, 2022)

A new criterion for M, N-adhesivity, with an application to hierarchical graphs. - Davide Castelnovo; Fabio Gadducci; Marino Miculan (CoRR, 2022)

Computing (optimal) embeddings of directed bigraphs. - Alessio Chiapperini; Marino Miculan; Marco Peressotti (Sci. Comput. Program., 2022)

Modeling Carne PRI supply chain with the *-Chain Platform. - Stefano Bistarelli; Francesco Faloci; Paolo Mori; Carlo Taticchi; Marino Miculan (DLT, 2023)

Assembling Coherent Network Topologies Using Round-Trip Graphs (short paper). - Marino Miculan; Matteo Paier (ICTCS, 2023)

Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System. - Gabriele Voltan; Gian Luca Foresti; Marino Miculan (Ital-IA, 2023)

DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions. - Andrea Altarui; Marino Miculan; Matteo Paier (ITASEC, 2023)

Automated verification of Telegram's MTProto 2.0 in the symbolic model. - Marino Miculan; Nicola Vitacolonna (Comput. Secur., 2023)

Composable partial multiparty session types for open systems. - Claude Stolze; Marino Miculan; Pietro Di Gianantonio (Softw. Syst. Model., 2023)

AbU: A calculus for distributed event-driven programming with attribute-based interaction. - Michele Pasqua; Marino Miculan (Theor. Comput. Sci., 2023)

Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems. - Michele Pasqua; Marino Miculan (ISoLA (2), 2024)

Netstaldi: A Modular Distributed Architecture for Incremental Network Discovery. - Matteo Paier; Mattia Pizzolitto; Gian Luca Foresti; Marino Miculan (ITASEC, 2024)

A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP. - Roberto van Eeden; Matteo Paier; Marino Miculan (SECRYPT, 2024)

Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. - Matteo Paier; Roberto van Eeden; Marino Miculan (SEFM, 2024)

On The Axioms Of M, N-Adhesive Categories. - Davide Castelnovo; Marino Miculan (CoRR, 2024)

ECC's Achilles' Heel: Unveiling Weak Keys in Standardized Curves. - Enrico Talotti; Matteo Paier; Marino Miculan (IACR Cryptol. ePrint Arch., 2024)

Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems. - Michele Pasqua; Marino Miculan (Theor. Comput. Sci., 2024)

A simple criterion for M,N-adhesivity. - Davide Castelnovo; Fabio Gadducci; Marino Miculan (Theor. Comput. Sci., 2024)

From Edge to Cloud: Securing Distributed Containerized Applications. - Luca Verderame; Giorgia Bolognesi; Enrico Pezzano; Massimiliano Rak; Alberto Falcone; Giacomo Benedetti; Massimo Guarascio 001; Luca Caviglione; Roberto Carbone; Roberto Doriguzzi-Corin; Maurizio Giacobbe; Giovanni Merlino; et al. (EuroS&P (Workshops), 2025)

Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. - Marco Comini; Luca Gemolotto; Marino Miculan (FORTE, 2025)

OWSM: Empowering Rego for Stateful Access Control. - Massimiliano Baldo; Fabio Ionut Ion; Marino Miculan; Matteo Paier; Vincenzo Riccio (ITASEC/SERICS, 2025)

Real-Time Anomaly Detection in Docker Containers: A Continuous Learning Approach Using SF-SOINN. - Dennis Glenn Ejeh; Gian Luca Foresti; Marino Miculan; Axel De Nardin (ITASEC/SERICS, 2025)

On The Axioms Of $ mathcal{M}, mathcal{N}$-Adhesive Categories. - Davide Castelnovo; Marino Miculan (Log. Methods Comput. Sci., 2025)