Kaisa Sere
Kaisa Sere publishes mostly in Computer Networks and Communications, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Formal Methods in Verification, Advanced Software Engineering Methodologies and Distributed systems and fault tolerance.
- World rank
- #172,796 of 1,633,909 ranked researchers
- Rank in Finland
- #1,028 of 8,199
- Works
- 38
- Citations
- 146
- Citations per work
- 3.8
What does Kaisa Sere research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computer Networks and Communications22% of their works
- 2Computational Theory and Mathematics18% of their works
- 3Artificial Intelligence15% of their works
- 4Hardware and Architecture12% of their works
- 5Information Systems10% of their works
- 6Management Information Systems5% of their works
Research topics
- Formal Methods in Verification
- Advanced Software Engineering Methodologies
- Distributed systems and fault tolerance
- Logic, programming, and type systems
- Petri Nets in System Modeling
- Distributed and Parallel Computing Systems
- Interconnection Networks and Systems
- Parallel Computing and Optimization Techniques
Which keywords describe Kaisa Sere's research?
The keywords of their largest research topics: Model Checking, Distributed Systems, Fault Tolerance, High-Performance Computing, Satisfiability Modulo Theories, Symbolic Model Checker, Autonomic Computing and Consistency.
- Static Analysis
- Petri Nets
- Parallel Computing
- Interconnection Networks
- Formal Verification
- Transactional Memory
- Consistency
- Symbolic Model Checker
- High-Performance Computing
- Distributed Systems
- Model Checking
- Fault Tolerance
- Satisfiability Modulo Theories
- Autonomic Computing
- Self-Adaptive Systems
- Deadlock Prevention
- Grid Computing
- Networks on Chip
- Performance Optimization
- Resource Management
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
- Model Checking62 topics
- Distributed Systems52 topics
- Fault Tolerance52 topics
- High-Performance Computing42 topics
- Satisfiability Modulo Theories41 topic
- Symbolic Model Checker41 topic
- Autonomic Computing31 topic
- Consistency31 topic
- Self-Adaptive Systems31 topic
- Transactional Memory31 topic
- Deadlock Prevention21 topic
- Formal Verification21 topic
- Grid Computing21 topic
- Interconnection Networks21 topic
- Networks on Chip21 topic
- Parallel Computing21 topic
- Performance Optimization21 topic
- Petri Nets21 topic
- Resource Management21 topic
- Static Analysis21 topic
Where does Kaisa Sere work?
Kaisa Sere's main affiliation in the publication record is Åbo Akademi University, Finland.
How many publications and citations does Kaisa Sere have?
Science Explorer counts 38 works and 146 citations for Kaisa Sere, ranking #172,796 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.