Centrum Wiskunde & Informatica

P3C: A New Algorithm for the Simple Temporal Problem In Proceedings

L.R. Planken, M.M. de Weerdt (Mathijs) and R.P.J. van der Krogt

September 2008
Is timed branching bisimilarity a congruence indeed? Article

Fundamenta Informaticae, 87(3/4), 287-311.

W.J. Fokkink (Wan), J. Pang (Jun) and A.J. Wijs (Anton)

September 2008
Leader election in anonymous rings: Franklin goes probabilistic In Proceedings

R. Bakhshi (Rena), W.J. Fokkink (Wan), J. Pang (Jun) and J.C. van de Pol (Jaco)

September 2008
Lifting non-finite axiomatizability results to extensions of process algebras In Proceedings

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and M.R. Mousavi

September 2008
Mechanical verification of a two-way sliding window protocol In Proceedings

B. Badban (Bahareh), W.J. Fokkink (Wan) and J.C. van de Pol (Jaco)

September 2008
A Brief Introduction to Fourier Analysis on the Boolean Cube Article

ACM Computers in Entertainment, 6(1), 1-10.

R.M. de Wolf (Ronald)

September 2008
CWI at ImageCLEF 2008 In Proceedings

T. Tsikrika (Theodora), H. Rode (Henning) and A.P. de Vries (Arjen)

September 2008
Overview of the wikipediaMM task at ImageCLEF 2008 In Proceedings

T. Tsikrika (Theodora) and J. Kludas

September 2008

Previous

Next