E. Dijkstra
E. Dijkstra publishes mostly in Computational Theory and Mathematics, Materials Chemistry and Artificial Intelligence, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Electron Spin Resonance Studies.
- World rank
- #131,499 of 1,633,909 ranked researchers
- Rank in Switzerland
- #2,950 of 19,404
- Works
- 20
- Citations
- 523
- Citations per work
- 26.2
What does E. Dijkstra research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics16% of their works
- 2Materials Chemistry6% of their works
- 3Artificial Intelligence6% of their works
- 4Education6% of their works
- 5General Health Professions6% of their works
- 6Electrical and Electronic Engineering6% of their works
Research topics
Which keywords describe E. Dijkstra's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Satisfiability Modulo Theories, Static Analysis, Symbolic Model Checker, Absolute Configuration, Catalysis and Chiroptical Spectroscopy.
- Parameterized Complexity
- Hirshfeld Surface Analysis
- Electron Spin Resonance
- Deadlock Prevention
- Chiroptical Spectroscopy
- Absolute Configuration
- Static Analysis
- Formal Verification
- Model Checking
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Catalysis
- Crystal Structure Refinement
- Distance Measurements
- Graph Theory
- Organic Synthesis
- Petri Nets
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 17 words, with their numbers
- Model Checking42 topics
- Formal Verification21 topic
- Satisfiability Modulo Theories21 topic
- Static Analysis21 topic
- Symbolic Model Checker21 topic
- Absolute Configuration11 topic
- Catalysis11 topic
- Chiroptical Spectroscopy11 topic
- Crystal Structure Refinement11 topic
- Deadlock Prevention11 topic
- Distance Measurements11 topic
- Electron Spin Resonance11 topic
- Graph Theory11 topic
- Hirshfeld Surface Analysis11 topic
- Organic Synthesis11 topic
- Parameterized Complexity11 topic
- Petri Nets11 topic
Where does E. Dijkstra work?
E. Dijkstra's main affiliation in the publication record is Swiss Center for Electronics and Microtechnology (Switzerland), Switzerland.
How many publications and citations does E. Dijkstra have?
Science Explorer counts 20 works and 523 citations for E. Dijkstra, ranking #131,499 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.