UML Statecharts Compositional Semantics in LOTOS. - Rafal Mrowka; Tomasz Szmuc (ISPDC, 2008)

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)

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

A Novel Method for Fast Generation of 3D Objects from Multiple Depth Sensors. - Tomasz Szmuc; Rafal Mrówka; Marek Branka; Jakub Ficon; Piotr Pieta (J. Artif. Intell. Soft Comput. Res., 2023)