Alexander Weigl
Alexander Weigl publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Software Reliability and Analysis Research and Software Testing and Debugging Techniques.
- World rank
- #7,285,439 of 7,710,434 ranked researchers
- Rank in Germany
- #351,803 of 364,343
- Works
- 76
- Citations
- 289
- Citations per work
- 3.8
What does Alexander Weigl research?
Alexander Weigl's work is mostly in Computer Science (41%), Engineering (21%).
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 Sciences4862.6%
- Computer Science3141.2%
- Engineering1621.4%
- Everything else2837.4%
- 1Artificial Intelligence15% of their works
- 2Software14% of their works
- 3Computational Theory and Mathematics12% of their works
- 4Electrical and Electronic Engineering10% of their works
- 5Mechanical Engineering6% of their works
- 6Industrial and Manufacturing Engineering6% of their works
Research topics
- Formal Methods in Verification
- Software Reliability and Analysis Research
- Software Testing and Debugging Techniques
- Security and Verification in Computing
- Flexible and Reconfigurable Manufacturing Systems
- Semiconductor Lasers and Optical Devices
- Advanced Malware Detection Techniques
- Advanced Software Engineering Methodologies
Which keywords describe Alexander Weigl's research?
The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling, Automated Testing, Software Fault Localization, Flexible Automation and Reconfigurable Manufacturing Systems.
- Self-Adaptive Systems
- Detection
- Semiconductor Lasers
- Side-Channel Attacks
- Reconfigurable Manufacturing Systems
- Software Fault Localization
- Software Reliability Modeling
- Symbolic Model Checker
- Model Checking
- Architecture-Based Approach
- Automated Testing
- Flexible Automation
- Security Policies
- Optical Interconnects
- Android Malware
- Autonomic 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 16 words, with their numbers
- Model Checking251 topic
- Symbolic Model Checker251 topic
- Architecture-Based Approach151 topic
- Software Reliability Modeling151 topic
- Automated Testing141 topic
- Software Fault Localization141 topic
- Flexible Automation111 topic
- Reconfigurable Manufacturing Systems111 topic
- Security Policies111 topic
- Side-Channel Attacks111 topic
- Optical Interconnects101 topic
- Semiconductor Lasers101 topic
- Android Malware91 topic
- Detection91 topic
- Autonomic Computing81 topic
- Self-Adaptive Systems81 topic
Where does Alexander Weigl work?
Alexander Weigl's main affiliation in the publication record is Karlsruhe Institute of Technology, Germany.
How many publications and citations does Alexander Weigl have?
OpenAlex counts 76 works and 289 citations for Alexander Weigl, an h-index of 10, ranking #7,285,439 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 Alexander Weigl. Posts are plain text and can be reported.