Olivier Ly

发表

On the Logical Hierarchy of GraphsOlivier Ly

Olivier Ly, 2007 .

On Eeective Decidability of the Homeomorphism Problem for Non-compact Surfaces

Olivier Ly, 2007 .

Distance Labeling in Hyperbolic Graphs

Olivier Ly, Cyril Gavoille, C. Gavoille, 2005, ISAAC.

An Effective Solution of Language Inequality XA ⊆ BX In the Case of Codes with Finite Decoding Delay

Zhilin Wu, Olivier Ly, 2010 .

On effective construction of the greatest solution of language inequality XA ⊆ BX

Olivier Ly, Zhilin Wu, Zhilin Wu, 2014, Theor. Comput. Sci..

A Constructive Solution of the Language Inequation XA ⊆ BX

Olivier Ly, 2007 .

The BINCOA Framework for Binary Code Analysis

Olivier Ly, Jérôme Leroux, Aymeric Vincent, 2011, CAV.

Modeling Long-Term Signature Validation for Resolution of Dispute

Olivier Ly, Francine Krief, Moez Ben MBarka, 2011, TOSCA.

Using Coq to Verify Java Card Applet Isolation Properties

Olivier Ly, June Andronick, Boutheina Chetali, 2003, TPHOLs.

Automatic Graphs and Graph D0L-Systems

Olivier Ly, Olivier Ly, 2000, MFCS.

Automated extraction of polymorphic virus signatures using abstract interpretation

Serge Chaumette, Olivier Ly, Renaud Tabary, 2011, 2011 5th International Conference on Network and System Security.

Construction of pseudo-isometries for treelike hyperbolic 3-manifolds of infinite volume

Olivier Ly, 2003 .

Secure program partitioning for hardware-based software protection

Serge Chaumette, Olivier Ly, Renaud Tabary, 2008 .