Wykaz publikacji wybranego autora

Marcin Szpyrka, prof. dr hab.

profesor zwyczajny

Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering
WEAIiIB-kis

  • 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
  • [chapter, 2008]
  • TytułDesign and analysis of rule-based systems with adder designer
    AutorzyMarcin SZPYRKA
    ŹródłoKnowledge – driven computing : knowledge engineering and intelligent computations / eds. Carlos Cotta, Simeon Reich, Robert Schaefer, Antoni Ligęza. — Berlin, Heidelberg : Springer-Verlag, 2008. — S. 255–271

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • [varia, 2008]
  • TytułDesign of XCCS models with Inez XCCS editor [Dokument elektroniczny
    AutorzyMarcin SZPYRKA, Piotr MATYASIK ; AGH University of Science and Technology. Computer Science Laboratory. Department of Automatics
    DetailsKraków : AGH UST. DA, 2008. — 18 s.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

4
5
  • [proceedings, 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

6
  • [proceedings, 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:

7
  • [proceedings, 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

8
  • [chapter, 2008]
  • TytułGraphical modelling tool for CCS process algebra
    AutorzyMarcin SZPYRKA, Piotr MATYASIK
    ŹródłoSoftware engineering techniques in progress / eds. Tomáš Hruška, Lech Madeyski, Mirosław Ochodek. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2008. — S. 81–94

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

9
  • [chapter, 2008]
  • TytułModelling and analysis of real-time systems with RTCP-nets
    AutorzyMarcin SZPYRKA
    ŹródłoPetri net : theory and applications / eds. Vedran Kordic. — Vienna : I-Tech Education and Publishing, 2008. — S. 17–40

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • [book, 2008]
  • TytułSieci Petriego w modelowaniu i analizie systemów współbieżnych
    AutorzyMarcin SZPYRKA
    DetailsWarszawa : Wydawnictwa Naukowo-Techniczne, 2008. — IX, [1], 286 s.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: