List of publications: index
Selection by year

2011 2010 2009 2008 2007 2006 2005 2004 2003
2002 2001 2000 1999 1998 1997 1996 1995 1994
1993 1992 1991

Selection by category

Books and proceedings Thesis Articles in journal or book chapters
Conference articles Internal reports Manuals, booklets
Miscellaneous

Selection by author

A B C D E F G H I J K L M N
O P Q R S T U V W X Y Z

A Pierre Allard
B S. Bars O. Bedel Y. Bekkers
C Peggy Cellier
D Mireille Ducassé
F Sébastien Ferré Annie Foret
G E. Garel
H Alice Hermann
P Yoann Padioleau
Q E. Quesseveur
R Olivier Ridoux
S B. Sigonneau

Selection by keyword

A B C D E F G H I J K L M N
O P Q R S T U V W X Y Z

A Abstract Views of Program Executions Acquisition syntaxique aide à la décision
Alert correlation algorithm all i know
analyse de concepts analyse formelle de concepts annotation
application developpement applied logic apprentissage automatique
Artificial Intelligence association rule Association Rules
associative concept Automated debugging automated test data generation
B B formal method bases de données déductives benchmarking
bioinformatics Bonds between sentences browsing
C C Debugging tool. categoarial grammar Categorial Dependency Grammar
Categorial grammar Categorial Grammars choix social
classification CLP compilation
complete and incomplete knowledge complexity components
composition computational linguistics concept analysis
concept lattice conceptual navigation Constraint and logic languages
constraints context context handling in syntactic analysis.
continuation continuation semantics controlled natural language
Cut Elimination
D data mining Data model data retrieval
DCG débogage debugging
Debugging language Décision multicritère deduction
deduction and theorem proving deductive databases Dependency grammar
dichotomic search algorithm Discourse analysis Dynamic analysis
dynamic taxonomies
E ensembles de substitutions epistemic logic exception handling.
explanations exploratory search expressiveness
F faceted search fault localization FCA
file file system Flexibility
flexible motifs formal concept analysis. function-lists
Functional Dependencies functional dependency functional genomics
G Galois lattice garbage collection geographical data
geographical information system GIS Gold's model
grammaires catégorielles grammaires logiques grammar transformations
grammatical inference graphical data
H higher-order unification.
I implementation incremental algorithm Incremental learning
inférence grammaticale information retrieval information search
information search and retrieval information system information systems
instrumentation Intrusion detection Iterated types.
K Knowledge acquisition knowledge discovery
L lambda-calcul lambda-calculus. lambda-terms
LambdaProlog Lambek Categorial Grammars lattice
Learning Learning from positive examples logic
logic-based systems Logic component Logic Functor
logic functors logic grammars logic programming
logical concept analysis logical information system logical information systems
logique
M machine learning Measure of test coverage memory management.
Mercury méta-interprète meta-interpreter
modal logic Model of Gold modèle de Gold
modules and functors Monitoring Monitors
Montague grammar multi-SLD-AL
N navigateurs (logiciels) navigation non- associative Lambek calculus
Non-associative Lambek calculus
O OLAP ontologies operational semantics
organization
P parser parsing parsing software
partial order photo collection polymorphism
portée pregroup Pregroup grammars
Pregroups program analysis Program behavior understanding
Program Execution Analysis program learning program schemes
program verification Programmation logique Programming environment
Programming Environments Prolog. Prolog Debugging tool
Prolog II protein secondary structure
Q quantifications query formulation query language
querying
R rational terms. RDF recherche de l'information
Reference manual relation représentation du contexte.
representation languages ressources syntaxiques (syntax learning retrieval
S scope second-order lambda-calculus. See \citebo92a
See \citebo92b selection of patterns semantic search
semantic web sémantique opérationnelle Sentence network
Simulation software software component
Software Engineering source to source transformation SPARQL
sparse context spatial logic spatial relations
specification string substitution set
suffix tree syntactical resources) Syntax-directed translation
système d'information systèmes d'information logiques
T taxonomy teaching testing
Testing and Debugging Textual analysis theorem prover
theorem provers theorem proving trace
Trace abstraction mechanisms Trace analyser Trace analysis
trace models Trace Query Language Trace query mechanism
tracing treillis (théorie des) étude de cas
type checking types. types. logic programming
typing
U update update language usefulness logic.
user interaction User manual
V validation verification
W white-box testing
X XML data

Complete bibliography

Complete bibliography as a single HTML page
Complete bibliography as a single BIBTEX file




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Mon Feb 6 13:38:23 2012
Author: ferre.


This document was translated from BibTEX by bibtex2html