Science Explorer Back to mapMap
Discussion
Researcher · Halmstad University · Sweden

Wojciech Mostowski

Wojciech Mostowski publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Testing and Debugging Techniques.

ORCID 0000-0002-7054-9985 OpenAlex
World rank
#2,118,935
of 7,710,434 ranked researchers
Rank in Sweden
#27,400
of 71,437
Works
59
Citations
962
Citations per work
16.3
h-index
16
i10-index 23Top 20% in Artificial Intelligence
Wojciech Mostowski

What does Wojciech Mostowski research?

Wojciech Mostowski's work is mostly in Computer Science (84%).

Physical Sciences: 50 works · 84.0% of their workComputer Science: 50 works · 84.0% of their workArtificial Intelligence: 21 works · 35.8% of their workSoftware: 10 works · 16.7% of their workComputational Theory and Mathematics: 9 works · 14.8% of their workHardware and Architecture: 4 works · 6.2% of their workInformation Systems: 4 works · 6.2% of their workComputer Networks and Communications: 3 works · 4.3% of their workEverything else: 9 works · 16.0% of their workTHEIR WORKWojciechMostowski59works
Physical Sciences84%

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 Science5084.0%
  2. Everything else916.0%
  1. 1Artificial Intelligence36% of their works
  2. 2Software17% of their works
  3. 3Computational Theory and Mathematics15% of their works
  4. 4Information Systems6% of their works
  5. 5Hardware and Architecture6% of their works
  6. 6Computer Networks and Communications4% of their works

Research topics

Which keywords describe Wojciech Mostowski's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Automated Testing, Software Fault Localization 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. 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 17 words, with their numbers
  1. Model Checking472 topics
  2. Satisfiability Modulo Theories241 topic
  3. Symbolic Model Checker241 topic
  4. Formal Verification231 topic
  5. Static Analysis231 topic
  6. Automated Testing141 topic
  7. Software Fault Localization141 topic
  8. Autonomic Computing121 topic
  9. Self-Adaptive Systems121 topic
  10. Security Policies111 topic
  11. Side-Channel Attacks111 topic
  12. Domain-Specific Languages81 topic
  13. Model-Driven Engineering81 topic
  14. Code Clone Detection51 topic
  15. Parallel Computing51 topic
  16. Performance Optimization51 topic
  17. Refactoring51 topic

Where does Wojciech Mostowski work?

Wojciech Mostowski's main affiliation in the publication record is Halmstad University, Sweden.

How many publications and citations does Wojciech Mostowski have?

OpenAlex counts 59 works and 962 citations for Wojciech Mostowski, an h-index of 16, ranking #2,118,935 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.

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 Wojciech Mostowski. 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.