Science Explorer Interactive view Map
Researcher · Uppsala University · Sweden

Konstantinos Sagonas

Konstantinos Sagonas publishes mostly in Artificial Intelligence, Software and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Software Testing and Debugging Techniques and Parallel Computing and Optimization Techniques.

ORCID 0000-0001-9657-0179 OpenAlex
World rank
#158,273
of 1,633,909 ranked researchers
Rank in Sweden
#2,068
of 16,333
Works
70
Citations
326
Citations per work
4.7

What does Konstantinos Sagonas research?

Artificial Intelligence: 38.4%Software: 15.1%Computer Networks and Communications: 14.0%Hardware and Architecture: 11.6%other fields: 20.9%38%top field
Artificial Intelligence38.4%Software15.1%Computer Networks and Communications14.0%Hardware and Architecture11.6%other fields20.9%

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

  1. 1Artificial Intelligence38% of their works
  2. 2Software15% of their works
  3. 3Computer Networks and Communications14% of their works
  4. 4Hardware and Architecture12% of their works
  5. 5Computational Theory and Mathematics9% of their works
  6. 6Information Systems5% of their works

Research topics

Which keywords describe Konstantinos Sagonas's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Automated Testing, Software Fault Localization, Parallel Computing and Performance Optimization.

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 Checking303 topics
  2. Formal Verification171 topic
  3. Static Analysis171 topic
  4. Temporal Logic132 topics
  5. Automated Testing101 topic
  6. Software Fault Localization101 topic
  7. Parallel Computing91 topic
  8. Performance Optimization91 topic
  9. Answer Set Programming71 topic
  10. Distributed Systems71 topic
  11. Fault Tolerance71 topic
  12. Modal Logic71 topic
  13. Satisfiability Modulo Theories61 topic
  14. Symbolic Model Checker61 topic
  15. Neural Machine Translation21 topic
  16. Security Policies21 topic
  17. Side-Channel Attacks21 topic
  18. Statistical Machine Translation21 topic

Where does Konstantinos Sagonas work?

Konstantinos Sagonas's main affiliation in the publication record is Uppsala University, Sweden.

How many publications and citations does Konstantinos Sagonas have?

Science Explorer counts 70 works and 326 citations for Konstantinos Sagonas, ranking #158,273 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.