| |
| 2008 | ||
|---|---|---|
| 7 | EE | Michel Bauderon, Rui Chen, Olivier Ly: Pullback Grammars Are Context-Free. ICGT 2008: 366-378 |
| 2005 | ||
| 6 | EE | Cyril Gavoille, Olivier Ly: Distance Labeling in Hyperbolic Graphs. ISAAC 2005: 1071-1079 |
| 2004 | ||
| 5 | EE | Olivier Ly: Compositional Verification: Decidability Issues Using Graph Substitutions. MFCS 2004: 537-549 |
| 2003 | ||
| 4 | EE | June Andronick, Boutheina Chetali, Olivier Ly: Using Coq to Verify Java Card Applet Isolation Properties. TPHOLs 2003: 335-351 |
| 3 | EE | Olivier Ly: Automatic graphs and D0L-sequences of finite graphs. J. Comput. Syst. Sci. 67(3): 497-545 (2003) |
| 2000 | ||
| 2 | EE | Olivier Ly: The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite. FSTTCS 2000: 188-200 |
| 1 | EE | Olivier Ly: Automatic Graphs and Graph D0L-Systems. MFCS 2000: 539-548 |
| 1 | June Andronick | [4] |
| 2 | Michel Bauderon | [7] |
| 3 | Rui Chen | [7] |
| 4 | Boutheina Chetali | [4] |
| 5 | Cyril Gavoille | [6] |