Question 1

What does Laura Semini research?

Accepted Answer

Laura Semini publishes mostly in Artificial Intelligence, Information Systems and Computational Theory and Mathematics, on topics such as Advanced Software Engineering Methodologies, Formal Methods in Verification and Software Engineering Research.

Question 2

Which keywords describe Laura Semini's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Requirements Engineering, Temporal Logic, Autonomic Computing, Satisfiability Modulo Theories, Self-Adaptive Systems, Symbolic Model Checker and Code Clone Detection.

Question 3

Where does Laura Semini work?

Accepted Answer

Laura Semini's main affiliation in the publication record is University of Pisa, Italy.

Question 4

How many publications and citations does Laura Semini have?

Accepted Answer

OpenAlex counts 74 works and 466 citations for Laura Semini, an h-index of 12, ranking #2,696,644 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Laura Semini's h-index high?

Accepted Answer

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