CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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
-
January 2005
-
January 2005
-
Algorithms for a No monotonic Logic of Preferences In Proceedings
January 2005
-
Closure properties of coalgebra automata In Proceedings
January 2005 -
A Compositional Trace Logic For Behavioral Interface Specifications Article
Nordic Journal of Computing, 12(2), 116-132.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.January 2005