Centrum Wiskunde & Informatica

MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels In Proceedings

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2005
Integral representations for computing real parabolic cylinder functions Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2005
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

Previous

Next