Publication

A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq In Proceedings

P.J. Collins (Pieter), M. Niqui (Milad) and N. Revol

Aggregative synthesis of distributed supervisors based on automata abstraction Article

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

XHTML™ Modularization 1.1 - Second edition Book Chapter

S. Pemberton (Steven)

Parabolic Cylinder Functions Book Chapter

N.M. Temme (Nico)

Numerical Methods Book Chapter

N.M. Temme (Nico)

Error Functions, Dawson’s and Fresnel Integrals Book Chapter

N.M. Temme (Nico)

The positive semidefinite Grothendieck problem with rank constraint In Proceedings

J. Briët (Jop), F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

ERCIM NEWS Special Theme Computational Biology Miscellaneous