Formal Languages Defined by the Underlying Structure of their Words. - Jean-Pierre Ressayre (J. Symb. Log., 1988)

Π21-Logic and uniformization in the analytical hierarchy. - Jean-Pierre Ressayre (Arch. Math. Log., 1989)

Every Real Closed Field Has an Integer Part. - M. H. Mourgues; Jean-Pierre Ressayre (J. Symb. Log., 1993)

Polynomial Time Uniformization and Non-standard Methods. - Jean-Pierre Ressayre (Ann. Math. Artif. Intell., 1996)

Stretchings. - Olivier Finkel; Jean-Pierre Ressayre (J. Symb. Log., 1996)

Computer science and the fine structure of Borel sets. - Jacques Duparc; Olivier Finkel; Jean-Pierre Ressayre (Theor. Comput. Sci., 2001)

Weak Arithmetics. - Jean-Pierre Ressayre (Theor. Comput. Sci., 2001)

Winning strategies for infinite games: from large cardinals to computer science extended abstract. - Jean-Pierre Ressayre (Theor. Comput. Sci., 2004)

On Infinite Real Trace Rational Languages of Maximum Topological Complexity - Olivier Finkel; Jean-Pierre Ressayre; Pierre Simonnet (CoRR, 2008)

Arithmetization of the field of reals with exponentiation extended abstract. - Sedki Boughattas; Jean-Pierre Ressayre (RAIRO Theor. Informatics Appl., 2008)

Bootstrapping, part I. - Sedki Boughattas; Jean-Pierre Ressayre (Ann. Pure Appl. Log., 2010)

The Wadge Hierarchy of Petri Nets ω-Languages. - Jacques Duparc; Olivier Finkel; Jean-Pierre Ressayre (LFCS, 2013)

The wadge hierarchy of Petri Nets ω-languages. - Jacques Duparc; Olivier Finkel; Jean-Pierre Ressayre (Logic, Computation, Hierarchies, 2014)