|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Krueger, Geneviève Simonet, Anne Berry |
A General Label Search to investigate classical graph search algorithms. |
Discrete Applied Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Berry, Jean R. S. Blair, Jean Paul Bordat, Geneviève Simonet |
Graph Extremities Defined by Search Algorithms. |
Algorithms |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Berry, Romain Pogorelcnik, Geneviève Simonet |
An Introduction to Clique Minimal Separator Decomposition. |
Algorithms |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Berry, Richard Krueger, Geneviève Simonet |
Maximal Label Search Algorithms to Compute Perfect and Minimal Elimination Orderings. |
SIAM J. Discrete Math. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Berry, Jean R. S. Blair, Geneviève Simonet |
Preface. |
Discrete Mathematics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Berry, Richard Krueger, Geneviève Simonet |
Ultimate Generalizations of LexBFS and LEX M. |
WG |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Berry, Pinar Heggernes, Geneviève Simonet |
The Minimum Degree Heuristic and the Minimal Triangulation Process. |
WG |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Chein, Marie-Laure Mugnier, Geneviève Simonet |
Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Geneviève Simonet |
Two FOL Semantics for Simple and Nested Conceptual Graphs. |
ICCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Geneviève Simonet |
On Sandewall's Paper: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions. |
Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Geneviève Simonet, Roland Ducournau |
On Stein's Paper: Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies. |
Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Geneviève Simonet |
RS Theory: A Really Skeptical Theory of Inheritance with Exceptions. |
KR |
1992 |
DBLP BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")