Concepedia

Fred Mesnard

FM

Statistics

Publications

7

Citations

301

H-Index

7

Active since

2003

Affiliations

University of Reunion Island(Current)

Observatoire des Sciences de l'Univers de la Réunion

University of Parma

Fred Mesnard is an author at University of Reunion Island specializing in computer science, computing, and constraint logic programming.

Publications per year

2003–2012

7

Publications

7

A termination analyzer for Java bytecode based on path-length

Fausto Spoto, Fred Mesnard, Étienne Payet · ACM Transactions on Programming Languages and Systems · 2010 · 122 citations · Full text

Computing, Computer Science, Algorithms +15

On proving left termination of constraint logic programs

Fred Mesnard, Salvatore Ruggieri · ACM Transactions on Computational Logic · 2003 · 34 citations

Computing, Computer Science, Formal Methods +13

A new look at the automatic synthesis of linear ranking functions

Roberto Bagnara, Fred Mesnard, Andrea Pescetti et al. · Information and Computation · 2012 · 34 citations

Computing, Computer Science, Algorithms +9

Computing convex hulls with a linear solver

Florence Benoy, Andy King, Fred Mesnard · Theory and Practice of Logic Programming · 2005 · 33 citations

Computing, Computer Science, Mathematics +15

Nontermination inference of logic programs

Étienne Payet, Fred Mesnard · ACM Transactions on Programming Languages and Systems · 2006 · 32 citations · Full text

Computing, Computer Science, Algorithms +12

1–5 of 7