Science Explorer Back to mapMap
Discussion
Researcher · University of Bergen · Norway

Michał Walicki

Michał Walicki publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and History, on topics such as Logic, Reasoning, and Knowledge, Advanced Algebra and Logic and Logic, programming, and type systems.

ORCID 0000-0002-7955-5249 OpenAlex
World rank
#5,439,160
of 7,710,434 ranked researchers
Rank in Norway
#28,607
of 33,005
Works
63
Citations
430
Citations per work
6.8
h-index
12
i10-index 14Top 32% in Artificial Intelligence
Michał Walicki

What does Michał Walicki research?

Michał Walicki's work is mostly in Computer Science (81%), Arts and Humanities (4%), Health Professions (2%).

Physical Sciences: 51 works · 81.0% of their workComputer Science: 51 works · 81.0% of their workArtificial Intelligence: 30 works · 48.2% of their workComputational Theory and Mathematics: 17 works · 27.4% of their workSoftware: 2 works · 3.0% of their workInformation Systems: 2 works · 2.4% of their workEverything else: 8 works · 13.0% of their workSocial Sciences: 2 works · 3.6% of their workArts and Humanities: 2 works · 3.6% of their workHistory: 2 works · 3.6% of their workHealth Sciences: 2 works · 2.4% of their workHealth Professions: 2 works · 2.4% of their workGeneral Health Professions: 2 works · 2.4% of their workTHEIR WORKMichał Walicki63works
Physical Sciences81%Health Sciences2%Social Sciences4%

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 Science5181.0%
  2. Everything else813.0%
    1. Arts and Humanities23.6%
    1. Health Professions22.4%
  1. 1Artificial Intelligence48% of their works
  2. 2Computational Theory and Mathematics27% of their works
  3. 3History4% of their works
  4. 4Software3% of their works
  5. 5General Health Professions2% of their works
  6. 6Information Systems2% of their works

Research topics

Which keywords describe Michał Walicki's research?

The keywords of their largest research topics: Model Checking, Description Logics, Knowledge Representation, Temporal Logic, Answer Set Programming, Modal Logic, Fuzzy Logic and Residuated Lattices.

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 Checking683 topics
  2. Description Logics522 topics
  3. Knowledge Representation522 topics
  4. Temporal Logic492 topics
  5. Answer Set Programming341 topic
  6. Modal Logic341 topic
  7. Fuzzy Logic201 topic
  8. Residuated Lattices201 topic
  9. Formal Verification191 topic
  10. Static Analysis191 topic
  11. Ontology181 topic
  12. Semantic Web181 topic
  13. Satisfiability Modulo Theories151 topic
  14. Symbolic Model Checker151 topic
  15. Agent-Based Modeling91 topic
  16. Multi-Agent Systems91 topic
  17. Eastern European culture41 topic
  18. Graph Theory41 topic
  19. Parameterized Complexity41 topic
  20. Polish nobility41 topic

Where does Michał Walicki work?

Michał Walicki's main affiliation in the publication record is University of Bergen, Norway.

How many publications and citations does Michał Walicki have?

OpenAlex counts 63 works and 430 citations for Michał Walicki, an h-index of 12, ranking #5,439,160 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 Michał Walicki. Posts are plain text and can be reported.