Books

• Logique et fondements de l'informatique, Hermès 1993, 248 pages, ISBN 2-86601-380-8
  Errata for "Logique et fondements de l'informatique"
• Logique et Complexité, Hermès 1995, 329 pages, ISBN 2-86601-496-0

  To order, contact Editions Hermes
  
  

• (NEW)Logic and Complexity, Springer-Verlag 2003,

  Discrete Mathematics and Theoretical Computer Science, Springer-Verlag 2003, Table of Contents and Introduction (.pdf) or (.ps) Sample Chapter 17: Approximation (.pdf) or (.ps)

Recent papers

• The reliability of queries (PODS 95).
• On the Complexity of partially observed Markov Decision Processes, Theoretical Computer Science 96 .
• The expressiveness of Datalog Circuits, MFCS 1997.
• Interactive proofs on the reals, STACS 98 and Journal of Computational Complexity 2000.
• Spatial Navigation with uncertain deviations, AAAI 98.
• Average Complexity of Graph-Reliability, Fundamenta Informaticae 1999.
• Langages de requetes et compression, CORESA 99
• Approximation of queries in constraint databases, PODS 2000
• Definability and verification by Model Checking : ASL Logic colloquium, 2000
• Definability and compression, LICS 2000 et Fundamenta Informaticae 2003,.
• Probabilistic abstraction for model-checking, LICS 2002.
• Definable strategies and equilibria for games, ICEB 2002
• Science et techniques de la sécurité informatique, AFISI Challenge Systèmes d'Information, 2002
• Sécurité des services informatiques, chapitre dans " Le pilotage du changement par les cybertechnologies", Hermès 2003
• Logic, Randomness and Cognition, Chapter in "Logic, Thought and Action", Editor D. Vanderveken, Kluwer Academic Publisher
• The Correction of XML data (.pdf), or (.ps), ISIP 2003
• Automata on Lempel-Ziv structures (.pdf), or (.ps), CSL 2003
• Property testing for regular tree languages (ICALP 2004) (.pdf), Extended version
• Correctors for XML data (XSym 2004) (.pdf)
• Property and Equivalence Testing on strings(ECCC)2004 (.pdf), Extended version (.pdf)
• Approximate schemas and Query Answering (.pdf) (ISIP 05)
• Approximate Satisfiability and Equivalence (.pdf) (LICS 06),Extended version: SIAM Journal of Computing, 2010,
• Approximate Data Exchange (.pdf) (ICDT 07)
• Approximate Schemas, Consistency and Query Answering, International Journal of Intelligent Information Systems (to appear).
• A Model of Uncertainty for Near-Duplicates in Document Reference Networks, ECDL 2007,
• Approximate Nash Equilibria for Multi-players games, Symposium on Algorithmic Game Theory, 2008.
• Approximate validity of XML Streaming Data, WAIM 2008.
• Approximations for Model Checking and Testing (survey, preliminary version).
• Statistic Analysis for Probabilistic processes, LICS 2009.

Software developments

• Approximate Verification
• Corrector for XML