Dimitrios Vytiniotis
Dimitrios Vytiniotis publishes mostly in Artificial Intelligence, Hardware and Architecture and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.
- World rank
- #130,189 of 1,633,909 ranked researchers
- Rank in United Kingdom
- #12,236 of 90,785
- Works
- 22
- Citations
- 249
- Citations per work
- 11.3
What does Dimitrios Vytiniotis research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence35% of their works
- 2Hardware and Architecture15% of their works
- 3Computational Theory and Mathematics15% of their works
- 4Software10% of their works
- 5Computer Networks and Communications10% of their works
- 6Signal Processing5% of their works
Research topics
Which keywords describe Dimitrios Vytiniotis's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Answer Set Programming and Automated Testing.
- Side-Channel Attacks
- Power Control
- IEEE 802.11
- Performance Optimization
- Modal Logic
- Automated Testing
- Symbolic Model Checker
- Static Analysis
- Temporal Logic
- Model Checking
- Formal Verification
- Satisfiability Modulo Theories
- Answer Set Programming
- Channel Assignment
- Parallel Computing
- Software Fault Localization
- MAC Protocol
- Security Policies
- Wireless Networks
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
- Model Checking93 topics
- Temporal Logic52 topics
- Formal Verification41 topic
- Static Analysis41 topic
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Answer Set Programming21 topic
- Automated Testing21 topic
- Channel Assignment22 topics
- Modal Logic21 topic
- Parallel Computing21 topic
- Performance Optimization21 topic
- Software Fault Localization21 topic
- IEEE 802.1111 topic
- MAC Protocol11 topic
- Power Control11 topic
- Security Policies11 topic
- Side-Channel Attacks11 topic
- Wireless Networks11 topic
Where does Dimitrios Vytiniotis work?
Dimitrios Vytiniotis's main affiliation in the publication record is Microsoft Research (United Kingdom), United Kingdom.
How many publications and citations does Dimitrios Vytiniotis have?
Science Explorer counts 22 works and 249 citations for Dimitrios Vytiniotis, ranking #130,189 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.