Suivre
Jean-Yves Moyen
Jean-Yves Moyen
University of Copenhagen
Adresse e-mail validée de lipn.univ-paris13.fr
Titre
Citée par
Citée par
Année
Quasi-interpretations a way to control resources
G Bonfante, JY Marion, JY Moyen
Theoretical computer science 412 (25), 2776-2796, 2011
992011
Efficient first order functional program interpreter with time bound certifications
M Jean-Yves, JY Moyen
International Conference on Logic for Programming Artificial Intelligence …, 2000
702000
On lexicographic termination ordering with space bound certifications
G Bonfante, JY Marion, JY Moyen
International Andrei Ershov Memorial Conference on Perspectives of System …, 2001
512001
Quasi-interpretations and small space bounds
G Bonfante, JY Marion, JY Moyen
International Conference on Rewriting Techniques and Applications, 150-164, 2005
312005
Resource control graphs
JY Moyen
ACM Transactions on Computational Logic (TOCL) 10 (4), 1-44, 2009
202009
Synthesis of quasiinterpretations
G Bonfante, JY Marion, JY Moyen, R Péchoux
Workshop on Logic and Complexity in Computer Science, LCC2005, Chicago, 826-875, 2005
202005
Analyse de la complexité et transformation de programmes
JY Moyen
These d’université, Nancy 2, 2003
132003
Loop quasi-invariant chunk detection
JY Moyen, T Rubiano, T Seiller
International Symposium on Automated Technology for Verification and …, 2017
122017
Quasi-interpretations
G Bonfante, JY Marion, JY Moyen
Theor. Comput. Sci.. to appear, 2004
112004
System Presentation: An analyser of rewriting systems complexity
JY Moyen
Electronic Notes in Theoretical Computer Science 59 (4), 412-424, 2001
82001
More intensional versions of Rice’s Theorem
JY Moyen, JG Simonsen
Computing with Foresight and Industry: 15th Conference on Computability in …, 2019
72019
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
72012
Quasi-interpretation a way to control resources. Submitted to Theoretical Computer Science, 2005
G Bonfante, JY Marion, JY Moyen
72005
Termination and resource analysis of assembly programs by Petri Nets
JY Marion, JY Moyen, IEM de Nancy
Technical Report, Université de Nancy, 2003
72003
Chains, antichains, and complements in infinite partition lattices
JE Avery, JY Moyen, P Růžička, JG Simonsen
Algebra universalis 79, 1-21, 2018
62018
Loop quasi-invariant chunk motion by peeling with statement composition
JY Moyen, T Rubiano, T Seiller
arXiv preprint arXiv:1704.05589, 2017
62017
Implicit Complexity in Theory and Practice
JY Moyen
Habilitation à Diriger des Recherches (HDR). University of Copenhagen. https …, 2017
52017
Static complexity analysis of higher order programs
J Avery, L Kristiansen, JY Moyen
Foundational and Practical Aspects of Resource Analysis: First International …, 2010
52010
On complexity analysis by Quasi-interpretation
G Bonfante, JY Marion, JY Moyen
Theoretical Computer Science, 2004
52004
On lexicographic termination ordering with space bound certifications
G Bonfante, JY Marion, JY Moyen
PSI, 482-493, 2001
52001
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20