Thomas Noll
Thomas Noll publishes mostly in Artificial Intelligence, Electrical and Electronic Engineering and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Embedded Systems Design Techniques.
- World rank
- #294,612 of 1,633,909 ranked researchers
- Rank in Germany
- #17,675 of 86,443
- Works
- 67
- Citations
- 224
- Citations per work
- 3.3
What does Thomas Noll research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence16% of their works
- 2Electrical and Electronic Engineering16% of their works
- 3Computational Theory and Mathematics16% of their works
- 4Signal Processing8% of their works
- 5Hardware and Architecture8% of their works
- 6Computer Networks and Communications8% of their works
Research topics
Which keywords describe Thomas Noll's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, High-Level Synthesis, Reconfigurable Computing and Interconnection Networks.
- Model-Driven Engineering
- Floating-Point Arithmetic
- FFT
- Autonomic Computing
- Interconnection Networks
- High-Level Synthesis
- Formal Verification
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Static Analysis
- Reconfigurable Computing
- Networks on Chip
- Domain-Specific Languages
- Filter Banks
- Interval Analysis
- Self-Adaptive Systems
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 Checking182 topics
- Satisfiability Modulo Theories101 topic
- Symbolic Model Checker101 topic
- Formal Verification81 topic
- Static Analysis81 topic
- High-Level Synthesis51 topic
- Reconfigurable Computing51 topic
- Interconnection Networks41 topic
- Networks on Chip41 topic
- Autonomic Computing31 topic
- Domain-Specific Languages31 topic
- FFT31 topic
- Filter Banks31 topic
- Floating-Point Arithmetic31 topic
- Interval Analysis31 topic
- Model-Driven Engineering31 topic
- Self-Adaptive Systems31 topic
Where does Thomas Noll work?
Thomas Noll's main affiliation in the publication record is RWTH Aachen University, Germany.
How many publications and citations does Thomas Noll have?
Science Explorer counts 67 works and 224 citations for Thomas Noll, ranking #294,612 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.
Other researchers named Thomas Noll
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.