Adder Designer – tools for modelling and analysis of rule-based systems / Marcin SZPYRKA // W: CMS'05 : Computer Methods and Systems : 14–16 November 2005, Kraków, Poland. Vol. 1, Plenary lectures and special session papers = CMS'05 : metody i systemy komputerowe : V konferencja / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — Opis częśc. wg okł.. — S. 341–346. — Bibliogr. s. 346, Abstr.

Algebraic-graphical methods of knowledge analysis and verification – theoretical aspects / Marcin SZPYRKA // W: Cybernetics and systems 2002 : proceedings of the sixteenth European meeting on Cybernetics and systems research : Vienna, Austria, 2–5 April 2002, Vol. 2 / ed. Robert Trappl ; University of Vienna ; Austrian Society for Cybernetic Studies. — Vienna : ASCS, 2002. — S. 812–817. — Bibliogr. s. 816, Abstr.

Alvis approach to hexor robot controller development / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: MIXDES 2010 : mixed design of integrated circuits and systems : proceedings of the 17\textsuperscript{th} international conference : Wrocław, Poland 24–26 June, 2010 / ed. Andrzej Napieralski. — Lodz : Department of Microelectronics & Computer Science. Technical University of Lodz, cop. 2010 + CD. — ISBN: 978-83-928756-3-5. — S. 595–600. — Bibliogr. s. 600, Abstr.. — M. Szpyrka dod. afiliacja: Jan Kochanowski University

Analiza czasowa modeli opisywanych sieciami Petriego — Time analysis of models described using Petri nets / Marcin SZPYRKA // W: Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — ISBN10: 8386856335. — S. 227–241. — Bibliogr. s. 240–241, Streszcz., Abstr.

APE – tool for modelling and analysis of concurrent systems with Petri nets / Marcin SZPYRKA, Piotr MATYASIK // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 499–504. — Bibliogr. s. 503–504, Abstr.

Application of RTCP-nets for design and analysis of embedded systems / M. SZPYRKA, T. SZMUC // W: MIXDES 2005 : MIXed DESign of integrated circuits and systems : proceedings of the 12\textsuperscript{th} international conference : Kraków, Poland 22–25 June 2004, Vol. 1 of 2 / ed. Andrzej Napieralski. — [Łodź : Technical University. Department of Microelectronics and Computer Science], 2005. — S. 565–570. — Bibliogr. s. 570, Abstr.

Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego — [Knowledge base analysis (verification) with use of coloured Petri nets] / Marcin SZPYRKA, Antoni LIGĘZA, Tomasz SZMUC // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — ISBN10: 83-7085-476-1. — S. 119–126. — Bibliogr. s. 126

