default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarino Miculan
Person information
- affiliation: University of Udine, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j23]Davide Castelnovo
, Fabio Gadducci, Marino Miculan:
A simple criterion for M,N-adhesivity. Theor. Comput. Sci. 982: 114280 (2024)- [j22]Michele Pasqua, Marino Miculan:
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems. Theor. Comput. Sci. 998: 114537 (2024) - 2023
- [j21]Marino Miculan, Nicola Vitacolonna:
Automated verification of Telegram's MTProto 2.0 in the symbolic model. Comput. Secur. 126: 103072 (2023) - [j20]Claude Stolze, Marino Miculan, Pietro Di Gianantonio:
Composable partial multiparty session types for open systems. Softw. Syst. Model. 22(2): 473-494 (2023) - [j19]Michele Pasqua, Marino Miculan:
AbU: A calculus for distributed event-driven programming with attribute-based interaction. Theor. Comput. Sci. 958: 113841 (2023) - 2022
- [j18]Michele Pasqua, Massimo Comuzzo, Marino Miculan:
The AbU Language: IoT Distributed Programming Made Easy. IEEE Access 10: 132763-132776 (2022) - [j17]Alessio Chiapperini, Marino Miculan, Marco Peressotti:
Computing (optimal) embeddings of directed bigraphs. Sci. Comput. Program. 221: 102842 (2022) - 2019
- [j16]Marco Bernardo, Marino Miculan:
Constructive logical characterizations of bisimilarity for reactive probabilistic systems. Theor. Comput. Sci. 764: 80-99 (2019) - 2018
- [j15]Thomas T. Hildebrandt, Marino Miculan:
Guest editors' foreword. J. Log. Algebraic Methods Program. 95: 147 (2018) - 2016
- [j14]Marino Miculan, Marco Peressotti:
Structural operational semantics for non-deterministic processes with quantitative aspects. Theor. Comput. Sci. 655: 135-154 (2016) - 2015
- [j13]Giorgio Bacci, Marino Miculan:
Structural operational semantics for continuous state stochastic transition systems. J. Comput. Syst. Sci. 81(5): 834-858 (2015) - [j12]Tomasz Brengos, Marino Miculan, Marco Peressotti:
Behavioural equivalences for coalgebras with unobservable moves. J. Log. Algebraic Methods Program. 84(6): 826-852 (2015) - 2014
- [j11]Alessio Mansutti, Marino Miculan, Marco Peressotti:
Distributed execution of bigraphical reactive systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71 (2014) - 2012
- [j10]Giorgio Bacci, Marino Miculan:
Measurable stochastics for Brane Calculus. Theor. Comput. Sci. 431: 117-136 (2012) - 2010
- [j9]Davide Grohmann, Marino Miculan:
Graph Algebras for Bigraphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - 2008
- [j8]Davide Grohmann, Marino Miculan:
Controlling resource access in Directed Bigraphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j7]Davide Grohmann, Marino Miculan:
Deriving Barbed Bisimulations for Bigraphical Reactive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008) - 2007
- [j6]Alberto Ciaffaglione, Luigi Liquori, Marino Miculan:
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. J. Autom. Reason. 39(1): 1-47 (2007) - 2006
- [j5]Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann:
Consistency of the theory of contexts. J. Funct. Program. 16(3): 327-372 (2006) - [j4]Fabio Gadducci, Marino Miculan, Ugo Montanari:
About permutation algebras, (pre)sheaves and named sets. High. Order Symb. Comput. 19(2-3): 283-304 (2006) - 2001
- [j3]Marino Miculan:
On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions. Inf. Comput. 164(1): 199-231 (2001) - [j2]Furio Honsell, Marino Miculan, Ivan Scagnetto:
pi-calculus in (Co)inductive-type theory. Theor. Comput. Sci. 253(2): 239-285 (2001) - 1998
- [j1]Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano:
Encoding Modal Logics in Logical Frameworks. Stud Logica 60(1): 161-208 (1998)
Conference and Workshop Papers
- 2024
- [c72]Michele Pasqua, Marino Miculan:
Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems. ISoLA (2) 2024: 351-367 - [c71]Matteo Paier, Mattia Pizzolitto, Gian Luca Foresti, Marino Miculan:
Netstaldi: A Modular Distributed Architecture for Incremental Network Discovery. ITASEC 2024 - [c70]Enrico Talotti, Matteo Paier, Marino Miculan:
ECC's Achilles' Heel: Unveiling Weak Keys in Standardized Curves. ITASEC 2024 - [c69]Roberto van Eeden, Matteo Paier, Marino Miculan:
A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP. SECRYPT 2024: 483-491 - [c68]Matteo Paier, Roberto van Eeden, Marino Miculan:
Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. SEFM 2024: 423-440 - 2023
- [c67]Stefano Bistarelli, Francesco Faloci, Paolo Mori, Carlo Taticchi, Marino Miculan:
Modeling Carne PRI supply chain with the *-Chain Platform. DLT 2023 - [c66]Marino Miculan, Matteo Paier:
Assembling Coherent Network Topologies Using Round-Trip Graphs (short paper). ICTCS 2023: 110-115 - [c65]Gabriele Voltan, Gian Luca Foresti, Marino Miculan:
Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System. Ital-IA 2023: 409-414 - [c64]Andrea Altarui, Marino Miculan, Matteo Paier:
DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions. ITASEC 2023 - 2022
- [c63]Davide Castelnovo, Marino Miculan:
Fuzzy Algebraic Theories. CSL 2022: 13:1-13:17 - [c62]Davide Castelnovo, Fabio Gadducci, Marino Miculan:
A new criterion for M, N-adhesivity, with an application to hierarchical graphs. FoSSaCS 2022: 205-224 - [c61]Marino Miculan, Matteo Paier:
A Calculus for Subjective Communication. ICTCS 2022: 148-160 - [c60]Michele Pasqua, Marino Miculan:
Distributed Programming of Smart Systems with Event-Condition-Action Rules. ICTCS 2022: 201-206 - 2021
- [c59]Davide Castelnovo, Marino Miculan:
Closure Hyperdoctrines. CALCO 2021: 12:1-12:21 - [c58]Claude Stolze, Marino Miculan, Pietro Di Gianantonio:
Composable Partial Multiparty Session Types. FACS 2021: 44-62 - [c57]Marino Miculan, Michele Pasqua:
A Calculus for Attribute-Based Memory Updates. ICTAC 2021: 366-385 - [c56]Axel De Nardin, Marino Miculan, Claudio Piciarelli, Gian Luca Foresti:
A Time-series Classification Approach to Shallow Web Traffic De-anonymization. ITASEC 2021: 156-165 - [c55]Marino Miculan, Nicola Vitacolonna:
Automated Symbolic Verification of Telegram's MTProto 2.0. SECRYPT 2021: 185-197 - [c54]Michele Pasqua, Marino Miculan:
On the Security and Safety of AbU Systems. SEFM 2021: 178-198 - 2020
- [c53]Alessio Chiapperini, Marino Miculan, Marco Peressotti:
Computing Embeddings of Directed Bigraphs. ICGT 2020: 38-56 - [c52]Marino Miculan, Marco Peressotti:
Software Transactional Memory with Interactions. ICTCS 2020: 67-80 - [c51]Marino Miculan, Daniel Tosone:
Securing the Art Market with Distributed Public Ledgers. DLT@ITASEC 2020 - [c50]Fabio Burco, Marino Miculan, Marco Peressotti:
Towards a formal model for composable container systems. SAC 2020: 173-175 - 2019
- [c49]Luca Geatti, Federico Igne, Marino Miculan:
An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. ICTCS 2019: 171-183 - [c48]Marino Miculan, Gian Luca Foresti, Claudio Piciarelli:
Towards User Recognition by Shallow Web Traffic Inspection. ITASEC 2019 - 2018
- [c47]Alessio Mansutti, Marino Miculan:
Deciding Hedged Bisimilarity. ICTCS 2018: 218-229 - 2017
- [c46]Marino Miculan, Marco Peressotti:
Deciding Weak Weighted Bisimulation. ICTCS/CILC 2017: 126-137 - [c45]Alessio Mansutti, Marino Miculan, Marco Peressotti:
Loose Graph Simulations. STAF Workshops 2017: 109-126 - 2016
- [c44]Marino Miculan, Marco Peressotti:
On the Bisimulation Hierarchy of State-to-Function Transition Systems. ICTCS 2016: 88-102 - [c43]Marco Bernardo, Marino Miculan:
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. ICTCS 2016: 203-220 - 2015
- [c42]Marino Miculan, Marco Peressotti, Andrea Toneguzzo:
Open Transactions on Shared Memory. COORDINATION 2015: 213-229 - 2014
- [c41]Alessio Mansutti, Marino Miculan, Marco Peressotti:
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. DAIS 2014: 201-208 - [c40]Ales Bizjak, Lars Birkedal, Marino Miculan:
A Model of Countable Nondeterminism in Guarded Type Theory. RTA-TLCA 2014: 108-123 - [c39]Giorgio Bacci, Marino Miculan, Romeo Rizzi:
Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems. TGC 2014: 17-33 - [c38]Marino Miculan, Marco Peressotti:
GSOS for non-deterministic processes with quantitative aspects. QAPL 2014: 17-33 - 2012
- [c37]Giorgio Bacci, Marino Miculan:
Structural Operational Semantics for Continuous State Probabilistic Processes. CMCS 2012: 71-89 - [c36]Marino Miculan, Marco Paviotti:
Synthesis of Distributed Mobile Programs Using Monadic Types in Coq. ITP 2012: 183-200 - [c35]Marino Miculan, Ilaria Sambarino:
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine. MeCBIC 2012: 82-100 - 2011
- [c34]Carlo Maiero, Marino Miculan:
Unobservable Intrusion Detection based on Call Traces in Paravirtualized Systems. SECRYPT 2011: 300-306 - 2010
- [c33]Giorgio Bacci, Marino Miculan:
Measurable Stochastics for Brane Calculus. MeCBIC 2010: 6-22 - 2009
- [c32]Giorgio Bacci, Davide Grohmann, Marino Miculan:
DBtk: A Toolkit for Directed Bigraphs. CALCO 2009: 413-422 - [c31]Giorgio Bacci, Davide Grohmann, Marino Miculan:
Bigraphical models for protein and membrane interactions. MeCBIC 2009: 3-18 - [c30]Giorgio Bacci, Davide Grohmann, Marino Miculan:
A framework for protein and membrane interactions. MeCBIC 2009: 19-33 - 2008
- [c29]Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi:
PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38 - [c28]Temesghen Kahsai, Marino Miculan:
Implementing Spi Calculus Using Nominal Techniques. CiE 2008: 294-305 - [c27]Marino Miculan:
A Categorical Model of the Fusion Calculus. MFPS 2008: 275-293 - 2007
- [c26]Davide Grohmann, Marino Miculan:
Reactive Systems over Directed Bigraphs. CONCUR 2007: 380-394 - [c25]Giorgio Bacci, Marino Miculan:
Undecidability of Model Checking in Brane Logic. DCM@ICALP 2007: 23-37 - [c24]Davide Grohmann, Marino Miculan:
An Algebra for Directed Bigraphs. TERMGRAPH@ETAPS 2007: 49-63 - [c23]Davide Grohmann, Marino Miculan:
Directed Bigraphs. MFPS 2007: 121-137 - 2006
- [c22]Marino Miculan, Giorgio Bacci:
Modal Logics for Brane Calculus. CMSB 2006: 1-16 - 2005
- [c21]Marino Miculan, Kidane Yemane:
A Unifying Model of Variables and Names. FoSSaCS 2005: 170-186 - [c20]Marino Miculan, Ivan Scagnetto, Furio Honsell:
Translating specifications from nominal logic to CIC with the theory of contexts. MERLIN 2005: 41-49 - 2004
- [c19]Pietro Di Gianantonio, Marino Miculan:
Unifying Recursive and Co-recursive Definitions in Sheaf Categories. FoSSaCS 2004: 136-150 - [c18]Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan:
Modeling Fresh Names in the ?-calculus Using Abstractions. CMCS 2004: 25-41 - 2003
- [c17]Alberto Ciaffaglione, Luigi Liquori, Marino Miculan:
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN 2003 - [c16]Alberto Ciaffaglione, Luigi Liquori, Marino Miculan:
Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR 2003: 59-77 - [c15]Marino Miculan, Ivan Scagnetto:
A framework for typed HOAS and semantics. PPDP 2003: 184-194 - [c14]Furio Honsell, Marina Lenisa, Marino Miculan:
Preface. COMETA 2003: 1-3 - [c13]Fabio Gadducci, Marino Miculan, Ugo Montanari:
Some Characterization Results for Permutation Algebras. COMETA 2003: 129-147 - 2002
- [c12]Pietro Di Gianantonio, Marino Miculan:
A Unifying Approach to Recursive and Co-recursive Definitions. TYPES 2002: 148-161 - [c11]Ivan Scagnetto, Marino Miculan:
Ambient Calculus and its Logic in the Calculus of Inductive Constructions. LFM 2002: 76-95 - 2001
- [c10]Furio Honsell, Marino Miculan, Ivan Scagnetto:
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. ICALP 2001: 963-978 - [c9]Furio Honsell, Marino Miculan, Ivan Scagnetto:
The Theory of Contexts for First Order and Higher Order Abstract Syntax. TOSCA 2001: 116-135 - [c8]Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan:
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. TOSCA 2001: 136-156 - [c7]Marina Lenisa, Marino Miculan:
Preface. TOSCA 2001: 257-258 - [c6]Marino Miculan:
Developing (Meta)Theory of Lambda-calculus in the Theory of Context. MERLIN 2001: 37-58 - 1999
- [c5]Marino Miculan:
Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions. ICALP 1999: 554-564 - [c4]Simona Cerrato, Fabio A. Asnicar, Paolo Dall'Aglio, Amanda de Felice, Massimo Di Fant, Marco Mizzaro, Fabrizio Nesti, Maria Candusso, Marino Miculan:
The Journal of High Energy Physics: Scientific Publishing on the Web. WebNet 1999: 1482-1483 - 1995
- [c3]Marino Miculan, Fabio Gadducci:
Modal mu-Types for Processes. LICS 1995: 221-231 - [c2]Furio Honsell, Marino Miculan:
A Natural Deduction Approach to Dynamic Logic. TYPES 1995: 165-182 - 1993
- [c1]Marino Miculan:
The Expressive Power of Structural Operational Semantics with Explicit Assumptions. TYPES 1993: 263-290
Editorship
- 2010
- [e5]Karl Crary, Marino Miculan:
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010. EPTCS 34, 2010 [contents] - 2008
- [e4]Marino Miculan, Ivan Scagnetto, Furio Honsell:
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 4941, Springer 2008, ISBN 978-3-540-68084-0 [contents] - 2004
- [e3]Furio Honsell, Marina Lenisa, Marino Miculan:
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, COMETA 2003, Udine, Italy, December 15-17, 2003. Electronic Notes in Theoretical Computer Science 104, Elsevier 2004 [contents] - 2002
- [e2]Marina Lenisa, Marino Miculan:
Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001. Electronic Notes in Theoretical Computer Science 62, Elsevier 2002 [contents] - 2001
- [e1]Furio Honsell, Marino Miculan:
Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2030, Springer 2001, ISBN 3-540-41864-4 [contents]
Informal and Other Publications
- 2024
- [i21]Davide Castelnovo, Marino Miculan:
On The Axioms Of M, N-Adhesive Categories. CoRR abs/2401.12638 (2024) - [i20]Enrico Talotti, Matteo Paier, Marino Miculan:
ECC's Achilles' Heel: Unveiling Weak Keys in Standardized Curves. IACR Cryptol. ePrint Arch. 2024: 1321 (2024) - 2022
- [i19]Davide Castelnovo, Fabio Gadducci, Marino Miculan:
A new criterion for M, N-adhesivity, with an application to hierarchical graphs. CoRR abs/2201.00233 (2022) - 2021
- [i18]Davide Castelnovo, Marino Miculan:
Fuzzy Algebraic Theories. CoRR abs/2110.10970 (2021) - 2020
- [i17]Alessio Chiapperini, Marino Miculan, Marco Peressotti:
A CSP implementation of the directed bigraph embedding problem. CoRR abs/2003.10209 (2020) - [i16]Davide Castelnovo, Marino Miculan:
Closure hyperdoctrines, with paths. CoRR abs/2007.04213 (2020) - [i15]Marino Miculan, Marco Peressotti:
Software Transactional Memory with Interactions. CoRR abs/2007.10809 (2020) - [i14]Marino Miculan, Nicola Vitacolonna:
Automated Symbolic Verification of Telegram's MTProto 2.0. CoRR abs/2012.03141 (2020) - 2019
- [i13]Fabio Burco, Marino Miculan, Marco Peressotti:
Towards a Formal Model for Composable Container Systems. CoRR abs/1912.01107 (2019) - 2017
- [i12]Marino Miculan, Marco Peressotti:
Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation. CoRR abs/1704.07181 (2017) - [i11]Alessio Mansutti, Marino Miculan, Marco Peressotti:
Loose Graph Simulations. CoRR abs/1705.08241 (2017) - 2016
- [i10]Marco Bernardo, Marino Miculan:
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. CoRR abs/1601.06198 (2016) - [i9]Marino Miculan, Marco Peressotti:
A Specification of Open Transactional Memory for Haskell. CoRR abs/1602.05365 (2016) - [i8]Alessio Mansutti, Marino Miculan:
Deciding Hedged Bisimilarity. CoRR abs/1611.03424 (2016) - 2015
- [i7]Alessio Mansutti, Marino Miculan, Marco Peressotti:
Distributed execution of bigraphical reactive systems. CoRR abs/1503.02434 (2015) - [i6]Marino Miculan, Marco Peressotti, Andrea Toneguzzo:
Open Transactions on Shared Memory. CoRR abs/1503.09097 (2015) - 2014
- [i5]Marino Miculan, Marco Peressotti:
Structural operational semantics for non-deterministic processes with quantitative aspects. CoRR abs/1410.0893 (2014) - [i4]Tomasz Brengos, Marino Miculan, Marco Peressotti:
Behavioural equivalences for coalgebras with unobservable moves. CoRR abs/1411.0090 (2014) - [i3]Marino Miculan, Marco Peressotti:
A CSP implementation of the bigraph embedding problem. CoRR abs/1412.1042 (2014) - 2013
- [i2]Marino Miculan, Marco Peressotti:
Weak bisimulations for labelled transition systems weighted over semirings. CoRR abs/1310.4106 (2013) - 1998
- [i1]Marino Miculan:
A Natural Deduction style proof system for propositional μ-calculus and its formalization in inductive type theories. CoRR cs.LO/9809120 (1998)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 20:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
