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)



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

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem13462066402
202322
2022211
202111
202011
2019413
2018321
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ółem13427107
202322
2022211
202111
202011
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ółem1347262
202322
2022211
202111
202011
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ółem13418116
202322
2022211
202111
202011
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ółem1346569
202322
202222
202111
202011
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ółem1349044
202322
202222
202111
202011
2019431
201833
201744
201655
201588
201477
2013541
201244
201119127
2010633
2009752
20081082
2007532
2006853
2005936
2004734
2003211
200222
2001826
2000514



1
  • [artykuł w czasopiśmie, 2009]
  • TytułA conceptual model for Web Knowledge Acquisition system with GIS component
    AutorzyAntoni LIGĘZA, Sebastian ERNST, Grzegorz J. NALEPA, Marcin SZPYRKA
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2009 t. 13 z. 2, s. 421–428. — 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:

2
3
  • [referat, 2007]
  • TytułA note on granular sets and their relation to rough sets
    AutorzyAntoni LIGĘZA, Marcin SZPYRKA
    ŹródłoRough 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. — S. 251–260
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
5
  • [referat, 2015]
  • TytułAction-based verification of RTCP-nets with CADP
    AutorzyJerzy BIERNACKI, Agnieszka BIERNACKA, Marcin SZPYRKA
    ŹródłoICCMSE 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. — S. 100010-1–100010-4
  • keywords: model checking, Petri nets, RTCP-nets, verification, formal models, CADP, my calculus

    cyfrowy identyfikator dokumentu: 10.1063/1.4938887

6
  • [referat, 2005]
  • TytułAdder Designer – tools for modelling and analysis of rule-based systems
    AutorzyMarcin SZPYRKA
    ŹródłoCMS'05 : Computer Methods and Systems : 14–16 November 2005, Kraków, Poland. Vol. 1, Plenary lectures and special session papers / 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. 341–346
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • [materiały konferencyjne (red.), 2012]
  • Tytuł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
    Autorzyeds. Tomasz SZMUC, Marcin SZPYRKA, Jaroslav Zendulka
    DetailsHeidelberg, [etc.] : Springer, cop. 2012. — XII, 256, [1] s.
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-28038-2

8
  • [referat, 2002]
  • TytułAlgebraic-graphical methods of knowledge analysis and verification – theoretical aspects
    AutorzyMarcin SZPYRKA
    ŹródłoCybernetics 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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
  • [artykuł w czasopiśmie, 2001]
  • TytułAlgebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 535–543
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • [referat, 2010]
  • TytułAlvis approach to hexor robot controller development
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA
    ŹródłoMIXDES 2010 : mixed design of integrated circuits and systems : proceedings of the 17textsuperscript{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. — S. 595–600
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
  • [artykuł w czasopiśmie, 2010]
  • TytułAlvis approach to Hexor robot controller development
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA
    ŹródłoElektronika : konstrukcje, technologie, zastosowania (Warszawa). — 2010 R. 51 nr 11, s. 63–66
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12
13
  • [referat, 2018]
  • TytułAlvis data graphs
    AutorzyMarcin SZPYRKA
    ŹródłoMIXDES 2018 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : book of abstracts of 25textsuperscript{th} international conference : Gdynia, Poland, June 21–23, 2018 / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2018. — S. 118
  • keywords: embedded systems, Alvis language, formal modelling, data graphs

    cyfrowy identyfikator dokumentu: 10.23919/MIXDES.2018.8436846

14
  • [referat, 2013]
  • TytułAlvis language with time dependence
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Michał WYPYCH
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — S. 114
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15
  • [fragment książki, 2011]
  • TytułAlvis – modelling language for concurrent systems
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA
    ŹródłoIntelligent decision systems in large-scale distributed environments / eds. Pascal Bouvry, Horacio González-Vélez, Joanna Kołodziej. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 315–341
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

16
  • [artykuł w czasopiśmie, 2019]
  • TytułAn entropy-based car failure detection method based on data acquisition pipeline
    AutorzyBartosz KOWALIK, Marcin SZPYRKA
    ŹródłoEntropy [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2019 vol. 21 iss. 4 art. no. 426, s. 1–16. — tekst: https://www.mdpi.com/1099-4300/21/4/426/pdf
  • keywords: entropy, data mining, car failure detection

    cyfrowy identyfikator dokumentu: 10.3390/e21040426

17
  • [artykuł w czasopiśmie, 2015]
  • TytułAn entropy-based network anomaly detection method
    AutorzyPrzemysław Bereziński, Bartosz Jasiul, Marcin SZPYRKA
    ŹródłoEntropy [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2015 vol. 17 iss. 4, s. 2367–2408. — tekst: http://www.mdpi.com/1099-4300/17/4/2367/pdf
  • keywords: entropy, anomaly detection, malware detection

    cyfrowy identyfikator dokumentu: 10.3390/e17042367

18
  • [fragment książki, 2001]
  • TytułAnaliza czasowa modeli opisywanych sieciami Petriego
    AutorzyMarcin SZPYRKA
    ŹródłoAnaliza 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. — S. 227–241
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

19
  • [artykuł w czasopiśmie, 2006]
  • TytułAnalysis of RTCP-nets with reachability graphs
    AutorzyMarcin SZPYRKA
    ŹródłoFundamenta Informaticae. — 2006 vol. 74 no. 2–3, s. 375–390
  • keywords: RTCP-nets, analysis, coverability graphs, reachability graphs

    cyfrowy identyfikator dokumentu:

20
  • [artykuł w czasopiśmie, 2007]
  • TytułAnalysis of VME-bus communication protocol – RTCP-net approach
    AutorzyMarcin SZPYRKA
    ŹródłoReal-Time Systems. — 2007 vol. 35 iss. 1, s. 91–108. — tekst: https://goo.gl/UHxX19
  • keywords: RTCP-nets, VME-Bus

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

21
  • [artykuł w czasopiśmie, 2001]
  • TytułAnalysis, verification and design of tabular systems : logical, algebraic and graphical methods
    AutorzyAntoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 345–354
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

22
  • [referat, 2005]
  • TytułAPE – tool for modelling and analysis of concurrent systems with Petri nets
    AutorzyMarcin SZPYRKA, Piotr MATYASIK
    ŹródłoCMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions / 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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

23
  • [referat, 2005]
  • TytułApplication of RTCP-nets for design and analysis of embedded systems
    AutorzyM. SZPYRKA, T. SZMUC
    ŹródłoMIXDES 2005 : MIXed DESign of integrated circuits and systems : proceedings of the 12textsuperscript{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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

24
25