Piotr Matyasik

According to our database, Piotr Matyasik authored at least 14 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Simulation of Multi-agent Systems with Alvis Toolkit.

Marcin Szpyrka, Piotr Matyasik, Lukasz Podolski, Michal Wypych

Proceedings of the Artificial Intelligence and Soft Computing, 2017

2016

Hierarchical Communication Diagrams.

Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki, Agnieszka Biernacka, Michal Wypych, Leszek Kotulski

Comput. Informatics, 2016

Communication between agents in Alvis language.

Piotr Matyasik, Marcin Szpyrka, Michal Wypych, Jerzy Biernacki

Proceedings of the 2016 MIXDES, 2016

2014

Formal Description of Alvis Language with α⁰ System Layer.

Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka, Leszek Kotulski

Fundam. Informaticae, 2014

Modeling indoor lighting inspection robot behavior using Concurrent Communicating Lists.

Konrad Kulakowski, Piotr Matyasik, Sebastian Ernst

Expert Syst. Appl., 2014

Alvis Virtual Machine.

Piotr Matyasik

Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

2013

Robust PI - The Simulation Robust Library Component for Pioneer 3DX.

Konrad Kulakowski, Piotr Matyasik

Proceedings of the Multiagent System Technologies - 11th German Conference, 2013

Alvis Language with Time Dependence.

Marcin Szpyrka, Piotr Matyasik, Michal Wypych

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation.

Marcin Szpyrka, Piotr Matyasik, Michal Wypych

Proceedings of the 22nd International Workshop on Concurrency, 2013

2011

Alvis - Modelling Language for Concurrent Systems.

Marcin Szpyrka, Piotr Matyasik, Rafal Mrówka

Proceedings of the Intelligent Decision Systems in Large-Scale Distributed Environments, 2011

Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS.

Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka

Proceedings of the 25th European Conference on Modelling and Simulation, 2011

2010

RobustHX - The Robust Middleware Library for Hexor Robots.

Konrad Kulakowski, Piotr Matyasik

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2010

2008

Formal Modelling and Verification of Concurrent Systems with XCCS.

Piotr Matyasik, Marcin Szpyrka

Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 2008

2007

Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot.

Piotr Matyasik, Grzegorz J. Nalepa, Piotr Ziecik

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007