| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 7 |      | Jean-Marie Le Bars, Alfredo Viola: Equivalence classes of Boolean functions for first-order correlation. IEEE Transactions on Information Theory 56(3): 1247-1261 (2010) |
| 2008 | ||
| 6 | | Cyril Bazin, Jean-Marie Le Bars, Jacques Madelaine: A Novel Framework for Watermarking: The Data-Abstracted Approach. IWSEC 2008: 201-217 |
| 2004 | ||
| 5 | | 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 | | Jean-Marie Le Bars: The 0-1 law fails for frame satisfiability of propositional modal logic. LICS 2002: 225-234 |
| 2001 | ||
| 3 | | 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 | | 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] |
| 5 | Alfredo Viola | [7] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page