Bernd Kolb
Bernd Kolb publishes mostly in Software, Artificial Intelligence and Hardware and Architecture, on topics such as Advanced Software Engineering Methodologies, Model-Driven Software Engineering Techniques and Formal Methods in Verification.
- World rank
- #2,001,421 of 7,710,434 ranked researchers
- Rank in Germany
- #98,817 of 364,343
- Works
- 23
- Citations
- 467
- Citations per work
- 20.3
What does Bernd Kolb research?
Bernd Kolb'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 Sciences2297.1%
- Computer Science2297.1%
- Everything else12.9%
- 1Software27% of their works
- 2Artificial Intelligence27% of their works
- 3Hardware and Architecture21% of their works
- 4Computational Theory and Mathematics10% of their works
- 5Information Systems9% of their works
- 6Signal Processing3% of their works
Research topics
- Advanced Software Engineering Methodologies
- Model-Driven Software Engineering Techniques
- Formal Methods in Verification
- Real-Time Systems Scheduling
- Embedded Systems Design Techniques
- Software Testing and Debugging Techniques
- Logic, programming, and type systems
- Parallel Computing and Optimization Techniques
Which keywords describe Bernd Kolb's research?
The keywords of their largest research topics: Autonomic Computing, Self-Adaptive Systems, Domain-Specific Languages, Model-Driven Engineering, Embedded Systems, Model Checking, Satisfiability Modulo Theories and Symbolic Model Checker.
- Performance Optimization
- Static Analysis
- Software Fault Localization
- High-Level Synthesis
- Scheduling Algorithms
- Symbolic Model Checker
- Model Checking
- Model-Driven Engineering
- Self-Adaptive Systems
- Autonomic Computing
- Domain-Specific Languages
- Embedded Systems
- Satisfiability Modulo Theories
- Hard Real-Time Systems
- Automated Testing
- Reconfigurable Computing
- Formal Verification
- Parallel Computing
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
- Autonomic Computing131 topic
- Self-Adaptive Systems131 topic
- Domain-Specific Languages121 topic
- Model-Driven Engineering121 topic
- Embedded Systems112 topics
- Model Checking112 topics
- Satisfiability Modulo Theories71 topic
- Symbolic Model Checker71 topic
- Hard Real-Time Systems61 topic
- Scheduling Algorithms61 topic
- Automated Testing51 topic
- High-Level Synthesis51 topic
- Reconfigurable Computing51 topic
- Software Fault Localization51 topic
- Formal Verification41 topic
- Static Analysis41 topic
- Parallel Computing31 topic
- Performance Optimization31 topic
Where does Bernd Kolb work?
Bernd Kolb's main affiliation in the publication record is Fortiss, Germany.
How many publications and citations does Bernd Kolb have?
OpenAlex counts 23 works and 467 citations for Bernd Kolb, an h-index of 11, ranking #2,001,421 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 Bernd Kolb. Posts are plain text and can be reported.