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

  • Classifiers for behavioral patterns identification induced from huge temporal data / Jan G. Bazan, Marcin SZPYRKA, Adam Szczur, Łukasz Dydo, Hubert Wojtowicz // CEUR Workshop Proceedings [Dokument elektroniczny]. - Czasopismo elektroniczne ; ISSN 1613-0073. — 2014 vol. 1269, s. 22–33. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 33, Abstr.. — M. Szpyrka – dod. afiliacja: University of Rzeszów. — tekst: http://ceur-ws.org/Vol-1269/paper22.pdf

  • keywords: classifiers, huge temporal data, temporal patterns, state graphs, behavioral patterns, LTL temporal logic

    cyfrowy identyfikator dokumentu:

2

  • Methods of translation of Petri nets to NuSMV language / Marcin SZPYRKA, Agnieszka BIERNACKA, Jerzy BIERNACKI // CEUR Workshop Proceedings [Dokument elektroniczny]. - Czasopismo elektroniczne ; ISSN 1613-0073. — 2014 vol. 1269, s. 245–256. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 255–256, Abstr.. — CS&P 2014 [Dokument elektroniczny] : proceedings of the 23th international workshop on Concurrency, Specification and Programming : Chemnitz, Germany, September 29–October 1, 2014 / ed. by Louchka Popova-Zeugmann. — tekst: http://ceur-ws.org/Vol-1269/paper245.pdf

  • keywords: translation, model checking, place-transition nets, coloured Petri nets, NuSMV, PetriNet2NuSMV translator

    Zobacz pełny wykaz publikacji Autora/Autorów: Agnieszka Biernacka, Jerzy Biernacki

    cyfrowy identyfikator dokumentu: