| 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 |
Witold CharatonikProfessor of Computer Science, University of WrocławZweryfikowany adres z cs.uni.wroc.pl
