Question 1

What does Andrey Rybalchenko research?

Accepted Answer

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

Question 2

Which keywords describe Andrey Rybalchenko'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, Automated Testing and Software Fault Localization.

Question 3

Where does Andrey Rybalchenko work?

Accepted Answer

Andrey Rybalchenko's main affiliation in the publication record is Technical University of Munich, Germany.

Question 4

How many publications and citations does Andrey Rybalchenko have?

Accepted Answer

OpenAlex counts 136 works and 5,344 citations for Andrey Rybalchenko, an h-index of 40, ranking #108,738 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Andrey Rybalchenko's h-index high?

Accepted Answer

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