Jean-Yves Moyen

Jean-Yves Moyen

Université Sorbonne Paris Nord - Villetaneuse / France
Others
AD Scientific Index ID: 1712260
Sorbonne Paris North University, University of Paris North, Paris 13 University
person_outline Jean-Yves Moyen's MOST POPULAR ARTICLES
1-) Quasi-interpretations a way to control resourcesG Bonfante, JY Marion, JY MoyenTheoretical computer science 412 (25), 2776-2796, 20111032011
2-) Efficient first order functional program interpreter with time bound certificationsM Jean-Yves, JY MoyenInternational Conference on Logic for Programming Artificial Intelligence …, 2000732000
3-) On lexicographic termination ordering with space bound certificationsG Bonfante, JY Marion, JY MoyenInternational Andrei Ershov Memorial Conference on Perspectives of System …, 2001512001
4-) Quasi-interpretations and small space boundsG Bonfante, JY Marion, JY MoyenInternational Conference on Rewriting Techniques and Applications, 150-164, 2005302005
5-) Resource control graphsJY MoyenACM Transactions on Computational Logic (TOCL) 10 (4), 1-44, 2009202009