Frédéric Olive

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 9

Top Topics

Qualitative Temporal Reasoning

Cellular Automata

Electronic Medical Record

Top Venues

BMC Medical Informatics Decis. Mak.

J. Comput. Syst. Sci.

Publications

Nadia Creignou, Oscar Defrain, Frédéric Olive, Simon Vilmin
On the enumeration of signatures of XOR-CNF's. CoRR (2024)
Nadia Creignou, Frédéric Olive, Johannes Schmidt
Complexity of Reasoning with Cardinality Minimality Conditions. CoRR (2023)
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
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. BMC Medical Informatics Decis. Mak. 23 (1) (2023)
Nadia Creignou, Frédéric Olive, Johannes Schmidt
Complexity of Reasoning with Cardinality Minimality Conditions. AAAI (2023)
Sarah Blind, Nadia Creignou, Frédéric Olive
Locally definable vertex set properties are efficiently enumerable. Discret. Appl. Math. 303 (2021)
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
Parameterised Enumeration for Modification Problems. Algorithms 12 (9) (2019)
Nicolas Bacquey, Etienne Grandjean, Frédéric Olive
Definability by Horn Formulas and Linear Time on Cellular Automata. ICALP (2017)
Etienne Grandjean, Frédéric Olive
A logical approach to locality in pictures languages. J. Comput. Syst. Sci. 82 (6) (2016)
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
Parameterized Enumeration for Modification Problems. LATA (2015)
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer
Parameterized Enumeration with Ordering. CoRR (2013)
Etienne Grandjean, Frédéric Olive, Gaétan Richard
Descriptive complexity for pictures languages (extended abstract) CoRR (2012)
Etienne Grandjean, Frédéric Olive
Descriptive complexity for pictures languages. CSL (2012)
Nadia Creignou, Frédéric Olive, Johannes Schmidt
Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight. SAT (2011)
Guillaume Bagan, Arnaud Durand, Etienne Grandjean, Frédéric Olive
Computing the jth solution of a first-order query. RAIRO Theor. Informatics Appl. 42 (1) (2008)
Arnaud Durand, Frédéric Olive
First-Order Queries over One Unary Function. CSL (2006)
Etienne Grandjean, Frédéric Olive
Graph properties checkable in linear time in the number of vertices. J. Comput. Syst. Sci. 68 (3) (2004)
Etienne Grandjean, Frédéric Olive
Monadic Logical Definability of Nondeterministic Linear Time. Comput. Complex. 7 (1) (1998)
Frédéric Olive
A Conjunctive Logical Characterization of Nondeterministic Linear Time. CSL (1997)
Malika More, Frédéric Olive
Rudimentary Languages and Second Order Logic. Math. Log. Q. 43 (1997)
Etienne Grandjean, Frédéric Olive
Monadic Logical Definability of NP-Complete Problems. CSL (1994)