The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Fred Mesnard Frédéric Mesnard ( http://dblp.L3S.de/Authors/Fred_Mesnard )

  Author page on DBLP  Author page in RDF  Community of Fred Mesnard in ASPL-2

Publication years (Num. hits)
1991-1999 (16) 2000-2004 (19) 2005-2010 (15) 2012-2016 (16) 2017-2019 (3)
Publication types (Num. hits)
article(30) inproceedings(36) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 7 keywords

Results
Found 70 publication records. Showing 69 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fred Mesnard, Peter J. Stuckey (eds.) Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fred Mesnard, Peter J. Stuckey Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Fred Mesnard, Étienne Payet, Germán Vidal Selective unification in constraint logic programming. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fred Mesnard, Étienne Payet, Germán Vidal On the Completeness of Selective Unification in Concolic Testing of Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Fred Mesnard, Étienne Payet, Germán Vidal On the Completeness of Selective Unification in Concolic Testing of Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet On the Linear Ranking Problem for Simple Floating-Point Loops. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet Termination analysis of floating-point programs using parameterizable rational approximations. Search on Bibsonomy SAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Frédéric Mesnard, Étienne Payet, Wim Vanhoof Towards a framework for algorithm recognition in binary code. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fred Mesnard, Étienne Payet A second-order formulation of non-termination. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fred Mesnard, Étienne Payet, Germán Vidal Concolic Testing in Logic Programming. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Fred Mesnard, Étienne Payet, Germán Vidal Concolic testing in logic programming. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jürgen Giesl, Frédéric Mesnard, Albert Rubio, René Thiemann, Johannes Waldmann Termination Competition (termCOMP 2015). Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne Payet, Fred Mesnard, Fausto Spoto Non-Termination Analysis of Java Bytecode. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Fred Mesnard, Étienne Payet A Second-Order Formulation of Non-Termination. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Étienne Payet, Frédéric Mesnard Non-termination of Dalvik bytecode via compilation to CLP. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Roberto Bagnara, Fred Mesnard Eventual Linear Ranking Functions. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Roberto Bagnara, Fred Mesnard Eventual linear ranking functions. Search on Bibsonomy PPDP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella A new look at the automatic synthesis of linear ranking functions. Search on Bibsonomy Inf. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Olivier Pujol, Frédéric Mesnard, Henri Sauvageot Effects of Melting Layer in Airborne Meteorological X-Band Radar Observations. Search on Bibsonomy IEEE Trans. Geoscience and Remote Sensing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Salvatore Ruggieri, Fred Mesnard Typing linear constraints. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fausto Spoto, Fred Mesnard, Étienne Payet A termination analyzer for Java bytecode based on path-length. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Salvatore Ruggieri, Fred Mesnard Variable ranges in linear constraints. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF parameterized polyhedra, interval arithmetic, constraint logic programming, linear constraints
1Fausto Spoto, Lunjin Lu, Fred Mesnard Using CLP Simplifications to Improve Java Bytecode Termination Analysis. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Étienne Payet, Frédéric Mesnard A non-termination criterion for binary constraint logic programs. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Étienne Payet, Frédéric Mesnard A Non-Termination Criterion for Binary Constraint Logic Programs Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Frédéric Mesnard, Alexander Serebrenik Recurrence with affine level mappings is P-time decidable for CLP(R). Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Salvatore Ruggieri, Frédéric Mesnard Typing Linear Constraints for Moding CLP() Programs. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF well-moding, constraint logic programming, definiteness, polyhedra, linear constraints
1Frédéric Mesnard, Alexander Serebrenik Recurrence with affine level mappings is P-time decidable for CLP(R) Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Étienne Payet, Frédéric Mesnard Nontermination inference of logic programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF nontermination analysis, optimal termination condition, Logic programming, static analysis
1Étienne Payet, Frédéric Mesnard An Improved Non-Termination Criterion for Binary Constraint Logic Programs Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Florence Benoy, Andy King, Frédéric Mesnard Computing convex hulls with a linear solver. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Frédéric Mesnard, Roberto Bagnara cTI: A constraint-based termination inference tool for ISO-Prolog. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Étienne Payet, Frédéric Mesnard An Improved Non-Termination Criterion for Binary Constraint Logic Programs. Search on Bibsonomy WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
1Étienne Payet, Frédéric Mesnard Non-Termination Inference of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Étienne Payet, Frédéric Mesnard Non-termination Inference for Constraint Logic Programs. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alexander Serebrenik, Frédéric Mesnard On Termination of Binary CLP Programs. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Étienne Payet, Frédéric Mesnard Inférence de non-terminaison pour les programmes logiques avec contraintes. Search on Bibsonomy JFPLC The full citation details ... 2004 DBLP  BibTeX  RDF
1Frédéric Mesnard (eds.) Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France Search on Bibsonomy JFPLC The full citation details ... 2004 DBLP  BibTeX  RDF
1Florence Benoy, Andy King, Frédéric Mesnard Computing Convex Hulls with a Linear Solver Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Frédéric Mesnard, Roberto Bagnara cTI: A constraint-based termination inference tool for ISO-Prolog Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Frédéric Mesnard, Salvatore Ruggieri On proving left termination of constraint logic programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Automatic termination analysis, left termination, termination inference, constraint logic programming
1Frédéric Mesnard, Salvatore Ruggieri On proving left termination of constraint logic programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Automatic termination analysis, left termination, termination inference, constraint logic programming
1Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey Termination Analysis with Types Is More Accurate. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Frédéric Mesnard, Alexander Serebrenik (eds.) Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003 Search on Bibsonomy WLPE The full citation details ... 2003 DBLP  BibTeX  RDF
1Étienne Payet, Frédéric Mesnard A Generalization of the Lifting Lemma for Logic Programming Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel Detecting Optimal Termination Conditions of Logic Programs. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel Non-Termination Inference for Optimal Termination Conditions of Logic Programs. Search on Bibsonomy JFPLC The full citation details ... 2002 DBLP  BibTeX  RDF
1Frédéric Mesnard, Ulrich Neumerkel Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog. Search on Bibsonomy JFPLC The full citation details ... 2001 DBLP  BibTeX  RDF
1Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel cTI: Bottom-Up Termination Inference for Logic Programs. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Stefan Kral, Frédéric Mesnard, Ulrich Neumerkel Slicing zur Fehlersuche in Logikprogrammen. Search on Bibsonomy WLP The full citation details ... 2000 DBLP  BibTeX  RDF
1Frédéric Mesnard, Antoine Rauzy Le iota-calcul: un langage de contraintes d'ordre supérieur. Search on Bibsonomy JFPLC The full citation details ... 2000 DBLP  BibTeX  RDF
1Ulrich Neumerkel, Frédéric Mesnard Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices. Search on Bibsonomy PPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Serge Colin, Frédéric Mesnard, Antoine Rauzy Un module Prolog de mu-calcul booléen: une réalisation par BDD. Search on Bibsonomy JFPLC The full citation details ... 1999 DBLP  BibTeX  RDF
1Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard CLP(chi) for Automatically Proving Program Properties. Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sébastien Hoarau, Frédéric Mesnard Inferring and Compiling Termination for Constraint Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sébastien Hoarau, Frédéric Mesnard Inférer et compiler la terminaison des programmes logiques avec contraintes. Search on Bibsonomy JFPLC The full citation details ... 1998 DBLP  BibTeX  RDF
1Frédéric Mesnard Inferring Left-terminating Classes of Queries for Constraint Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Sébastien Hoarau, Frédéric Mesnard PLC(Bool) pour la détection de variables numériques bornées. Search on Bibsonomy JFPLC The full citation details ... 1996 DBLP  BibTeX  RDF
1Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard CLP(chi) for Proving Program Properties. Search on Bibsonomy FroCoS The full citation details ... 1996 DBLP  BibTeX  RDF
1Frédéric Mesnard Towards Automatic Control for CLP(x) Programs. Search on Bibsonomy LOPSTR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Frédéric Mesnard, Sébastien Hoarau Contrôle dynamique de la résolution pour les programmes logiques avec contraintes. Search on Bibsonomy JFPLC The full citation details ... 1995 DBLP  BibTeX  RDF
1Frédéric Mesnard Étude de la terminaison des programmes logiques avec contraintes au moyen d'approximations. Search on Bibsonomy JFPLC The full citation details ... 1994 DBLP  BibTeX  RDF
1Frédéric Mesnard Approximations entre langages de programmation logique avec contraintes. Search on Bibsonomy JFPL The full citation details ... 1993 DBLP  BibTeX  RDF
1Frédéric Mesnard, Marianne Morillon Automatic Generation of Valid Linear Measures for CLP(Q) Programs. Search on Bibsonomy WSA The full citation details ... 1992 DBLP  BibTeX  RDF
1Frédéric Mesnard, Jean-Gabriel Ganascia CLP(X) for proving prgram properties. Search on Bibsonomy JFPL The full citation details ... 1992 DBLP  BibTeX  RDF
1Frédéric Mesnard, Jean-Gabriel Ganascia CLP(Q) for Proving Interargument Relations. Search on Bibsonomy META The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Frédéric Mesnard, Jean-Gabriel Ganascia A propos du contrôle de la résolution. Search on Bibsonomy JTASPEFT/WSA The full citation details ... 1991 DBLP  BibTeX  RDF
Displaying result #1 - #69 of 69 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license