Wykaz publikacji wybranego autora

Marcin Szpyrka, prof. dr hab.

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 ResearcherID: B-8372-2013 Scopus: 6507007631 PBN: 5e70922c878c28a047391204	OPI Nauka Polska System Informacyjny AGH (SkOs)

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)


Zakres roczników od
Typ publikacji
Publikacje z LF
Publikacje z PM

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

wydruk:

sortowanie:

1

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

2

A formal approach to modelling of real-time systems using RTCP-nets
A formal approach to modelling of real-time systems using RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC, Piotr MATYASIK, Wojciech SZMUC // Foundations of Computing and Decision Sciences ; ISSN 0867-6356. — 2005 vol. 30 no. 1, s. 61–71. — Bibliogr. s. 70–71, Abstr.. — National Software Engineering Conference (KKIO'2004) sympozjum : 5-8 October 2004, Gdańsk, Poland. — tekst: http://fcds.cs.put.poznan.pl/FCDS/ArticleDetails.aspx?articleId=31

3

A note on granular sets and their relation to rough sets
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.

4

A survey of Alvis communication modes
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.. — tekst: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-7e1b9319-f0af-436d-841d-ad0a30250054/c/Szpyrka_Biernacki_Matyasik_Wypych_A_survey_1_2017.pdf

5

Action-based verification of RTCP-nets with CADP
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.

6

Adder Designer – tools for modelling and analysis of rule-based systems
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.

7

Advances in software engineering techniques
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 ; LNCS 7054. Programming and Software Engineering ; ISSN 2945-915X). — Bibliogr. przy rozdz., Index. — ISBN: 978-3-642-28037-5 ; e-ISBN: 978-3-642-28038-2. — tekst: https://link-1springer-1com-1000048es0002.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-642-28038-2.pdf

8

Algebraic-graphical methods of knowledge analysis and verification – theoretical aspects
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.

9

Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych
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.

10

Alvis approach to hexor robot controller development
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

11

Alvis approach to Hexor robot controller development
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.

12

Alvis approach to modeling and verification of real-time systems running on single-processor environment
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

13

Alvis data graphs
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.

14

Alvis language with time dependence
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

15

Alvis – modelling language for concurrent systems
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.

16

An entropy-based car failure detection method based on data acquisition pipeline
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

17

An entropy-based network anomaly detection method
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

18

Analiza czasowa modeli opisywanych sieciami Petriego
Analiza czasowa modeli opisywanych sieciami Petriego — Time 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.

19

Analysis of RTCP-nets with reachability graphs
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.

20

Analysis of VME-bus communication protocol – RTCP-net approach
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

21

Analysis, verification and design of tabular systems
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.

22

APE – tool for modelling and analysis of concurrent systems with Petri nets
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.

23

Application of RTCP-nets for design and analysis of embedded systems
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.

24

Architecture of on-line data acquisition system for car on-board diagnostics
Architecture of on-line data acquisition system for car on-board diagnostics / Bartosz KOWALIK, Marcin SZPYRKA // MATEC Web of Conferences [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2261-236X. — 2019 vol. 252 art. no. 02003, s. 1–5. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 5, Abstr.. — Publikacja dostępna online od: 2019-01-14. — III international conference of Computational Methods in Engineering Science (CMES'18) : Kazimierz Dolny, Poland, November 22–24, 2018. — tekst: https://www.matec-conferences.org/articles/matecconf/pdf/2019/01/matecconf_cmes2018_02003.pdf

25

Architektura autonomicznego robota mobilnego z dynamicznym modelem świata
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

Bibiografia Publikacji Pracowników Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie

Wykaz publikacji wybranego autora

Marcin Szpyrka, prof. dr hab.