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

  • 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

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

    cyfrowy identyfikator dokumentu:

4

  • 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

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

    cyfrowy identyfikator dokumentu:

5

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

6

  • 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

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

    cyfrowy identyfikator dokumentu:

7

  • Implementacja w języku Ada systemów współbieżnych modelowanych za pomocą RTCP-sieci — [Ada implementation of concurrent systems modelled with RTCP-nets] / Marcin SZPYRKA, Piotr MATYASIK // W: Systemy czasu rzeczywistego : praca zbiorowa. T. 1, Kierunki badań i rozwoju / pod red. Andrzeja Kwietnia. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2005. — S. 81–90. — Bibliogr. s. 90

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

8

  • New time model and design method for RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Real-Time Programming 2004 (WRTP 2004) : a proceedings volume from the 28\textsuperscript{th} IFAC/IFIP Workshop on Real-Time Programming, WRTP 2004 and the International Workshop on Software Engineering, IWSS 2004 : Istanbul, Turkey, 8–10 September 2004 / eds. M. Colnarič, W. A. Halang, M. Węgrzyn. — Oxford : Elsevier Ltd, 2005. — (Elsevier IFAC Publications). — Opis częśc. wg okł.. — S. 121–126. — Bibliogr. s. 126, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

9

  • Two formal approaches to design and verification of embedded rule-based systems / Grzegorz J. NALEPA, Marcin SZPYRKA // W: Real-Time Programming 2004 (WRTP 2004) : a proceedings volume from the 28\textsuperscript{th} IFAC/IFIP Workshop on Real-Time Programming, WRTP 2004 and the International Workshop on Software Engineering, IWSS 2004 : Istanbul, Turkey, 8–10 September 2004 / eds. M. Colnarič, W. A. Halang, M. Węgrzyn. — Oxford : Elsevier Ltd, 2005. — (Elsevier IFAC Publications). — Opis częśc. wg okł.. — S. 91–96. — Bibliogr. s. 96, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: