The SCEAS System
Navigation Menu

Search the dblp DataBase


Olivier Ly: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002