Stijn de Gouw
Stijn de Gouw publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Advanced Software Engineering Methodologies and Formal Methods in Verification.
- World rank
- #1,460,045 of 1,633,909 ranked researchers
- Rank in Netherlands
- #22,138 of 23,481
- Works
- 20
- Citations
- 19
- Citations per work
- 1.0
What does Stijn de Gouw research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence29% of their works
- 2Software23% of their works
- 3Computational Theory and Mathematics13% of their works
- 4Management Information Systems10% of their works
- 5Information Systems6% of their works
- 6Management Science and Operations Research6% of their works
Research topics
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Business Process Modeling and Analysis
- Software System Performance and Reliability
- Simulation Techniques and Applications
Which keywords describe Stijn de Gouw's research?
The keywords of their largest research topics: Model Checking, Metamodeling, Formal Verification, Static Analysis, Automated Testing, Autonomic Computing, Business Process Management and Domain-Specific Languages.
- Verification and Validation
- Performance Prediction
- Workflow Mining
- Software Fault Localization
- Satisfiability Modulo Theories
- Domain-Specific Languages
- Autonomic Computing
- Static Analysis
- Metamodeling
- Model Checking
- Formal Verification
- Automated Testing
- Business Process Management
- Model-Driven Engineering
- Self-Adaptive Systems
- Symbolic Model Checker
- Log Analysis
- Simulation Optimization
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 Checking72 topics
- Metamodeling52 topics
- Formal Verification41 topic
- Static Analysis41 topic
- Automated Testing31 topic
- Autonomic Computing31 topic
- Business Process Management31 topic
- Domain-Specific Languages31 topic
- Model-Driven Engineering31 topic
- Satisfiability Modulo Theories31 topic
- Self-Adaptive Systems31 topic
- Software Fault Localization31 topic
- Symbolic Model Checker31 topic
- Workflow Mining31 topic
- Log Analysis21 topic
- Performance Prediction21 topic
- Simulation Optimization21 topic
- Verification and Validation21 topic
Where does Stijn de Gouw work?
Stijn de Gouw's main affiliation in the publication record is Centrum Wiskunde & Informatica, Netherlands.
How many publications and citations does Stijn de Gouw have?
Science Explorer counts 20 works and 19 citations for Stijn de Gouw, ranking #1,460,045 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.