Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Ivan Vidal
Hao Mao
Alex Noort
Peter Malec
V. Scherer
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
PIOTR WITKOWSKI
Author Info
Open Visualization
Name
Affiliation
Papers
PIOTR WITKOWSKI
Univ Wroclaw, Inst Comp Sci, Wroclaw, Poland
11
Collaborators
Citations
PageRank
8
13
4.09
Referers
Referees
References
25
110
69
Search Limit
100
110
Publications (11 rows)
Collaborators (8 rows)
Referers (25 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Completing the Picture: Complexity of Graded Modal Logics with Converse
0
0.34
2021
On the Complexity of Graded Modal Logics with Converse.
0
0.34
2019
Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications.
0
0.34
2019
Two-variable First-Order Logic with Counting in Forests.
0
0.34
2018
Two-variable Logic with Counting and a Linear Order
0
0.34
2016
Two-variable Logic with Counting and a Linear Order.
0
0.34
2016
Bounded Model Checking of Pointer Programs Revisited.
0
0.34
2016
Two-Variable Logic with Counting and Trees
7
0.50
2013
Satisfiability Vs. Finite Satisfiability In Elementary Modal Logics
0
0.34
2012
On the complexity of the Bernays-Schönfinkel class with datalog
5
0.48
2010
A Small Framework for Proof Checking
1
0.41
2008
1