BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Miculan:Marino

Facilitated 1 volumes:

FoSSaCS 2001Ed

Contributed to:

QAPL 20142014
RTA-TLCA 20142014
GT-VMT 20102010
GT-VMT 20082008
FoSSaCS 20052005
FoSSaCS 20042004
PPDP 20032003
ICALP 20012001
ICALP 19991999
LICS 19951995

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).
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.