Piotr Matyasik

14 papers C 4Misc 1Journal 3Unranked 5

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Simulation of Multi-agent Systems with Alvis Toolkit. ICAISC (2) Marcin Szpyrka, Piotr Matyasik, Lukasz Podolski, Michal Wypych
2016	—	`conf`	Communication between agents in Alvis language. MIXDES Piotr Matyasik, Marcin Szpyrka, Michal Wypych, Jerzy Biernacki
2016	J	`jnl`	Hierarchical Communication Diagrams. Comput. Informatics Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki, Agnieszka Biernacka, Michal Wypych, Leszek Kotulski
2014	C	`conf`	Alvis Virtual Machine. FedCSIS Piotr Matyasik
2014	J	`jnl`	Formal Description of Alvis Language with α Fundam. Informaticae Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka, Leszek Kotulski
2014	J	`jnl`	Modeling indoor lighting inspection robot behavior using Concurrent Communicating Lists. Expert Syst. Appl. Konrad Kulakowski, Piotr Matyasik, Sebastian Ernst
2013	C	`conf`	Alvis Language with Time Dependence. FedCSIS Marcin Szpyrka, Piotr Matyasik, Michal Wypych
2013	—	`conf`	Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation. CS&P Marcin Szpyrka, Piotr Matyasik, Michal Wypych
2013	—	`conf`	Robust PI - The Simulation Robust Library Component for Pioneer 3DX. MATES Konrad Kulakowski, Piotr Matyasik
2011	—	`ch.`	Alvis - Modelling Language for Concurrent Systems. Intelligent Decision Systems in Large-Scale Distributed Environments Marcin Szpyrka, Piotr Matyasik, Rafal Mrówka
2011	C	`conf`	Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS. ECMS Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka
2010	—	`conf`	RobustHX - The Robust Middleware Library for Hexor Robots. SIMPAR Konrad Kulakowski, Piotr Matyasik
2008	C	`conf`	Formal Modelling and Verification of Concurrent Systems with XCCS. ISPDC Piotr Matyasik, Marcin Szpyrka
2007	Misc	`conf`	Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot. KI Piotr Matyasik, Grzegorz J. Nalepa, Piotr Ziecik