Centrum Wiskunde & Informatica

Computable Types for Dynamic Systems In Proceedings

P.J. Collins (Pieter)

January 2009
Computable CTL for Discrete-Time and Continuous-Space Dynamic Systems In Proceedings

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

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

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

January 2009
Unfolding a tangent equilibrium-to-periodic heteroclinic cycle Article

SIAM Journal on Applied Dynamical Systems, 1261-1304.

A.R. Champneys, V. Kirk, E. Knobloch, B. Oldeman and J.D.M. Rademacher (Jens)

January 2009
Absolute stability of wavetrains can explain spatiotemporal dynamics in reaction-diffusion systems of lambda-omega type Article

SIAM Journal on Applied Dynamical Systems, 1136-1159.

M. Smith, J.D.M. Rademacher (Jens) and J.A. Sherratt

January 2009
Turing machine Tech Report

P.M.B. Vitányi (Paul)

January 2009
Sequential Bidding in the Bailey-Cavallo Mechanism In Proceedings

K.R. Apt (Krzysztof) and V. Markakis (Vangelis)

January 2009
Trends in Interactive Visualization: State-of-the-Art Survey Book

E. Zudalova, T. Adriaansen and R. van Liere (Robert)

January 2009

Previous

Next