Jean-Yves Moyen
Jean-Yves Moyen
University of Copenhagen
Verified email at lipn.univ-paris13.fr
TitleCited byYear
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
712000
On lexicographic termination ordering with space bound certifications
G Bonfante, JY Marion, JY Moyen
International Andrei Ershov Memorial Conference on Perspectives of System …, 2001
462001
Quasi-interpretations and small space bounds
G Bonfante, JY Marion, JY Moyen
International Conference on Rewriting Techniques and Applications, 150-164, 2005
302005
Synthesis of quasi-interpretations
G Bonfante, JY Marion, JY Moyen, R Péchoux
202005
Resource control graphs
JY Moyen
172009
Analyse de la complexité et transformation de programmes
JY Moyen
These d’université, Nancy 2, 2003
132003
Quasi-interpretations
G Bonfante, JY Marion, JY Moyen
Theor. Comput. Sci.. to appear, 2004
112004
Termination and resource analysis of assembly programs by Petri Nets
JY Marion, JY Moyen, IEM de Nancy
Technical Report, Université de Nancy, 2003
72003
System Presentation: An analyser of rewriting systems complexity
JY Moyen
Electronic Notes in Theoretical Computer Science 59 (4), 412-424, 2001
72001
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
62012
Quasi-interpretation a way to control resources. Submitted to Theoretical Computer Science, 2005
G Bonfante, JY Marion, JY Moyen
62005
On lexicographic termination ordering with space bound certifications
G Bonfante, JY Marion, JY Moyen
PSI, 482-493, 2001
62001
On complexity analysis by Quasi-interpretation
G Bonfante, JY Marion, JY Moyen
Theoretical Computer Science, 2004
52004
Static complexity analysis of higher order programs
J Avery, L Kristiansen, JY Moyen
International Workshop on Foundational and Practical Aspects of Resource …, 2009
42009
Equivalence between the mwp and Quasi-Interpretations analysis
R Metnani, JY Moyen
DICE 11, 2011
32011
On quasi-interpretations, blind abstractions and implicit complexity
P Baillot, UD Lago, JY Moyen
arXiv preprint cs/0608030, 2006
32006
More intensional versions of Rice’s Theorem
JY Moyen, JG Simonsen
Conference on Computability in Europe, 217-229, 2019
22019
Chains, antichains, and complements in infinite partition lattices
JE Avery, JY Moyen, P Růžička, JG Simonsen
Algebra universalis 79 (2), 37, 2018
22018
Sct and the idempotence condition
JY Moyen
22008
The system can't perform the operation now. Try again later.
Articles 1–20