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: Milius:Stefan
Contributed to:
2015
201420122012
2011201020102009Wrote 9 papers:
- LICS-2015-AdamekMUM
- 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.
- CSL-2011-AdamekMMS
- 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.