Marino Miculan

Available identifiers

zbMath Open miculan.marinoWikidataQ61292867 ScholiaQ61292867MaRDI QIDQ418840

List of research outcomes

Publication	Date of Publication	Type
Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems	2024-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q6124944	2024-04-10	Paper
A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity	2024-02-23	Paper
A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs	2024-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q6061671	2023-12-08	Paper
The expressive power of Structural Operational Semantics with explicit assumptions	2023-12-08	Paper
On the security and safety of AbU systems	2023-05-26	Paper
AbU: a calculus for distributed event-driven programming with attribute-based interaction	2023-05-02	Paper
Computing Embeddings of Directed Bigraphs	2022-09-01	Paper
A calculus for attribute-based memory updates	2022-03-31	Paper
Constructive logical characterizations of bisimilarity for reactive probabilistic systems	2019-03-13	Paper
A natural deduction approach to dynamic logic	2019-01-15	Paper
Structural operational semantics for non-deterministic processes with quantitative aspects	2017-02-06	Paper
Finding a Forest in a Tree	2016-06-09	Paper
Behavioural equivalences for coalgebras with unobservable moves	2015-11-10	Paper
Directed Bigraphs	2015-07-10	Paper
Structural operational semantics for continuous state stochastic transition systems	2015-04-28	Paper
A Model of Countable Nondeterminism in Guarded Type Theory	2014-07-24	Paper
A Categorical Model of the Fusion Calculus	2014-05-13	Paper
An Algebra for Directed Bigraphs	2014-01-17	Paper
Undecidability of Model Checking in Brane Logic	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2847782	2013-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2847805	2013-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2844811	2013-08-19	Paper
Developing (Meta)Theory of λ-calculus in the Theory of Contexts1 1Work partially supported by Italian MURST project tosca and EC-WG types.	2013-07-24	Paper
The Theory of Contexts for First Order and Higher Order Abstract Syntax	2013-07-24	Paper
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic	2013-07-24	Paper
Structural Operational Semantics for Continuous State Probabilistic Processes	2012-09-20	Paper
Synthesis of Distributed Mobile Programs Using Monadic Types in Coq	2012-09-20	Paper
DBtk: A Toolkit for Directed Bigraphs	2012-06-01	Paper
Measurable stochastics for Brane calculus	2012-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q3408131	2010-02-24	Paper
Reactive Systems over Directed Bigraphs	2008-09-18	Paper
Implementing Spi Calculus Using Nominal Techniques	2008-06-19	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts	2007-08-17	Paper
About permutation algebras, (pre)sheaves and named sets	2006-11-17	Paper
Consistency of the theory of contexts	2006-06-09	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4435467	2003-11-12	Paper
On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4535076	2002-06-12	Paper
Encoding modal logics in logical frameworks	2001-02-14	Paper
\(\pi\)-calculus in (Co)inductive-type theory	2000-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4938644	2000-04-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marino Miculan