Monadic Logical Definability of NP-Complete Problems. - Etienne Grandjean; Frédéric Olive (CSL, 1994)

A Conjunctive Logical Characterization of Nondeterministic Linear Time. - Frédéric Olive (CSL, 1997)

Rudimentary Languages and Second Order Logic. - Malika More; Frédéric Olive (Math. Log. Q., 1997)

Monadic Logical Definability of Nondeterministic Linear Time. - Etienne Grandjean; Frédéric Olive (Comput. Complex., 1998)

Graph properties checkable in linear time in the number of vertices. - Etienne Grandjean; Frédéric Olive (J. Comput. Syst. Sci., 2004)

First-Order Queries over One Unary Function. - Arnaud Durand 001; Frédéric Olive (CSL, 2006)

Computing the jth solution of a first-order query. - Guillaume Bagan; Arnaud Durand 001; Etienne Grandjean; Frédéric Olive (RAIRO Theor. Informatics Appl., 2008)

Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight. - Nadia Creignou; Frédéric Olive; Johannes Schmidt 001 (SAT, 2011)

Descriptive complexity for pictures languages. - Etienne Grandjean; Frédéric Olive (CSL, 2012)

Descriptive complexity for pictures languages (extended abstract) - Etienne Grandjean; Frédéric Olive; Gaétan Richard (CoRR, 2012)

Parameterized Enumeration with Ordering. - Nadia Creignou; Raïda Ktari; Arne Meier; Julian-Steffen Müller; Frédéric Olive; Heribert Vollmer (CoRR, 2013)

Parameterized Enumeration for Modification Problems. - Nadia Creignou; Raïda Ktari; Arne Meier; Julian-Steffen Müller; Frédéric Olive; Heribert Vollmer (LATA, 2015)

A logical approach to locality in pictures languages. - Etienne Grandjean; Frédéric Olive (J. Comput. Syst. Sci., 2016)

Definability by Horn Formulas and Linear Time on Cellular Automata. - Nicolas Bacquey; Etienne Grandjean; Frédéric Olive (ICALP, 2017)

Parameterised Enumeration for Modification Problems. - Nadia Creignou; Raïda Ktari; Arne Meier; Julian-Steffen Müller; Frédéric Olive; Heribert Vollmer (Algorithms, 2019)

Locally definable vertex set properties are efficiently enumerable. - Sarah Blind; Nadia Creignou; Frédéric Olive (Discret. Appl. Math., 2021)

Complexity of Reasoning with Cardinality Minimality Conditions. - Nadia Creignou; Frédéric Olive; Johannes Schmidt 001 (AAAI, 2023)

Early prediction of in-hospital mortality utilizing multivariate predictive modelling of electronic medical records and socio-determinants of health of the first day of hospitalization. - Daniel Stoessel; Rui Fa; Svetlana Artemova; Ursula von Schenck; Hadiseh Nowparast Rostami; Pierre-Ephrem Madiot; Caroline Landelle; Frédéric Olive; Alison Foote; Alexandre Moreau-Gaudry; Jean-Luc Bosson (BMC Medical Informatics Decis. Mak., 2023)

On the Enumeration of Signatures of XOR-CNF's. - Nadia Creignou; Oscar Defrain; Frédéric Olive; Simon Vilmin (WADS, 2025)