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

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

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |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