OpenCl in a Memory Bound Scenario
Nonlinear Trajectory Optimization
Symbolic Model Checking for Real-time Systems
The Theory of Hybrid Automata
Triangular Decomposition of Semi-Algebraic Systems
Wavefront control for space telescope