Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot. - Piotr Matyasik; Grzegorz J. Nalepa; Piotr Ziecik (KI, 2007)

Formal Modelling and Verification of Concurrent Systems with XCCS. - Piotr Matyasik; Marcin Szpyrka (ISPDC, 2008)

RobustHX - The Robust Middleware Library for Hexor Robots. - Konrad Kulakowski; Piotr Matyasik (SIMPAR, 2010)

Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS. - Marcin Szpyrka; Piotr Matyasik; Rafal Mrowka (ECMS, 2011)

Alvis - Modelling Language for Concurrent Systems. - Marcin Szpyrka; Piotr Matyasik; Rafal Mrówka (Intelligent Decision Systems in Large-Scale Distributed Environments, 2011)

Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation. - Marcin Szpyrka; Piotr Matyasik; Michal Wypych (CS&P, 2013)

Alvis Language with Time Dependence. - Marcin Szpyrka; Piotr Matyasik; Michal Wypych (FedCSIS, 2013)

Robust PI - The Simulation Robust Library Component for Pioneer 3DX. - Konrad Kulakowski; Piotr Matyasik (MATES, 2013)

Alvis Virtual Machine. - Piotr Matyasik (FedCSIS, 2014)

Modeling indoor lighting inspection robot behavior using Concurrent Communicating Lists. - Konrad Kulakowski; Piotr Matyasik; Sebastian Ernst (Expert Syst. Appl., 2014)

Formal Description of Alvis Language with α0 System Layer. - Marcin Szpyrka; Piotr Matyasik; Rafal Mrowka; Leszek Kotulski (Fundam. Informaticae, 2014)

Communication between agents in Alvis language. - Piotr Matyasik; Marcin Szpyrka; Michal Wypych; Jerzy Biernacki (MIXDES, 2016)

Hierarchical Communication Diagrams. - Marcin Szpyrka; Piotr Matyasik; Jerzy Biernacki; Agnieszka Biernacka; Michal Wypych; Leszek Kotulski (Comput. Informatics, 2016)

Simulation of Multi-agent Systems with Alvis Toolkit. - Marcin Szpyrka; Piotr Matyasik; Lukasz Podolski; Michal Wypych (ICAISC (2), 2017)