Wykaz publikacji wybranego autora

Marcin Szpyrka, prof. dr hab.

profesor zwyczajny

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

[dyscyplina wiodąca] 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

ResearcherID: B-8372-2013

Scopus: 6507007631

PBN: 909865

OPI Nauka Polska

System Informacyjny AGH (SkOs)



Statystyka obejmuje publikacje afiliowane AGH od 2008 roku włącznie

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem12862064362
2019413
20183111
2017413
2016523
2015871
2014734
20135113
20124112
2011193124
2010611211
20097232
20081013321
2007541
20068143
20059351
20047241
2003211
200222
20018332
20005221
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem12826102
201944
201833
201744
201655
201588
201477
2013514
201244
201119316
2010624
200977
20081037
2007514
200688
2005918
2004734
200322
2002211
2001862
200055
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem1287157
2019422
2018312
2017413
2016532
2015817
2014716
2013532
2012413
201119109
201066
2009761
20081064
2007523
2006853
2005954
2004743
2003211
2002211
2001871
200055
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem12814114
2019413
2018312
2017422
2016532
2015817
2014725
201355
201244
20111919
201066
2009716
20081010
2007514
2006817
200599
2004716
200322
200222
200188
200055
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem1285969
2019431
201833
201744
201655
2015871
2014752
2013541
201244
201119118
2010633
2009725
20081055
2007532
200688
200599
200477
200322
200222
200188
200055
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem1288048
2019431
201833
201744
201655
201588
201477
2013541
201244
201119127
2010633
2009752
20081082
2007523
2006835
2005936
2004734
2003211
200222
2001826
200055



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

    cyfrowy identyfikator dokumentu: 10.1063/1.4938887

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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

    cyfrowy identyfikator dokumentu:

7
  • Alvis approach to Hexor robot controller developmentZastosowanie 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

    cyfrowy identyfikator dokumentu:

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

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

    cyfrowy identyfikator dokumentu: 10.23919/MIXDES.2018.8436846

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

    cyfrowy identyfikator dokumentu:

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

    cyfrowy identyfikator dokumentu:

11
  • Analiza czasowa modeli opisywanych sieciami PetriegoTime 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.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

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

14
  • Analysis, verification and design of tabular systems : logical, algebraic and graphical methodsAnaliza, 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 = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 345–354. — Bibliogr. s. 353–354, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

  • keywords: entropy, data mining, car failure detection

    cyfrowy identyfikator dokumentu: 10.3390/e21040426

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

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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

19
20
  • Architektura autonomicznego robota mobilnego z dynamicznym modelem świataAutonomous mobile robot architecture with dynamic world model / Konrad KUŁAKOWSKI, Jarosław WĄS, Marcin SZPYRKA // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 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

    cyfrowy identyfikator dokumentu:

21
  • A conceptual model for Web Knowledge Acquisition system with GIS componentModel 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

    cyfrowy identyfikator dokumentu:

22
23
  • 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

    cyfrowy identyfikator dokumentu:

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

    cyfrowy identyfikator dokumentu:

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

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: