Centrum Wiskunde & Informatica

Thema Film 7: Linked TV News Final English version Magazine Article

L. Pérez Romero (Lilia) and M. Hildebrand (Michiel)

January 2014
Integrating Testing into Agile Software Development Processes In Proceedings

M.M. Bonsangue (Marcello), R. van den Broek, M. Chaudron and H. van Merode

January 2014
Combining Bialgebraic Semantics and Equations In Proceedings

J.C. Rot (Jurriaan) and M.M. Bonsangue (Marcello)

January 2014
Leaving traces: a note on a sound and complete trace logic for concurrent constraint programs In Proceedings

F.S. de Boer (Frank) and M. Gabbrielli

January 2014
A note on typed behavioural differential equations In Proceedings

H.H. Hansen (Helle), H. Basold (Henning) and J.J.M.M. Rutten (Jan)

January 2014
A final coalgebra for k-regular sequences In Proceedings

H.H. Hansen (Helle), C.A. Kupke (Clemens), J.J.M.M. Rutten (Jan) and J. Winter (Joost)

January 2014
(Co)algebraic chraracterizations of signal flow graphs In Proceedings

H.H. Hansen (Helle), H. Basold (Henning), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

January 2014
Scaling future software: the manycore challenge Article

ERCIM News

F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), D.G. Clarke (David), S. Drossopoulou, N. Yoshida (Nobuko) and T. Wrigstad

January 2014

Previous

Next