Piotr Witkowski

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 11

Top Topics

Regular Expressions

Decision Procedures

Top Venues

Fundam. Informaticae

Publications

Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski
Completing the Picture: Complexity of Graded Modal Logics with Converse. Theory Pract. Log. Program. 21 (4) (2021)
Bartosz Bednarczyk, Piotr Witkowski
A Note on C² Interpreted over Finite Data-Words. TIME (2020)
Jakub Michaliszyn, Piotr Witkowski
Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications. IJCAI (2019)
Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski
On the Complexity of Graded Modal Logics with Converse. JELIA (2019)
Jakub Michaliszyn, Jan Otop, Piotr Witkowski
Satisfiability versus Finite Satisfiability in Elementary Modal Logics. Fundam. Informaticae 163 (2) (2018)
Witold Charatonik, Yegor Guskov, Ian Pratt-Hartmann, Piotr Witkowski
Two-variable First-Order Logic with Counting in Forests. LPAR (2018)
Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski
On the Complexity of Graded Modal Logics with Converse. CoRR (2018)
Witold Charatonik, Piotr Witkowski
Two-Variable Logic with Counting and Trees. ACM Trans. Comput. Log. 17 (4) (2016)
Witold Charatonik, Piotr Witkowski
Bounded Model Checking of Pointer Programs Revisited. CoRR (2016)
Witold Charatonik, Piotr Witkowski
Two-variable Logic with Counting and a Linear Order. Log. Methods Comput. Sci. 12 (2) (2016)
Witold Charatonik, Piotr Witkowski
Two-variable Logic with Counting and a Linear Order. CSL (2015)
Witold Charatonik, Piotr Witkowski
Two-Variable Logic with Counting and Trees. LICS (2013)
Jakub Michaliszyn, Jan Otop, Piotr Witkowski
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics GandALF (2012)
Witold Charatonik, Piotr Witkowski
On the Complexity of the Bernays-Schönfinkel Class with Datalog. LPAR (Yogyakarta) (2010)
Hans de Nivelle, Piotr Witkowski
A Small Framework for Proof Checking. PAAR/ESHOL (2008)