Gregor von Bochmann
Gregor von Bochmann publishes mostly in Computer Networks and Communications, Computational Theory and Mathematics and Electrical and Electronic Engineering, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Advanced Software Engineering Methodologies.
- World rank
- #74,700 of 1,633,909 ranked researchers
- Rank in Canada
- #2,383 of 38,960
- Works
- 98
- Citations
- 433
- Citations per work
- 4.4
What does Gregor von Bochmann research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computer Networks and Communications20% of their works
- 2Computational Theory and Mathematics15% of their works
- 3Electrical and Electronic Engineering14% of their works
- 4Artificial Intelligence12% of their works
- 5Software12% of their works
- 6Information Systems10% of their works
Research topics
- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Advanced Software Engineering Methodologies
- Petri Nets in System Modeling
- Service-Oriented Architecture and Web Services
- Advanced Optical Network Technologies
- Advanced Database Systems and Queries
- Business Process Modeling and Analysis
Which keywords describe Gregor von Bochmann's research?
The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Automated Testing, Software Fault Localization, Autonomic Computing, Self-Adaptive Systems, Deadlock Prevention and Elastic Optical Networks.
- Workflow Mining
- Continuous Queries
- Semantic Web Services
- Petri Nets
- Elastic Optical Networks
- Self-Adaptive Systems
- Software Fault Localization
- Symbolic Model Checker
- Model Checking
- Automated Testing
- Autonomic Computing
- Deadlock Prevention
- Optical Networks
- QoS-Aware Middleware
- Business Process Management
- Data Stream Management
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 Checking111 topic
- Symbolic Model Checker111 topic
- Automated Testing81 topic
- Software Fault Localization81 topic
- Autonomic Computing61 topic
- Self-Adaptive Systems61 topic
- Deadlock Prevention51 topic
- Elastic Optical Networks51 topic
- Optical Networks51 topic
- Petri Nets51 topic
- QoS-Aware Middleware51 topic
- Semantic Web Services51 topic
- Business Process Management41 topic
- Continuous Queries41 topic
- Data Stream Management41 topic
- Workflow Mining41 topic
Where does Gregor von Bochmann work?
Gregor von Bochmann's main affiliation in the publication record is Université de Montréal, Canada.
How many publications and citations does Gregor von Bochmann have?
Science Explorer counts 98 works and 433 citations for Gregor von Bochmann, ranking #74,700 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.
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.