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

  • Design and analysis of rule-based systems with adder designer / Marcin SZPYRKA // W: Knowledge – driven computing : knowledge engineering and intelligent computations / eds. Carlos Cotta, Simeon Reich, Robert Schaefer, Antoni Ligęza. — Berlin, Heidelberg : Springer-Verlag, 2008. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 102). — ISBN: 978-3-540-77474-7. — S. 255–271. — Bibliogr. s. 270–271

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2

  • Design of XCCS models with Inez XCCS editor [Dokument elektroniczny / Marcin SZPYRKA, Piotr MATYASIK ; AGH University of Science and Technology. Computer Science Laboratory. Department of Automatics. — Wersja do Windows. — Dane tekstowe. — Kraków : AGH UST. DA, 2008. — 18 s.. — (CSL Technical Report ; no. 3/2008). — Tryb dostępu: http://winntbg.bg.agh.edu.pl/csl/csltr-3-2008.pdf [2008-12-11]. — Wymagania systemowe: Adobe Acrobat Reader. — Bibliogr. s. 18

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

3

  • Exclusion rule-based systems - case study / Marcin SZPYRKA // W: International Multiconference on Computer Science and Information Technology [Dokument elektroniczny] : October 20–22, 2008. Wisła : proceedings / Polish Information Processing Society. — Wersja do Windows. — Dane tekstowe. — [Wisła : PTI], [2008]. — Dane na dysku Flash. — (Proceedings of the International Multiconference on Computer Science and Information Technology ; ISSN 1896-7094 ; vol. 3). — e-ISBN: 978-83-60810-14-9. — S. 237–242. — Wymagania systemowe: Adobe Acrobat Reader ; Dane na dysku Flash. — Bibliogr. s. 242, Abstr.. — Tyt. przejęto z ekranu tytułowego

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/IMCSIT.2008.4747245

4

  • Formal definition of XCCS modelling language / Krzysztof Balicki, Marcin SZPYRKA // W: CS&P 2008 [Dokument elektroniczny] : the 17\textsuperscript{th} international conference on Concurrency, Specification and Programming : Gross Vaeter (near Berlin), Germany 29. September – 1. October 2008, Vol. 1. — Dane tekstowe. — [Germany : s. n.], [2008]. — Ekran s. 1–12. — Tryb dostępu: http://www2.informatik.hu-berlin.de/ki/CSP2008/Volume1.pdf [2008-01-15]. — Bibliogr. ekran s. 12, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5

  • Formal modelling and verification of concurrent systems with XCCS / Marcin SZPYRKA, Piotr MATYASIK // W: ISPDC 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. — ISBN: 978-0-7695-3472-5. — S. 454–458. — Bibliogr. s. 458, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: 10.1109/ISPDC.2008.26

6

  • Graphical modelling tool for CCS process algebra / Marcin SZPYRKA, Piotr MATYASIK // W: Software engineering techniques in progress / eds. Tomáš Hruška, Lech Madeyski, Mirosław Ochodek. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2008. — Prace prezentowane na konferencji: CEE-SET 2008 : the 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques : Brno, Czech Republic, October 13–15, 2008. — ISBN: 978-83-7493-421-3. — S. 81–94. — Bibliogr. s. 94, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

7

  • Modelling and analysis of real-time systems with RTCP-nets / Marcin SZPYRKA // W: Petri net : theory and applications / eds. Vedran Kordic. — Vienna : I-Tech Education and Publishing, 2008. — ISBN: 978-3-902613-12-7. — S. 17–40. — Bibliogr. s. 39–40

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: