Question 1

What does Johan Lewi research?

Accepted Answer

Johan Lewi publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Model-Driven Software Engineering Techniques.

Question 2

Which keywords describe Johan Lewi's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Domain-Specific Languages, Model-Driven Engineering and Autonomic Computing.

Question 3

Where does Johan Lewi work?

Accepted Answer

Johan Lewi's main affiliation in the publication record is KU Leuven, Belgium.

Question 4

How many publications and citations does Johan Lewi have?

Accepted Answer

OpenAlex counts 83 works and 394 citations for Johan Lewi, an h-index of 11, ranking #5,921,571 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Johan Lewi's h-index high?

Accepted Answer

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