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 × Croatia
1 × Cyprus
1 × Estonia
1 × France
1 × Japan
1 × Norway
2 × United Kingdom
Collaborated with:
J.Adámek L.S.Moss R.S.R.Myers H.Urbat L.Sousa D.Schwencke J.Velebil N.Bowler P.B.Levy F.Bonchi M.Hülsbusch B.König A.Silva
Talks about:
coalgebra (2) varieti (2) languag (2) monad (2) set (2) eilenberg (1) coproduct (1) structur (1) perspect (1) determin (1)

Person: Stefan Milius

DBLP DBLP: Milius:Stefan

Contributed to:

LICS 20152015
FoSSaCS 20142014
FOSSACS 20122012
LICS 20122012
CSL 20112011
FOSSACS 20102010
LICS 20102010
FOSSACS 20092009

Wrote 9 papers:

Varieties of Languages in a Category (JA, RSRM, HU, SM), pp. 414–425.
FoSSaCS-2014-AdamekMMU #theorem
Generalized Eilenberg Theorem I: Local Varieties of Languages (JA, SM, RSRM, HU), pp. 366–380.
FoSSaCS-2012-AdamekBHKMS #algebra
A Coalgebraic Perspective on Minimization and Determinization (JA, FB, MH, BK, SM, AS), pp. 58–73.
FoSSaCS-2012-AdamekMMS #algebra
Well-Pointed Coalgebras (JA, SM, LSM, LS), pp. 89–103.
LICS-2012-AdamekMBL #monad #set
Coproducts of Monads on Set (JA, SM, NB, PBL), pp. 45–54.
Power-Set Functors and Saturated Trees (JA, SM, LSM, LS), pp. 5–19.
FoSSaCS-2010-MiliusMS #recursion #semantics
CIA Structures and the Semantics of Recursion (SM, LSM, DS), pp. 312–327.
LICS-2010-Milius #calculus #finite
A Sound and Complete Calculus for Finite Stream Circuits (SM), pp. 421–430.
FoSSaCS-2009-AdamekMV #monad
A Description of Iterative Reflections of Monads (JA, SM, JV), pp. 152–166.

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.