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: Venema:Yde
Contributed to:
201520142013
2010
20062005
2016Wrote 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.