Piotr Matyasik

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 3

Top Topics

Agent Communication Language

Top Venues

Comput. Informatics

Publications

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