Recent work
(All papers are available in pdf format, unless stated otherwise.)
Submitted
Accepted for publication
-
Y. Venema, S. Vickers and J. Vosmaer,
Generalized
powerlocales via relation lifting,
Mathematical Structures in Computer Science, to appear.
-
C. Kupke, A. Kurz and Y. Venema,
Completeness
for the coalgebraic cover modality,
Logical Methods in Computer Science, to appear.
-
V. Ciancia and Y. Venema,
Stream automata
are coalgebras,
11th International Workshop on Coalgebraic Methods in Computer Science
(CMCS 2012), to appear.
-
J. Marti and Y. Venema,
Lax Extensions
of Coalgebra Functors,
11th International Workshop on Coalgebraic Methods in Computer Science
(CMCS 2012), to appear.