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

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