Geneviève Simonet - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2022

Properties and Recognition of Atom GraphsGeneviève Simonet, Anne Berry. algorithms, 15(8):294, 2022. [doi]

2021

Computing the Atom Graph of a Graph and the Union Join Graph of a HypergraphAnne Berry, Geneviève Simonet. algorithms, 14(12):347, 2021. [doi]

2017

Computing a Clique Tree with the Algorithm Maximal Label SearchAnne Berry, Geneviève Simonet. algorithms, 10(1):20, 2017. [doi]

2014

Organizing the atoms of the clique separator decomposition into an atom treeAnne Berry, Romain Pogorelcnik, Geneviève Simonet. DAM, 177:1-13, 2014. [doi]

2012

On the complexity of entailment in existential conjunctive first-order logic with atomic negationMarie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo. iandc, 215:8-31, 2012. [doi]

2011

A General Label Search to investigate classical graph search algorithmsRichard Krueger, Geneviève Simonet, Anne Berry. DAM, 159(2-3):128-142, 2011. [doi]

2010

An Introduction to Clique Minimal Separator DecompositionAnne Berry, Romain Pogorelcnik, Geneviève Simonet. algorithms, 3(2):197-215, 2010. [doi]

Graph Extremities Defined by Search AlgorithmsAnne Berry, Jean R. S. Blair, Jean Paul Bordat, Geneviève Simonet. algorithms, 3(2):100-124, 2010. [doi]

2008

Sequential and parallel triangulating algorithms for Elimination Game and new insights on Minimum DegreeAnne Berry, Elias Dahlhaus, Pinar Heggernes, Geneviève Simonet. TCS, 409(3):601-616, 2008. [doi]

The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networksOlivier Cogis, Benoît Darties, Sylvain Durand, Jean-Claude König, Geneviève Simonet. ifipTCS 2008: 115-126 [doi]

2006

A wide-range algorithm for minimal triangulation from an arbitrary orderingAnne Berry, Jean Paul Bordat, Pinar Heggernes, Geneviève Simonet, Yngve Villanger. jal, 58(1):33-66, 2006. [doi]

PrefaceAnne Berry, Jean R. S. Blair, Geneviève Simonet. DM, 306(3):293, 2006. [doi]

2005

Ultimate Generalizations of LexBFS and LEX MAnne Berry, Richard Krueger, Geneviève Simonet. criwg 2005: 199-213 [doi]

Extremities and orderings defined by generalized graph search algorithmsAnne Berry, Jean R. S. Blair, Jean Paul Bordat, Richard Krueger, Geneviève Simonet. endm, 22:413-420, 2005. [doi]

2003

The Minimum Degree Heuristic and the Minimal Triangulation ProcessAnne Berry, Pinar Heggernes, Geneviève Simonet. criwg 2003: 58-70 [doi]

1998

Nested Graphs: A Graph-based Knowledge Representation Model with FOL SemanticsMichel Chein, Marie-Laure Mugnier, Geneviève Simonet. kr 1998: 524-535

Two FOL Semantics for Simple and Nested Conceptual GraphsGeneviève Simonet. iccS 1998: 240-254 [doi]

1996

Functional Completeness of the Free Locally Cartesian Closed Category an Interpretations of Martin-Löf s Theory of Dependent TypesAnne Preller, Geneviève Simonet. mscs, 6(4):387-408, 1996.

On Sandewall s Paper: Nonmonotonic Inference Rules for Multiple Inheritance with ExceptionsGeneviève Simonet. ai, 86(2):359-374, 1996. [doi]

1994

On Stein s Paper: Resolving Ambiguity in Nonmonotonic Inheritance HierarchiesGeneviève Simonet, Roland Ducournau. ai, 71(1):183-193, 1994.

1992

RS Theory: A Really Skeptical Theory of Inheritance with ExceptionsGeneviève Simonet. kr 1992: 615-626

Sign in or sign up to see more results.

runs on WebDSL