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 × 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 DBLP: Ad=aacute=mek:Jir=iacute=

Contributed to:

LICS 20152015
FoSSaCS 20142014
FOSSACS 20122012
LICS 20122012
CSL 20112011
FOSSACS 20092009
QoSA 20082008
CSL 20052005
CSL 20202020

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

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.