Question 1

What does Benjamin Lion research?

Accepted Answer

Benjamin Lion publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Hardware and Architecture, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Petri Nets in System Modeling.

Question 2

Which keywords describe Benjamin Lion's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Deadlock Prevention, Formal Verification, Petri Nets and Static Analysis.

Question 3

Where does Benjamin Lion work?

Accepted Answer

Benjamin Lion's main affiliation in the publication record is Centrum Wiskunde & Informatica, Netherlands.

Question 4

How many publications and citations does Benjamin Lion have?

Accepted Answer

OpenAlex counts 25 works and 56 citations for Benjamin Lion, an h-index of 5, ranking #6,686,312 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Benjamin Lion's h-index high?

Accepted Answer

An h-index of 5 is at or above that of 27% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 81%.