Intelligent Software Middle Agents for Mediation of incompatible Semantic Web Services 2008–2010 GA MŠk
Theory of Krylov subspace methods and its relationship to other mathematical disciplines 2008–2012 GA AV ČR
Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology 2008–2010 GA ČR
