Centrum Wiskunde & Informatica

An efficient, streamable text format for multimedia captions and subtitles In Proceedings

D.C.A. Bulterman (Dick), A.J. Jansen (Jack), P.S. César Garcia (Pablo Santiago) and S. Cruz-Lara (Samuel)

August 2007
Adapting the UPPAAL model of a distributed lift system In Proceedings

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

August 2007
Ready to preorder: get your BCCSP axiomatization for free! In Proceedings

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

August 2007
Generalizing DPLL and satisfiability for equalities Article

Information and Computation, 205(8), 1117-1294.

B. Badban (Bahareh), J.C. van de Pol (Jaco), O. Tveretina and H. Zantema (Hans)

August 2007
Syntax Error Handling in Scannerless Generalized LR Parsers Master Thesis

R. Valkering

August 2007
Bliksem uit de ruimte? Article

Kijk, 7-11.

U. Ebert (Ute)

August 2007
An optimal bifactor approximation algorithm for the metric uncapacitated facility location problem In Proceedings

J. Byrka (Jaroslaw)

August 2007
Ambiguity Detection Methods for Context-Free Grammars Master Thesis

H.J.S. Basten (Bas)

August 2007

Previous

Next