Science Explorer Back to mapMap
Discussion
Researcher · Imperial College London · United Kingdom

Herbert Wiklicky

Herbert Wiklicky publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.

OpenAlex
World rank
#3,345,463
of 7,710,434 ranked researchers
Rank in United Kingdom
#223,077
of 367,258
Works
108
Citations
866
Citations per work
8.0
h-index
15
i10-index 21Top 22% in Artificial Intelligence
Herbert Wiklicky

What does Herbert Wiklicky research?

Herbert Wiklicky's work is mostly in Computer Science (90%).

Physical Sciences: 97 works · 89.7% of their workComputer Science: 97 works · 89.7% of their workArtificial Intelligence: 50 works · 45.9% of their workComputational Theory and Mathematics: 23 works · 21.1% of their workComputer Networks and Communications: 12 works · 11.0% of their workSoftware: 7 works · 6.1% of their workHardware and Architecture: 3 works · 2.8% of their workInformation Systems: 3 works · 2.8% of their workEverything else: 11 works · 10.3% of their workTHEIR WORKHerbert Wiklicky108works
Physical Sciences90%

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 Science9789.7%
  2. Everything else1110.3%
  1. 1Artificial Intelligence46% of their works
  2. 2Computational Theory and Mathematics21% of their works
  3. 3Computer Networks and Communications11% of their works
  4. 4Software6% of their works
  5. 5Hardware and Architecture3% of their works
  6. 6Information Systems3% of their works

Research topics

Which keywords describe Herbert Wiklicky's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, 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 Checking783 topics
  2. Temporal Logic502 topics
  3. Satisfiability Modulo Theories331 topic
  4. Symbolic Model Checker331 topic
  5. Formal Verification281 topic
  6. Static Analysis281 topic
  7. Answer Set Programming171 topic
  8. Modal Logic171 topic
  9. Constraint Optimization111 topic
  10. Distributed Algorithms111 topic
  11. Domain-Specific Languages101 topic
  12. Model-Driven Engineering101 topic
  13. Neural Networks101 topic
  14. Security Policies101 topic
  15. Self-Organizing Maps101 topic
  16. Side-Channel Attacks101 topic
  17. Algorithmic Information Theory81 topic
  18. Computability81 topic

Where does Herbert Wiklicky work?

Herbert Wiklicky's main affiliation in the publication record is Imperial College London, United Kingdom.

How many publications and citations does Herbert Wiklicky have?

OpenAlex counts 108 works and 866 citations for Herbert Wiklicky, an h-index of 15, ranking #3,345,463 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 Herbert Wiklicky. Posts are plain text and can be reported.