Marino Miculan

From MaRDI portal
Person:418840

Available identifiers

zbMath Open miculan.marinoWikidataQ61292867 ScholiaQ61292867MaRDI QIDQ418840

List of research outcomes

PublicationDate of PublicationType
Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems2024-04-17Paper
Gardening with the PythiaA model of continuity in a dependent setting2024-04-10Paper
A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity2024-02-23Paper
A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs2024-01-23Paper
https://portal.mardi4nfdi.de/entity/Q60616712023-12-08Paper
The expressive power of Structural Operational Semantics with explicit assumptions2023-12-08Paper
On the security and safety of AbU systems2023-05-26Paper
AbU: a calculus for distributed event-driven programming with attribute-based interaction2023-05-02Paper
Computing Embeddings of Directed Bigraphs2022-09-01Paper
A calculus for attribute-based memory updates2022-03-31Paper
Constructive logical characterizations of bisimilarity for reactive probabilistic systems2019-03-13Paper
A natural deduction approach to dynamic logic2019-01-15Paper
Structural operational semantics for non-deterministic processes with quantitative aspects2017-02-06Paper
Finding a Forest in a Tree2016-06-09Paper
Behavioural equivalences for coalgebras with unobservable moves2015-11-10Paper
Directed Bigraphs2015-07-10Paper
Structural operational semantics for continuous state stochastic transition systems2015-04-28Paper
A Model of Countable Nondeterminism in Guarded Type Theory2014-07-24Paper
A Categorical Model of the Fusion Calculus2014-05-13Paper
An Algebra for Directed Bigraphs2014-01-17Paper
Undecidability of Model Checking in Brane Logic2013-12-06Paper
https://portal.mardi4nfdi.de/entity/Q28477822013-09-11Paper
https://portal.mardi4nfdi.de/entity/Q28478052013-09-11Paper
https://portal.mardi4nfdi.de/entity/Q28448112013-08-19Paper
Developing (Meta)Theory of λ-calculus in the Theory of Contexts1 1Work partially supported by Italian MURST project tosca and EC-WG types.2013-07-24Paper
The Theory of Contexts for First Order and Higher Order Abstract Syntax2013-07-24Paper
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic2013-07-24Paper
Structural Operational Semantics for Continuous State Probabilistic Processes2012-09-20Paper
Synthesis of Distributed Mobile Programs Using Monadic Types in Coq2012-09-20Paper
DBtk: A Toolkit for Directed Bigraphs2012-06-01Paper
Measurable stochastics for Brane calculus2012-05-30Paper
https://portal.mardi4nfdi.de/entity/Q34081312010-02-24Paper
Reactive Systems over Directed Bigraphs2008-09-18Paper
Implementing Spi Calculus Using Nominal Techniques2008-06-19Paper
Foundations of Software Science and Computation Structures2007-09-28Paper
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts2007-08-17Paper
About permutation algebras, (pre)sheaves and named sets2006-11-17Paper
Consistency of the theory of contexts2006-06-09Paper
Foundations of Software Science and Computational Structures2005-11-10Paper
https://portal.mardi4nfdi.de/entity/Q44354672003-11-12Paper
On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45350762002-06-12Paper
Encoding modal logics in logical frameworks2001-02-14Paper
\(\pi\)-calculus in (Co)inductive-type theory2000-12-12Paper
https://portal.mardi4nfdi.de/entity/Q49386442000-04-25Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Marino Miculan