Design of XCCS models with Inez XCCS editor [Dokument elektroniczny / Marcin SZPYRKA, Piotr MATYASIK ; AGH University of Science and Technology. Computer Science Laboratory. Department of Automatics. — Wersja do Windows. — Dane tekstowe. — Kraków : AGH UST. DA, 2008. — 18 s.. — (CSL Technical Report ; no. 3/2008). — Tryb dostępu: http://winntbg.bg.agh.edu.pl/csl/csltr-3-2008.pdf [2008-12-11]. — Wymagania systemowe: Adobe Acrobat Reader. — Bibliogr. s. 18

Development of embedded systems – from RTCP-net model to Ada code / Marcin SZPYRKA // W: Concurrency, Specification and Programming CS&P'2006 : Wandlitz, September 27–29, 2006. Vol. 2, Specification / eds.: Gabriela Lindemann [et al.] ; Humboldt-Universität zu Berlin. — Berlin : Professoren des Institutes für Informatik, 2006. — (Informatik-Berichte ; ISSN 0863-095X ; Nr. 206). — S. 231–242. — Bibliogr. s. 242, Abstr.

D-net: a tool for verification of knowledge-based systems / Marcin SZPYRKA, Antoni LIGĘZA // W: Applied simulation and modelling : proceedings of the IASTED [The International Association of Science and Technology for Development] international conference : September 4–7, 2001 Marbella, Spain / ed. M. H. Hamza ; IASTED. — Anaheim ; Calgary ; Zurich : ACTA Press, 2001. — S. 105–110. — Bibliogr. s. 110, Abstr.

D-nets – Petri net form of rule-based systems / Marcin SZPYRKA, Tomasz SZMUC // Foundations of Computing and Decision Sciences ; ISSN 0867-6356. — 2006 vol. 31 no. 2, s. 175–190. — Bibliogr. s. 190, Abstr.. — tekst: http://fcds.cs.put.poznan.pl/FCDS/ArticleDetails.aspx?articleId=17

Dwupoziomowy algebraiczno-logiczny model bazy danych — [A two-level algebraic-logical model of database systems] / Antoni LIGĘZA, Marcin SZPYRKA // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : III krajowa konferencja : Kraków 19–21 listopada 2001 : materiały konferencyjne / red.: Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza przy współudz. Politechniki Krakowskiej i Uniwersytetu Jagiellońskiego. — Kraków : Oprogramowanie Naukowo-Techniczne, 2001. — ISBN10: 8391642003. — S. 221–226. — Bibliogr. s. 225–226, Streszcz.

Fast and flexible modelling of real-time systems with RTCP-nets — Efektywna metoda modelowania systemów czasu rzeczywistego z wykorzystaniem sieci RTCP / Marcin SZPYRKA // Computer Science ; ISSN 1508-2806. — 2004 vol. 6, s. 81–94. — Bibliogr. s. 94. — tekst: https://journals.agh.edu.pl/csci/article/view/498/379

Formal definition of XCCS modelling language / Krzysztof Balicki, Marcin SZPYRKA // W: CS&P 2008 [Dokument elektroniczny] : the 17\textsuperscript{th} international conference on Concurrency, Specification and Programming : Gross Vaeter (near Berlin), Germany 29. September – 1. October 2008, Vol. 1. — Dane tekstowe. — [Germany : s. n.], [2008]. — Ekran s. 1–12. — Tryb dostępu: http://www2.informatik.hu-berlin.de/ki/CSP2008/Volume1.pdf [2008-01-15]. — Bibliogr. ekran s. 12, Abstr.

Formal verification of real-time systems developed for single-processor platform with Alvis / Jarosław BANIEWICZ, Marcin SZPYRKA // W: MIXDES 2019 : Mixed Design of integrated circuits and systems : Rzeszów, Poland, June 27–29, 2019 : book of abstracts of 26\textsuperscript{th} international conference / ed. by Andrzej Napieralski. — Łódź : Department of Microelectronics and Computer Science. Lodz University of Technology, cop. 2019. — ISBN podany dla pełnego tekstu. — ISBN: 978-83-63578-15-2. — S. 129

Formalna analiza czasowa systemów czasu rzeczywistego — Formal time analysis of real-time systems / Marcin SZPYRKA // W: Systemy czasu rzeczywistego : VIII [ósma] konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2001. — S. 15–23. — Bibliogr. s. 22–23

Formalne podejście do projektowania elementów sterujących dla systemów czasu rzeczywistego — Formal approach to design of control elements of real-time systems / Marcin SZPYRKA // W: Systemy Czasu Rzeczywistego SCR'02 : IX [dziewiąta] konferencja : Ustroń, 16–19 września 2002 : materiały konferencyjne / red. Piotr Gaj, Andrzej Kwiecień. — Gliwice : Instytut Informatyki Politechniki Śląskiej, 2002. — S. 167–176. — Bibliogr. s. 176, Streszcz., Abstr.

Generation of labelled transition systems for Alvis models using Haskell model representation / Marcin SZPYRKA, Piotr MATYASIK, Michał WYPYCH // W: CS&P'2013 [Dokument elektroniczny] : proceedings of the international workshop : Warsaw, 25–27 September 2013 / eds. Marcin Szczuka, Ludwik Czaja, Magdalena Kacprzak. — Wersja do Windows. — Dane tekstowe. — Białystok : Białystok University of Technology, 2013. — 1 dysk optyczny. — e-ISBN: 978-83-62582-42-6. — S. [1–12]. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. [11–12], Abstr.. — W bazie Scopus wersja wydana w ramach serii: CEUR Workshop Proceedings ; ISSN 1613-0073, vol. 1032 s. 409–420

Graph representation of hierarchical Alvis model structure / L. KOTULSKI, M. SZPYRKA // W: FCS 2011 : proceedings of the 2011 international conference on Foundations of Computer Science : Worldcomp'11 : July 18–21, 2011, Las Vegas Nevada, USA / eds. Hamid R. Arabnia, George A. Gravvanis, Ashu M. G. Solo. — USA : CSREA Press, cop. 2011. — ISBN10: 1-60132-179-1. — S. 95–101. — Bibliogr. s. 101, Abstr.

Haskell approach to rule-based systems analysis / Marcin SZPYRKA // W: CMS'09 : Computer Methods and Systems : 7\textsuperscript{th} conference : 26–27 November 2009, Kraków, Poland / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Wojciech Mitkowski, Maciej Szymkat ; AGH University of Science and Technology Cracow. — Kraków : Oprogramowanie Naukowo-Techniczne, 2009. — ISBN10: 83-916420-5-4. — S. 111–116. — Bibliogr. s. 116, Abstr.

Implementacja w języku Ada systemów współbieżnych modelowanych za pomocą RTCP-sieci — [Ada implementation of concurrent systems modelled with RTCP-nets] / Marcin SZPYRKA, Piotr MATYASIK // W: Systemy czasu rzeczywistego : praca zbiorowa. T. 1, Kierunki badań i rozwoju / pod red. Andrzeja Kwietnia. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2005. — S. 81–90. — Bibliogr. s. 90

Introduction to Alvis internal language syntax [Dokument elektroniczny] / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA ; AGH University of Science and Technology. Department of Automatics. Computer Science Laboratory. — Wersja do Windows. — Dane tekstowe. — Kraków : AGH, 2010. — 14 s.. — (CSL Technical Report ; no. 1/2010). — Tryb dostępu: http://winntbg.bg.agh.edu.pl/csl/csltr-1-2010.pdf [2010-12-08]. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 14

Introduction to Alvis modelling language / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Krzysztof Balicki // W: KNWS'11 : materiały 8. konferencji naukowej „Informatyka – sztuka czy rzemiosło” : Karpacz, 7–10 czerwca 2011 : preprint. — [Polska : s. n.], [2011]. — S. 185–190. — Bibliogr. s. 188, Abstr.

Modelling of signals handling with Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // W: MIXDES 2011 : mixed design of integrated circuits and systems : 18\textsuperscript{th} international conference : Gliwice, Poland, 16–18 June, 2011 : book of abstracts / ed. Andrzej Napieralski. — Łódź : Technical University of Łódź. Department of Microelectronics & Computer Science, cop. 2011. — S. 160. — Pełny tekst W: MIXDES 2011 [Dokument elektroniczny] : mixed design of integrated circuits and systems : proceedings of the 18th international conference : Gliwice, Poland, 16–18 June 2011. — Wersja do Windows. — Dane tekstowe / ed. Andrzej Napieralski. — [Poland : Technical University of Łódź. Department of Microelectronics & Computer Science], cop. 2011. — S. 627–631. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. 631, Abstr. — ISBN 978-83-932075-0-3. — Marcin Szpyrka – dod. afiliacja: Institute of Physics, Jan Kochanowski University, Kielce

Modelowanie komunikacji w systemie rozproszonym z wykorzystaniem RTCP-sieci — [Modelling of communication in distributed systems with RTCP-nets] / Marcin SZPYRKA, Adam PIÓRKOWSKI // W: Współczesne problemy systemów czasu rzeczywistego : praca zbiorowa / pod red.: Andrzeja Kwietnia i Piotra Gaja. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — ISBN10: 8320430232. — S. 93–102. — Bibliogr. s. 101–102