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

Niki Vazou

Niki Vazou publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Information Systems, on topics such as Logic, programming, and type systems, Security and Verification in Computing and Formal Methods in Verification.

ORCID 0000-0003-0732-5476 OpenAlex
World rank
#1,362,654
of 7,710,434 ranked researchers
Rank in Spain
#27,986
of 204,306
Works
65
Citations
820
Citations per work
12.6
h-index
14
i10-index 16Top 25% in Artificial Intelligence
Niki Vazou

What does Niki Vazou research?

Niki Vazou's work is mostly in Computer Science (95%).

Physical Sciences: 62 works · 94.8% of their workComputer Science: 62 works · 94.8% of their workArtificial Intelligence: 36 works · 56.1% of their workComputational Theory and Mathematics: 9 works · 14.5% of their workInformation Systems: 6 works · 9.2% of their workComputer Networks and Communications: 4 works · 6.4% of their workSoftware: 3 works · 4.6% of their workHardware and Architecture: 3 works · 4.0% of their workEverything else: 3 works · 5.2% of their workTHEIR WORKNiki Vazou65works
Physical Sciences95%

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 Science6294.8%
  2. Everything else35.2%
  1. 1Artificial Intelligence56% of their works
  2. 2Computational Theory and Mathematics14% of their works
  3. 3Information Systems9% of their works
  4. 4Computer Networks and Communications6% of their works
  5. 5Software5% of their works
  6. 6Hardware and Architecture4% of their works

Research topics

Which keywords describe Niki Vazou's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Security Policies, Side-Channel Attacks, Satisfiability Modulo Theories and Symbolic Model Checker.

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 Checking803 topics
  2. Formal Verification461 topic
  3. Static Analysis461 topic
  4. Temporal Logic342 topics
  5. Security Policies291 topic
  6. Side-Channel Attacks291 topic
  7. Satisfiability Modulo Theories231 topic
  8. Symbolic Model Checker231 topic
  9. Answer Set Programming111 topic
  10. Modal Logic111 topic
  11. Code Clone Detection91 topic
  12. Distributed Systems91 topic
  13. Fault Tolerance91 topic
  14. Refactoring91 topic
  15. Automated Testing51 topic
  16. Parallel Computing51 topic
  17. Performance Optimization51 topic
  18. Software Fault Localization51 topic

Where does Niki Vazou work?

Niki Vazou's main affiliation in the publication record is IMDEA Software Institute, Spain.

How many publications and citations does Niki Vazou have?

OpenAlex counts 65 works and 820 citations for Niki Vazou, an h-index of 14, ranking #1,362,654 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 Niki Vazou. 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.