Piotr Matyasik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2007–2017
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICAISC | Simulation of Multi-agent Systems with Alvis Toolkit. | Marcin Szpyrka, Piotr Matyasik, Lukasz Podolski, Michal Wypych |
| 2014 | FedCSIS | Alvis Virtual Machine. | Piotr Matyasik |
| 2013 | FedCSIS | Alvis Language with Time Dependence. | Marcin Szpyrka, Piotr Matyasik, Michal Wypych |
| 2011 | ECMS | Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS. | Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka |
| 2008 | ISPDC | Formal Modelling and Verification of Concurrent Systems with XCCS. | Piotr Matyasik, Marcin Szpyrka |
| 2007 | KI | Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot. | Piotr Matyasik, Grzegorz J. Nalepa, Piotr Ziecik |