Piotr Witkowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2008–2020
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | TIME | A Note on C² Interpreted over Finite Data-Words. | Bartosz Bednarczyk, Piotr Witkowski |
| 2019 | IJCAI | Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications. | Jakub Michaliszyn, Piotr Witkowski |
| 2019 | JELIA | On the Complexity of Graded Modal Logics with Converse. | Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski |
| 2018 | LPAR | Two-variable First-Order Logic with Counting in Forests. | Witold Charatonik, Yegor Guskov, Ian Pratt-Hartmann, Piotr Witkowski |
| 2015 | CSL | Two-variable Logic with Counting and a Linear Order. | Witold Charatonik, Piotr Witkowski |
| 2013 | LICS | Two-Variable Logic with Counting and Trees. | Witold Charatonik, Piotr Witkowski |
| 2010 | LPAR | On the Complexity of the Bernays-Schnfinkel Class with Datalog. | Witold Charatonik, Piotr Witkowski |
| 2008 | CADE | A Small Framework for Proof Checking. | Hans de Nivelle, Piotr Witkowski |