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 × Austria
1 × France
1 × Japan
2 × USA
Collaborated with:
S.Enqvist F.Seifan A.Facchini F.Zanasi C.Kupke G.Fontaine R.A.Leal F.Carreiro B.t.Cate W.Conradie M.Marx
Talks about:
coalgebra (4) automata (3) logic (3) complet (2) definitori (1) character (1) bisimilar (1) properti (1) fragment (1) fixpoint (1)

Person: Yde Venema

DBLP DBLP: Venema:Yde

Contributed to:

LICS 20152015
CSL-LICS 20142014
LICS 20132013
ICALP (2) 20102010
KR 20062006
LICS 20052005
CSL 20162016

Wrote 7 papers:

LICS-2015-EnqvistSV #algebra #bisimulation #higher-order #logic #monad
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras (SE, FS, YV), pp. 353–365.
LICS-CSL-2014-CarreiroFVZ #automaton #similarity
Weak MSO: automata and expressiveness modulo bisimilarity (FC, AF, YV, FZ), p. 27.
LICS-2013-FacchiniVZ #calculus #theorem #μ-calculus
A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus (AF, YV, FZ), pp. 478–487.
ICALP-v2-2010-FontaineLV #algebra #approach #automaton #using
Automata for Coalgebras: An Approach Using Predicate Liftings (GF, RAL, YV), pp. 381–392.
KR-2006-CateCMV #logic
Definitorially Complete Description Logics (BtC, WC, MM, YV), pp. 79–89.
LICS-2005-KupkeV #algebra #automaton
Closure Properties of Coalgebra Automata (CK, YV), pp. 199–208.
CSL-2016-EnqvistSV #algebra #fixpoint #logic
Completeness for Coalgebraic Fixpoint Logic (SE, FS, YV), p. 19.

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.