Centrum Wiskunde & Informatica

SexTant: Visualizing Time-Evolving Linked Geospatial Data In Proceedings

K. Bereta (Konstantina), C. Nikolaou (Charalampos), M. Karpathiotakis (Manos), K. Kyzirakos (Konstantinos) and M. Koubarakis (Manolis)

January 2013
Designing Socially-Aware Video Exploration Interfaces: A Case Study using School Concert Assets In Proceedings

D.C. Pedrosa (Diogo de Carvalho), R.L. Guimarães (Rodrigo Laiola), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

January 2013
Personalized presentations from community assets In Proceedings

R.L. Guimarães (Rodrigo Laiola), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

January 2013
User-defined schedulers for real-time concurrent objects Article

Innovations in Systems and Software Engineering, 9(1), 29-43.

J. Björk, F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), R. Schlatte (Rudolf) and S.L.T. Tarifa

January 2013
Sound and complete axiomatizations of coalgebraic language equivalence Article

ACM Transactions on Computational Logic, 14(1)

M.M. Bonsangue (Marcello), S. Milius and A.M. Silva (Alexandra)

January 2013
Language constructs for non-well-founded computations In Proceedings

J. Jeannin, D. Kozen and A.M. Silva (Alexandra)

January 2013
Well-founded coalgebras, revisited Tech Report

J. Jeannin, D. Kozen and A.M. Silva (Alexandra)

January 2013
A coalgebraic view of epsilon-transitions In Proceedings

A.M. Silva (Alexandra) and B. Westerbaan (Bas)

January 2013

Previous

Next