Folgen
Piotr Witkowski
Piotr Witkowski
Institute of Computer Science, University of Wrocław
Bestätigte E-Mail-Adresse bei pwit.info - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Two-variable logic with counting and trees
W Charatonik, P Witkowski
ACM Transactions on Computational Logic (TOCL) 17 (4), 1-27, 2016
382016
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
292013
Two-variable logic with counting and a linear order
W Charatonik, P Witkowski
Logical Methods in Computer Science 12, 2016
202016
On the complexity of the Bernays-Schönfinkel class with datalog
W Charatonik, P Witkowski
International Conference on Logic for Programming Artificial Intelligence …, 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
72007
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
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
32019
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
A Note on C² Interpreted over Finite Data-Words
B Bednarczyk, P Witkowski
27th International Symposium on Temporal Representation and Reasoning (TIME …, 2020
22020
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
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
12018
A small framework for proof checking
H De Nivelle, P Witkowski
Proceedings of the Workshop on Practical Aspects of Automated Reasoning, 4th …, 2008
12008
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20