Two-variable logic with counting and trees W Charatonik, P Witkowski ACM Transactions on Computational Logic (TOCL) 17 (4), 1-27, 2016 | 33 | 2016 |
Two-variable logic with counting and a linear order W Charatonik, P Witkowski arXiv preprint arXiv:1604.06038, 2016 | 15 | 2016 |
Two-variable Logic with Counting and a Linear Order W Charatonik, P Witkowski LIPIcs-Leibniz International Proceedings in Informatics 41, 2015 | 15 | 2015 |
On the complexity of the Bernays-Schönfinkel class with datalog W Charatonik, P Witkowski International Conference on Logic for Programming Artificial Intelligence …, 2010 | 11 | 2010 |
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 | 5 | 2012 |
Two-variable First-Order Logic with Counting in Forests. W Charatonik, Y Guskov, I Pratt-Hartmann, P Witkowski LPAR, 214-232, 2018 | 4 | 2018 |
Tree structured independence for exponential Brownian functionals H Matsumoto, J Wesołowski, P Witkowski Stochastic processes and their applications 119 (10), 3798-3815, 2009 | 3 | 2009 |
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 | 2 | 2019 |
A small framework for proof checking H De Nivelle, P Witkowski Proceedings of the Workshop on Practical Aspects of Automated Reasoning, 4th …, 2008 | 1 | 2008 |
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 |