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] |