Obserwuj
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
342016
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
302013
Two-variable logic with counting and a linear order
P Witkowski, W Charatonik
Logical Methods in Computer Science 12, 2016
172016
On the complexity of the Bernays-Schönfinkel class with datalog
W Charatonik, P Witkowski
Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010
122010
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
62007
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
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
22021
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
22019
Tree structured independence for exponential Brownian functionals
H Matsumoto, J Wesołowski, P Witkowski
Stochastic processes and their applications 119 (10), 3798-3815, 2009
22009
The Use of IR Soldering Stations in the Process of Disassembling in BGA Packaging
P Witkowski
Pomiary Automatyka Robotyka 24, 2020
12020
A Note on C² Interpreted over Finite Data-Words
B Bednarczyk, P Witkowski
27th International Symposium on Temporal Representation and Reasoning (TIME …, 2020
12020
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
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20