Jean-Yves Moyen

	2009
6		Jean-Yves Moyen: Resource control graphs. ACM Trans. Comput. Log. 10(4): (2009)
	2008
5		Jean-Christophe Dubacq, Jean-Yves Moyen: Study of the NP-completeness of the compact table problem. JAC 2008: 228-237
	2006
4		Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen: On Quasi-Interpretations, Blind Abstractions and Implicit Complexity CoRR abs/cs/0608030: (2006)
	2005
3		Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen: Quasi-interpretations and Small Space Bounds. RTA 2005: 150-164
	2001
2		Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen: On Lexicographic Termination Ordering with Space Bound Certifications. Ershov Memorial Conference 2001: 482-493
	2000
1		Jean-Yves Marion, Jean-Yves Moyen: Efficient First Order Functional Program Interpreter with Time Bound Certifications. LPAR 2000: 25-42

Coauthor Index

1	Patrick Baillot	[4]
2	Guillaume Bonfante	[2] [3]
3	Jean-Christophe Dubacq	[5]
4	Ugo Dal Lago	[4]
5	Jean-Yves Marion	[1] [2] [3]

Colors in the list of coauthors