Invited talks
- A Parallelotope Method For the Simulation of Nonlinear Hybrid Systems (2010)
- On the Interval Matrix Exponentiation (2009)
- Search Strategies for an Anytime Usage of the Branch and Prune Algorithm (2009)
- A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions (2008)
- On the Parallelepiped Method and Higher Order Methods (2008)
- A New Containment Method For Rigorous Shadowing (2007)
- Inner and Outer Approximations of Existentially Quantified Equality Constraints (2006)
- Inner approximation of vector valued function ranges (2005)
- Definition and Application of AE-extensions: The Modal Interval Theory Revisited (2005)
- Estimation of AE-solution sets of square linear interval systems (2004)
- Verified Projection of Solution Set of Parametric Systems of Equations (2004)
- Introduction to Modal Intervals (2001)
Universities/Institutes
- Tinkerbell is Chaotic, Waseda University, Tokyo, Japan (October 2009)
- A New Containment Method For Rigorous Shadowing, CWI, Amsterdam, Netherlands (December 2007)
- Interval Analysis: From Theory to Applications, ISTIA, Angers, France (May 2007)
- Definition and Application of AE-extensions: The Modal Interval Theory Revisited, INRIA (2005)
- Verified Projection of Solution Set of Parametric Systems of Equations, INRIA (2003)
Companies
Workshop and conferences
- Including Ordinary Differential Equations Based Constraints in the Standard CP Framework, SWIM 2010
- Box Consistency Through Adaptive Shaving, SAC 2010
- Search Strategies for an Anytime Usage of the Branch and Prune Algorithm, SWIM 2009
- A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions, CP 2008
- A New Containment Method For Rigorous Shadowing, FRAC 2007
- A New Containment Method For Rigorous Shadowing, SCICADE 2007
- A branch and prune algorithm for the approximation of non-linear AE-solution sets, SAC 2006
- Modal intervals revisited: a mean-value extension to generalized intervals, QCP 2005
- Verified Projection of Solution Set of Parametric Systems of Equations, COCOS 2003