Wykaz publikacji wybranego autora

Piotr Matyasik, dr inż.

adiunkt

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-5003-2439 połącz konto z ORCID

ResearcherID: K-5783-2013

Scopus: 23397806800

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
2
3

  • Alvis approach to Hexor robot controller development — Zastosowanie języka Alvis do projektowania sterownika dla robota Hexor / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // Elektronika : konstrukcje, technologie, zastosowania (Warszawa) ; ISSN 0033-2089. — Tytuł poprz.: Przegląd Elektroniki. — 2010 R. 51 nr 11, s. 63–66. — Bibliogr. s. 66, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

4

  • Alvis language with time dependence / Marcin SZPYRKA, Piotr MATYASIK, Michał WYPYCH // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — Opis częśc. wg okł.. — ISBN: 978-1-4673-4471-5. — S. 114. — Pełny tekst na dołączonym Dysku Flash. — S. 1615–1620. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1620, Abstr.. — W bazie Web of Science wersja drukowana: 2013 Federated Conference on Computer Science and Information Systems. — ISBN 978-1-4673-4471-5. — S. 1565–1570

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Michał Wypych

    cyfrowy identyfikator dokumentu:

5

  • Alvis – modelling language for concurrent systems / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: Intelligent decision systems in large-scale distributed environments / eds. Pascal Bouvry, Horacio González-Vélez, Joanna Kołodziej. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 362). — ISBN: 978-3-642-21270-3. — S. 315–341. — Bibliogr. s. 340–341, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

6

  • Alvis Virtual Machine / Piotr MATYASIK // W: FedCSIS [Dokument elektroniczny] : preprints of the Federated Conference on Computer Science and Information Systems : [Warsaw, Poland, 7 - 10 September, 2014] / PTI Polish Information Processing Society. — Wersja do Windows. — Dane tekstowe. — [Piscataway : IEEE], [2014]. — Dysk Flash. — e-ISBN: 978-83-60810-58-3. — S. 1669–1675. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1675, Abstr.. — W bazie Web of Science: 2014 Federated Conference on Computer Science and Information Systems (FEDCSIS). — ISBN 978-83-60810-58-3. — S. 1639–1645

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.15439/2014F267

7

  • Communication between agents in Alvis language / Piotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI // W: MIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23\textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — Dysk Flash. — e-ISBN: 978-8-3635-7808-4. — S. 128. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 128. — Pełny tekst pod adresem {http://wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==7529784}. — S.448–453. - Bibliogr. s.453, Abstr.

  • keywords: embedded systems, concurrent systems, Alvis language, non blocking communication, blocking communication

    Zobacz pełny wykaz publikacji Autora/Autorw: Marcin Szpyrka, Michał Wypych, Jerzy Biernacki

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2016.7529784

8

  • Communication with environment in Alvis models / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // International Journal of Electronics and Telecommunications ; ISSN 2081-8491. — Tytuł poprz.: Kwartalnik Elektroniki i Telekomunikacji = Electronics and Telecommunications Quarterly. — 2012 vol. 58 no. 3, s. 247–254. — Bibliogr. s. 254, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Leszek Kotulski, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

9

  • 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.

  • keywords: formal verification, Alvis language, Alvis Compiler, compiler plugins

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Michał Wypych

    cyfrowy identyfikator dokumentu: 10.1063/1.4938892

10
11

  • 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.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu: 10.1109/ISPDC.2008.26

12

  • 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.

  • keywords: embedded systems, formal verification, Alvis modelling language, Alvis to Java translation, executable model

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Michał Wypych

    cyfrowy identyfikator dokumentu: 10.1063/1.4938890

13

  • Graphical modelling tool for CCS process algebra / Marcin SZPYRKA, Piotr MATYASIK // W: Software engineering techniques in progress / eds. Tomáš Hruška, Lech Madeyski, Mirosław Ochodek. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2008. — Prace prezentowane na konferencji: CEE-SET 2008 : the 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques : Brno, Czech Republic, October 13–15, 2008. — ISBN: 978-83-7493-421-3. — S. 81–94. — Bibliogr. s. 94, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

