Extension of Alvis Compiler front-end / Michał WYPYCH, Marcin SZPYRKA, Piotr MATYASIK // W: ICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — (AIP Conference Proceedings ; ISSN 0094-243X ; 1702). — ISBN: 978-0-7354-1349-8. — S. 100015\-1–100015-4. — Bibliogr. s. 100015-4, Abstr.

Formal description of Alvis language with $\alpha^{0}$ system layer / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // Fundamenta Informaticae ; ISSN 0169-2968. — 2014 vol. 129 no. 1/2, s. 161–176. — Bibliogr. s. 175–176, Abstr.. — tekst: https://eds-1p-1ebscohost-1com-1s4pnp9hb0064.wbg2.bg.agh.edu.pl/eds/viewarticle/render?data=dGJyMPPp44rp2%2fdV0%2bnjisfk5Ie46bRRtq6vTq6k63nn5Kx94um%2bS62ntkewprBKnq%2b4SLOwsUyet8s%2b8ujfhvHX4Yzn5eyB4rOvTrSotFGxqbNIpOnnfLuntn6227V%2b5KOwUbeqq0yzpuNFtqexfqvcsnqy3LJ%2b49fke7e28H3i3%2fE%2b6tfsf7vm6j7i2Lt58eSkjN%2fdu1nMnN%2bGu6%2bySK6trkiznOSH8OPfjLvm4n7E6%2bqE0tv2jAAA&vid=8&sid=18f8e7ff-2994-450e-813f-f4b4f4feafc9@redis

Formal modelling and verification of concurrent systems with XCCS / Marcin SZPYRKA, Piotr MATYASIK // W: ISPDC 2008 : proceedings of the 7th International Symposium on Parallel and Distributed Computing : 1–5 July 3008, Krakow, Poland / eds. Marek Tudruj. — Los Alamitos, California ; Washington ; Tokyo : CPS Conference Publishing Services, IEEE Computer Society, cop. 2008. — ISBN: 978-0-7695-3472-5. — S. 454–458. — Bibliogr. s. 458, Abstr.

Generation of Java code from Alvis model / Piotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH // W: ICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — (AIP Conference Proceedings ; ISSN 0094-243X ; 1702). — ISBN: 978-0-7354-1349-8. — S. 100013-1–100013-4. — Bibliogr. s. 100013-4, Abstr.

Hierarchical communication diagrams / Marcin SZPYRKA, Piotr MATYASIK, Jerzy BIERNACKI, Agnieszka BIERNACKA, Michał WYPYCH, Leszek KOTULSKI // Computing and Informatics / Slovak Academy of Sciences. Institute of Informatics ; ISSN 1335-9150. — Tytuł poprz.: Computers and Artificial Intelligence. — 2016 vol. 35 no. 1, s. 55–83. — Bibliogr. s. 80–82, Abstr.

Modeling indoor lighting inspection robot behavior using Concurrent Communicating Lists / Konrad KUŁAKOWSKI, Piotr MATYASIK, Sebasian ERNST // Expert Systems with Applications ; ISSN 0957-4174. — 2014 vol. 41 iss. 4 pt. 1, s. 984–989. — Bibliogr. s. 989, Abstr.. — Publikacja dostępna online od: 2013-07-19. — tekst: https://www.sciencedirect.com/science/article/pii/S0957417413004600/pdfft?md5=22d37e9f1daee5438226c61880fe826a&pid=1-s2.0-S0957417413004600-main.pdf

Practical approach to modelling and verification of concurrent systems with Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: ECMS 2011 : 25\textsuperscript{th} European Conference on Modelling and Simulation : June 7\textsuperscript{th}–10\textsuperscript{th}, 2011, Krakow, Poland : proceedings / eds. Tadeusz Burczyński, Joanna Kołodziej, Aleksander Byrski, Marco Carvalho. — [Kraków : s. n.], [2011] + CD-ROM. — Dod.: ISBN 978-0-9564944-3-6 (CD). — ISBN: 978-0-9564944-2-9. — S. 539–545. — Bibliogr. s. 544–545, Abstr.

Prolog-based real-time intelligent control of the Hexor mobile robot / Piotr MATYASIK, Grzegorz J. NALEPA, Piotr ZIĘCIK // W: KI 2007: advances in artificial intelligence : 30th annual German conference on AI, KI 2007 : Osnabrück, Germany, September 10–13, 2007 : proceedings / eds. Joachim Hertzberg, Michael Beetz, Roman Englert. — Berlin ; Heidelberg : Springer-Verlag, 2007. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; LNAI 4667). — Opis częśc. wg okł.. — ISBN: 978-3-540-74564-8 ; ISBN10: 3-540-74564-5 ; e-ISBN: 978-3-540-74565-5. — S. 485–488. — Bibliogr. s. 488, Abstr.

Robust PI – the simulation Robust library component for Pioneer 3DX / Konrad KUŁAKOWSKI, Piotr MATYASIK // W: Multiagent system technologies : 11th German conference, MATES 2013, Koblenz, Germany, September 16–20, 2013 : proceedings / ed. Matthias Klusch, Matthias Thimm, Marcin Paprzycki. — Berlin Heidelberg : Springer, 2013. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 8076. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-40775-8 ; e-ISBN: 978-3-642-40776-5. — S. 115–123

RobustHX – The Robust middleware library for Hexor robots / Konrad KUŁAKOWSKI, Piotr MATYASIK // W: SIMPAR 2010 : Simulation, modelling, and programming for autonomous robots : second international conference : Darmstadt, Germany, November 15–18, 2010 / eds.: Noriaki Ando, Stephen Balakirsky, Thomas Hemker, Monica Reggiani, Oskar von Stryk. — Berlin ; Heidelberg : Springer, 2010. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6472. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-17318-9. — S. 241–250. — Bibliogr. s. 249–250, Abstr.. — tekst: https://link.springer.com/content/pdf/10.1007/978-3-642-17319-6.pdf?pdf=button

Specification of embedded systems environment behaviour with Alvis modelling language / M. SZPYRKA, L. KOTULSKI, P. MATYASIK // W: ESA 2011 : proceedings of the 2011 international conference on Embedded Systems & Applications : July 18–21, 2011, Las Vegas / eds. Hamid R. Arabnia, Ashu M. G. Solo. — USA : CSREA Press, cop. 2011. — ISBN10: 1-60132-178-3. — S. 79–85. — Bibliogr. s. 85, Abstr.