Yannis Smaragdakis
Yannis Smaragdakis publishes mostly in Artificial Intelligence, Computer Networks and Communications and Information Systems, on topics such as Logic, programming, and type systems, Software Engineering Research and Parallel Computing and Optimization Techniques.
- World rank
- #138,598 of 7,710,434 ranked researchers
- Rank in Greece
- #342 of 33,280
- Works
- 222
- Citations
- 8k
- Citations per work
- 36.0
What does Yannis Smaragdakis research?
Yannis Smaragdakis's work is mostly in Computer Science (89%).
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
- Physical Sciences19889.4%
- Computer Science19889.4%
- Everything else2410.6%
- 1Artificial Intelligence30% of their works
- 2Computer Networks and Communications15% of their works
- 3Information Systems15% of their works
- 4Software12% of their works
- 5Hardware and Architecture12% of their works
- 6Computational Theory and Mathematics6% of their works
Research topics
- Logic, programming, and type systems
- Software Engineering Research
- Parallel Computing and Optimization Techniques
- Advanced Software Engineering Methodologies
- Software Testing and Debugging Techniques
- Formal Methods in Verification
- Security and Verification in Computing
- Distributed systems and fault tolerance
Which keywords describe Yannis Smaragdakis's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Code Clone Detection, Refactoring, Parallel Computing, Performance Optimization and Autonomic Computing.
- Distributed Systems
- Security Policies
- Satisfiability Modulo Theories
- Automated Testing
- Autonomic Computing
- Parallel Computing
- Code Clone Detection
- Formal Verification
- Model Checking
- Static Analysis
- Refactoring
- Performance Optimization
- Self-Adaptive Systems
- Software Fault Localization
- Symbolic Model Checker
- Side-Channel Attacks
- Fault Tolerance
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 17 words, with their numbers
- Model Checking1142 topics
- Formal Verification811 topic
- Static Analysis811 topic
- Code Clone Detection631 topic
- Refactoring631 topic
- Parallel Computing541 topic
- Performance Optimization541 topic
- Autonomic Computing511 topic
- Self-Adaptive Systems511 topic
- Automated Testing451 topic
- Software Fault Localization451 topic
- Satisfiability Modulo Theories331 topic
- Symbolic Model Checker331 topic
- Security Policies291 topic
- Side-Channel Attacks291 topic
- Distributed Systems281 topic
- Fault Tolerance281 topic
Where does Yannis Smaragdakis work?
Yannis Smaragdakis's main affiliation in the publication record is National and Kapodistrian University of Athens, Greece.
How many publications and citations does Yannis Smaragdakis have?
OpenAlex counts 222 works and 7,996 citations for Yannis Smaragdakis, an h-index of 46, ranking #138,598 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 Yannis Smaragdakis. Posts are plain text and can be reported.