Wykaz publikacji wybranego autora

Marcin Szpyrka, prof. dr hab.

profesor nadzwyczajny

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

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-4925-3271

ResearcherID: B-8372-2013

Scopus: 6507007631

PBN: 909865

System Informacyjny AGH (SkOs)

Opisy publikacji wcześniejszych zobacz: bpp.agh.edu.pl/old.

Liczba pozycji spełniających powyższe kryteria selekcji: 89, z ogólnej liczby 90 publikacji Autora

1

  • Action-based verification of RTCP-nets with CADP / Jerzy BIERNACKI, Agnieszka BIERNACKA, Marcin SZPYRKA // 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. 100010-1–100010-4. — Bibliogr. s. 100010-4, Abstr.

  • keywords: model checking, Petri nets, RTCP-nets, verification, formal models, CADP, μ calculus

    Zobacz pełny wykaz publikacji Autora/Autorów: Agnieszka Biernacka, Jerzy Biernacki

    cyfrowy identyfikator dokumentu: 10.1063/1.4938887

2

  • Advances in software engineering techniques : 4th IFIP TC 2 Central and East European conference on Software Engineering Techniques, CEE-SET 2009 : Krakow, Poland, October 12–14, 2009 : revised selected papers / eds. Tomasz SZMUC, Marcin SZPYRKA, Jaroslav Zendulka. — Heidelberg, [etc.] : Springer, cop. 2012. — XII, 256, [1] s.. — (Lecture Notes in Computer Science ; ISSN 0302-9743). — Bibliogr. przy rozdz., Index. — ISBN: 978-3-642-28037-5

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

3

  • 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

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

4

  • 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: Piotr Matyasik, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

5

  • 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: Piotr Matyasik, Michał Wypych

    cyfrowy identyfikator dokumentu:

6

  • 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: Piotr Matyasik, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

7

  • Analysis of RTCP-nets with reachability graphs / Marcin SZPYRKA // Fundamenta Informaticae ; ISSN 0169-2968. — 2006 vol. 74 no. 2–3, s. 375–390. — Bibliogr. s. 390, Abstr.

  • keywords: RTCP-nets, analysis, coverability graphs, reachability graphs

    cyfrowy identyfikator dokumentu:

8
9
10
11

  • A conceptual model for Web Knowledge Acquisition system with GIS component — Model konceputualny sieciowego systemu akwizycji wiedzy z komponentem GIS / Antoni LIGĘZA, Sebastian ERNST, Grzegorz J. NALEPA, Marcin SZPYRKA // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2009 t. 13 z. 2, s. 421–428. — Bibliogr. s. 428, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2009-02/Auto29.pdf

  • słowa kluczowe: zarządzanie wiedzą, GIS, rozproszone pozyskiwanie wiedzy w sieci, semantyczne wiki

    keywords: knowledge management, GIS, distributed web knowledge acquisition, semantis wikis

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Grzegorz Jacek Nalepa, Sebastian Ernst

    cyfrowy identyfikator dokumentu:

12

  • A note on granular sets and their relation to rough sets / Antoni LIGĘZA, Marcin SZPYRKA // W: Rough sets and intelligent systems paradigms : international conference, RSEISP 2007 : Warsaw, Poland, June 28–30, 2007 : proceedings / eds. Marzena Kryszkiewicz [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2007. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 4585). — ISBN: 978-3-540-73450-5. — S. 251–260. — Bibliogr. s. 260, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu:

13

  • A survey of Alvis communication modes / Marcin SZPYRKA, Jerzy BIERNACKI, Piotr MATYASIK, Michał WYPYCH // International Journal of Microelectronics and Computer Science ; ISSN 2080-8755. — 2017 vol. 8 no. 1, s. 1–9. — Bibliogr. s. 8–9, Abstr.

  • keywords: real-time systems, Alvis language, communication modes, concurrent systems

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik, Michał Wypych, Jerzy Biernacki

    cyfrowy identyfikator dokumentu:

14

  • CEE-SET 2009 : preprint of the proceedings of the 4th IFIP TC2 Central and East European conference on Software Engineering Techniques : Kraków, Poland, October 12–14, 2009 / eds. Tomasz SZMUC, Marcin SZPYRKA, Jaroslav Zendulka. — [Kraków : AGH], [2009]. — 297, [1] s.. — Bibliogr. przy rozdz., Indeks

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

