| * | 2009 |
|---|
| 10 | EE | Marco Gaboardi,
Romain Péchoux:
Upper Bounds on Stream I/O Using Semantic Interpretations.
CSL 2009: 271-286 |
| 9 | EE | Jean-Yves Marion,
Romain Péchoux:
Sup-interpretations, a semantic method for static analysis of program resources.
ACM Trans. Comput. Log. 10(4): (2009) |
| 2008 |
|---|
| 8 | EE | Jean-Yves Marion,
Romain Péchoux:
Analyzing the Implicit Computational Complexity of object-oriented programs.
FSTTCS 2008 |
| 7 | EE | Jean-Yves Marion,
Romain Péchoux:
Characterizations of polynomial complexity classes with a better intensionality.
PPDP 2008: 79-88 |
| 6 | EE | Jean-Yves Marion,
Romain Péchoux:
A Characterization of NCk.
TAMC 2008: 136-147 |
| 2007 |
|---|
| 5 | EE | Guillaume Bonfante,
Jean-Yves Marion,
Romain Péchoux:
Quasi-interpretation Synthesis by Decomposition.
ICTAC 2007: 410-424 |
| 4 | EE | Jean-Yves Marion,
Romain Péchoux:
Resource control of object-oriented programs
CoRR abs/0706.2293: (2007) |
| 2006 |
|---|
| 3 | EE | Jean-Yves Marion,
Romain Péchoux:
Resource Analysis by Sup-interpretation.
FLOPS 2006: 163-176 |
| 2 | EE | Guillaume Bonfante,
Jean-Yves Marion,
Romain Péchoux:
A Characterization of Alternating Log Time by First Order Functional Programs.
LPAR 2006: 90-104 |
| 1 | EE | Jean-Yves Marion,
Romain Péchoux:
Quasi-friendly sup-interpretations
CoRR abs/cs/0608020: (2006) |
