dblp.uni-trier.dewww.uni-trier.de

Romain Péchoux

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEJean-Yves Marion, Romain Péchoux: Analyzing the Implicit Computational Complexity of object-oriented programs. FSTTCS 2008
7EEJean-Yves Marion, Romain Péchoux: Characterizations of polynomial complexity classes with a better intensionality. PPDP 2008: 79-88
6EEJean-Yves Marion, Romain Péchoux: A Characterization of NCk. TAMC 2008: 136-147
2007
5EEGuillaume Bonfante, Jean-Yves Marion, Romain Péchoux: Quasi-interpretation Synthesis by Decomposition. ICTAC 2007: 410-424
4EEJean-Yves Marion, Romain Péchoux: Resource control of object-oriented programs CoRR abs/0706.2293: (2007)
2006
3EEJean-Yves Marion, Romain Péchoux: Resource Analysis by Sup-interpretation. FLOPS 2006: 163-176
2EEGuillaume Bonfante, Jean-Yves Marion, Romain Péchoux: A Characterization of Alternating Log Time by First Order Functional Programs. LPAR 2006: 90-104
1EEJean-Yves Marion, Romain Péchoux: Quasi-friendly sup-interpretations CoRR abs/cs/0608020: (2006)

Coauthor Index

1Guillaume Bonfante [2] [5]
2Jean-Yves Marion [1] [2] [3] [4] [5] [6] [7] [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)