Concepedia
Statistics
Publications
14
Citations
723
H-Index
13
Active since
1988
Affiliations
MathWorks (United States)(Current)
Institut national de recherche en sciences et technologies du numérique
Chalmers University of Technology
Menlo School
Laboratoire de Recherche en Informatique
Grégoire Hamon is an author at MathWorks (United States) specializing in computing, computer science, and formal methods.
Publications per year
1988–2011
Fuzzy querying with SQL: Extensions and implementation aspects
P. Bosc, M. J. Galibourg, Grégoire Hamon · Fuzzy Sets and Systems · 1988 · 139 citations
Computing, Information Systems, Data Management +8
Generating efficient test sets with a model checker
Grégoire Hamon, Leonardo de Moura, John Rushby · 2004 · 95 citations
Computing, Computer Engineering, Computer Science +14
Clock-directed modular code generation for synchronous data-flow languages
Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon et al. · 2008 · 70 citations
Computing, Computer Engineering, Computer Science +12
Grégoire Hamon, Leonardo de Moura, John Rushby · 2004 · 68 citations
An operational semantics for Stateflow
Grégoire Hamon, John Rushby · International Journal on Software Tools for Technology Transfer · 2007 · 64 citations
Computing, Computer Science, Computer Systems +10
1–5 of 14