Olivier Ly

	2009
9		Michel Bauderon, Rui Chen, Olivier Ly: Context-Free Categorical Grammars. CAI 2009: 160-171
8		Céline Thuillet, Philippe Andouard, Olivier Ly: A Smart Card Power Analysis Simulator. CSE (2) 2009: 847-852
	2008
7		Michel Bauderon, Rui Chen, Olivier Ly: Pullback Grammars Are Context-Free. ICGT 2008: 366-378
	2005
6		Cyril Gavoille, Olivier Ly: Distance Labeling in Hyperbolic Graphs. ISAAC 2005: 1071-1079
	2004
5		Olivier Ly: Compositional Verification: Decidability Issues Using Graph Substitutions. MFCS 2004: 537-549
	2003
4		June Andronick, Boutheina Chetali, Olivier Ly: Using Coq to Verify Java Card Applet Isolation Properties. TPHOLs 2003: 335-351
3		Olivier Ly: Automatic graphs and D0L-sequences of finite graphs. J. Comput. Syst. Sci. 67(3): 497-545 (2003)
	2000
2		Olivier Ly: The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite. FSTTCS 2000: 188-200
1		Olivier Ly: Automatic Graphs and Graph D0L-Systems. MFCS 2000: 539-548

Coauthor Index

1	Philippe Andouard	[8]
2	June Andronick	[4]
3	Michel Bauderon	[7] [9]
4	Rui Chen	[7] [9]
5	Boutheina Chetali	[4]
6	Cyril Gavoille	[6]
7	Céline Thuillet	[8]

Colors in the list of coauthors