Geneviève Simonet
Orcid: 0000-0002-9814-893X
According to our database1,
Geneviève Simonet
authored at least 23 papers
between 1992 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
1
1
2
1
1
2
1
2
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
2021
Algorithms, 2021
2017
2016
2014
Discret. Appl. Math., 2014
2012
On the complexity of entailment in existential conjunctive first-order logic with atomic negation.
Inf. Comput., 2012
2011
Discret. Appl. Math., 2011
2010
2009
Maximal Label Search Algorithms to Compute Perfect and Minimal Elimination Orderings.
SIAM J. Discret. Math., 2009
2008
Sequential and parallel triangulating algorithms for Elimination Game and new insights on Minimum Degree.
Theor. Comput. Sci., 2008
The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networks.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
2006
J. Algorithms, 2006
2005
Electron. Notes Discret. Math., 2005
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2005
2003
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2003
1998
Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
Proceedings of the Conceptual Structures: Theory, 1998
1996
Functional Completeness of the Free Locally Cartesian Closed Category an Interpretations of Martin-Löf's Theory of Dependent Types.
Math. Struct. Comput. Sci., 1996
On Sandewall's Paper: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions.
Artif. Intell., 1996
1994
Artif. Intell., 1994
1992
RS Theory: A Really Skeptical Theory of Inheritance with Exceptions.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992