Frédéric Olive

According to our database, Frédéric Olive authored at least 19 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the enumeration of signatures of XOR-CNF's.

Nadia Creignou, Oscar Defrain, Frédéric Olive, Simon Vilmin

CoRR, 2024

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., December, 2023

Complexity of Reasoning with Cardinality Minimality Conditions.

Nadia Creignou, Frédéric Olive, Johannes Schmidt

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021

Locally definable vertex set properties are efficiently enumerable.

Sarah Blind, Nadia Creignou, Frédéric Olive

Discret. Appl. Math., 2021

2019

Parameterised Enumeration for Modification Problems.

Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer

Algorithms, 2019

2017

Definability by Horn Formulas and Linear Time on Cellular Automata.

Nicolas Bacquey, Etienne Grandjean, Frédéric Olive

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

A logical approach to locality in pictures languages.

Etienne Grandjean, Frédéric Olive

J. Comput. Syst. Sci., 2016

2015

Parameterized Enumeration for Modification Problems.

Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer

Proceedings of the Language and Automata Theory and Applications, 2015

2013

Parameterized Enumeration with Ordering.

Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer

CoRR, 2013

2012

Descriptive complexity for pictures languages (extended abstract)

Etienne Grandjean, Frédéric Olive, Gaétan Richard

CoRR, 2012

Descriptive complexity for pictures languages.

Etienne Grandjean, Frédéric Olive

Proceedings of the Computer Science Logic (CSL'12), 2012

2011

Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight.

Nadia Creignou, Frédéric Olive, Johannes Schmidt

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

2008

Computing the jth solution of a first-order query.

Guillaume Bagan, Arnaud Durand, Etienne Grandjean, Frédéric Olive

RAIRO Theor. Informatics Appl., 2008

2006

First-Order Queries over One Unary Function.

Arnaud Durand, Frédéric Olive

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2004

Graph properties checkable in linear time in the number of vertices.

Etienne Grandjean, Frédéric Olive

J. Comput. Syst. Sci., 2004

1998

Monadic Logical Definability of Nondeterministic Linear Time.

Etienne Grandjean, Frédéric Olive

Comput. Complex., 1998

1997

Rudimentary Languages and Second Order Logic.

Malika More, Frédéric Olive

Math. Log. Q., 1997

A Conjunctive Logical Characterization of Nondeterministic Linear Time.

Frédéric Olive

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1994

Monadic Logical Definability of NP-Complete Problems.

Etienne Grandjean, Frédéric Olive

Proceedings of the Computer Science Logic, 8th International Workshop, 1994