ResearcherID Thomson Reuters  

Moyen, Jean-Yves A
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: O-5322-2015
URL: http://www.researcherid.com/rid/O-5322-2015
Subject: Computer Science
Keywords: complexity; computability theory; functional programming; implicit computational complexity
ORCID: http://orcid.org/0000-0002-6883-6993
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Datalogisk Institut
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  1  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: On quasi-interpretations, blind abstractions and implicit complexity
 Author(s): Baillott, Patrick; Dal Lago, Ugo; Moyen, Jean-Yves
 Source: Mathematical Structures in Computer Science Volume: 22 Issue: 4 Pages: 549-580 Published: AUG 2012
 Times Cited: 0
 DOI: 10.1017/S0960129511000685
added
25-Nov-15
2.  Title: Quasi-interpretations a way to control resources
 Author(s): Bonfante, G.; Marion, J. -Y.; Moyen, J-Y
 Source: Theoretical Computer Science Volume: 412 Issue: 25 Pages: 2776-2796 Published: JUN 3 2011
 Times Cited: 10
 DOI: 10.1016/j.tcs.2011.02.007
added
25-Nov-15
3.  Title: Resource Control Graphs
 Author(s): Moyen, Jean-Yves
 Source: Acm Transactions on Computational Logic Volume: 10 Issue: 4 Published: AUG 2009
 Times Cited: 1
 DOI: 10.1145/1555746.1555753
added
25-Nov-15
4.  Title: Quasi-interpretations and small space bounds
 Author(s): Bonfante, G; Marion, JY; Moyen, JY; et al.
 Source: Term Rewriting and Applications, Proceedings Volume: 3467 Pages: 150-164 Published: 2005
 Times Cited: 8
added
25-Nov-15
5.  Title: Efficient first order functional program interpreter with time bound certifications
 Author(s): Marion, JY; Moyen, JY; Parigot, M; et al.
 Source: Logic For Programming and Automated Reasoning, Proceedings Volume: 1955 Pages: 25-42 Published: 2000
 Times Cited: 27
added
25-Nov-15
publication(s)  
First Page Previous Page Page   of  1  Go Next Page Last Page
  Sort by:    Results per page: