Question 1

What does Eric Koskinen research?

Accepted Answer

Eric Koskinen publishes mostly in Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Distributed systems and fault tolerance and Formal Methods in Verification.

Question 2

Which keywords describe Eric Koskinen's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Distributed Systems, Formal Verification, Static Analysis, Consistency, Fault Tolerance, Satisfiability Modulo Theories and Symbolic Model Checker.

Question 3

Where does Eric Koskinen work?

Accepted Answer

Eric Koskinen's main affiliation in the publication record is Stevens Institute of Technology, United States.

Question 4

How many publications and citations does Eric Koskinen have?

Accepted Answer

OpenAlex counts 75 works and 1,499 citations for Eric Koskinen, an h-index of 19, ranking #889,029 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Eric Koskinen'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%.