Romain Péchoux

Available identifiers

zbMath Open pechoux.romainMaRDI QIDQ1640982

List of research outcomes

Publication	Date of Publication	Type
Quantum expectation transformers for cost analysis	2024-12-06	Paper
Complete and tractable machine-independent characterizations of second-order polytime	2024-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q5094117	2022-08-02	Paper
\textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs	2022-03-31	Paper
Polynomial time over the reals with parsimony	2021-07-06	Paper
A tier-based typed programming language characterizing Feasible Functionals	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5144355	2021-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q5141617	2020-12-18	Paper
Quantum programming with inductive datatypes: causality and affine type theory	2020-09-23	Paper
On the efficiency of normal form systems for representing Boolean functions	2020-04-21	Paper
Higher order interpretation for higher order complexity	2019-01-10	Paper
A type-based complexity analysis of object oriented programs	2018-06-14	Paper
Algebras and coalgebras in the light affine Lambda calculus	2017-05-10	Paper
Objects in Polynomial Time	2016-01-08	Paper
Sup-interpretations, a semantic method for static analysis of program resources	2015-09-17	Paper
Characterizing polynomial time complexity of stream programs using interpretations	2015-05-26	Paper
Complexity Information Flow in a Multi-threaded Imperative Language	2014-04-16	Paper
A Categorical Treatment of Malicious Behavioral Obfuscation	2014-04-16	Paper
Type-Based Complexity Analysis for Fork Processes	2013-03-18	Paper
Synthesis of sup-interpretations: a survey	2013-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q3165969	2012-10-19	Paper
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity	2010-12-09	Paper
Global and Local Space Properties of Stream Programs	2010-09-14	Paper
Upper Bounds on Stream I/O Using Semantic Interpretations	2009-11-12	Paper
Quasi-interpretation Synthesis by Decomposition	2008-09-17	Paper
A Characterization of Alternating Log Time by First Order Functional Programs	2008-05-27	Paper
A Characterization of NC k by First Order Functional Programs	2008-05-27	Paper
Resource Analysis by Sup-interpretation	2007-05-02	Paper

Research outcomes over time

This page was built for person: Romain Péchoux