Science Explorer Back to mapMap
Discussion
Researcher · RWTH Aachen University · Germany

Carsten Fuhs

Carsten Fuhs publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.

ORCID 0009-0007-3697-4383 OpenAlex
World rank
#1,447,697
of 7,710,434 ranked researchers
Rank in Germany
#71,365
of 364,343
Works
66
Citations
1.1k
Citations per work
17.2
h-index
17
i10-index 27Top 18% in Artificial Intelligence
Carsten Fuhs

What does Carsten Fuhs research?

Carsten Fuhs's work is mostly in Computer Science (99%).

Physical Sciences: 65 works · 98.5% of their workComputer Science: 65 works · 98.5% of their workArtificial Intelligence: 34 works · 52.1% of their workComputational Theory and Mathematics: 18 works · 27.3% of their workSoftware: 5 works · 7.7% of their workComputer Networks and Communications: 4 works · 5.7% of their workHardware and Architecture: 3 works · 5.2% of their workComputer Vision and Pattern Recognition: 0 works · 0.5% of their workEverything else: 1 works · 1.5% of their workTHEIR WORKCarsten Fuhs66works
Physical Sciences99%

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 Science6598.5%
  2. Everything else11.5%
  1. 1Artificial Intelligence52% of their works
  2. 2Computational Theory and Mathematics27% of their works
  3. 3Software8% of their works
  4. 4Computer Networks and Communications6% of their works
  5. 5Hardware and Architecture5% of their works
  6. 6Computer Vision and Pattern Recognition0% of their works

Research topics

Which keywords describe Carsten Fuhs's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Description Logics and Knowledge Representation.

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 20 words, with their numbers
  1. Model Checking1163 topics
  2. Temporal Logic612 topics
  3. Formal Verification551 topic
  4. Static Analysis551 topic
  5. Satisfiability Modulo Theories451 topic
  6. Symbolic Model Checker451 topic
  7. Description Logics202 topics
  8. Knowledge Representation202 topics
  9. Answer Set Programming161 topic
  10. Modal Logic161 topic
  11. Security Policies141 topic
  12. Side-Channel Attacks141 topic
  13. Automated Testing131 topic
  14. Software Fault Localization131 topic
  15. Parallel Computing101 topic
  16. Performance Optimization101 topic
  17. Neural Machine Translation61 topic
  18. Statistical Machine Translation61 topic
  19. Ontology41 topic
  20. Semantic Web41 topic

Where does Carsten Fuhs work?

Carsten Fuhs's main affiliation in the publication record is RWTH Aachen University, Germany.

How many publications and citations does Carsten Fuhs have?

OpenAlex counts 66 works and 1,134 citations for Carsten Fuhs, an h-index of 17, ranking #1,447,697 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 Carsten Fuhs. Posts are plain text and can be reported.