Travelled to:1 × Croatia
1 × Estonia
1 × France
1 × Germany
1 × Japan
1 × Norway
2 × United Kingdom
Collaborated with:S.Milius ∅ R.S.R.Myers H.Urbat L.S.Moss L.Sousa A.Plsek 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) iter (2) set (2) eilenberg (1) coproduct (1) perspect (1) determin (1)
Person: Jirí Adámek
DBLP: Ad=aacute=mek:Jir=iacute=
Contributed to:
2015
201420122012
20112009
200820052020Wrote 10 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-2009-AdamekMV #monad
- A Description of Iterative Reflections of Monads (JA, SM, JV), pp. 152–166.
- QoSA-2008-PlsekA #component #model checking #named
- Carmen: Software Component Model Checker (AP, JA), pp. 71–85.
- CSL-2005-Adamek #equation #logic
- A Logic of Coequations (JA), pp. 70–86.
- CSL-2020-Adamek #algebra #on the
- On Free Completely Iterative Algebras (JA), p. 21.