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)





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


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
2
  • [referat w czasopiśmie, 2005]
  • TytułA formal approach to modelling of real-time systems using RTCP-nets
    AutorzyMarcin SZPYRKA, Tomasz SZMUC, Piotr MATYASIK, Wojciech SZMUC
    ŹródłoFoundations of Computing and Decision Sciences. — 2005 vol. 30 no. 1, s. 61–71. — tekst: http://fcds.cs.put.poznan.pl/FCDS/ArticleDetails.aspx?articleId=31
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
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
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
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.
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
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
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
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
12
  • [artykuł w czasopiśmie, 2022]
  • TytułAlvis approach to modeling and verification of real-time systems running on single-processor environment
    AutorzyMarcin SZPYRKA, Jarosław BANIEWICZ, Andrei KARATKEVICH
    ŹródłoIEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2022 vol. 10, s. 104178–104189. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9903617
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
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
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
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
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
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
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
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
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
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
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
24
25
  • [artykuł w czasopiśmie, 2008]
  • TytułArchitektura autonomicznego robota mobilnego z dynamicznym modelem świata
    AutorzyKonrad KUŁAKOWSKI, Jarosław WĄS, Marcin SZPYRKA
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2008 t. 12 z. 3, s. 821–831. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2008-03/Auto22.pdf