![]() |
| 2008 | ||
|---|---|---|
| 6 | EE | Cyril Bazin, Jean-Marie Le Bars, Jacques Madelaine: A Novel Framework for Watermarking: The Data-Abstracted Approach. IWSEC 2008: 201-217 |
| 2004 | ||
| 5 | EE | Cyril Banderier, Jean-Marie Le Bars, Vlady Ravelomanana: Generating Functions For Kernels of Digraphs (Enumeration & Asymptotics for Nim Games) CoRR math.CO/0411138: (2004) |
| 2002 | ||
| 4 | EE | Jean-Marie Le Bars: The 0-1 law fails for frame satisfiability of propositional modal logic. LICS 2002: 225-234 |
| 2001 | ||
| 3 | EE | Jean-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 | ||
| 2 | EE | Jean-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 | |
| 1 | Cyril Banderier | [5] |
| 2 | Cyril Bazin | [6] |
| 3 | Jacques Madelaine | [6] |
| 4 | Vlady Ravelomanana | [5] |