Travelled to:1 × Austria
1 × Czech Republic
1 × France
1 × Greece
1 × Spain
1 × Sweden
1 × USA
1 × United Kingdom
Collaborated with:D.Grohmann I.Scagnetto M.Peressotti K.Yemane P.D.Gianantonio ∅ F.Gadducci A.Bizjak L.Birkedal F.Honsell
Talks about:type (3) calculus (2) process (2) bigraph (2) algebra (2) recurs (2) unifi (2) model (2) hoa (2) nondetermin (1)
Person: Marino Miculan
DBLP: Miculan:Marino
Facilitated 1 volumes:
EdContributed to:
2014
2014
2010200820052004
2003
20011999
1995Wrote 10 papers:
- QAPL-2014-MiculanP #aspect-oriented #nondeterminism #process
- GSOS for non-deterministic processes with quantitative aspects (MM, MP), pp. 17–33.
- RTA-TLCA-2014-BizjakBM #nondeterminism #type system
- A Model of Countable Nondeterminism in Guarded Type Theory (AB, LB, MM), pp. 108–123.
- GT-VMT-2010-GrohmannM #algebra #graph
- Graph Algebras for Bigraphs (DG, MM).
- GT-VMT-2008-GrohmannM #graph #resource management
- Controlling resource access in Directed Bigraphs (DG, MM).
- FoSSaCS-2005-MiculanY
- A Unifying Model of Variables and Names (MM, KY), pp. 170–186.
- FoSSaCS-2004-GianantonioM #category theory #recursion
- Unifying Recursive and Co-recursive Definitions in Sheaf Categories (PDG, MM), pp. 136–150.
- PPDP-2003-MiculanS #framework #semantics
- A framework for typed HOAS and semantics (MM, IS), pp. 184–194.
- ICALP-2001-HonsellMS #algebra #approach #axiom
- An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS (FH, MM, IS), pp. 963–978.
- ICALP-1999-Miculan #calculus #formal method #induction #lazy evaluation #proving #μ-calculus
- Formalizing a Lazy Substitution Proof System for μ-calculus in the Calculus of Inductive Constructions (MM), pp. 554–564.
- LICS-1995-MiculanG #process
- Modal μ-Types for Processes (MM, FG), pp. 221–231.