Science Explorer Interactive view Map
Researcher · Laboratoire de Recherche en Informatique · France

Guillaume Melquiond

Guillaume Melquiond publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Signal Processing, on topics such as Numerical Methods and Algorithms, Logic, programming, and type systems and Digital Filter Design and Implementation.

ORCID 0000-0002-6697-1809 OpenAlex
World rank
#627,225
of 1,633,909 ranked researchers
Rank in France
#38,526
of 96,116
Works
32
Citations
78
Citations per work
2.4

What does Guillaume Melquiond research?

Computational Theory and Mathematics: 45.2%Artificial Intelligence: 16.7%Signal Processing: 11.9%Electrical and Electronic Engineering: 7.1%other fields: 19.1%45%top field
Computational Theory and Mathematics45.2%Artificial Intelligence16.7%Signal Processing11.9%Electrical and Electronic Engineering7.1%other fields19.1%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Computational Theory and Mathematics45% of their works
  2. 2Artificial Intelligence17% of their works
  3. 3Signal Processing12% of their works
  4. 4Electrical and Electronic Engineering7% of their works
  5. 5Hardware and Architecture5% of their works
  6. 6Applied Mathematics5% of their works

Research topics

Which keywords describe Guillaume Melquiond's research?

The keywords of their largest research topics: Model Checking, Floating-Point Arithmetic, Interval Analysis, Temporal Logic, FFT, Filter Banks, Formal Verification and Static Analysis.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 18 words, with their numbers
  1. Model Checking113 topics
  2. Floating-Point Arithmetic101 topic
  3. Interval Analysis101 topic
  4. Temporal Logic62 topics
  5. FFT51 topic
  6. Filter Banks51 topic
  7. Formal Verification51 topic
  8. Static Analysis51 topic
  9. Satisfiability Modulo Theories41 topic
  10. Symbolic Model Checker41 topic
  11. Answer Set Programming21 topic
  12. Gröbner Bases21 topic
  13. Low-Power21 topic
  14. Modal Logic21 topic
  15. Parallel Computing21 topic
  16. Performance Optimization21 topic
  17. Symbolic Computing21 topic
  18. VLSI Circuits21 topic

Where does Guillaume Melquiond work?

Guillaume Melquiond's main affiliation in the publication record is Laboratoire de Recherche en Informatique, France.

How many publications and citations does Guillaume Melquiond have?

Science Explorer counts 32 works and 78 citations for Guillaume Melquiond, ranking #627,225 of 1,633,909 researchers worldwide on the composite score.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.