Centrum Wiskunde & Informatica

Distaster Preperation in the Netherlands In Proceedings

A.J. Jansen (Jack)

January 2005
Diagnosis of single and multi-agent plans In Proceedings

C. Witteveen (Cees), N. Roos, R.P.J. van der Krogt and M.M. de Weerdt (Mathijs)

January 2005
Minimizing the total completion time on-line on a single machine, using restarts Article

Journal of Algorithms, 57(2), 95-129.

J.A. La Poutré (Han) and R. van Stee (Rob)

January 2005
Closure properties of coalgebra automata In Proceedings

C.A. Kupke (Clemens) and Y. Venema

January 2005
Algorithms for a No monotonic Logic of Preferences In Proceedings

S. Kaci and L.W.N. van der Torre (Leon)

January 2005
Domain model enhanced search - A comparison of taxonomy, thesaurus and ontology Tech Report

K. Schwarz

January 2005
On global error estimation and control for initial value problems Tech Report

J. Lang (Jens) and J.G. Verwer (Jan)

January 2005
A computer checked algebraic verification of a distributed summation algorithm Article

Formal Aspects of Computing, 17(1), 19-37.

J.F. Groote (Jan Friso), F. Monin and J.G. Springintveld

January 2005

Previous

Next