Jean-Yves Marion

Identifiers

• name variant Jean-Yves Marion 0.60 · backfill

Papers (6)

1. Implicit complexity via structure transformation cs.LO · 2018 · author #2
2. Targeting Infeasibility Questions on Obfuscated Codes cs.CR · 2016 · author #3
3. An Implicit Characterization of PSPACE cs.LO · 2010 · author #2
4. On tiered small jump operators cs.CC · 2009 · author #1
5. Resource control of object-oriented programs cs.PL · 2007 · author #1
6. Quasi-friendly sup-interpretations cs.CC · 2006 · author #1

Mentions

• 1006.0030 #2 · backfill · confidence 0.70 Jean-Yves Marion
• 0903.2410 #1 · backfill · confidence 0.70 Jean-Yves Marion
• 0706.2293 #1 · backfill · confidence 0.70 Jean-Yves Marion

Frequent Coauthors

• Romain Pechoux 2 shared papers
• Daniel Leivant 1 shared papers
• Marco Gaboardi 1 shared papers
• Robin David 1 shared papers
• S\'ebastien Bardin 1 shared papers
• Simona Ronchi Della Rocca 1 shared papers