Wykaz publikacji wybranego autora

Marcin Szpyrka, prof. dr hab.

profesor zwyczajny

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

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

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

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-4925-3271 orcid iD

ResearcherID: B-8372-2013

Scopus: 6507007631

PBN: 5e70922c878c28a047391204

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • 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 : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 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:

2
3

  • 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 ; e-ISBN: 978-3-540-73451-2. — 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:

4
5

  • 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, my calculus

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

    cyfrowy identyfikator dokumentu: 10.1063/1.4938887

6
7

  • Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych — Algebraic-graphical methods of knowledge representation for analysis and verification of attributive tabular systems / Marcin SZPYRKA, Tomasz SZMUC // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 535–543. — Bibliogr. s. 543, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

8

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

9

  • Alvis approach to modeling and verification of real-time systems running on single-processor environment / Marcin SZPYRKA, Jarosław BANIEWICZ, Andrei KARATKEVICH // IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2169-3536. — 2022 vol. 10, s. 104178–104189. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 104188–104189, Abstr.. — Publikacja dostępna online od: 2022-09-26. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9903617

    orcid iD

  • keywords: system verification, Alvis language, discrete time systems, formal languages, system analysis and design, single processor hardware

    Zobacz pełny wykaz publikacji Autora/Autorów: Jarosław Baniewicz, Andrei Karatkevich

    cyfrowy identyfikator dokumentu: 10.1109/ACCESS.2022.3210191

10

  • Alvis data graphs / Marcin SZPYRKA // W: MIXDES 2018 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : book of abstracts of 25\textsuperscript{th} international conference : Gdynia, Poland, June 21–23, 2018 / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2018. — ISBN na podstawie bazy Web of Science. — ISBN: 978-8-3635-7814-5. — S. 118. — Wymagania systemowe: Adobe Reader. — Pełny tekst dostępny online: {https://ieeexplore-1ieee-1org-1000047w20065.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==8436846} [2018-11-23]. — S.409–415. — Wymagania systemowe: Adobe Reader. — Bibliogr. s.414–415, Abstr.

    orcid iD

  • keywords: embedded systems, Alvis language, formal modelling, data graphs

    cyfrowy identyfikator dokumentu: 10.23919/MIXDES.2018.8436846

11

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

12

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

13

  • An entropy-based car failure detection method based on data acquisition pipeline / Bartosz KOWALIK, Marcin SZPYRKA // Entropy [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1099-4300. — 2019 vol. 21 iss. 4 art. no. 426, s. 1–16. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 16, Abstr.. — Publikacja dostępna online od: 2019-04-22. — tekst: https://www.mdpi.com/1099-4300/21/4/426/pdf

    orcid iD

  • keywords: entropy, data mining, car failure detection

    Zobacz pełny wykaz publikacji Autora/Autorów: Bartosz Kowalik

    cyfrowy identyfikator dokumentu: 10.3390/e21040426

14

  • An entropy-based network anomaly detection method / Przemysław Bereziński, Bartosz Jasiul, Marcin SZPYRKA // Entropy [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1099-4300. — 2015 vol. 17 iss. 4, s. 2367–2408. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 2399–2408, Abstr.. — Publikacja dostępna online od: 2015-04-20. — tekst: http://www.mdpi.com/1099-4300/17/4/2367/pdf

  • keywords: entropy, anomaly detection, malware detection

    cyfrowy identyfikator dokumentu: 10.3390/e17042367

15

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

16

  • Analysis of VME-bus communication protocol – RTCP-net approach / Marcin SZPYRKA // Real-Time Systems ; ISSN 0922-6443. — 2007 vol. 35 iss. 1, s. 91–108. — Bibliogr. s. 107, Abstr.. — Publikacja dostępna online od: 2006-09-01. — tekst: https://goo.gl/UHxX19

  • keywords: RTCP-nets, VME-Bus

    cyfrowy identyfikator dokumentu: 10.1007/s11241-006-9003-0

17

  • Analysis, verification and design of tabular systems : logical, algebraic and graphical methods — Analiza, weryfikacja i projektowanie systemów tablicowych : metody logiczne, algenraiczne i graficzne / Antoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 345–354. — Bibliogr. s. 353–354, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Tomasz Bartłomiej Szmuc, Piotr Szwed, Grzegorz Jacek Nalepa, Igor Wojnicki

    cyfrowy identyfikator dokumentu:

18
19

  • Architektura autonomicznego robota mobilnego z dynamicznym modelem świata — Autonomous mobile robot architecture with dynamic world model / Konrad KUŁAKOWSKI, Jarosław WĄS, Marcin SZPYRKA // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2008 t. 12 z. 3, s. 821–831. — Bibliogr. s. 830–831, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2008-03/Auto22.pdf

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Konrad Kułakowski, Jarosław Wąs

    cyfrowy identyfikator dokumentu:

20

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

21

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

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

    cyfrowy identyfikator dokumentu:

22
23

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

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2016.7529784

24

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

    cyfrowy identyfikator dokumentu:

25

  • Conformance checking of a longwall shearer operation based on low-level events / Marcin SZPYRKA, Edyta BRZYCHCZY, Aneta NAPIERAJ, Jacek Korski, Grzegorz J. NALEPA // Energies [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1996-1073. — 2020 vol. 13 iss. 24 art. no. 6630, s. 1–18. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 16–18, Abstr.. — Publikacja dostępna online od: 2020-12-15. — G. Nalepa – dod. afiliacja: Jagiellonian University. — tekst: https://www.mdpi.com/1996-1073/13/24/6630/pdf

    orcid iD

  • keywords: Petri nets, underground mining, shearer, sensor data, conformance checking, industrial process

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa, Edyta Brzychczy, Aneta Napieraj

    cyfrowy identyfikator dokumentu: 10.3390/en13246630