15

  • Classifiers for behavioral patterns identification induced from huge temporal data / Jan G. Bazan, Marcin SZPYRKA, Adam Szczur, Łukasz Dydo, Hubert Wojtowicz // CEUR Workshop Proceedings ; ISSN 1613-0073. — 2014 vol. 1269, s. 22–33. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://ceur-ws.org/Vol-1269/paper22.pdf [2014-10-30]. — Bibliogr. s. 33, Abstr.. — M. Szpyrka – dod. afiliacja: University of Rzeszów

  • keywords: classifiers, huge temporal data, temporal patterns, state graphs, behavioral patterns, LTL temporal logic

    cyfrowy identyfikator dokumentu:

16

  • Classifiers for behavioral patterns identification induced from huge temporal data / Jan G. Bazan, Marcin SZPYRKA, Adam Szczur, Łukasz Dydo, Hubert Wojtowicz // Fundamenta Informaticae ; ISSN 0169-2968. — 2016 vol. 143, no. 1-2, s. 19–34. — Bibliogr. s. 32–34, Abstr.. — Publikacja dostępna online od: 2016-02-02. — M. Szpyrka - dod. afiliacja: University of Rzeszów

  • keywords: classifiers, huge temporal data, temporal patterns, state graphs, behavioral patterns, LTL temporal logic

    cyfrowy identyfikator dokumentu: 10.3233/FI-2016-1301

17

  • 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, nonblocking communication, blocking communication

    Zobacz pełny wykaz publikacji Autora/Autorw: Piotr Matyasik, Michał Wypych, Jerzy Biernacki

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2016.7529784

18

  • Communication with environment in Alvis models / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // International Journal of Electronics and Telecommunications ; ISSN 0867-6747. — 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: Piotr Matyasik, Leszek Kotulski, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

19

  • Decision tables in Petri net models / Marcin SZPYRKA, Tomasz SZMUC // W: Rough sets and intelligent systems paradigms : international conference, RSEISP 2007 : Warsaw, Poland, June 28–30, 2007 : proceedings / eds. Marzena Kryszkiewicz [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2007. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 4585). — ISBN: 978-3-540-73450-5. — S. 648–657. — Bibliogr. s. 657, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

20

  • Design and analysis of rule-based systems with adder designer / Marcin SZPYRKA // W: Knowledge – driven computing : knowledge engineering and intelligent computations / eds. Carlos Cotta, Simeon Reich, Robert Schaefer, Antoni Ligęza. — Berlin, Heidelberg : Springer-Verlag, 2008. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 102). — ISBN: 978-3-540-77474-7. — S. 255–271. — Bibliogr. s. 270–271

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

21

  • Design and verification of rule-based systems for Alvis models / Marcin SZPYRKA, Tomasz SZMUC // W: Rough sets and intelligent systems – Profesor Zdzisław Pawlak in memoriam, Vol. 2 / eds. Andrzej Skowron, Zbigniew Suraj. — Berlin ; Heidelberg : Springer-Verlag, 2013. — (Intelligent Systems Reference Library ; ISSN 1868-4394 ; vol. 43). — ISBN: 978-3-642-30340-1. — S. 539–558. — Bibliogr. s. 558, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

22

  • 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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik

    cyfrowy identyfikator dokumentu:

23

  • Detection and modeling of cyber attacks with Petri nets / Bartosz Jasiul, Marcin SZPYRKA, Joanna Śliwa // Entropy ; ISSN 1099-4300. — 2014 vol. 16 iss. 12, s. 6602–6623. — Bibliogr. s. 6620–6623, Abstr.. — Publikacja dostępna online od: 2014-12-19. — tekst: http://www.mdpi.com/1099-4300/16/12/6602/pdf

  • keywords: malware, cyber attack, Colored Petri net, malware detection, behavioral analysis

    cyfrowy identyfikator dokumentu: 10.3390/e16126602

24

  • Detekcja zakleszczenia w systemie ABS z zastosowaniem języka Alvis — [Deadlock detection in ABS system – Alvis approach] / Jarosław Baniewicz, Marcin SZPYRKA // 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. 77–86. — Bibliogr. s. 86. — Marcin Szpyrka – dod. afiliacja: Uniwersytet Humanistyczno-Przyrodniczy Jana Kochanowskiego w Kielcach, Instytut Fizyki, Kielce

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

25

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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: