Geneviève Simonet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Graph extremities defined by search algorithms Algorithms	2018-08-20	Paper
An introduction to clique minimal separator decomposition Algorithms	2018-08-20	Paper
Computing a clique tree with the algorithm maximal label search Algorithms	2018-08-20	Paper
Organizing the atoms of the clique separator decomposition into an atom tree Discrete Applied Mathematics	2014-09-08	Paper
On the complexity of entailment in existential conjunctive first-order logic with atomic negation Information and Computation	2012-10-11	Paper
A general label search to investigate classical graph search algorithms Discrete Applied Mathematics	2011-01-21	Paper
Maximal label search algorithms to compute perfect and minimal elimination orderings SIAM Journal on Discrete Mathematics	2010-03-17	Paper
The minimum degree heuristic and the minimal triangulation process. Lecture Notes in Computer Science	2010-01-12	Paper
Sequential and parallel triangulating algorithms for elimination game and new insights on minimum degree Theoretical Computer Science	2009-01-08	Paper
Extremities and orderings defined by generalized graph search algorithms Electronic Notes in Discrete Mathematics	2007-05-29	Paper
Graph-Theoretic Concepts in Computer Science Lecture Notes in Computer Science	2006-11-01	Paper
A wide-range algorithm for minimal triangulation from an arbitrary ordering Journal of Algorithms	2006-04-28	Paper
scientific article; zbMATH DE number 1222705 (Why is no real title available?)	1998-11-11	Paper
Functional completeness of the free locally Cartesian closed category and interpretations of Martin-Löf's theory of dependent types Mathematical Structures in Computer Science	1996-11-18	Paper
On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies Artificial Intelligence	1996-03-18	Paper

Research outcomes over time

This page was built for person: Geneviève Simonet