Science Explorer Back to mapMap
Discussion
Researcher · Centre National de la Recherche Scientifique · France

Ocan Sankur

Ocan Sankur publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Logic, programming, and type systems.

ORCID 0000-0001-8146-4429 OpenAlex
World rank
#4,216,046
of 7,710,434 ranked researchers
Rank in France
#177,408
of 324,115
Works
105
Citations
603
Citations per work
5.7
h-index
14
i10-index 22Top 27% in Computational Theory and Mathematics
Ocan Sankur

What does Ocan Sankur research?

Ocan Sankur's work is mostly in Computer Science (80%), Decision Sciences (7%).

Physical Sciences: 83 works · 79.5% of their workComputer Science: 83 works · 79.5% of their workComputational Theory and Mathematics: 30 works · 28.7% of their workArtificial Intelligence: 24 works · 22.5% of their workSoftware: 14 works · 13.8% of their workComputer Networks and Communications: 11 works · 10.7% of their workComputer Vision and Pattern Recognition: 4 works · 3.8% of their workEverything else: 15 works · 13.9% of their workSocial Sciences: 7 works · 6.6% of their workDecision Sciences: 7 works · 6.6% of their workManagement Science and Operations Research: 7 works · 6.6% of their workTHEIR WORKOcan Sankur105works
Physical Sciences80%Social Sciences7%

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 Science8379.5%
  2. Everything else1513.9%
    1. Decision Sciences76.6%
  1. 1Computational Theory and Mathematics29% of their works
  2. 2Artificial Intelligence22% of their works
  3. 3Software14% of their works
  4. 4Computer Networks and Communications11% of their works
  5. 5Management Science and Operations Research7% of their works
  6. 6Computer Vision and Pattern Recognition4% of their works

Research topics

Which keywords describe Ocan Sankur's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Software Fault Localization, Formal Verification, Static Analysis and Deadlock Prevention.

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
  1. Model Checking772 topics
  2. Satisfiability Modulo Theories581 topic
  3. Symbolic Model Checker581 topic
  4. Automated Testing201 topic
  5. Software Fault Localization201 topic
  6. Formal Verification191 topic
  7. Static Analysis191 topic
  8. Deadlock Prevention171 topic
  9. Petri Nets171 topic
  10. Domain-Specific Languages151 topic
  11. Model-Driven Engineering151 topic
  12. Game Theory141 topic
  13. Network Formation141 topic
  14. Mobile Robots131 topic
  15. Online Algorithms131 topic
  16. Optimal Motion Planning111 topic
  17. Sampling-Based Algorithms111 topic

Where does Ocan Sankur work?

Ocan Sankur's main affiliation in the publication record is Centre National de la Recherche Scientifique, France.

How many publications and citations does Ocan Sankur have?

OpenAlex counts 105 works and 603 citations for Ocan Sankur, an h-index of 14, ranking #4,216,046 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 Ocan Sankur. Posts are plain text and can be reported.