Question 1

What does Witold Charatonik research?

Accepted Answer

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

Question 2

Which keywords describe Witold Charatonik's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Temporal Logic, Automata, Formal Verification, Satisfiability Modulo Theories, Static Analysis, Symbolic Model Checker and Answer Set Programming.

Question 3

Where does Witold Charatonik work?

Accepted Answer

Witold Charatonik's main affiliation in the publication record is University of Wrocław, Poland.

Question 4

How many publications and citations does Witold Charatonik have?

Accepted Answer

OpenAlex counts 70 works and 708 citations for Witold Charatonik, an h-index of 16, ranking #3,376,496 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Witold Charatonik's h-index high?

Accepted Answer

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