Geneviève Simonet

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 5

Top Topics

Homology Generators

Graph Structure

Top Venues

Discret. Appl. Math.

Publications

Geneviève Simonet, Anne Berry
Properties and Recognition of Atom Graphs. Algorithms 15 (8) (2022)
Anne Berry, Geneviève Simonet
Computing the Atom Graph of a Graph and the Union Join Graph of a Hypergraph. Algorithms 14 (12) (2021)
Anne Berry, Geneviève Simonet
Computing a Clique Tree with the Algorithm Maximal Label Search. Algorithms 10 (1) (2017)
Anne Berry, Geneviève Simonet
Computing a clique tree with algorithm MLS (Maximal Label Search). CoRR (2016)
Anne Berry, Geneviève Simonet
Computing the atom graph of a graph and the union join graph of a hypergraph. CoRR (2016)
Anne Berry, Romain Pogorelcnik, Geneviève Simonet
Organizing the atoms of the clique separator decomposition into an atom tree. Discret. Appl. Math. 177 (2014)
Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo
On the complexity of entailment in existential conjunctive first-order logic with atomic negation. Inf. Comput. 215 (2012)
Richard Krueger, Geneviève Simonet, Anne Berry
A General Label Search to investigate classical graph search algorithms. Discret. Appl. Math. 159 (2-3) (2011)
Anne Berry, Romain Pogorelcnik, Geneviève Simonet
An Introduction to Clique Minimal Separator Decomposition. Algorithms 3 (2) (2010)
Anne Berry, Jean R. S. Blair, Jean Paul Bordat, Geneviève Simonet
Graph Extremities Defined by Search Algorithms. Algorithms 3 (2) (2010)
Anne Berry, Richard Krueger, Geneviève Simonet
Maximal Label Search Algorithms to Compute Perfect and Minimal Elimination Orderings. SIAM J. Discret. Math. 23 (1) (2009)
Anne Berry, Elias Dahlhaus, Pinar Heggernes, Geneviève Simonet
Sequential and parallel triangulating algorithms for Elimination Game and new insights on Minimum Degree. Theor. Comput. Sci. 409 (3) (2008)
Olivier Cogis, Benoît Darties, Sylvain Durand, Jean-Claude König, Geneviève Simonet
The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networks. IFIP TCS (2008)
Anne Berry, Jean R. S. Blair, Geneviève Simonet
Preface. Discret. Math. 306 (3) (2006)
Anne Berry, Jean Paul Bordat, Pinar Heggernes, Geneviève Simonet, Yngve Villanger
A wide-range algorithm for minimal triangulation from an arbitrary ordering. J. Algorithms 58 (1) (2006)
Anne Berry, Richard Krueger, Geneviève Simonet
Ultimate Generalizations of LexBFS and LEX M. WG (2005)
Anne Berry, Jean R. S. Blair, Jean Paul Bordat, Richard Krueger, Geneviève Simonet
Extremities and orderings defined by generalized graph search algorithms. Electron. Notes Discret. Math. 22 (2005)
Anne Berry, Pinar Heggernes, Geneviève Simonet
The Minimum Degree Heuristic and the Minimal Triangulation Process. WG (2003)
Geneviève Simonet
Two FOL Semantics for Simple and Nested Conceptual Graphs. ICCS (1998)
Michel Chein, Marie-Laure Mugnier, Geneviève Simonet
Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. KR (1998)
Geneviève Simonet
On Sandewall's Paper: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions. Artif. Intell. 86 (2) (1996)
Anne Preller, Geneviève Simonet
Functional Completeness of the Free Locally Cartesian Closed Category an Interpretations of Martin-Löf's Theory of Dependent Types. Math. Struct. Comput. Sci. 6 (4) (1996)
Geneviève Simonet, Roland Ducournau
On Stein's Paper: Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies. Artif. Intell. 71 (1) (1994)
Geneviève Simonet
RS Theory: A Really Skeptical Theory of Inheritance with Exceptions. KR (1992)