Piotr Witkowski

zbMath Openwitkowski.piotrMaRDI QIDQ734667

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
Satisfiability vs. finite satisfiability in elementary modal logics	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

Research outcomes over time

This page was built for person: Piotr Witkowski