Follow
Jean-Yves Moyen
Jean-Yves Moyen
University of Copenhagen
Verified email at lipn.univ-paris13.fr
Title
Cited by
Cited by
Year
Quasi-interpretations a way to control resources
G Bonfante, JY Marion, JY Moyen
Theoretical computer science 412 (25), 2776-2796, 2011
1012011
Efficient first order functional program interpreter with time bound certifications
M Jean-Yves, JY Moyen
International Conference on Logic for Programming Artificial Intelligence …, 2000
722000
On lexicographic termination ordering with space bound certifications
G Bonfante, JY Marion, JY Moyen
International Andrei Ershov Memorial Conference on Perspectives of System …, 2001
492001
Quasi-interpretations and small space bounds
G Bonfante, JY Marion, JY Moyen
International Conference on Rewriting Techniques and Applications, 150-164, 2005
322005
Resource control graphs
JY Moyen
ACM Transactions on Computational Logic (TOCL) 10 (4), 1-44, 2009
222009
Synthesis of quasi-interpretations
G Bonfante, JY Marion, JY Moyen, R Péchoux
Seventh International Workshop on Logic and Computational Complexity-LCC 2005, 2005
212005
Analyse de la complexité et transformation de programmes
JY Moyen
These d’université, Nancy 2, 2003
132003
Quasi-interpretations
G Bonfante
102004
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
82012
Static complexity analysis of higher order programs
J Avery, L Kristiansen, JY Moyen
International Workshop on Foundational and Practical Aspects of Resource …, 2009
72009
Termination and resource analysis of assembly programs by Petri Nets
JY Marion, JY Moyen
72003
System Presentation: An analyser of rewriting systems complexity
JY Moyen
Electronic Notes in Theoretical Computer Science 59 (4), 412-424, 2001
72001
More intensional versions of Rice’s Theorem
JY Moyen, JG Simonsen
Conference on Computability in Europe, 217-229, 2019
62019
Quasi-interpretation a way to control resources. Submitted to Theoretical Computer Science, 2005
G Bonfante, JY Marion, JY Moyen
62005
Chains, antichains, and complements in infinite partition lattices
JE Avery, JY Moyen, P Růžička, JG Simonsen
Algebra universalis 79 (2), 1-21, 2018
52018
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
52018
On complexity analysis by Quasi-interpretation
G Bonfante, JY Marion, JY Moyen
Theoretical Computer Science, 2004
52004
Loop quasi-invariant chunk detection
JY Moyen, T Rubiano, T Seiller
International Symposium on Automated Technology for Verification and …, 2017
42017
Loop Quasi-Invariant Chunk Motion by peeling with statement composition
JY Moyen, T Rubiano, T Seiller
arXiv preprint arXiv:1704.05589, 2017
42017
Equivalence between the mwp and Quasi-Interpretations analysis
R Metnani, JY Moyen
DICE 11, 2011
32011
The system can't perform the operation now. Try again later.
Articles 1–20