| Quasi-interpretations a way to control resources G Bonfante, JY Marion, JY Moyen Theoretical computer science 412 (25), 2776-2796, 2011 | 99 | 2011 |
| Efficient first order functional program interpreter with time bound certifications M Jean-Yves, JY Moyen International Conference on Logic for Programming Artificial Intelligence …, 2000 | 68 | 2000 |
| On lexicographic termination ordering with space bound certifications G Bonfante, JY Marion, JY Moyen International Andrei Ershov Memorial Conference on Perspectives of System …, 2001 | 49 | 2001 |
| Quasi-interpretations and small space bounds G Bonfante, JY Marion, JY Moyen International Conference on Rewriting Techniques and Applications, 150-164, 2005 | 30 | 2005 |
| Resource control graphs JY Moyen ACM Transactions on Computational Logic (TOCL) 10 (4), 1-44, 2009 | 20 | 2009 |
| Synthesis of quasi-interpretations G Bonfante, JY Marion, JY Moyen, R Péchoux Seventh International Workshop on Logic and Computational Complexity-LCC 2005, 2005 | 20 | 2005 |
| Loop quasi-invariant chunk detection JY Moyen, T Rubiano, T Seiller International Symposium on Automated Technology for Verification and …, 2017 | 13 | 2017 |
| Analyse de la complexité et transformation de programmes JY Moyen These d’université, Nancy 2, 2003 | 13 | 2003 |
| Quasi-interpretations G Bonfante, JY Marion, JY Moyen Theor. Comput. Sci.. to appear, 2004 | 11 | 2004 |
| More intensional versions of Rice’s Theorem JY Moyen, JG Simonsen Computing with Foresight and Industry: 15th Conference on Computability in …, 2019 | 7 | 2019 |
| On quasi-interpretations, blind abstractions and implicit complexity P Baillot, U Dal Lago, JY Moyen Mathematical Structures in Computer Science 22 (4), 549-580, 2012 | 7 | 2012 |
| Termination and resource analysis of assembly programs by Petri Nets JY Marion, JY Moyen, IEM de Nancy Technical Report, Université de Nancy, 2003 | 7 | 2003 |
| System Presentation: An analyser of rewriting systems complexity JY Moyen Electronic Notes in Theoretical Computer Science 59 (4), 412-424, 2001 | 7 | 2001 |
| Chains, antichains, and complements in infinite partition lattices JE Avery, JY Moyen, P Růžička, JG Simonsen Algebra universalis 79, 1-21, 2018 | 6 | 2018 |
| Loop quasi-invariant chunk motion by peeling with statement composition JY Moyen, T Rubiano, T Seiller arXiv preprint arXiv:1704.05589, 2017 | 6 | 2017 |
| Quasi-interpretation a way to control resources. Submitted to Theoretical Computer Science, 2005 G Bonfante, JY Marion, JY Moyen | 6 | 2005 |
| Implicit Complexity in Theory and Practice JY Moyen Habilitation à Diriger des Recherches (HDR). University of Copenhagen. https …, 2017 | 5 | 2017 |
| Static complexity analysis of higher order programs J Avery, L Kristiansen, JY Moyen Foundational and Practical Aspects of Resource Analysis: First International …, 2010 | 5 | 2010 |
| On complexity analysis by Quasi-interpretation G Bonfante, JY Marion, JY Moyen Theoretical Computer Science, 2004 | 5 | 2004 |
| Formal proof of polynomial-time complexity with quasi-interpretations H Férée, S Hym, M Mayero, JY Moyen, D Nowak Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018 | 4 | 2018 |