14

  • 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.

  • keywords: Alvis language, hierarchical communication diagrams, flat representation, analysis operation, synthesis operation

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Leszek Kotulski, Michał Wypych, Agnieszka Biernacka, Jerzy Biernacki

    cyfrowy identyfikator dokumentu:

15

  • Introduction to Alvis modelling language — Wprowadzenie do języka modelowania Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Krzysztof Balicki // Pomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR ; ISSN 0032-4140. — 2011 vol 57 nr 9, s. 1086–1089. — Bibliogr. s. 1089, Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

16

  • Introduction to modelling embedded systems with Alvis — Wprowadzenie do modelowania systemów wbudowanych w języku Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Leszek KOTULSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 2, s. 435–442. — Bibliogr. s. 442, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-02/Auto43.pdf

  • słowa kluczowe: metody formalne, Alvis, weryfikacja systemów wbudowanych, modelowanie systemów wbudowanych

    keywords: formal methods, Alvis, embedded systems modelling, embedded systems verification

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Leszek Kotulski, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

17

  • Knowledge-based control of reactive systems with multi-layer architecture / P. MATYASIK, G. J. NALEPA // W: MIXDES 2007 : MIXed DESign of integrated circuits and systems : proceedings of the 14\textsuperscript{th} international conference : Ciechocinek, Poland, 21–23 June, 2007 / ed. Andrzej Napieralski. — [Łódź : Technical University of Łódź. Department of Microelectronics and Computer Science], cop. 2007. — ISBN: 978-83-922632-4-1. — S. 667–672. — Bibliogr. s. 672, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa

    cyfrowy identyfikator dokumentu:

18
19
20

  • Modelling Hexor robot behaviour with value passing XCCS / Marcin SZPYRKA, Piotr MATYASIK // W: IFIP 2009 : Software Engineering Techniques in Progress : [the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009 : Kraków, Poland, October 12–14, 2009] / eds. Zbigniew Huzar, Jerzy Nawrocki, Marcin Szpyrka. — Kraków : AGH University of Science and Technology Press, 2009. — ISBN: 978-83-7464-259-0. — S. 67–78. — Bibliogr. s. 77–78, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

21

  • Modelowanie systemów wbudowanych w języku Alvis — [Modelling of embedded systems with Alvis language] / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: Metody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — ISBN: 978-83-206-1780-1. — S. 25–35. — Bibliogr. s. 35. — M. SZPYRKA – dod. afiliacja: Uniwersytet Humanistyczno-Przyrodniczy Jana Kochanowskiego w Kielcach, Instytut Fizyki

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

22

  • 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.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa, Piotr Zięcik

    cyfrowy identyfikator dokumentu:

23

  • 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

  • keywords: intelligent autonomous robots, robotic middleware, Robust library

    Zobacz pełny wykaz publikacji Autora/Autorów: Konrad Kułakowski

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-40776-5_12

24

  • 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

  • keywords: mobile robot, hardware platform, touch sensor, sonar sensor, Java virtual machine

    Zobacz pełny wykaz publikacji Autora/Autorów: Konrad Kułakowski

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-17319-6_24

25

  • Specyfikacja otoczenia systemów wbudowanych modelowanych w języku Alvis — [Specification of embedded systems environment for Alvis models] / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: Projektowanie, analiza i implementacja systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2011. — Na s. red. błędny ISBN: 878-83-206-1822-8. — ISBN: 978-83-206-1822-8. — S. 65–75. — Bibliogr. s. 74–75. — Marcin Szpyrka – dod. afiliacja: Uniwersytet Humanistyczno-Przyrodniczy Jana Kochanowskiego w Kielcach, Instytut Fizyki

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Rafał Mrówka

    cyfrowy identyfikator dokumentu: