Gregor Snelting
Gregor Snelting publishes mostly in Artificial Intelligence, Information Systems and Software, on topics such as Logic, programming, and type systems, Software Engineering Research and Security and Verification in Computing.
- World rank
- #582,059 of 7,710,434 ranked researchers
- Rank in Germany
- #28,636 of 364,343
- Works
- 103
- Citations
- 2.7k
- Citations per work
- 26.5
What does Gregor Snelting research?
Gregor Snelting's work is mostly in Computer Science (79%).
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 Sciences8279.2%
- Computer Science8279.2%
- Everything else2120.8%
- 1Artificial Intelligence29% of their works
- 2Information Systems15% of their works
- 3Software10% of their works
- 4Computer Networks and Communications10% of their works
- 5Computational Theory and Mathematics8% of their works
- 6Hardware and Architecture7% of their works
Research topics
- Logic, programming, and type systems
- Software Engineering Research
- Security and Verification in Computing
- Advanced Software Engineering Methodologies
- Advanced Malware Detection Techniques
- Software Testing and Debugging Techniques
- Parallel Computing and Optimization Techniques
- Formal Methods in Verification
Which keywords describe Gregor Snelting's research?
The keywords of their largest research topics: Machine Learning, Model Checking, Formal Verification, Static Analysis, Code Clone Detection, Refactoring, Security Policies and Side-Channel Attacks.
- Symbolic Model Checker
- Performance Optimization
- Software Fault Localization
- Detection
- Self-Adaptive Systems
- Side-Channel Attacks
- Refactoring
- Static Analysis
- Model Checking
- Machine Learning
- Formal Verification
- Code Clone Detection
- Security Policies
- Autonomic Computing
- Android Malware
- Automated Testing
- Parallel Computing
- Satisfiability Modulo Theories
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
- Machine Learning432 topics
- Model Checking422 topics
- Formal Verification281 topic
- Static Analysis281 topic
- Code Clone Detection261 topic
- Refactoring261 topic
- Security Policies231 topic
- Side-Channel Attacks231 topic
- Autonomic Computing211 topic
- Self-Adaptive Systems211 topic
- Android Malware171 topic
- Detection171 topic
- Automated Testing161 topic
- Software Fault Localization161 topic
- Parallel Computing151 topic
- Performance Optimization151 topic
- Satisfiability Modulo Theories141 topic
- Symbolic Model Checker141 topic
Where does Gregor Snelting work?
Gregor Snelting's main affiliation in the publication record is Karlsruhe Institute of Technology, Germany.
How many publications and citations does Gregor Snelting have?
OpenAlex counts 103 works and 2,733 citations for Gregor Snelting, an h-index of 28, ranking #582,059 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 Gregor Snelting. Posts are plain text and can be reported.