Krister Segerberg
Krister Segerberg publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Geometry and Topology, on topics such as Logic, Reasoning, and Knowledge, Advanced Algebra and Logic and Logic, programming, and type systems.
- World rank
- #110,033 of 1,633,909 ranked researchers
- Rank in Sweden
- #1,374 of 16,333
- Works
- 40
- Citations
- 185
- Citations per work
- 4.6
What does Krister Segerberg research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence38% of their works
- 2Computational Theory and Mathematics33% of their works
- 3Geometry and Topology4% of their works
- 4Theoretical Computer Science4% of their works
- 5Mathematical Physics4% of their works
- 6Transportation2% of their works
Research topics
Which keywords describe Krister Segerberg's research?
The keywords of their largest research topics: Model Checking, Answer Set Programming, Modal Logic, Fuzzy Logic, Residuated Lattices, Formal Verification, Static Analysis and Algorithmic Information Theory.
- Multi-Agent Systems
- Mathematics Education
- Historical Sources
- Agent-Based Modeling
- Algorithmic Information Theory
- Formal Verification
- Fuzzy Logic
- Answer Set Programming
- Model Checking
- Modal Logic
- Residuated Lattices
- Static Analysis
- Computability
- Generalized Functions
- Infinite and Infinitesimal Numbers
- Matrix Computations
- Numerical Linear Algebra
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
- Model Checking142 topics
- Answer Set Programming101 topic
- Modal Logic101 topic
- Fuzzy Logic81 topic
- Residuated Lattices81 topic
- Formal Verification41 topic
- Static Analysis41 topic
- Algorithmic Information Theory31 topic
- Computability31 topic
- Agent-Based Modeling21 topic
- Generalized Functions21 topic
- Historical Sources21 topic
- Infinite and Infinitesimal Numbers21 topic
- Mathematics Education21 topic
- Matrix Computations21 topic
- Multi-Agent Systems21 topic
- Numerical Linear Algebra21 topic
Where does Krister Segerberg work?
Krister Segerberg's main affiliation in the publication record is Uppsala University, Sweden.
How many publications and citations does Krister Segerberg have?
Science Explorer counts 40 works and 185 citations for Krister Segerberg, ranking #110,033 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.