Florence Benoy (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Florence Benoy, Andy King, Frédéric Mesnard: Computing convex hulls with a linear solver. TPLP 5(1-2): 259-271 (2005)

3 Florence Benoy, Andy King, Frédéric Mesnard: Computing Convex Hulls with a Linear Solver CoRR cs.PL/0311002: (2003)

2 Andy King, Kish Shen, Florence Benoy: Lower-bound Time-complexity Analysis of Logic Programs. ILPS 1997: 261-275

1 Florence Benoy, Andy King: Inferring Argument Size Relationships with CLP(R). LOPSTR 1996: 204-223

Selection of 4 from 7 records - Florence Benoy has 5 coauthors

6		Florence Benoy, Andy King, Frédéric Mesnard: Computing convex hulls with a linear solver. TPLP 5(1-2): 259-271 (2005)
3		Florence Benoy, Andy King, Frédéric Mesnard: Computing Convex Hulls with a Linear Solver CoRR cs.PL/0311002: (2003)
2		Andy King, Kish Shen, Florence Benoy: Lower-bound Time-complexity Analysis of Logic Programs. ILPS 1997: 261-275
1		Florence Benoy, Andy King: Inferring Argument Size Relationships with CLP(R). LOPSTR 1996: 204-223