Piotr Witkowski

Available identifiers

Publication	Date of Publication	Type
Completing the Picture: Complexity of Graded Modal Logics with Converse	2023-12-12	Paper
A Note on C² Interpreted over Finite Data-Words	2023-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q4986511	2021-04-27	Paper
On the complexity of graded modal logics with converse	2020-02-18	Paper
Two-variable First-Order Logic with Counting in Forests	2019-07-04	Paper
Satisfiability versus Finite Satisfiability in Elementary Modal Logics	2019-01-17	Paper
Conformal defects in supergravity -- backreacted Dirac delta sources	2018-05-31	Paper
Time evolution of entanglement for holographic steady state formation	2018-03-27	Paper
Conductivities from attractors	2018-01-10	Paper
Two-variable Logic with Counting and a Linear Order	2017-08-31	Paper
Two-Variable Logic with Counting and Trees	2017-07-13	Paper
Two-Variable Logic with Counting and Trees	2017-07-03	Paper
Two-variable Logic with Counting and a Linear Order	2016-07-06	Paper
On the Complexity of the Bernays-Schönfinkel Class with Datalog	2010-10-12	Paper
Tree structured independence for exponential Brownian functionals	2009-10-13	Paper
Hitting times of Brownian motion and the Matsumoto-Yor property on trees	2007-08-20	Paper

This page was built for person: Piotr Witkowski