List of publications: index
Selection by year

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 Guillaume Aucher
B Mouhamadou Ba Soazig Bars Olivier Bedel
Y. Bekkers
C Peggy Cellier Soda Cissé
D Mireille Ducassé
F Sébastien Ferré Annie Foret
G Emmanuelle Garel
H Alice Hermann
M Pierre Maillot
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 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 Art
Artificial Intelligence Artificial Intelligence Methods in GDN association rule
Association Rules associative concept associativity
Automated debugging automated test data generation
B B formal method bases de données déductives benchmarking
Bi-intuitionistic logic 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 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
D 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 Definability of Modalities
demo Dependency grammar description logics
design dichotomic search algorithm Discourse analysis
display calculus Dynamic analysis Dynamic epistemic logic
dynamic taxonomies
E emerging sequential patterns ensembles de substitutions Epistemic logic
epistemic temporal logic exception handling. explanations
exploratory search expression expressions
expressiveness expressivity
F faceted search Facilitator support fault localization
FCA file file system
Flexibility flexible motifs form
formal concept analysis formal lamguage 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
grammaires catégorielles grammaires logiques grammar transformations
Grammatical inference graph mining graph pattern
graphical data group decision support Group Decision Support System
H higher-order unification. Human and social sciences
I implementation incremental algorithm Incremental learning
inférence grammaticale infinite two-player games information access
information extraction information retrieval information search
information search and retrieval information system information systems
instrumentation interaction Interaction Axiom
interactive guidance interactive view Interdisciplinarity research
Intrusion detection Iterated types.
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 learning Learning from positive examples
legal computing 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 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 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 photo collection
polymorphism portability portée
possible world possible world explorer pregroup
pregroup grammar Pregroup grammars Pregroups
Privacy policies 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 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 relationships relaxation rules
représentation du contexte. representation languages ressources syntaxiques (syntax learning
retrieval rule system
S scalability scope second-order lambda-calculus.
See \citebo92a See \citebo92b segmentation
selection of patterns semantic search semantic web
sémantique opérationnelle Sentence network sentence networks
sequence mining sequent calculus sequential patterns
SEWELIS Simulation software
software component software engineering source to source transformation
Sparklis SPARQL SPARQL endpoint
SPARQL endpoints SPARQL queries sparse context
spatial logic spatial relations specification
squall statistical questions string
stylistic substitution set Substructural logics
suffix tree Supervisory control theory syntactical resources)
Syntax-directed translation syntax/semantic gap synthesis
système d'information systèmes d'information logiques
T taxonomy teaching testing
Testing and Debugging Textual analysis textual navigation
theorem prover theorem provers theorem proving
thinkLet ThinkLets 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 update logic
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: Thu Feb 8 18:34:42 2018
Author: ferre.


This document was translated from BibTEX by bibtex2html