Mihalis Yannakakis
Mihalis Yannakakis publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications, on topics such as Formal Methods in Verification, Advanced Graph Theory Research and Machine Learning and Algorithms.
- World rank
- #6,077 of 1,633,909 ranked researchers
- Rank in United States
- #2,919 of 358,040
- Works
- 69
- Citations
- 1.3k
- Citations per work
- 19.3
What does Mihalis Yannakakis research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics31% of their works
- 2Artificial Intelligence16% of their works
- 3Computer Networks and Communications11% of their works
- 4Software10% of their works
- 5Computer Graphics and Computer-Aided Design5% of their works
- 6Management Science and Operations Research5% of their works
Research topics
Which keywords describe Mihalis Yannakakis's research?
The keywords of their largest research topics: Model Checking, Approximation Algorithms, Satisfiability Modulo Theories, Symbolic Model Checker, Graph Theory, Parameterized Complexity, Active Learning and Automated Testing.
- Static Analysis
- Computability
- Software Fault Localization
- Mobile Robots
- Machine Learning
- Automated Testing
- Parameterized Complexity
- Symbolic Model Checker
- Approximation Algorithms
- Model Checking
- Satisfiability Modulo Theories
- Graph Theory
- Active Learning
- Delaunay Triangulations
- Mesh Generation
- Online Algorithms
- Algorithmic Information Theory
- Formal Verification
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
- Model Checking152 topics
- Approximation Algorithms122 topics
- Satisfiability Modulo Theories121 topic
- Symbolic Model Checker121 topic
- Graph Theory71 topic
- Parameterized Complexity71 topic
- Active Learning51 topic
- Automated Testing51 topic
- Delaunay Triangulations51 topic
- Machine Learning51 topic
- Mesh Generation51 topic
- Mobile Robots51 topic
- Online Algorithms51 topic
- Software Fault Localization51 topic
- Algorithmic Information Theory31 topic
- Computability31 topic
- Formal Verification31 topic
- Static Analysis31 topic
Where does Mihalis Yannakakis work?
Mihalis Yannakakis's main affiliation in the publication record is Columbia University, United States.
How many publications and citations does Mihalis Yannakakis have?
Science Explorer counts 69 works and 1,335 citations for Mihalis Yannakakis, ranking #6,077 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.