| Two-variable logic with counting and trees W Charatonik, P Witkowski ACM Transactions on Computational Logic (TOCL) 17 (4), 1-27, 2016 | 34 | 2016 |
| Effect of Inulin and Garlic Supplementation in Pig Diets/Efektywnosc dodatku inuliny i czosnku w zywieniu tucznikow ER Grela, K Pietrzak, S Sobolewska, P Witkowski Annals of Animal Science 13 (1), 63, 2013 | 30 | 2013 |
| Two-variable logic with counting and a linear order P Witkowski, W Charatonik Logical Methods in Computer Science 12, 2016 | 17 | 2016 |
| On the complexity of the Bernays-Schönfinkel class with datalog W Charatonik, P Witkowski Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 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 | 6 | 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 |
| 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 |
| On the complexity of graded modal logics with converse B Bednarczyk, E Kieroński, P Witkowski Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019 | 2 | 2019 |
| 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 |
| A Note on C² Interpreted over Finite Data-Words B Bednarczyk, P Witkowski 27th International Symposium on Temporal Representation and Reasoning (TIME …, 2020 | 1 | 2020 |
| 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 | |
| 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 |
| Praca reaktora badawczego MARIA w 2021 roku P Witkowski Postępy Techniki Jądrowej, 2022 | | 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 |
| Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications. J Michaliszyn, P Witkowski IJCAI, 4746-4752, 2019 | | 2019 |
| Analiza wybranych parametrów sygnału elektroenergetycznego do kodowania danych przesyłanych w sieciach komputerowych P Witkowski, J Zygarlicki Pomiary Automatyka Robotyka 23, 2019 | | 2019 |
| Wartość rzeźna, jakość mięsa i wędlin wysokogatunkowych uzyskanych od tuczników mieszańców z chowu masowego P Witkowski | | 2019 |
Witold CharatonikProfessor of Computer Science, University of WrocławZweryfikowany adres z cs.uni.wroc.pl
