Romain Prévost < Romain Péchoux < Romain Raveaux

Facettes : AffPays.f AffRegion.f AffOrg.f Author.f

List of bibliographic references

Number of relevant bibliographic references: 28.
[0-20] [0 - 20][0 - 28][20-27][20-40]

Ident.	Authors (with country if any)	Title
000095 (2014-04-11)	Romain Péchoux [France] ; Thanh Dinh Ta [France]	A Categorical Treatment of Malicious Behavioral Obfuscation
000096 (2008-04-26)	Jean-Yves Marion [France] ; Romain Péchoux [France]	A Characterization of NCk by First Order Functional Programs
000589 (2006-11-13)	Romain Péchoux [France] ; Jean-Yves Marion [France] ; Guillaume Bonfante [France]	A characterization of Alternating log time by first order functional programs
000591 (2007)	Jean-Yves Marion [France] ; Romain Péchoux [France]	A characterization of polynomial complexity classes using dependency pairs
000B98 (2015-08-31)	Marco Gaboardi [France] ; Romain Péchoux [France]	Algebras and Coalgebras in the Light Affine Lambda Calculus
000E85 (2008-12-11)	Jean-Yves Marion [France] ; Romain Péchoux [France]	Analyzing the Implicit Computational Complexity of object-oriented programs
001293 (2013-08-29)	Romain Péchoux [France]	Bounding Reactions in the Pi-calculus using Interpretations
001449 (2008-07-15)	Jean-Yves Marion [France] ; Romain Péchoux [France]	Characterizations of Polynomial Complexity Classes with a Better Intensionality
001456 (2015-01-01)	Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]	Characterizing polynomial time complexity of stream programs using interpretations
001693 (2014-04-11)	Jean-Yves Marion [France] ; Romain Péchoux [France]	Complexity Information Flow in a Multi-threaded Imperative Language
001694 (2012-03-01)	Jean-Yves Marion [France] ; Romain Péchoux [France]	Complexity Information Flow in a Multi-threaded Imperative Language
002635 (2009-11-23)	Marco Gaboardi [Italie] ; Romain Péchoux [France]	Global and local space properties of stream programs
002797 (2015-04-11)	Emmanuel Hainry [France] ; Romain Péchoux [France]	Higher order interpretations for Basic Feasible Functions
002981 (2015-04-11)	Emmanuel Hainry [France] ; Romain Péchoux [France]	Implicit computational complexity in Object Oriented Programs
002C39 (2010-12-15)	Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]	Interpretation of stream programs: characterizing type 2 polynomial time complexity
003645 (2015-11-30)	Emmanuel Hainry [France] ; Romain Péchoux [France]	Objects in Polynomial Time
003667 (2015-01-01)	Marco Gaboardi [France] ; Romain Péchoux [France]	On Bounding Space Usage of Streams Using Interpretation Analysis
003E83 (2007-09-22)	Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Romain Péchoux [France]	Quasi-interpretation Synthesis by Decomposition : An application to higher-order programs
004164 (2006-04-24)	Jean-Yves Marion [France] ; Romain Péchoux [France]	Resource analysis by sup-interpretation
004165 (2007-07-15)	Jean-Yves Marion [France] ; Romain Péchoux [France]	Resource control of object-oriented programs
004903 (2009)	Jean-Yves Marion [France] ; Romain Péchoux [France]	Sup-interpretations, a semantic method for static analysis of program resources

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Romain Péchoux" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Romain Péchoux" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Romain Péchoux
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022