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

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

    cyfrowy identyfikator dokumentu:

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

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

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

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

    cyfrowy identyfikator dokumentu:

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

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

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

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

    cyfrowy identyfikator dokumentu:

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

14
  • Design of XCCS models with Inez XCCS editor [Dokument elektroniczny / Marcin SZPYRKA, Piotr MATYASIK ; AGH University of Science and Technology. Computer Science Laboratory. Department of Automatics. — Wersja do Windows. — Dane tekstowe. — Kraków : AGH UST. DA, 2008. — 18 s.. — (CSL Technical Report ; no. 3/2008). — Tryb dostępu: http://winntbg.bg.agh.edu.pl/csl/csltr-3-2008.pdf [2008-12-11]. — Wymagania systemowe: Adobe Acrobat Reader. — Bibliogr. s. 18

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15
  • Development of embedded systems – from RTCP-net model to Ada code / Marcin SZPYRKA // W: Concurrency, Specification and Programming CS&P'2006 : Wandlitz, September 27–29, 2006. Vol. 2, Specification / eds.: Gabriela Lindemann [et al.] ; Humboldt-Universität zu Berlin. — Berlin : Professoren des Institutes für Informatik, 2006. — (Informatik-Berichte ; ISSN 0863-095X ; Nr. 206). — S. 231–242. — Bibliogr. s. 242, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

16
  • Development of embedded systems with RTCP-netsProjektowanie systemów wbudowanych z wykorzystaniem RTCP-sieci / Marcin SZPYRKA // Elektronika : konstrukcje, technologie, zastosowania (Warszawa) ; ISSN 0033-2089. — Tytuł poprz.: Przegląd Elektroniki. — 2006 R. 47 nr 10, s. 19–22. — Bibliogr. s. 22, Streszcz., Summ.. — MIXDES 2006 : MIXed DESign of integrated circuits and systems : international conference : Gdynia, 22–24 June 2006. — Warszawa : Wydawnictwo Czasopism i Książek Technicznych SIGMA-NOT Spółka z o. o., 2006

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

17
  • Development of safety-critical systems with RTCP-nets support / Marcin SZPYRKA // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 394–399. — Bibliogr. s. 399, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

18
  • D-net: a tool for verification of knowledge-based systems / Marcin SZPYRKA, Antoni LIGĘZA // W: Applied simulation and modelling : proceedings of the IASTED [The International Association of Science and Technology for Development] international conference : September 4–7, 2001 Marbella, Spain / ed. M. H. Hamza ; IASTED. — Anaheim ; Calgary ; Zurich : ACTA Press, 2001. — S. 105–110. — Bibliogr. s. 110, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

19
20
  • Dwupoziomowy algebraiczno-logiczny model bazy danych[A two-level algebraic-logical model of database systems] / Antoni LIGĘZA, Marcin SZPYRKA // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : III krajowa konferencja : Kraków 19–21 listopada 2001 : materiały konferencyjne / red.: Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza przy współudz. Politechniki Krakowskiej i Uniwersytetu Jagiellońskiego. — Kraków : Oprogramowanie Naukowo-Techniczne, 2001. — ISBN10: 8391642003. — S. 221–226. — Bibliogr. s. 225–226, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

21
  • Exclusion rule-based systems - case study / Marcin SZPYRKA // W: International Multiconference on Computer Science and Information Technology [Dokument elektroniczny] : October 20–22, 2008. Wisła : proceedings / Polish Information Processing Society. — Wersja do Windows. — Dane tekstowe. — [Wisła : PTI], [2008]. — Dane na dysku Flash. — (Proceedings of the International Multiconference on Computer Science and Information Technology ; ISSN 1896-7094 ; vol. 3). — e-ISBN: 978-83-60810-14-9. — S. 237–242. — Wymagania systemowe: Adobe Acrobat Reader ; Dane na dysku Flash. — Bibliogr. s. 242, Abstr.. — Tyt. przejęto z ekranu tytułowego

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/IMCSIT.2008.4747245

22
  • Fast and flexible modelling of real-time systems with RTCP-netsEfektywna metoda modelowania systemów czasu rzeczywistego z wykorzystaniem sieci RTCP / Marcin SZPYRKA // Computer Science ; ISSN 1508-2806. — 2004 vol. 6, s. 81–94. — Bibliogr. s. 94. — tekst: https://journals.agh.edu.pl/csci/article/view/498/379

  • słowa kluczowe: systemy czasu rzeczywistego, modelowanie, sieci RTCP

    keywords: modelling, RTCP-nets, real time systems

    cyfrowy identyfikator dokumentu: 10.7494/csci.2004.6.5.81

23
  • Formal approach to prototyping and analysis of modular rule-based systems / Marcin SZPYRKA, Grzegorz J. NALEPA // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 294–304. — Bibliogr. s. 304, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

24
  • Formal definition of XCCS modelling language / Krzysztof Balicki, Marcin SZPYRKA // W: CS&P 2008 [Dokument elektroniczny] : the 17\textsuperscript{th} international conference on Concurrency, Specification and Programming : Gross Vaeter (near Berlin), Germany 29. September – 1. October 2008, Vol. 1. — Dane tekstowe. — [Germany : s. n.], [2008]. — Ekran s. 1–12. — Tryb dostępu: http://www2.informatik.hu-berlin.de/ki/CSP2008/Volume1.pdf [2008-01-15]. — Bibliogr. ekran s. 12, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

25
  • Formal modelling and verification of concurrent systems with XCCS / Marcin SZPYRKA, Piotr MATYASIK // W: ISPDC 2008 : proceedings of the 7th International Symposium on Parallel and Distributed Computing : 1–5 July 3008, Krakow, Poland / eds. Marek Tudruj. — Los Alamitos, California ; Washington ; Tokyo : CPS Conference Publishing Services, IEEE Computer Society, cop. 2008. — ISBN: 978-0-7695-3472-5. — S. 454–458. — Bibliogr. s. 458, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/ISPDC.2008.26