Question 1

What does Lambert Meertens research?

Accepted Answer

Lambert Meertens 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 Lambert Meertens's research?

Accepted Answer

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

Question 3

Where does Lambert Meertens work?

Accepted Answer

Lambert Meertens's main affiliation in the publication record is Kestrel Institute, United States.

Question 4

How many publications and citations does Lambert Meertens have?

Accepted Answer

OpenAlex counts 115 works and 1,541 citations for Lambert Meertens, an h-index of 19, ranking #998,217 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Lambert Meertens's h-index high?

Accepted Answer

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