`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:

### Contributed to:

### Wrote 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.