Centrum Wiskunde & Informatica

Computable CTL* for discrete-time and continuous-space dynamic systems In Proceedings

P.J. Collins (Pieter) and I.S. Zapreev (Ivan)

January 2009
Algebras for Kripke polynomial coalgebras In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2009
Equivariant Gröbner bases and the two-factor model Tech Report

A.E. Brouwer (Andries) and J. Draisma (Jan)

January 2009
A Kleene theorem for polynomial coalgebras In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2009
The singular lines of alternating three-forms Tech Report

J. Draisma (Jan) and R. Shaw (Ron)

January 2009
LEV1ATHAN: A level-1 heuristic Software

K.T. Huber, L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and R. Suchecki

January 2009
Retrieving (JPEG) Pictures in Portable Hypermedia Documents In Proceedings

D.C.A. Bulterman (Dick)

January 2009
Shifted-Laplacian preconditioners for heterogeneous Helmholtz problems Book Chapter

C.W. Oosterlee (Kees), C. Vuik, W.A. Mulder and R.-E. Plessix

January 2009

Previous

Next