Multistep Filtering Operators for Ordinary Differential Equations. - Micha Janssen; Yves Deville; Pascal Van Hentenryck (CP, 1999)

Optimal Pruning in Parametric Differential Equations. - Micha Janssen; Pascal Van Hentenryck; Yves Deville (CP, 2001)

A Constraint Satisfaction Approach to Parametric Differential Equations. - Micha Janssen; Pascal Van Hentenryck; Yves Deville (IJCAI, 2001)

A Constraint Satisfaction Approach for Enclosing Solutions to Initial Value Problems for Parametric Ordinary Differential Equations. - Micha Janssen (2001)

Consistency Techniques in Ordinary Differential Equations. - Yves Deville; Micha Janssen; Pascal Van Hentenryck (Constraints An Int. J., 2002)

A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations. - Micha Janssen; Pascal Van Hentenryck; Yves Deville (SIAM J. Numer. Anal., 2002)