Question 1

What does Yann Glouche research?

Accepted Answer

Yann Glouche publishes mostly in Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Logic, programming, and type systems and RFID technology advancements.

Question 2

Which keywords describe Yann Glouche's research?

Accepted Answer

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

Question 3

Where does Yann Glouche work?

Accepted Answer

Yann Glouche's main affiliation in the publication record is Embedded Systems (United States), United States.

Question 4

How many publications and citations does Yann Glouche have?

Accepted Answer

OpenAlex counts 22 works and 156 citations for Yann Glouche, an h-index of 6, ranking #3,956,365 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Yann Glouche's h-index high?

Accepted Answer

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