List of publications: index
Selection by year

2018 2017 2016 2015 2014 2013 2012 2011 2010
2009 2008 2007 2006 2005 2004 2003 2002 2001
2000 1999 1998 1997 1996 1995 1994 1993 1992
1991 1988

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 Mouhamadou Ba Soazig Bars Olivier Bedel
Y. Bekkers Carlos Bobed
C Peggy Cellier Soda Cissé
D Mireille Ducassé
F Sébastien Ferré Annie Foret
G Emmanuelle Garel
H Alice Hermann
L Aurélien Lamercerie
M Pierre Maillot
N Anh-Duong Nguyen
P Yoann Padioleau
Q Erwan Quesseveur
R Olivier Ridoux
S Benjamin 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 conceptual navigation abstract syntax Abstract Views of Program Executions
Acquisition syntaxique Agenda building aide à la décision
Alert correlation algorithm all i know
analyse de concepts analyse formelle de concepts annotation
application developpement applied logic apprentissage automatique
approximate answer Art artificial intelligence
Artificial Intelligence Methods in GDN association rule association rules
associative concept associativity authoring
Automated Debugging automated test data generation
B B formal method bases de données déductives BDD
benchmarking bioinformatic bioinformatics
blank node blank nodes Bonds between sentences
browsing
C C Debugging tool. categoarial grammar Categorial Dependency Grammar
Categorial Grammar Categorial grammars CCG
choix social classification CLP
compilation complete and incomplete knowledge complexity
components composition computational linguistics
Computer science concept concept analysis
Concept Analysis Application concept graph concept lattice
conceptual navigation Consensus Reaching Constraint and logic languages
constraints context context handling in syntactic analysis.
continuation continuation semantics controlled natural language
convertibility course allocation cubes of concepts
Cut Elimination Cyber-physical System
D data analytics data conversion data converter
data mining Data model data quality
data retrieval DCG débogage
debugging Debugging language Décision multicritère
deduction deduction and theorem proving deductive databases
demo Dependency grammar description logics
design Dialogue Texts dichotomic search algorithm
Discourse analysis Dynamic analysis dynamic taxonomies
E emerging sequential patterns ensembles de substitutions epistemic logic
exception handling. explanations exploratory search
expression expressions expressiveness
expressivity
F faceted search Facilitator support fault localization
FCA file file system
Flexibility flexible motifs focus
form formal concept analysis formal lamguage
Formalisme grammatical formulaire de saisie function-lists
Functional Dependencies functional dependency functional genomics
G Galois lattice garbage collection geo-located data
geographical data geographical information system geographical information systems
geolocalized trajectories GIS Gold's model
Grammaire catégorielle grammaires catégorielles grammaires logiques
grammar transformations grammatical inference graph mining
graph pattern graphical data Green IT
group decision support Group Decision Support System
H higher-order unification. Human and social sciences
I implementation incremental algorithm Incremental learning
inférence grammaticale information access information extraction
information retrieval information search information search and retrieval
information system information systems Ingénierie des cahiers des charges
instrumentation interaction interactive guidance
interactive view Interdisciplinarity research Intrusion detection
IT impact Iterated types.
J join
K knowledge acquisition knowledge authoring knowledge discovery
knowledge graph knowledge representation
L lambda-calcul lambda-calculus. lambda-terms
LambdaProlog. lambek calculus Lambek Categorial Grammars
lattice Law LCA
learning learning from positive examples linguistic pattern
linguistic patterns LISQL 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 mathematical formulas mathematical search
mathematics Measure of test coverage Memory management
Mercury méta-interprète meta-interpreter
mise à jour d'objets modal logic Modal Specification
model of Gold modèle de Gold modules and functors
Monitoring Monitors Montague grammar
Montague grammars multi-SLD-AL multi-unit assignment
multi-valued contexts multicriteria decision Multicriteria Sorting
N natural language natural language interface natural language processing
navigateurs (logiciels) navigation navigation structure
nearest neighbours negative constraints non- associative Lambek calculus
Non-associative Lambek calculus
O object creation OLAP ontologies
ontology ontology authoring operational semantics
organization OWL
P paper categorisation parser parsing
parsing software partial order partition
PEGASE photo collection polymorphism
portability portée possible world
possible world explorer pregroup pregroup grammar
Pregroup grammars Pregroups program analysis
Program behavior understanding Program Execution Analysis program learning
program schemes Program verification Programmation logique
Programming environment Programming Environments projection
Prolog Prolog Debugging tool Prolog II
protein secondary structure
Q QALD quantifications query-based faceted search
query builder query formulation query language
query languages query relaxation querying
question answering
R rare disease rare diseases rational terms.
RDF RDF graphs RDFS
recherche de cas par relâchement recherche de l'information Reference manual
relation relational concept analysis relationships
relaxation rules représentation du contexte. representation languages
Représentation sémantique Require-ments Engineering ressources syntaxiques (syntax learning
retrieval rule system
S scalability scope second-order lambda-calculus.
See \citebo92a See \citebo92b segmentation
selection of patterns Semantic Representation semantic search
semantic similarity semantic web sémantique opérationnelle
Sentence network sentence networks sequence mining
sequential patterns SEWELIS similarity search
Simulation software software assistant
software component Software engineering source to source transformation
Sparklis SPARQL SPARQL endpoint
SPARQL endpoints SPARQL queries sparse context
spatial logic spatial relations specification
Spécification modale KEYWORDS: Grammatical Formalism squall statistical questions
string stylistic substitution set
suffix tree syntactical resources) Syntax-directed translation
syntax/semantic gap Système cyber-physique système d'information
systèmes d'information logiques
T taxonomy TDF teaching
testing Testing and Debugging Textual analysis
textual navigation theorem prover theorem provers
theorem proving thinkLet ThinkLets
Topic Modeling trace Trace abstraction mechanisms
Trace analyser Trace analysis trace models
Trace Query Language Trace query mechanism Tracing
treillis (théorie des) étude de cas Turtle
type checking type system types.
types. logic programming typing
U update update language usability
usefulness logic. user interaction user interface
User manual
V validation verification
W Web of data Web sémantique white-box testing
workflow
X XML data
Z zipper

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: Fri Feb 1 11:54:27 2019
Author: ferre.


This document was translated from BibTEX by bibtex2html