Inferring Argument Size Relationships with CLP(R). - Florence Benoy; Andy King (LOPSTR, 1996)

Lower-bound Time-complexity Analysis of Logic Programs. - Andy King; Kish Shen; Florence Benoy (ILPS, 1997)

Movement as an Aid to Understanding Graphs. - John D. Bovey; Peter Rodgers 001; Florence Benoy (IV, 2003)

Using games to investigate movement for graph comprehension. - John D. Bovey; Florence Benoy; Peter Rodgers 001 (AVI, 2004)

Computing convex hulls with a linear solver. - Florence Benoy; Andy King; Frédéric Mesnard (Theory Pract. Log. Program., 2005)

Evaluating the Comprehension of Euler Diagrams. - Florence Benoy; Peter Rodgers 001 (IV, 2007)