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, 2015]
  • TytułAction-based verification of RTCP-nets with CADP
    AutorzyJerzy BIERNACKI, Agnieszka BIERNACKA, Marcin SZPYRKA
    ŹródłoICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — S. 100010-1–100010-4
2
  • [artykuł w czasopiśmie, 2015]
  • TytułAn entropy-based network anomaly detection method
    AutorzyPrzemysław Bereziński, Bartosz Jasiul, Marcin SZPYRKA
    ŹródłoEntropy [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2015 vol. 17 iss. 4, s. 2367–2408. — tekst: http://www.mdpi.com/1099-4300/17/4/2367/pdf
3
  • [referat, 2015]
  • TytułExtension of Alvis Compiler front-end
    AutorzyMichał WYPYCH, Marcin SZPYRKA, Piotr MATYASIK
    ŹródłoICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — S. 100015-1–100015-4
4
  • [referat, 2015]
  • TytułExtracting of temporal patterns from data for hierarchical classifiers construction
    AutorzyMarcin SZPYRKA, Adam Szczur, Jan G. Bazan, Łukasz Dydo
    ŹródłoCYBCONF 2015 [Dokument elektroniczny] : 2015 IEEE 2nd international conference on cybernetics : Gdynia, Poland, 24–26 June 2015 / eds. Piotr Jędrzejowicz, [et al.]. — Piscataway : IEEE, cop. 2015. — S. 1–6
5
  • [referat, 2015]
  • TytułFormal methods - support or scientific decoration in software development
    AutorzyTomasz SZMUC, Marcin SZPYRKA
    ŹródłoMIXDES 2015 : mixed design of integrated circuits and systems : Toruń, Poland June 25–27, 2015 : book of abstracts of 22textsuperscript{nd} international conference / ed. Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2015. — S. 19
6
  • [referat, 2015]
  • TytułFormal specification of malware models in the form of Colored Petri nets
    AutorzyBartosz Jasiul, Marcin SZPYRKA, Joanna Śliwa
    ŹródłoComputer Science and its Applications : ubiquitous information technologies : [6th FTRA international conference (CSA 2014) : Guam, USA, December 17–19, 2014] / eds. James J. (Jong Hyuk) Park [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2015. — S. 475–482
7
  • [referat, 2015]
  • TytułGeneration of Java code from Alvis model
    AutorzyPiotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH
    ŹródłoICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — S. 100013-1–100013-4
8
  • [referat, 2015]
  • TytułState-based verification of RTCP-nets with nuXmv
    AutorzyAgnieszka BIERNACKA, Jerzy BIERNACKI, Marcin SZPYRKA
    ŹródłoICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — S. 100011-1–100011-4