Centrum Wiskunde & Informatica

Flat directions and Minkowski's $3^d$-theorem Tech Report

J. Draisma (Jan), T. McAllister and B. Nill

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
Aligning Protein Structures Using Distance Matrices and Combinatorial Optimization In Proceedings

I. Wohlers (Inken), I. Petzold, F.S. Domingues and G.W. Klau (Gunnar)

January 2009
Dynamics with a range of choice Article

The special SCAN'08 issue of reliable computing

S. Živanovic (Sanja) and L. Kapitanski

January 2009
Aggregative synthesis of distributed supervisors based on automaton abstraction Tech Report

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2009

Previous

Next