Geneviève Simonet

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