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

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

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

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

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

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

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

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

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

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Tomasz Bartłomiej Szmuc, Piotr Szwed, Grzegorz Jacek Nalepa, Igor Wojnicki

    cyfrowy identyfikator dokumentu:

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

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik

    cyfrowy identyfikator dokumentu:

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

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

11
  • [fragment książki, 2000]
  • TytułBadanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego
    AutorzyMarcin SZPYRKA, Antoni LIGĘZA, Tomasz SZMUC
    ŹródłoInżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — S. 119–126

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

12
  • [materiały konferencyjne (red.), 2009]
  • Tytuł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
    Autorzyeds. Tomasz SZMUC, Marcin SZPYRKA, Jaroslav Zendulka
    Details[Kraków : AGH], [2009]. — 297, [1] s.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

13
  • [artykuł w czasopiśmie, 2014]
  • TytułClassifiers for behavioral patterns identification induced from huge temporal data
    AutorzyJan G. Bazan, Marcin SZPYRKA, Adam Szczur, Łukasz Dydo, Hubert Wojtowicz
    ŹródłoCEUR Workshop Proceedings [Dokument elektroniczny]. - Czasopismo elektroniczne. — 2014 vol. 1269, s. 22–33. — 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
  • [inne, 2008]
  • TytułDesign of XCCS models with Inez XCCS editor [Dokument elektroniczny
    AutorzyMarcin SZPYRKA, Piotr MATYASIK ; AGH University of Science and Technology. Computer Science Laboratory. Department of Automatics
    DetailsKraków : AGH UST. DA, 2008. — 18 s.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik

    cyfrowy identyfikator dokumentu:

15
  • [referat, 2006]
  • TytułDevelopment of embedded systems – from RTCP-net model to Ada code
    AutorzyMarcin SZPYRKA
    ŹródłoConcurrency, 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. — S. 231–242

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

16
  • [referat w czasopiśmie, 2006]
  • TytułDevelopment of embedded systems with RTCP-nets
    AutorzyMarcin SZPYRKA
    ŹródłoElektronika : konstrukcje, technologie, zastosowania (Warszawa). — 2006 R. 47 nr 10, s. 19–22

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

17
  • [fragment książki, 2005]
  • TytułDevelopment of safety-critical systems with RTCP-nets support
    AutorzyMarcin SZPYRKA
    ŹródłoSoftware engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — S. 394–399

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

18
  • [referat, 2001]
  • TytułD-net: a tool for verification of knowledge-based systems
    AutorzyMarcin SZPYRKA, Antoni LIGĘZA
    ŹródłoApplied 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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu:

19
20
  • [referat, 2001]
  • TytułDwupoziomowy algebraiczno-logiczny model bazy danych
    AutorzyAntoni LIGĘZA, Marcin SZPYRKA
    ŹródłoMetody 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. — S. 221–226

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu:

21
  • [referat, 2008]
  • TytułExclusion rule-based systems - case study
    AutorzyMarcin SZPYRKA
    ŹródłoInternational Multiconference on Computer Science and Information Technology [Dokument elektroniczny] : October 20–22, 2008. Wisła : proceedings / Polish Information Processing Society. — [Wisła : PTI], [2008]. — S. 237–242

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/IMCSIT.2008.4747245

22
23
  • [fragment książki, 2005]
  • TytułFormal approach to prototyping and analysis of modular rule-based systems
    AutorzyMarcin SZPYRKA, Grzegorz J. NALEPA
    ŹródłoSoftware engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — S. 294–304

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa

    cyfrowy identyfikator dokumentu:

24
  • [referat, 2008]
  • TytułFormal definition of XCCS modelling language
    AutorzyKrzysztof Balicki, Marcin SZPYRKA
    ŹródłoCS&P 2008 [Dokument elektroniczny] : the 17textsuperscript{th} international conference on Concurrency, Specification and Programming : Gross Vaeter (near Berlin), Germany 29. September – 1. October 2008, Vol. 1. — [Germany : s. n.], [2008]. — Ekran s. 1–12

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

25
  • [referat, 2008]
  • TytułFormal modelling and verification of concurrent systems with XCCS
    AutorzyMarcin SZPYRKA, Piotr MATYASIK
    ŹródłoISPDC 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. — S. 454–458

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik

    cyfrowy identyfikator dokumentu: 10.1109/ISPDC.2008.26