| Two-variable logic with counting and trees W Charatonik, P Witkowski ACM Transactions on Computational Logic (TOCL) 17 (4), 1-27, 2016 | 38 | 2016 |
| Effect of Inulin and Garlic Supplementation in Pig Diets/Efektywność dodatku inuliny i czosnku w żywieniu tuczników ER Grela, K Pietrzak, S Sobolewska, P Witkowski Annals of Animal Science 13 (1), 63-71, 2013 | 29 | 2013 |
| Two-variable logic with counting and a linear order W Charatonik, P Witkowski Logical Methods in Computer Science 12, 2016 | 20 | 2016 |
| On the complexity of the Bernays-Schönfinkel class with datalog W Charatonik, P Witkowski International Conference on Logic for Programming Artificial Intelligence …, 2010 | 12 | 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 |
| 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 | 3 | 2019 |
| Completing the picture: Complexity of graded modal logics with converse B Bednarczyk, E Kieroński, P Witkowski Theory and Practice of Logic Programming 21 (4), 493-520, 2021 | 2 | 2021 |
| A Note on C² Interpreted over Finite Data-Words B Bednarczyk, P Witkowski 27th International Symposium on Temporal Representation and Reasoning (TIME …, 2020 | 2 | 2020 |
| Tree structured independence for exponential Brownian functionals H Matsumoto, J Wesołowski, P Witkowski Stochastic processes and their applications 119 (10), 3798-3815, 2009 | 2 | 2009 |
| The Use of IR Soldering Stations in the Process of Disassembling in BGA Packaging P Witkowski Pomiary Automatyka Robotyka 24, 2020 | 1 | 2020 |
| Zależność parametrów profilu temperaturowego w czasie procesu naprawy od wymiarów układów BGA i rodzaju zastosowanego spoiwa lutowniczego P Witkowski Pomiary automatyka robotyka 22, 2018 | 1 | 2018 |
| 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 |
| Two-Variable Logic with Counting and Data-Trees W Charatonik, I Pratt-Hartmann, P Witkowski Submitted. Available at URL: http://www. cs. man. ac. uk/~ ipratt/papers …, 0 | 1 | |
| Complexity of Some Logics Extended with Monadic Datalog Programs P Witkowski PhD thesis, Institute of Computer Science, University of Wroc law, 2014 …, 0 | 1 | |
| Praca reaktora badawczego MARIA w 2023 roku P Witkowski Postępy Techniki Jądrowej, 2024 | | 2024 |
| Analiza asocjacji pomiędzy polimorfizmem genu hormonu wzrostu (GH/HaeII) a cechami jakości tuszy wieprzowej i mięsa M Babicz, P Witkowski, K Kropiwiec-Domańska, D Zarajczyk, K Skalski, ... Journal of Animal Science, Biology and Bioeconomy 38 (2), 5-13, 2022 | | 2022 |
| Analysis of the association between the polymorphism of the growth hormone gene (GH/Hae II) and quality of fatteners carcass and meat traits. M Babicz, P Witkowski, K Kropiwiec-Domańska, D Zarajczyk, K Skalski, ... | | 2022 |
| Przebieg temperaturowy bezołowiowego profilu lutowniczego oraz badanie wpływu temperatury otoczenia w jego poszczególnych fazach P Witkowski Pomiary Automatyka Robotyka 24 (4), 2020 | | 2020 |
Witold CharatonikProfessor of Computer Science, University of WrocławGeverifieerd e-mailadres voor cs.uni.wroc.pl
