Geneviève Simonet

Available identifiers

Publication	Date of Publication	Type
Graph extremities defined by search algorithms	2018-08-20	Paper
An introduction to clique minimal separator decomposition	2018-08-20	Paper
Computing a clique tree with the algorithm maximal label search	2018-08-20	Paper
Organizing the atoms of the clique separator decomposition into an atom tree	2014-09-08	Paper
On the complexity of entailment in existential conjunctive first-order logic with atomic negation	2012-10-11	Paper
A general label search to investigate classical graph search algorithms	2011-01-21	Paper
Maximal label search algorithms to compute perfect and minimal elimination orderings	2010-03-17	Paper
The minimum degree heuristic and the minimal triangulation process.	2010-01-12	Paper
Sequential and parallel triangulating algorithms for elimination game and new insights on minimum degree	2009-01-08	Paper
Extremities and orderings defined by generalized graph search algorithms	2007-05-29	Paper
Graph-Theoretic Concepts in Computer Science	2006-11-01	Paper
A wide-range algorithm for minimal triangulation from an arbitrary ordering	2006-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4218272	1998-11-11	Paper
Functional completeness of the free locally Cartesian closed category and interpretations of Martin-Löf's theory of dependent types	1996-11-18	Paper
On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies	1996-03-18	Paper

This page was built for person: Geneviève Simonet