Mats Carlsson
Mats Carlsson publishes mostly in Computer Networks and Communications, Artificial Intelligence and Software, on topics such as Constraint Satisfaction and Optimization, Logic, programming, and type systems and Model-Driven Software Engineering Techniques.
- World rank
- #1,841,250 of 7,710,434 ranked researchers
- Rank in Sweden
- #23,789 of 71,437
- Works
- 184
- Citations
- 3k
- Citations per work
- 16.1
What does Mats Carlsson research?
Mats Carlsson's work is mostly in Computer Science (54%), Engineering (15%).
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
- Physical Sciences12768.8%
- Computer Science10054.2%
- Engineering2714.6%
- Everything else5731.2%
- 1Computer Networks and Communications20% of their works
- 2Artificial Intelligence18% of their works
- 3Software8% of their works
- 4Industrial and Manufacturing Engineering8% of their works
- 5Hardware and Architecture7% of their works
- 6Electrical and Electronic Engineering7% of their works
Research topics
- Constraint Satisfaction and Optimization
- Logic, programming, and type systems
- Model-Driven Software Engineering Techniques
- Formal Methods in Verification
- Parallel Computing and Optimization Techniques
- Software Testing and Debugging Techniques
- Scheduling and Timetabling Solutions
- Logic, Reasoning, and Knowledge
Which keywords describe Mats Carlsson's research?
The keywords of their largest research topics: Graph Coloring, Model Checking, Constraint Optimization, Distributed Algorithms, Formal Verification, Static Analysis, Temporal Logic and Domain-Specific Languages.
- Answer Set Programming
- Rostering
- Automated Testing
- Satisfiability Modulo Theories
- Parallel Computing
- Domain-Specific Languages
- Static Analysis
- Distributed Algorithms
- Model Checking
- Graph Coloring
- Constraint Optimization
- Formal Verification
- Temporal Logic
- Model-Driven Engineering
- Performance Optimization
- Symbolic Model Checker
- Software Fault Localization
- Scheduling
- Modal Logic
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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 19 words, with their numbers
- Graph Coloring772 topics
- Model Checking743 topics
- Constraint Optimization631 topic
- Distributed Algorithms631 topic
- Formal Verification411 topic
- Static Analysis411 topic
- Temporal Logic332 topics
- Domain-Specific Languages231 topic
- Model-Driven Engineering231 topic
- Parallel Computing201 topic
- Performance Optimization201 topic
- Satisfiability Modulo Theories201 topic
- Symbolic Model Checker201 topic
- Automated Testing161 topic
- Software Fault Localization161 topic
- Rostering141 topic
- Scheduling141 topic
- Answer Set Programming131 topic
- Modal Logic131 topic
Where does Mats Carlsson work?
Mats Carlsson's main affiliation in the publication record is Kista Photonics Research Center, Sweden.
How many publications and citations does Mats Carlsson have?
OpenAlex counts 184 works and 2,969 citations for Mats Carlsson, an h-index of 27, ranking #1,841,250 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation 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.
Other researchers named Mats Carlsson
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 Mats Carlsson. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.