| Alvis–modelling language for concurrent systems M Szpyrka, P Matyasik, R Mrówka Intelligent Decision Systems in Large-Scale Distributed Environments, 315-341, 2011 | 43 | 2011 |
| Formal description of Alvis language with α 0 system layer M Szpyrka, P Matyasik, R Mrówka, L Kotulski Fundamenta Informaticae 129 (1-2), 161-176, 2014 | 23 | 2014 |
| Hierarchical communication diagrams M Szpyrka, P Matyasik, J Biernacki, A Biernacka, M Wypych, L Kotulski Computing and Informatics 35 (1), 55-83, 2016 | 19 | 2016 |
| Formal modelling and verification of concurrent systems with XCCS P Matyasik, M Szpyrka 2008 International Symposium on Parallel and Distributed Computing, 454-458, 2008 | 17 | 2008 |
| Alvis language with time dependence M Szpyrka, P Matyasik, M Wypych 2013 Federated Conference on Computer Science and Information Systems, 1565-1570, 2013 | 12 | 2013 |
| Design and analysis of embedded systems with XCCS process algebra P Matyasik AGH University of Science and Technology, Faculty of Electrical Engineering …, 2009 | 12 | 2009 |
| A formal approach to modelling of real-time systems using RTCP-nets M Szpyrka, T Szmuc, P Matyasik, W Szmuc Foundations of Computing and Decision Sciences 30 (1), 61-71, 2005 | 11 | 2005 |
| Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation. M Szpyrka, P Matyasik, M Wypych CS&P, 409-420, 2013 | 10 | 2013 |
| Modeling indoor lighting inspection robot behavior using concurrent communicating lists K Kułakowski, P Matyasik, S Ernst Expert systems with applications 41 (4), 984-989, 2014 | 9 | 2014 |
| Prolog-based real-time intelligent control of the hexor mobile robot P Matyasik, GJ Nalepa, P Zięcik KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference …, 2007 | 7 | 2007 |
| Communication between agents in Alvis language P Matyasik, M Szpyrka, M Wypych, J Biernacki 2016 MIXDES-23rd International Conference Mixed Design of Integrated …, 2016 | 5 | 2016 |
| Specification of embedded systems environment behaviour with Alvis modelling language M Szpyrka, L Kotulski, P Matyasik Proc. of the 2011 Int. Conf. on Embedded Systems and Applications ESA 11, 18-21, 2011 | 5 | 2011 |
| Simulation of multi-agent systems with Alvis Toolkit M Szpyrka, P Matyasik, Ł Podolski, M Wypych Artificial Intelligence and Soft Computing: 16th International Conference …, 2017 | 4 | 2017 |
| Alvis virtual machine P Matyasik 2014 Federated Conference on Computer Science and Information Systems, 1639-1645, 2014 | 4 | 2014 |
| RobustHX-the robust middleware library for hexor robots K Kułakowski, P Matyasik International Conference on Simulation, Modeling, and Programming for …, 2010 | 4 | 2010 |
| Alvis modelling language M Szpyrka, P Matyasik, M Wypych, J Biernacki, L Podolski | 3 | 2017 |
| Extension of Alvis compiler front-end M Wypych, M Szpyrka, P Matyasik AIP Conference Proceedings 1702 (1), 2015 | 3 | 2015 |
| Generation of Java code from Alvis model P Matyasik, M Szpyrka, M Wypych AIP Conference Proceedings 1702 (1), 2015 | 3 | 2015 |
| Knowledge-based control of reactive systems with multi-layer architecture P Matyasik, GJ Nalepa 2007 14th International Conference on Mixed Design of Integrated Circuits …, 2007 | 3 | 2007 |
| A survey of Alvis communication modes M Szpyrka, J Biernacki, P Matyasik, M Wypych International Journal of Microelectronics and Computer Science 8 (1), 1-9, 2017 | 1 | 2017 |
Marcin SzpyrkaAGH University of Krakow確認したメール アドレス: agh.edu.pl
