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

2
  • Formalna weryfikacja wymagań systemów czasu rzeczywistegoFormal verification of real-time system requirements / Marcin SZPYRKA // Computer Science ; ISSN 1508-2806. — 2000 vol. 2, s. 109–128. — Bibliogr. s. 128, Summ., Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Projektowanie i analiza czasowych kolorowanych sieci Petriego w oparciu o system Design/CPNDesigning and analysis timed coloured Petri nests with Design/CPN system / Marcin SZPYRKA // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN10: 83-914257-0-3. — S. 205–214. — Bibliogr. s. 213–214, Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • Weryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy[Verification of selected qualitative properties of tabular knowledge based systems] / Antoni LIGĘZA, Marcin SZPYRKA, Radosław KLIMEK, 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. 103–110. — Bibliogr. s. 110

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • Zastosowanie czasowych kolorowanych sieci Petriego do modelowania systemów czasu rzeczywistegoApplication of timed coloured Petri nets for modelling of real-time systems / Marcin SZPYRKA // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN10: 83-914257-0-3. — S. 17–28. — Bibliogr. s. 27–28, Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: