Piotr Witkowski
Piotr Witkowski
Institute of Computer Science, University of Wrocław
Zweryfikowany adres z pwit.info - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Two-variable logic with counting and trees
W Charatonik, P Witkowski
ACM Transactions on Computational Logic (TOCL) 17 (4), 1-27, 2016
332016
Two-variable logic with counting and a linear order
W Charatonik, P Witkowski
arXiv preprint arXiv:1604.06038, 2016
152016
Two-variable Logic with Counting and a Linear Order
W Charatonik, P Witkowski
LIPIcs-Leibniz International Proceedings in Informatics 41, 2015
152015
On the complexity of the Bernays-Schönfinkel class with datalog
W Charatonik, P Witkowski
International Conference on Logic for Programming Artificial Intelligence …, 2010
112010
Hitting times of Brownian motion and the Matsumoto–Yor property on trees
J Wesołowski, P Witkowski
Stochastic processes and their applications 117 (9), 1303-1315, 2007
7*2007
Satisfiability vs. finite satisfiability in elementary modal logics
J Michaliszyn, J Otop, P Witkowski
arXiv preprint arXiv:1210.2481, 2012
52012
Two-variable First-Order Logic with Counting in Forests.
W Charatonik, Y Guskov, I Pratt-Hartmann, P Witkowski
LPAR, 214-232, 2018
42018
Tree structured independence for exponential Brownian functionals
H Matsumoto, J Wesołowski, P Witkowski
Stochastic processes and their applications 119 (10), 3798-3815, 2009
32009
On the complexity of graded modal logics with converse
B Bednarczyk, E Kieroński, P Witkowski
European Conference on Logics in Artificial Intelligence, 642-658, 2019
22019
A small framework for proof checking
H De Nivelle, P Witkowski
Proceedings of the Workshop on Practical Aspects of Automated Reasoning, 4th …, 2008
12008
Complexity of Some Logics Extended with Monadic Datalog Programs
P Witkowski
PhD thesis, Institute of Computer Science, University of Wroc law, 2014 …, 0
1
A Note on C² Interpreted over Finite Data-Words
B Bednarczyk, P Witkowski
27th International Symposium on Temporal Representation and Reasoning (TIME …, 2020
2020
Application Supporting the Programming Project Manager
P Witkowski
Instytut Sterowania i Elektroniki Przemysłowej, 2019
2019
Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications.
J Michaliszyn, P Witkowski
IJCAI, 4746-4752, 2019
2019
Completing the Picture: Complexity of Graded Modal Logics with Converse
B Bednarczyk, E Kieroński, P Witkowski
arXiv preprint arXiv:1812.04413, 2018
2018
Satisfiability versus Finite Satisfiability in Elementary Modal Logics
J Michaliszyn, J Otop, P Witkowski
Fundamenta Informaticae 163 (2), 165-188, 2018
2018
Two-variable Logic with Counting and a Linear Order
P Witkowski, W Charatonik
Logical Methods in Computer Science 12, 2016
2016
Bounded Model Checking of Pointer Programs Revisited
W Charatonik, P Witkowski
arXiv preprint arXiv:1602.09061, 2016
2016
Analiza i ocena przydatności kanałów ulgi dla poprawy warunków hydraulicznych przejścia wielkich wód Wisły na odcinku od km 420 do km 454 (przy użyciu modelu HEC-RAS)
P Witkowski
Zakład Budownictwa Wodnego i Hydrauliki, 2015
2015
Odzysk ciepła w systemach wentylacyjnych i klimatyzacyjnych
P Witkowski
Instytut Budownictwa, 2013
2013
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20