Science Explorer Interactive view Map
Researcher · West Virginia University · United States

Piotr Wojciechowski

Piotr Wojciechowski publishes mostly in Computer Networks and Communications, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Formal Methods in Verification, Constraint Satisfaction and Optimization and Logic, programming, and type systems.

ORCID 0000-0003-1684-1077 OpenAlex
World rank
#1,517,980
of 1,633,909 ranked researchers
Rank in United States
#342,208
of 358,040
Works
19
Citations
3
Citations per work
0.2

What does Piotr Wojciechowski research?

Computer Networks and Communications: 28.6%Computational Theory and Mathematics: 28.6%Artificial Intelligence: 14.3%General Health Professions: 9.5%other fields: 19.0%29%top field
Computer Networks and Communications28.6%Computational Theory and Mathematics28.6%Artificial Intelligence14.3%General Health Professions9.5%other fields19.0%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Computer Networks and Communications29% of their works
  2. 2Computational Theory and Mathematics29% of their works
  3. 3Artificial Intelligence14% of their works
  4. 4General Health Professions10% of their works
  5. 5Electrical and Electronic Engineering10% of their works
  6. 6Hardware and Architecture5% of their works

Research topics

Which keywords describe Piotr Wojciechowski's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Constraint Optimization, Distributed Algorithms, Answer Set Programming and Approximation Algorithms.

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 18 words, with their numbers
  1. Model Checking63 topics
  2. Temporal Logic52 topics
  3. Satisfiability Modulo Theories41 topic
  4. Symbolic Model Checker41 topic
  5. Constraint Optimization21 topic
  6. Distributed Algorithms21 topic
  7. Answer Set Programming11 topic
  8. Approximation Algorithms11 topic
  9. Combinatorial Optimization11 topic
  10. Deadlock Prevention11 topic
  11. Deep Learning11 topic
  12. Distributed Systems11 topic
  13. Formal Verification11 topic
  14. Grid Computing11 topic
  15. Modal Logic11 topic
  16. Petri Nets11 topic
  17. Reinforcement Learning11 topic
  18. Static Analysis11 topic

Where does Piotr Wojciechowski work?

Piotr Wojciechowski's main affiliation in the publication record is West Virginia University, United States.

How many publications and citations does Piotr Wojciechowski have?

Science Explorer counts 19 works and 3 citations for Piotr Wojciechowski, ranking #1,517,980 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.

Other researchers named Piotr Wojciechowski

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.