Centrum Wiskunde & Informatica

Reduced mixing generates oscillations and chaos in the deep chlorophyll maximum Tech Report

J. Huisman, N.N. Pham Thi (Nga), D. Karl and B.P. Sommeijer (Ben)

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

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

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

K. Schwarz

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

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

January 2005
Closure properties of coalgebra automata In Proceedings

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

January 2005
A Compositional Trace Logic For Behavioral Interface Specifications Article

Nordic Journal of Computing, 12(2), 116-132.

M. Kyas (Marcel), F.S. de Boer (Frank) and W.P. de Roever

January 2005
Formalizing UML Models and OCL Constraints in PVS Article

Electronic Notes in Theoretical Computer Science, 39-47.

M. Kyas (Marcel), H. Fecher, F.S. de Boer (Frank), J.F. Jacob (Joost), J. Hooman, M.B. van der Zwaag, T. Arons and H. Kugler

January 2005
A proof outline logic for object-oriented programming Article

Theoretical Computer Science, 343(3), 413-442.

C. Pierik and F.S. de Boer (Frank)

January 2005

Previous

Next