Login / Signup
Pawel Batko
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 4
Top Topics
Scoring Rules
Conceptual Model
Data Structure
High Level
Top Venues
FedCSIS (Communication Papers)
PPAM (2)
AAAI
J. Supercomput.
</>
Publications
</>
Pawel Batko
,
Marcin Kuta
Type System of Anemone Functional Language.
FedCSIS (Communication Papers)
(2022)
Michal Tomasz Godziszewski
,
Pawel Batko
,
Piotr Skowron
,
Piotr Faliszewski
An Analysis of Approval-Based Committee Rules for 2D-Euclidean Elections.
AAAI
(2021)
Pawel Batko
,
Marcin Kuta
Actor model of Anemone functional language.
J. Supercomput.
74 (4) (2018)
Pawel Batko
,
Marcin Kuta
Actor Model of a New Functional Language - Anemone.
PPAM (2)
(2017)