Invited talks
- 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)
- Definition and Application of AE-extensions: The Modal Interval Theory Revisited (2005)
- Verified Projection of Solution Set of Parametric Systems of Equations (2003)
Universities/Institutes
- A New Containment Method For Rigorous Shadowing, CWI (December 2007)
- Interval Analysis: From Theory to Applications, ISTIA (May 2007)
Companies
Workshop and conferences
- 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