Science Explorer Back to mapMap
Discussion
Researcher · Southern Methodist University · United States

At Linz

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.

OpenAlex
World rank
#7,066,717
of 7,710,434 ranked researchers
Rank in United States
#1,580,405
of 1,627,098
Works
28
Citations
80
Citations per work
2.9
h-index
6
i10-index 3Top 82% in Electrical and Electronic Engineering
At Linz

What does At Linz research?

At Linz's work is mostly in Computer Science (37%), Engineering (21%).

Physical Sciences: 16 works · 57.3% of their workComputer Science: 10 works · 36.6% of their workComputational Theory and Mathematics: 3 works · 11.0% of their workArtificial Intelligence: 3 works · 9.8% of their workComputer Networks and Communications: 2 works · 8.5% of their workInformation Systems: 2 works · 7.3% of their workEngineering: 6 works · 20.7% of their workElectrical and Electronic Engineering: 3 works · 12.2% of their workComputational Mechanics: 2 works · 8.5% of their workEverything else: 12 works · 42.7% of their workTHEIR WORKAt Linz28works
Physical Sciences57%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science1036.6%
    2. Engineering620.7%
  2. Everything else1242.7%
  1. 1Electrical and Electronic Engineering12% of their works
  2. 2Computational Theory and Mathematics11% of their works
  3. 3Artificial Intelligence10% of their works
  4. 4Computational Mechanics8% of their works
  5. 5Computer Networks and Communications8% of their works
  6. 6Information Systems7% of their works

Research topics

Which keywords describe At Linz's research?

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.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 17 words, with their numbers
  1. Model Checking52 topics
  2. Gröbner Bases41 topic
  3. Symbolic Computing41 topic
  4. Finite Elements31 topic
  5. NURBS31 topic
  6. Satisfiability Modulo Theories31 topic
  7. Symbolic Model Checker31 topic
  8. Autonomic Computing21 topic
  9. Distributed Systems21 topic
  10. Floating-Point Arithmetic21 topic
  11. Formal Verification21 topic
  12. Grid Computing21 topic
  13. Interval Analysis21 topic
  14. Security Policies21 topic
  15. Self-Adaptive Systems21 topic
  16. Side-Channel Attacks21 topic
  17. Static Analysis21 topic

Where does At Linz work?

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

How many publications and citations does At Linz have?

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.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about At Linz. Posts are plain text and can be reported.