Science Explorer Back to mapMap
Discussion
Researcher · IMDEA Software Institute · Spain

Pierre Ganty

Pierre Ganty publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications, on topics such as Formal Methods in Verification, Logic, programming, and type systems and semigroups and automata theory.

ORCID 0000-0002-3625-6003 OpenAlex
World rank
#3,020,161
of 7,710,434 ranked researchers
Rank in Spain
#67,266
of 204,306
Works
88
Citations
792
Citations per work
9.0
h-index
18
i10-index 23Top 17% in Computational Theory and Mathematics
Pierre Ganty

What does Pierre Ganty research?

Pierre Ganty's work is mostly in Computer Science (94%).

Physical Sciences: 83 works · 94.5% of their workComputer Science: 83 works · 94.5% of their workComputational Theory and Mathematics: 37 works · 41.7% of their workArtificial Intelligence: 25 works · 28.6% of their workComputer Networks and Communications: 9 works · 9.9% of their workSoftware: 7 works · 7.5% of their workHardware and Architecture: 4 works · 4.0% of their workInformation Systems: 2 works · 2.8% of their workEverything else: 5 works · 5.5% of their workTHEIR WORKPierre Ganty88works
Physical Sciences94%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science8394.5%
  2. Everything else55.5%
  1. 1Computational Theory and Mathematics42% of their works
  2. 2Artificial Intelligence29% of their works
  3. 3Computer Networks and Communications10% of their works
  4. 4Software8% of their works
  5. 5Hardware and Architecture4% of their works
  6. 6Information Systems3% of their works

Research topics

Which keywords describe Pierre Ganty's research?

The keywords of their largest research topics: Model Checking, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Formal Languages and Regular Expressions.

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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking962 topics
  2. Automata922 topics
  3. Satisfiability Modulo Theories601 topic
  4. Symbolic Model Checker601 topic
  5. Formal Verification361 topic
  6. Static Analysis361 topic
  7. Formal Languages321 topic
  8. Regular Expressions321 topic
  9. Distributed Systems141 topic
  10. Fault Tolerance141 topic
  11. Automated Testing131 topic
  12. Software Fault Localization131 topic
  13. Active Learning121 topic
  14. Machine Learning121 topic
  15. Deadlock Prevention111 topic
  16. Petri Nets111 topic
  17. Neural Machine Translation71 topic
  18. Statistical Machine Translation71 topic

Where does Pierre Ganty work?

Pierre Ganty's main affiliation in the publication record is IMDEA Software Institute, Spain.

How many publications and citations does Pierre Ganty have?

OpenAlex counts 88 works and 792 citations for Pierre Ganty, an h-index of 18, ranking #3,020,161 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Pierre Ganty. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.