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

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

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

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

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

6
  • Formalna analiza czasowa systemów czasu rzeczywistegoFormal time analysis of real-time systems / Marcin SZPYRKA // W: Systemy czasu rzeczywistego : VIII [ósma] konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2001. — S. 15–23. — Bibliogr. s. 22–23

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • Opis protokołu magistrali VMEbus z zastosowaniem kolorowanych sieci PetriegoModelling of VME bus protocol using coloured Petri nets / Marcin SZPYRKA, Zbigniew HANDZEL // 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. 339–352. — Bibliogr. s. 351-352, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
  • Wykorzystanie oprogramowania Design/CPN do projektowania systemów czasu rzeczywistegoDesign/CPN as a tools for real-time systems designing / 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. 317–338. — Bibliogr. s. 338, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: