Geneviève Simonet

Available identifiers

zbMath Open simonet.genevieveMaRDI QIDQ406310

List of research outcomes

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
Graph-Theoretic Concepts in Computer Science	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Geneviève Simonet