Tillmann Rendel
Tillmann Rendel publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Software Engineering Research and Model-Driven Software Engineering Techniques.
- World rank
- #1,125,524 of 7,710,434 ranked researchers
- Rank in Germany
- #55,425 of 364,343
- Works
- 33
- Citations
- 1.1k
- Citations per work
- 33.9
What does Tillmann Rendel research?
Tillmann Rendel's work is mostly in Computer Science (97%).
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 Sciences3297.0%
- Computer Science3297.0%
- Everything else13.0%
- 1Artificial Intelligence42% of their works
- 2Software17% of their works
- 3Computational Theory and Mathematics15% of their works
- 4Information Systems14% of their works
- 5Hardware and Architecture6% of their works
- 6Computer Networks and Communications2% of their works
Research topics
Which keywords describe Tillmann Rendel's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Automata, Code Clone Detection, Domain-Specific Languages, Model-Driven Engineering and Refactoring.
- Regular Expressions
- Software Fault Localization
- Performance Optimization
- Symbolic Model Checker
- Self-Adaptive Systems
- Refactoring
- Domain-Specific Languages
- Automata
- Formal Verification
- Model Checking
- Static Analysis
- Code Clone Detection
- Model-Driven Engineering
- Autonomic Computing
- Satisfiability Modulo Theories
- Parallel Computing
- Automated Testing
- Formal Languages
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 Checking322 topics
- Formal Verification251 topic
- Static Analysis251 topic
- Automata112 topics
- Code Clone Detection111 topic
- Domain-Specific Languages111 topic
- Model-Driven Engineering111 topic
- Refactoring111 topic
- Autonomic Computing101 topic
- Self-Adaptive Systems101 topic
- Satisfiability Modulo Theories71 topic
- Symbolic Model Checker71 topic
- Parallel Computing61 topic
- Performance Optimization61 topic
- Automated Testing51 topic
- Software Fault Localization51 topic
- Formal Languages41 topic
- Regular Expressions41 topic
Where does Tillmann Rendel work?
Tillmann Rendel's main affiliation in the publication record is Philipps University of Marburg, Germany.
How many publications and citations does Tillmann Rendel have?
OpenAlex counts 33 works and 1,120 citations for Tillmann Rendel, an h-index of 16, ranking #1,125,524 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 Tillmann Rendel. Posts are plain text and can be reported.