Question 1

What does David Basin research?

Accepted Answer

David Basin publishes mostly in Artificial Intelligence, Computer Networks and Communications and Information Systems, on topics such as Formal Methods in Verification, Advanced Authentication Protocols Security and Logic, programming, and type systems.

Question 2

Which keywords describe David Basin's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Temporal Logic, Authentication, Biometrics, Security, Satisfiability Modulo Theories, Symbolic Model Checker and Key Exchange.

Question 3

Where does David Basin work?

Accepted Answer

David Basin's main affiliation in the publication record is ETH Zurich, Switzerland.

Question 4

How many publications and citations does David Basin have?

Accepted Answer

OpenAlex counts 504 works and 13,134 citations for David Basin, an h-index of 51, ranking #78,372 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is David Basin's h-index high?

Accepted Answer

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