Science Explorer Back to mapMap
Discussion
Researcher · University of Amsterdam · Netherlands

Cornelis A. Middelburg

Cornelis A. Middelburg publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Hardware and Architecture, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Computability, Logic, AI Algorithms.

ORCID 0000-0002-8725-0197 OpenAlex
World rank
#7,063,257
of 7,710,434 ranked researchers
Rank in Netherlands
#104,801
of 107,149
Works
180
Citations
1.3k
Citations per work
7.0
h-index
17
i10-index 38Top 19% in Computational Theory and Mathematics
Cornelis A. Middelburg

What does Cornelis A. Middelburg research?

Cornelis A. Middelburg's work is mostly in Computer Science (86%), Business, Management and Accounting (2%).

Physical Sciences: 155 works · 86.2% of their workComputer Science: 155 works · 86.2% of their workComputational Theory and Mathematics: 66 works · 36.4% of their workArtificial Intelligence: 51 works · 28.1% of their workHardware and Architecture: 18 works · 10.2% of their workComputer Networks and Communications: 15 works · 8.5% of their workSoftware: 5 works · 3.0% of their workEverything else: 22 works · 12.2% of their workSocial Sciences: 3 works · 1.6% of their workBusiness, Management and Accounting: 3 works · 1.6% of their workManagement Information Systems: 3 works · 1.6% of their workTHEIR WORKCornelis A.Middelburg180works
Physical Sciences86%Social Sciences2%

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
    1. Computer Science15586.2%
  2. Everything else2212.2%
    1. Business, Management and Accounting31.6%
  1. 1Computational Theory and Mathematics36% of their works
  2. 2Artificial Intelligence28% of their works
  3. 3Hardware and Architecture10% of their works
  4. 4Computer Networks and Communications8% of their works
  5. 5Software3% of their works
  6. 6Management Information Systems2% of their works

Research topics

Which keywords describe Cornelis A. Middelburg's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Algorithmic Information Theory and Computability.

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
  1. Model Checking1703 topics
  2. Temporal Logic1072 topics
  3. Satisfiability Modulo Theories821 topic
  4. Symbolic Model Checker821 topic
  5. Formal Verification631 topic
  6. Static Analysis631 topic
  7. Algorithmic Information Theory371 topic
  8. Computability371 topic
  9. Answer Set Programming251 topic
  10. Modal Logic251 topic
  11. Deadlock Prevention241 topic
  12. Parallel Computing241 topic
  13. Performance Optimization241 topic
  14. Petri Nets241 topic
  15. High-Level Synthesis221 topic
  16. Reconfigurable Computing221 topic
  17. Distributed Systems211 topic
  18. Fault Tolerance211 topic

Where does Cornelis A. Middelburg work?

Cornelis A. Middelburg's main affiliation in the publication record is University of Amsterdam, Netherlands.

How many publications and citations does Cornelis A. Middelburg have?

OpenAlex counts 180 works and 1,262 citations for Cornelis A. Middelburg, an h-index of 17, ranking #7,063,257 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 Cornelis A. Middelburg. Posts are plain text and can be reported.