Piotr Witkowski

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 Theory and Practice of Logic Programming	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
Satisfiability vs. finite satisfiability in elementary modal logics (available as arXiv preprint)	2021-04-27	Paper
On the complexity of graded modal logics with converse (available as arXiv preprint)	2020-02-18	Paper
Two-variable first-order logic with counting in forests EPiC Series in Computing	2019-07-04	Paper
Satisfiability versus Finite Satisfiability in Elementary Modal Logics Fundamenta Informaticae	2019-01-17	Paper
Conformal defects in supergravity -- backreacted Dirac delta sources Journal of High Energy Physics	2018-05-31	Paper
Time evolution of entanglement for holographic steady state formation Journal of High Energy Physics	2018-03-27	Paper
Conductivities from attractors Journal of High Energy Physics	2018-01-10	Paper
Two-variable logic with counting and a linear order (available as arXiv preprint)	2017-08-31	Paper
Two-variable logic with counting and trees ACM Transactions on Computational Logic	2017-07-13	Paper
Two-variable logic with counting and trees 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science	2017-07-03	Paper
Two-variable logic with counting and a linear order Logical Methods in Computer Science	2016-07-06	Paper
On the complexity of the Bernays-Schönfinkel class with Datalog Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
Tree structured independence for exponential Brownian functionals Stochastic Processes and their Applications	2009-10-13	Paper
Hitting times of Brownian motion and the Matsumoto-Yor property on trees Stochastic Processes and their Applications	2007-08-20	Paper

Research outcomes over time

This page was built for person: Piotr Witkowski