Geneviève Simonet

According to our database, Geneviève Simonet authored at least 23 papers between 1992 and 2022.

Collaborative distances:

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

2022

Properties and Recognition of Atom Graphs.

Geneviève Simonet, Anne Berry

Algorithms, 2022

2021

Computing the Atom Graph of a Graph and the Union Join Graph of a Hypergraph.

Anne Berry, Geneviève Simonet

Algorithms, 2021

2017

Computing a Clique Tree with the Algorithm Maximal Label Search.

Anne Berry, Geneviève Simonet

Algorithms, 2017

2016

Computing a clique tree with algorithm MLS (Maximal Label Search).

Anne Berry, Geneviève Simonet

CoRR, 2016

2014

Organizing the atoms of the clique separator decomposition into an atom tree.

Anne Berry, Romain Pogorelcnik, Geneviève Simonet

Discret. Appl. Math., 2014

2012

On the complexity of entailment in existential conjunctive first-order logic with atomic negation.

Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo

Inf. Comput., 2012

2011

A General Label Search to investigate classical graph search algorithms.

Richard Krueger, Geneviève Simonet, Anne Berry

Discret. Appl. Math., 2011

2010

An Introduction to Clique Minimal Separator Decomposition.

Anne Berry, Romain Pogorelcnik, Geneviève Simonet

Algorithms, 2010

Graph Extremities Defined by Search Algorithms.

Anne Berry, Jean R. S. Blair, Jean Paul Bordat, Geneviève Simonet

Algorithms, 2010

2009

Maximal Label Search Algorithms to Compute Perfect and Minimal Elimination Orderings.

Anne Berry, Richard Krueger, Geneviève Simonet

SIAM J. Discret. Math., 2009

2008

Sequential and parallel triangulating algorithms for Elimination Game and new insights on Minimum Degree.

Anne Berry, Elias Dahlhaus, Pinar Heggernes, Geneviève Simonet

Theor. Comput. Sci., 2008

The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networks.

Olivier Cogis, Benoît Darties, Sylvain Durand, Jean-Claude König, Geneviève Simonet

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2006

A wide-range algorithm for minimal triangulation from an arbitrary ordering.

Anne Berry, Jean Paul Bordat, Pinar Heggernes, Geneviève Simonet, Yngve Villanger

J. Algorithms, 2006

Preface.

Anne Berry, Jean R. S. Blair, Geneviève Simonet

Discret. Math., 2006

2005

Extremities and orderings defined by generalized graph search algorithms.

Anne Berry, Jean R. S. Blair, Jean Paul Bordat, Richard Krueger, Geneviève Simonet

Electron. Notes Discret. Math., 2005

Ultimate Generalizations of LexBFS and LEX M.

Anne Berry, Richard Krueger, Geneviève Simonet

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2005

2003

The Minimum Degree Heuristic and the Minimal Triangulation Process.

Anne Berry, Pinar Heggernes, Geneviève Simonet

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2003

1998

Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics.

Michel Chein, Marie-Laure Mugnier, Geneviève Simonet

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Two FOL Semantics for Simple and Nested Conceptual Graphs.

Geneviève Simonet

Proceedings of the Conceptual Structures: Theory, 1998

1996

Functional Completeness of the Free Locally Cartesian Closed Category an Interpretations of Martin-Löf's Theory of Dependent Types.

Anne Preller, Geneviève Simonet

Math. Struct. Comput. Sci., 1996

On Sandewall's Paper: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions.

Geneviève Simonet

Artif. Intell., 1996

1994

On Stein's Paper: Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies.

Geneviève Simonet, Roland Ducournau

Artif. Intell., 1994

1992

RS Theory: A Really Skeptical Theory of Inheritance with Exceptions.

Geneviève Simonet

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992