dblp.uni-trier.dewww.uni-trier.de

Jean-Marie Le Bars

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EECyril Bazin, Jean-Marie Le Bars, Jacques Madelaine: A Novel Framework for Watermarking: The Data-Abstracted Approach. IWSEC 2008: 201-217
2004
5EECyril Banderier, Jean-Marie Le Bars, Vlady Ravelomanana: Generating Functions For Kernels of Digraphs (Enumeration & Asymptotics for Nim Games) CoRR math.CO/0411138: (2004)
2002
4EEJean-Marie Le Bars: The 0-1 law fails for frame satisfiability of propositional modal logic. LICS 2002: 225-234
2001
3EEJean-Marie Le Bars: The 0-1 law fails for monadic existential second-order logic on undirected graphs. Inf. Process. Lett. 77(1): 43-48 (2001)
2000
2EEJean-Marie Le Bars: Counterexamples of the 0-1 law for fragments of existential second-order logic: an overview. Bulletin of Symbolic Logic 6(1): 67-82 (2000)
1998
1 Jean-Marie Le Bars: Fragments of Existential Second-Order Logic without 0-1 Laws. LICS 1998: 525-536

Coauthor Index

1Cyril Banderier [5]
2Cyril Bazin [6]
3Jacques Madelaine [6]
4Vlady Ravelomanana [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)