Reliable Collision Detection for Time-Dependent Parametric Surfaces. - Anthony P. Leclerc; Jeffrey S. Ely (Reliab. Comput., 1998)

Correct Delaunay Triangulation in the Presence of Inexact Inputs and Arithmetic. - Jeffrey S. Ely; Anthony P. Leclerc (Reliab. Comput., 2000)

Interval Analysis: Parallel Methods for Global Optimization. - Anthony P. Leclerc (Encyclopedia of Optimization, 2009)

On Computing World Views of Epistemic Logic Programs. - Tran Cao Son; Tiep Le; Patrick Thor Kahl; Anthony P. Leclerc (IJCAI, 2017)

Epistemic Logic Programs with World View Constraints. - Patrick Thor Kahl; Anthony P. Leclerc (ICLP (Technical Communications), 2018)

A survey of advances in epistemic logic program solvers. - Anthony P. Leclerc; Patrick Thor Kahl (CoRR, 2018)

A parallel memory-efficient epistemic logic program solver: harder, better, faster. - Patrick Thor Kahl; Anthony P. Leclerc; Tran Cao Son (Ann. Math. Artif. Intell., 2019)