Science Explorer Back to mapMap
Discussion
Researcher · Universitat Politècnica de Catalunya · Spain

Guillem Godoy

Guillem Godoy publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, semigroups and automata theory and Formal Methods in Verification.

OpenAlex
World rank
#7,350,642
of 7,710,434 ranked researchers
Rank in Spain
#189,943
of 204,306
Works
53
Citations
425
Citations per work
8.0
h-index
12
i10-index 21Top 32% in Artificial Intelligence
Guillem Godoy

What does Guillem Godoy research?

Guillem Godoy's work is mostly in Computer Science (96%), Engineering (1%).

Physical Sciences: 51 works · 96.7% of their workComputer Science: 51 works · 96.1% of their workArtificial Intelligence: 26 works · 49.7% of their workComputational Theory and Mathematics: 22 works · 41.9% of their workSoftware: 1 works · 1.9% of their workComputer Networks and Communications: 1 works · 1.3% of their workHardware and Architecture: 1 works · 1.3% of their workEngineering: 0 works · 0.6% of their workMedia Technology: 0 works · 0.6% of their workEverything else: 2 works · 3.3% of their workTHEIR WORKGuillem Godoy53works
Physical Sciences97%

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 Science5196.1%
    2. Engineering00.6%
  2. Everything else23.3%
  1. 1Artificial Intelligence50% of their works
  2. 2Computational Theory and Mathematics42% of their works
  3. 3Software2% of their works
  4. 4Computer Networks and Communications1% of their works
  5. 5Hardware and Architecture1% of their works
  6. 6Media Technology1% of their works

Research topics

Which keywords describe Guillem Godoy's research?

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

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 19 words, with their numbers
  1. Model Checking773 topics
  2. Automata652 topics
  3. Temporal Logic412 topics
  4. Formal Verification361 topic
  5. Static Analysis361 topic
  6. Formal Languages331 topic
  7. Regular Expressions331 topic
  8. Satisfiability Modulo Theories321 topic
  9. Symbolic Model Checker321 topic
  10. Neural Machine Translation141 topic
  11. Statistical Machine Translation141 topic
  12. Compression101 topic
  13. Suffix Arrays101 topic
  14. Answer Set Programming91 topic
  15. Modal Logic91 topic
  16. Automated Testing31 topic
  17. Security Policies31 topic
  18. Side-Channel Attacks31 topic
  19. Software Fault Localization31 topic

Where does Guillem Godoy work?

Guillem Godoy's main affiliation in the publication record is Universitat Politècnica de Catalunya, Spain.

How many publications and citations does Guillem Godoy have?

OpenAlex counts 53 works and 425 citations for Guillem Godoy, an h-index of 12, ranking #7,350,642 of 7,710,434 researchers worldwide on the quality 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 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 Guillem Godoy. Posts are plain text and can be reported.