An analysis of approval-based committee rules for 2D-Euclidean elections / Michał T. Godziszewski, Paweł BATKO, Piotr Skowron, Piotr FALISZEWSKI // W: AAAI-21 / IAAI-21 / EAAI-21 proceedings : thirty-fifth AAAI conference on Artificial Intelligence, thirty-third conference on Innovative Applications of Artificial Intelligence, the eleventh symposium on Educational Advances in Artificial Intelligence : February 2–9, 2021, a virtual conference. — Palo Alto : AAAI Press, cop. 2021. — (Proceedings of the ... AAAI Conference on Artificial Intelligence ; ISSN 2159-5399 ; vol 35 no. 6: AAAI-21 Technical Tracks 6 ). — ISBN - wspólny dla 18 vol.. — ISBN: 978-1-57735-866-4. — S. 5448–5455. — Bibliogr. s. 5455, Abstr.. — tekst: https://ojs.aaai.org/index.php/AAAI/article/view/16686/16493

Type system of anemone functional language / Paweł BATKO, Marcin KUTA // W: FedCSIS 2022 [Dokument elektroniczny] : communication papers of the 17\textsuperscript{th} conference on Computer Science and Intelligence Systems : September 4–7, 2022, Sofia, Bulgaria / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki, Dominik Ślęzak. — Wersja do Windows. — Dane tekstowe. — Warszawa : Polskie Towarzystwo Informatyczne, cop. 2022. — (Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 32). — Dod. ISBN: USB 978-83-965897-5-0. — e-ISBN: 978-83-965897-4-3. — S. 131–138. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://annals-csis.org/Volume_32/pliks/communication.pdf [2022-10-06]. — Bibliogr. s. 137–138, Abstr.. — W części: 30th International Symposium on Concurrency, Specification and Programming