- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j12 |      | 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: 8-31 (2012) |
| 2011 | ||
| j11 | | Richard Krueger, Geneviève Simonet, Anne Berry: A General Label Search to investigate classical graph search algorithms. Discrete Applied Mathematics 159(2-3): 128-142 (2011) |
| 2010 | ||
| j10 | | Anne Berry, Jean R. S. Blair, Jean Paul Bordat, Geneviève Simonet: Graph Extremities Defined by Search Algorithms. Algorithms 3(2): 100-124 (2010) |
| j9 | | Anne Berry, Romain Pogorelcnik, Geneviève Simonet: An Introduction to Clique Minimal Separator Decomposition. Algorithms 3(2): 197-215 (2010) |
| 2009 | ||
| j8 | | Anne Berry, Richard Krueger, Geneviève Simonet: Maximal Label Search Algorithms to Compute Perfect and Minimal Elimination Orderings. SIAM J. Discrete Math. 23(1): 428-446 (2009) |
| 2008 | ||
| j7 | | 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): 601-616 (2008) |
| c6 | | 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: 115-126 |
| 2006 | ||
| j6 | | |
| j5 | | 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): 33-66 (2006) |
| 2005 | ||
| j4 | | Anne Berry, Jean R. S. Blair, Jean Paul Bordat, Richard Krueger, Geneviève Simonet: Extremities and orderings defined by generalized graph search algorithms. Electronic Notes in Discrete Mathematics 22: 413-420 (2005) |
| c5 | | Anne Berry, Richard Krueger, Geneviève Simonet: Ultimate Generalizations of LexBFS and LEX M. WG 2005: 199-213 |
| 2003 | ||
| c4 | | Anne Berry, Pinar Heggernes, Geneviève Simonet: The Minimum Degree Heuristic and the Minimal Triangulation Process. WG 2003: 58-70 |
| 1998 | ||
| c3 | | |
| c2 |  | Michel Chein, Marie-Laure Mugnier, Geneviève Simonet: Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. KR 1998: 524-535 |
| 1996 | ||
| j3 | | Geneviève Simonet: On Sandewall's Paper: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions. Artif. Intell. 86(2): 359-374 (1996) |
| j2 | | 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. Mathematical Structures in Computer Science 6(4): 387-408 (1996) |
| 1994 | ||
| j1 | | Geneviève Simonet, Roland Ducournau: On Stein's Paper: Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies. Artif. Intell. 71(1): 183-193 (1994) |
| 1992 | ||
| c1 | | Geneviève Simonet: RS Theory: A Really Skeptical Theory of Inheritance with Exceptions. KR 1992: 615-626 |
Colors in the list of coauthors
Last update Mon May 20 18:33:55 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page