Question 1

What does Robert Bernecky research?

Accepted Answer

Robert Bernecky publishes mostly in Hardware and Architecture, Computer Networks and Communications and Artificial Intelligence, on topics such as Parallel Computing and Optimization Techniques, Logic, programming, and type systems and Formal Methods in Verification.

Question 2

Which keywords describe Robert Bernecky's research?

Accepted Answer

The keywords of their largest research topics: High-Performance Computing, Model Checking, Parallel Computing, Performance Optimization, Formal Verification, Static Analysis, Satisfiability Modulo Theories and Symbolic Model Checker.

Question 3

Where does Robert Bernecky work?

Accepted Answer

Robert Bernecky's main affiliation in the publication record is Research Canada, Canada.

Question 4

How many publications and citations does Robert Bernecky have?

Accepted Answer

OpenAlex counts 50 works and 389 citations for Robert Bernecky, an h-index of 10, ranking #6,725,286 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Robert Bernecky's h-index high?

Accepted Answer

An h-index of 10 is at or above that of 63% of the 7,394 ranked researchers whose main subfield is Hardware and Architecture, which is in the top 43%.