Klaus Becker
Klaus Becker publishes mostly in Artificial Intelligence, Hardware and Architecture and Computational Theory and Mathematics, on topics such as Real-Time Systems Scheduling, Advanced Software Engineering Methodologies and Formal Methods in Verification.
- World rank
- #2,347,395 of 7,710,434 ranked researchers
- Rank in Germany
- #115,990 of 364,343
- Works
- 27
- Citations
- 672
- Citations per work
- 24.9
What does Klaus Becker research?
Klaus Becker's work is mostly in Computer Science (74%), Engineering (4%).
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 Sciences2178.2%
- Computer Science2074.4%
- Engineering13.8%
- Everything else621.8%
- 1Artificial Intelligence31% of their works
- 2Hardware and Architecture17% of their works
- 3Computational Theory and Mathematics14% of their works
- 4Software6% of their works
- 5Computer Networks and Communications6% of their works
- 6Control and Systems Engineering4% of their works
Research topics
Which keywords describe Klaus Becker's research?
The keywords of their largest research topics: Model Checking, Embedded Systems, Hard Real-Time Systems, Scheduling Algorithms, Autonomic Computing, Self-Adaptive Systems, Satisfiability Modulo Theories and Symbolic Model Checker.
- Statistical Machine Translation
- Software Reliability Modeling
- High-Level Synthesis
- Semantic Web
- Static Analysis
- Symbolic Model Checker
- Self-Adaptive Systems
- Scheduling Algorithms
- Embedded Systems
- Model Checking
- Hard Real-Time Systems
- Autonomic Computing
- Satisfiability Modulo Theories
- Formal Verification
- Ontology
- Architecture-Based Approach
- Reconfigurable Computing
- Neural Machine Translation
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 Checking142 topics
- Embedded Systems132 topics
- Hard Real-Time Systems101 topic
- Scheduling Algorithms101 topic
- Autonomic Computing91 topic
- Self-Adaptive Systems91 topic
- Satisfiability Modulo Theories81 topic
- Symbolic Model Checker81 topic
- Formal Verification61 topic
- Static Analysis61 topic
- Ontology41 topic
- Semantic Web41 topic
- Architecture-Based Approach31 topic
- High-Level Synthesis31 topic
- Reconfigurable Computing31 topic
- Software Reliability Modeling31 topic
- Neural Machine Translation21 topic
- Statistical Machine Translation21 topic
Where does Klaus Becker work?
Klaus Becker's main affiliation in the publication record is Fortiss, Germany.
How many publications and citations does Klaus Becker have?
OpenAlex counts 27 works and 672 citations for Klaus Becker, an h-index of 11, ranking #2,347,395 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.
Other researchers named Klaus Becker
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 Klaus Becker. Posts are plain text and can be reported.