Mieke Massink
Mieke Massink publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Model-Driven Software Engineering Techniques, Formal Methods in Verification and Advanced Software Engineering Methodologies.
- World rank
- #315,264 of 1,633,909 ranked researchers
- Rank in Italy
- #10,260 of 65,712
- Works
- 49
- Citations
- 206
- Citations per work
- 4.2
What does Mieke Massink research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence21% of their works
- 2Computational Theory and Mathematics12% of their works
- 3Software11% of their works
- 4Computer Networks and Communications10% of their works
- 5Computer Vision and Pattern Recognition7% of their works
- 6Information Systems6% of their works
Research topics
Which keywords describe Mieke Massink's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Domain-Specific Languages, Model-Driven Engineering, Satisfiability Modulo Theories, Symbolic Model Checker, Autonomic Computing and Self-Adaptive Systems.
- Static Analysis
- Grid Computing
- Distributed Systems
- Petri Nets
- Modal Logic
- Self-Adaptive Systems
- Symbolic Model Checker
- Model-Driven Engineering
- Temporal Logic
- Model Checking
- Domain-Specific Languages
- Satisfiability Modulo Theories
- Autonomic Computing
- Answer Set Programming
- Deadlock Prevention
- Brain Tumor
- Formal Verification
- MRI
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 Checking133 topics
- Temporal Logic112 topics
- Domain-Specific Languages81 topic
- Model-Driven Engineering81 topic
- Satisfiability Modulo Theories71 topic
- Symbolic Model Checker71 topic
- Autonomic Computing61 topic
- Self-Adaptive Systems61 topic
- Answer Set Programming41 topic
- Modal Logic41 topic
- Deadlock Prevention31 topic
- Petri Nets31 topic
- Brain Tumor21 topic
- Distributed Systems21 topic
- Formal Verification21 topic
- Grid Computing21 topic
- MRI21 topic
- Static Analysis21 topic
Where does Mieke Massink work?
Mieke Massink's main affiliation in the publication record is Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Italy.
How many publications and citations does Mieke Massink have?
Science Explorer counts 49 works and 206 citations for Mieke Massink, ranking #315,264 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.