Search the dblp DataBase

Publications of Author

1. Olivier Ly
   The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2000, pp:188-200 [Conf]
   
2. Cyril Gavoille, Olivier Ly
   Distance Labeling in Hyperbolic Graphs. [Citation Graph (0, 0)][DBLP]
   ISAAC, 2005, pp:1071-1079 [Conf]
   
3. Olivier Ly
   Automatic Graphs and Graph D0L-Systems. [Citation Graph (0, 0)][DBLP]
   MFCS, 2000, pp:539-548 [Conf]
   
4. Olivier Ly
   Compositional Verification: Decidability Issues Using Graph Substitutions. [Citation Graph (0, 0)][DBLP]
   MFCS, 2004, pp:537-549 [Conf]
   
5. June Andronick, Boutheina Chetali, Olivier Ly
   Using Coq to Verify Java Card Applet Isolation Properties. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2003, pp:335-351 [Conf]
   
6. Olivier Ly
   Automatic graphs and D0L-sequences of finite graphs. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 2003, v:67, n:3, pp:497-545 [Journal]
   
7. 
   Pullback Grammars Are Context-Free. [Citation Graph (, )][DBLP]
   
   
8. 
   Acroban the humanoid: playful and compliant physical child-robot interaction. [Citation Graph (, )][DBLP]
   
   
9. 
   A Smart Card Power Analysis Simulator. [Citation Graph (, )][DBLP]
   
   
10. 
    Context-Free Categorical Grammars. [Citation Graph (, )][DBLP]
    
    
11. 
    VisAA: Visual analyzer for assembler. [Citation Graph (, )][DBLP]