Question 1

What does At Linz research?

Accepted Answer

At Linz publishes mostly in Electrical and Electronic Engineering, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Polynomial and algebraic computation, Formal Methods in Verification and Advanced Numerical Analysis Techniques.

Question 2

Which keywords describe At Linz's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Gröbner Bases, Symbolic Computing, Finite Elements, NURBS, Satisfiability Modulo Theories, Symbolic Model Checker and Autonomic Computing.

Question 3

Where does At Linz work?

Accepted Answer

At Linz's main affiliation in the publication record is Southern Methodist University, United States.

Question 4

How many publications and citations does At Linz have?

Accepted Answer

OpenAlex counts 28 works and 80 citations for At Linz, an h-index of 6, ranking #7,066,717 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is At Linz's h-index high?

Accepted Answer

An h-index of 6 is at or above that of 26% of the 398,464 ranked researchers whose main subfield is Electrical and Electronic Engineering, which is in the top 82%.