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, 2008]
  • TytułExclusion rule-based systems - case study
    AutorzyMarcin SZPYRKA
    ŹródłoInternational Multiconference on Computer Science and Information Technology [Dokument elektroniczny] : October 20–22, 2008. Wisła : proceedings / Polish Information Processing Society. — [Wisła : PTI], [2008]. — S. 237–242

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/IMCSIT.2008.4747245

2
  • [referat, 2008]
  • TytułFormal definition of XCCS modelling language
    AutorzyKrzysztof Balicki, Marcin SZPYRKA
    ŹródłoCS&P 2008 [Dokument elektroniczny] : the 17textsuperscript{th} international conference on Concurrency, Specification and Programming : Gross Vaeter (near Berlin), Germany 29. September – 1. October 2008, Vol. 1. — [Germany : s. n.], [2008]. — Ekran s. 1–12

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • [referat, 2008]
  • TytułFormal modelling and verification of concurrent systems with XCCS
    AutorzyMarcin SZPYRKA, Piotr MATYASIK
    ŹródłoISPDC 2008 : proceedings of the 7th International Symposium on Parallel and Distributed Computing : 1–5 July 3008, Krakow, Poland / eds. Marek Tudruj. — Los Alamitos, California ; Washington ; Tokyo : CPS Conference Publishing Services, IEEE Computer Society, cop. 2008. — S. 454–458

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: 10.1109/ISPDC.2008.26