Pawel Batko

According to our database, Pawel Batko authored at least 4 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Type System of Anemone Functional Language.

Pawel Batko, Marcin Kuta

Proceedings of the Communication Papers of the 17th Conference on Computer Science and Intelligence Systems, 2022

2021

An Analysis of Approval-Based Committee Rules for 2D-Euclidean Elections.

Michal Tomasz Godziszewski, Pawel Batko, Piotr Skowron, Piotr Faliszewski

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2018

Actor model of Anemone functional language.

Pawel Batko, Marcin Kuta

J. Supercomput., 2018

2017

Actor Model of a New Functional Language - Anemone.

Pawel Batko, Marcin Kuta

Proceedings of the Parallel Processing and Applied Mathematics, 2017