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
  • [referat, 2018]
  • TytułAlvis data graphs
    AutorzyMarcin SZPYRKA
    ŹródłoMIXDES 2018 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : book of abstracts of 25textsuperscript{th} international conference : Gdynia, Poland, June 21–23, 2018 / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2018. — S. 118
2
  • [artykuł w czasopiśmie, 2018]
  • TytułDiscrete-time systems modeling and verification with Alvis language and tools
    AutorzyMarcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI, Łukasz PODOLSKI
    ŹródłoIEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2018 vol. 6, s. 78766–78779. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8565865
3
  • [referat, 2018]
  • TytułModelling and verification of real-time systems with Alvis
    AutorzyMarcin SZPYRKA, Łukasz PODOLSKI, Michał WYPYCH
    ŹródłoTowards a synergistic combination of research and practice in software engineering : 19th KKIO software engineering conference (KKIO) : Rzeszow, Poland, September 14-16, 2017. — Switzerland : Springer, cop. 2018. — S. 165–178