List of publications: index
Selection by year

2022 2021 2020 2019 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 Francesco Bariatti 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 representation abstract syntax
Abstract Views of Program Executions Acquisition syntaxique Agenda building
Aggregation aide à la décision Alert correlation
algorithm all i know analyse de concepts
analyse formelle de concepts analytical query 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
Automata for System Analysis 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
concepts de voisins concepts of enighbours conceptual navigation
Consensus Reaching Constraint and logic languages constraints
context context handling in syntactic analysis. continuation
continuation semantics controlled natural language Convergences
convertibility course allocation cubes of concepts
Cut elimination Cyber-physical System
D Data analysis data analytics Data clustering
data conversion data converter data-driven approach
data evolution data mining Data model
data quality data retrieval DCG
débogage debugging Debugging language
Decision making Décision multicritère deduction
deduction and theorem proving deductive databases demo
demodocos Dependency grammar description logics
design Dialogue Texts dichotomic search algorithm
Dictionary front-end Discourse analysis Discrete Time Reactive System
Droit 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
formalization 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 Georgian verbs GIS
Gold's model grammaires catégorielles grammaires logiques
grammar transformations Grammatical Formalism Grammatical inference
Grammatical inference - Categorial grammar - Dependency grammar - Incremental learning - Iterated types - Treebanks Graph-FCA Graph homomorphism
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 Inflected forms information access
Information Extraction information retrieval information search
information search and retrieval information system information systems
instrumentation interaction interactive guidance
interactive view Interdisciplinarity research Interface Theory
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 link prediction 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 MDL principle Measure of test coverage
memory management. Mercury méta-interprète
meta-interpreter Minimum Description Length 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 nested tables
non- associative Lambek calculus Non-associative Lambek calculus Numérique
O object creation OLAP ontologies
ontology ontology authoring operational semantics
organization OWL
P paper categorisation parser parsing
parsing software partial order partition
Pattern Mining PEGASE photo collection
polymorphism portability portée
possible world possible world explorer pregroup
pregroup grammar Pregroup grammars Pregroups
Problem solving Process Mining ProcMining
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.
RCA RDF RDF graphs
RDFS Reasoning recherche de cas par relâchement
recherche de l'information Reference manual relation
relational concept analysis relational data relationships
relaxation rules représentation du contexte. representation languages
Require-ments Engineering Requirements Engineering ressources syntaxiques (syntax learning
retrieval rule system
S S3PMSunset scalability scope
second-order lambda-calculus. segmentation selection of patterns
semantic parsing Semantic Representation semantic search
semantic similarity semantic web Semantic web tool
sémantique opérationnelle Sentence network sentence networks
sequence mining sequential patterns SEWELIS
similarity 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 squall
statistical query statistical questions string
stylistic substitution set suffix tree
syntactical resources) Syntax-directed translation syntax/semantic gap
System Design système d'information systèmes d'information logiques
T Tabular data 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) triadic FCA
é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 Visual representation design
visualization
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 Jan 28 13:48:42 2022
Author: ferre.


This document was translated from BibTEX by bibtex2html