Question 1

What does Herbert Wiklicky research?

Accepted Answer

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.

Question 2

Which keywords describe Herbert Wiklicky's research?

Accepted Answer

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.

Question 3

Where does Herbert Wiklicky work?

Accepted Answer

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

Question 4

How many publications and citations does Herbert Wiklicky have?

Accepted Answer

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.

Question 5

Is Herbert Wiklicky's h-index high?

Accepted Answer

An h-index of 15 is at or above that of 80% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 22%.