×
Edit Profile (opens in new tab)

Witkowski, Piotr

Co-Author Distance
Author ID: witkowski.piotr Recent zbMATH articles by "Witkowski, Piotr"
Published as: Witkowski, Piotr
Documents Indexed: 14 Publications since 2007
Co-Authors: 12 Co-Authors with 13 Joint Publications
276 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
6 Charatonik, Witold
3 Bednarczyk, Bartosz
2 Erdmenger, Johanna
2 Fernández, Daniel
2 Kieroński, Emanuel
2 Wesołowski, Jacek
1 Flory, Mario
1 Goulart, Prieslei
1 Guskov, Yegor
1 Janik, Romuald A.
1 Jankowski, Jakub
1 Matsumoto, Hiroyuki
1 Pratt-Hartmann, Ian
1 Straub, Ann-Kathrin

Serials

3 Journal of High Energy Physics
2 Stochastic Processes and their Applications
1 Theory and Practice of Logic Programming
1 ACM Transactions on Computational Logic
1 Logical Methods in Computer Science
all top 5

Fields

9 Mathematical logic and foundations (03-XX)
9 Computer science (68-XX)
3 Relativity and gravitational theory (83-XX)
2 Probability theory and stochastic processes (60-XX)
2 Quantum theory (81-XX)
1 Classical thermodynamics, heat transfer (80-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

14 Publications have been cited 51 times in 42 Documents Cited by ▼ Year ▼
Time evolution of entanglement for holographic steady state formation. Zbl 1383.81207
Erdmenger, Johanna; Fernández, Daniel; Flory, Mario; Megías, Eugenio; Straub, Ann-Kathrin; Witkowski, Piotr
14
2017
Two-variable logic with counting and trees. Zbl 1433.03016
Charatonik, Witold; Witkowski, Piotr
8
2013
On the complexity of the Bernays-Schönfinkel class with Datalog. Zbl 1307.03019
Charatonik, Witold; Witkowski, Piotr
6
2010
Conformal defects in supergravity – backreacted Dirac delta sources. Zbl 1388.83831
Janik, Romuald A.; Jankowski, Jakub; Witkowski, Piotr
6
2015
Hitting times of Brownian motion and the Matsumoto-Yor property on trees. Zbl 1120.60075
Wesołowski, Jacek; Witkowski, Piotr
5
2007
Two-variable logic with counting and a linear order. Zbl 1448.03006
Charatonik, Witold; Witkowski, Piotr
4
2016
Conductivities from attractors. Zbl 1377.81166
Erdmenger, Johanna; Fernández, Daniel; Goulart, Prieslei; Witkowski, Piotr
3
2017
Two-variable logic with counting and a linear order. Zbl 1373.68259
Charatonik, Witold; Witkowski, Piotr
3
2015
Tree structured independence for exponential Brownian functionals. Zbl 1176.60074
Matsumoto, Hiroyuki; Wesołowski, Jacek; Witkowski, Piotr
2
2009
Two-variable first-order logic with counting in forests. Zbl 1415.68110
Charatonik, Witold; Guskov, Yegor; Pratt-Hartmann, Ian; Witkowski, Piotr
2
2018
On the complexity of graded modal logics with converse. Zbl 1525.03065
Bednarczyk, Bartosz; Kieroński, Emanuel; Witkowski, Piotr
1
2019
Two-variable logic with counting and trees. Zbl 1367.03063
Charatonik, Witold; Witkowski, Piotr
1
2016
A note on \(\mathbb{C}^2\) interpreted over finite data-words. Zbl 1530.03049
Bednarczyk, Bartosz; Witkowski, Piotr
1
2020
Completing the picture: complexity of graded modal logics with converse. Zbl 1529.68115
Bednarczyk, Bartosz; Kieroński, Emanuel; Witkowski, Piotr
1
2021
Completing the picture: complexity of graded modal logics with converse. Zbl 1529.68115
Bednarczyk, Bartosz; Kieroński, Emanuel; Witkowski, Piotr
1
2021
A note on \(\mathbb{C}^2\) interpreted over finite data-words. Zbl 1530.03049
Bednarczyk, Bartosz; Witkowski, Piotr
1
2020
On the complexity of graded modal logics with converse. Zbl 1525.03065
Bednarczyk, Bartosz; Kieroński, Emanuel; Witkowski, Piotr
1
2019
Two-variable first-order logic with counting in forests. Zbl 1415.68110
Charatonik, Witold; Guskov, Yegor; Pratt-Hartmann, Ian; Witkowski, Piotr
2
2018
Time evolution of entanglement for holographic steady state formation. Zbl 1383.81207
Erdmenger, Johanna; Fernández, Daniel; Flory, Mario; Megías, Eugenio; Straub, Ann-Kathrin; Witkowski, Piotr
14
2017
Conductivities from attractors. Zbl 1377.81166
Erdmenger, Johanna; Fernández, Daniel; Goulart, Prieslei; Witkowski, Piotr
3
2017
Two-variable logic with counting and a linear order. Zbl 1448.03006
Charatonik, Witold; Witkowski, Piotr
4
2016
Two-variable logic with counting and trees. Zbl 1367.03063
Charatonik, Witold; Witkowski, Piotr
1
2016
Conformal defects in supergravity – backreacted Dirac delta sources. Zbl 1388.83831
Janik, Romuald A.; Jankowski, Jakub; Witkowski, Piotr
6
2015
Two-variable logic with counting and a linear order. Zbl 1373.68259
Charatonik, Witold; Witkowski, Piotr
3
2015
Two-variable logic with counting and trees. Zbl 1433.03016
Charatonik, Witold; Witkowski, Piotr
8
2013
On the complexity of the Bernays-Schönfinkel class with Datalog. Zbl 1307.03019
Charatonik, Witold; Witkowski, Piotr
6
2010
Tree structured independence for exponential Brownian functionals. Zbl 1176.60074
Matsumoto, Hiroyuki; Wesołowski, Jacek; Witkowski, Piotr
2
2009
Hitting times of Brownian motion and the Matsumoto-Yor property on trees. Zbl 1120.60075
Wesołowski, Jacek; Witkowski, Piotr
5
2007
all cited Publications top 5 cited Publications
all top 5

Cited by 81 Authors

5 Witkowski, Piotr
4 Bednarczyk, Bartosz
4 Charatonik, Witold
3 Kieroński, Emanuel
3 Wesołowski, Jacek
3 Zeume, Thomas
2 Aref’eva, Irina Yaroslavna
2 Benedikt, Michael A.
2 Flory, Mario
2 Kuusisto, Antti
2 Moosa, Mudassir
2 Toruńczyk, Szymon
2 Voigt, Marco
1 Ageev, Dmitriĭ Sergeevich
1 Alejo, Luis
1 Bachas, Constantin P.
1 Belyad, M.
1 Benaim, Saguy
1 Bollig, Benedikt
1 Chen, Zhongwu
1 Cheng, Long
1 Czech, Bartłomiej
1 David, Justin R.
1 Dong, Xi
1 Fang, Li Qing
1 Gerard, Thomas
1 Goulart, Prieslei
1 Gutiérrez-Basulto, Víctor
1 Hao, Yan-Tao
1 Harwath, Frederik
1 Ibáñez-García, Yazmín Angélica
1 Ju, Xinxiang
1 Jung, Jean Christoph
1 Khetrapal, Surbhi
1 Khramtsov, Mikhail A.
1 Kostylev, Egor V.
1 Kotek, Tomer
1 Koudou, Angelo Efoévi
1 Kumar, S. Prem
1 Kuncak, Viktor
1 Kuželka, Ondřej
1 Lai, Tengzhou
1 Lenhardt, Rastislav
1 Ley, Christophe
1 Lokhande, Sagar Fakirchand
1 Matsumoto, Hiroyuki
1 Mazowiecki, Filip
1 Mezei, Márk
1 Michaliszyn, Jakub
1 Miekley, Nina
1 Moitra, Upamanyu
1 Muñiz, Marco
1 Murlak, Filip
1 Myers, Robert C.
1 Nastase, Horatiu Stefan
1 Oling, Gerben W. J.
1 Papadopoulos, Vassilis
1 Pedraza, Juan F.
1 Piliszek, Agnieszka
1 Rapenne, Valentin
1 Ruan, Shan-Ming
1 Sabot, Christophe
1 Sake, Sunil Kumar
1 Sangnier, Arnaud
1 Šimkus, Mantas
1 Stietel, Olivier
1 Sturm, Thomas
1 Sun, Yawen
1 Tan, Tony
1 Tikhanovskaya, Maria D.
1 Trivedi, Sandip P.
1 Ugajin, Tomonori
1 van Bremen, Timothy
1 Veith, Helmut
1 Virrueta, Julio
1 Wang, Yuan-Tai
1 Weidenbach, Christoph
1 Wies, Thomas
1 Worrell, James Benjamin
1 Zeng, Xiaolin
1 Zuleger, Florian
all top 5

Cited in 13 Serials

15 Journal of High Energy Physics
2 Artificial Intelligence
2 International Journal of Theoretical Physics
2 Stochastic Processes and their Applications
2 ACM Transactions on Computational Logic
2 Logical Methods in Computer Science
1 Journal of Multivariate Analysis
1 SIAM Journal on Computing
1 Statistics & Probability Letters
1 Journal of Automated Reasoning
1 Journal of Logic, Language and Information
1 Theory and Practice of Logic Programming
1 Probability Surveys
all top 5

Cited in 13 Fields

18 Computer science (68-XX)
16 Quantum theory (81-XX)
15 Mathematical logic and foundations (03-XX)
15 Relativity and gravitational theory (83-XX)
5 Probability theory and stochastic processes (60-XX)
3 Statistics (62-XX)
2 Differential geometry (53-XX)
2 Numerical analysis (65-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Mechanics of particles and systems (70-XX)
1 Fluid mechanics (76-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year