Hubert Comon - Concepedia

Author

Hubert Comon

Centre National de la Recherche Scientifique

Also Known As

Alain Finkel, Comon, Hubert, Finkel, Alain, H. Comon, HUBERT COMON, Hubert Comon

Publications

3.2K

Citations

H-Index

Concepts

All Affiliations

Centre National de la Recherche Scientifique École Normale Supérieure Paris-Saclay Laboratoire de Recherche en Informatique Université Paris-Sud Université Paris Cité

About

Hubert Comon is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	12	492
2	Computer Science	9	9	334
3	Language Studies	6	6	162
4	Linguistics	6	6	162
5	Computer Engineering	1	1	49

Hubert Comon

Publications

2.2K

Citations

H-Index

Page 1

	Year	Citations
Tree automata techniques and applications Hubert Comon, Max Dauchet	1997	1.2K
Equational problems anddisunification Hubert Comon, Pierre Lescanne Journal of Symbolic Computation Monge-ampere EquationEquational Problems AnddisunificationNonlinear EquationLinear Equation	1989	194
Disunification: A Survey. Hubert Comon	1991	100
Equational Formulas with Membership Constraints Hubert Comon, Catherine Delor Information and Computation Constraint SolvingMembership ConstraintsEngineeringAutomated ReasoningEquational Logic	1994	77
SOLVING SYMBOLIC ORDERING CONSTRAINTS Hubert Comon International Journal of Foundations of Computer Science Mathematical ProgrammingEngineeringComputational ComplexityBoolean CombinationsHigher-order Logic	1990	67
Is it possible to decide whether a cryptographic protocol is secure or not? Hubert Comon, Vitaly Shmatikov Journal of Telecommunications and Information Technology Hardware SecurityCryptographic PrimitivesEngineeringSecurity PropertiesCryptographic Primitive	2002	62
Syntacticness, Cycle-Syntacticness, and Shallow Theories Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud Information and Computation Philosophy Of LanguageSyntaxGrammatical FormalismShallow TheoriesGrammar	1994	52
Tree automata with one memory set constraints and cryptographic protocols Hubert Comon, Véronique Cortier Theoretical Computer Science Hardware SecurityTree AutomataCryptographic PrimitiveEngineeringVerification	2004	49
Completion of Rewrite Systems with Membership Constraints Part II: Constraint Solving Hubert Comon Journal of Symbolic Computation Constraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningRegulated Rewriting	1998	45
Induction=I-Axiomatization+First-Order Consistency Hubert Comon, Robert Nieuwenhuis Information and Computation	2000	43

Page 1