Science Explorer Back to mapMap
Discussion
Researcher · Czech Technical University in Prague · Czechia

Jiřı́ Velebil

Jiřı́ Velebil publishes mostly in Artificial Intelligence, Mathematical Physics and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Homotopy and Cohomology in Algebraic Topology and Logic, Reasoning, and Knowledge.

OpenAlex
World rank
#3,924,144
of 7,710,434 ranked researchers
Rank in Czechia
#11,520
of 39,303
Works
60
Citations
685
Citations per work
11.4
h-index
13
i10-index 21Top 28% in Artificial Intelligence
Jiřı́ Velebil

What does Jiřı́ Velebil research?

Jiřı́ Velebil's work is mostly in Computer Science (59%), Mathematics (39%), Medicine (1%).

Physical Sciences: 59 works · 97.8% of their workComputer Science: 35 works · 58.9% of their workArtificial Intelligence: 26 works · 43.9% of their workComputational Theory and Mathematics: 9 works · 15.0% of their workMathematics: 23 works · 38.9% of their workMathematical Physics: 12 works · 20.0% of their workGeometry and Topology: 6 works · 10.6% of their workAlgebra and Number Theory: 5 works · 8.3% of their workEverything else: 1 works · 1.1% of their workHealth Sciences: 1 works · 1.1% of their workMedicine: 1 works · 1.1% of their workNeurology: 1 works · 1.1% of their workTHEIR WORKJiřı́ Velebil60works
Physical Sciences98%Health Sciences1%

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 Science3558.9%
    2. Mathematics2338.9%
  2. Everything else11.1%
    1. Medicine11.1%
  1. 1Artificial Intelligence44% of their works
  2. 2Mathematical Physics20% of their works
  3. 3Computational Theory and Mathematics15% of their works
  4. 4Geometry and Topology11% of their works
  5. 5Algebra and Number Theory8% of their works
  6. 6Neurology1% of their works

Research topics

Which keywords describe Jiřı́ Velebil's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Deformation Quantization, Poisson Manifolds, Answer Set Programming and Modal Logic.

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 Checking843 topics
  2. Formal Verification461 topic
  3. Static Analysis461 topic
  4. Temporal Logic382 topics
  5. Deformation Quantization361 topic
  6. Poisson Manifolds361 topic
  7. Answer Set Programming321 topic
  8. Modal Logic321 topic
  9. Fuzzy Logic151 topic
  10. Residuated Lattices151 topic
  11. Cluster Algebras141 topic
  12. Triangulated Categories141 topic
  13. Deformations121 topic
  14. Hom-Lie Algebras121 topic
  15. Satisfiability Modulo Theories61 topic
  16. Symbolic Model Checker61 topic
  17. Model Theory41 topic
  18. Topological Dynamics41 topic

Where does Jiřı́ Velebil work?

Jiřı́ Velebil's main affiliation in the publication record is Czech Technical University in Prague, Czechia.

How many publications and citations does Jiřı́ Velebil have?

OpenAlex counts 60 works and 685 citations for Jiřı́ Velebil, an h-index of 13, ranking #3,924,144 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 Jiřı́ Velebil. Posts are plain text and can be reported.