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
  • Graph representation of hierarchical Alvis model structure / L. KOTULSKI, M. SZPYRKA // W: FCS 2011 : proceedings of the 2011 international conference on Foundations of Computer Science : Worldcomp'11 : July 18–21, 2011, Las Vegas Nevada, USA / eds. Hamid R. Arabnia, George A. Gravvanis, Ashu M. G. Solo. — USA : CSREA Press, cop. 2011. — ISBN10: 1-60132-179-1. — S. 95–101. — Bibliogr. s. 101, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • Introduction to Alvis modelling language / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Krzysztof Balicki // W: KNWS'11 : materiały 8. konferencji naukowej „Informatyka – sztuka czy rzemiosło” : Karpacz, 7–10 czerwca 2011 : preprint. — [Polska : s. n.], [2011]. — S. 185–190. — Bibliogr. s. 188, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Labelled transition system generation from Alvis language / Leszek KOTULSKI, Marcin SZPYRKA, Adam SĘDZIWY // W: Knowledge-based and intelligent information and engineering systems : 15th international conference, KES 2011 : Kaiserslautern, Germany, September 12–14, 2011 : proceedings, Pt. 1 / eds. Andreas König, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6881. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-23850-5. — S. 180–189. — Bibliogr. s. 189, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • Metody modelowania, oceny jakości oraz weryfikacji reguł i procesów biznesowych[Methods for modeling, quality assessment and verification of business rules and processes] / Krzysztof KLUZA, Weronika T. ADRIAN, Antoni LIGĘZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Krzysztof KACZOR, Szymon BOBEK // W: Wiedza i komunikacja w innowacyjnych organizacjach : [II Konferencja Wydziału Informatyki i Komunikacji : 24 stycznia 2011, Katowice] : praca zbiorowa / pod red. Małgorzaty Pańkowskiej. — Katowice : Wydawnictwo Uniwersytetu Ekonomicznego, 2011. — (Prace Naukowe Uniwersytetu Ekonomicznego w Katowicach). — ISBN: 978-83-7246-683-9. — S. 182–207. — Bibliogr. s. 204–207

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • Modelling of signals handling with Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // W: MIXDES 2011 : mixed design of integrated circuits and systems : 18\textsuperscript{th} international conference : Gliwice, Poland, 16–18 June, 2011 : book of abstracts / ed. Andrzej Napieralski. — Łódź : Technical University of Łódź. Department of Microelectronics & Computer Science, cop. 2011. — S. 160. — Pełny tekst W: MIXDES 2011 [Dokument elektroniczny] : mixed design of integrated circuits and systems : proceedings of the 18th international conference : Gliwice, Poland, 16–18 June 2011. — Wersja do Windows. — Dane tekstowe / ed. Andrzej Napieralski. — [Poland : Technical University of Łódź. Department of Microelectronics & Computer Science], cop. 2011. — S. 627–631. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. 631, Abstr. — ISBN 978-83-932075-0-3. — Marcin Szpyrka – dod. afiliacja: Institute of Physics, Jan Kochanowski University, Kielce

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • Practical approach to modelling and verification of concurrent systems with Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: ECMS 2011 : 25\textsuperscript{th} European Conference on Modelling and Simulation : June 7\textsuperscript{th}–10\textsuperscript{th}, 2011, Krakow, Poland : proceedings / eds. Tadeusz Burczyński, Joanna Kołodziej, Aleksander Byrski, Marco Carvalho. — [Kraków : s. n.], [2011] + CD-ROM. — Dod.: ISBN 978-0-9564944-3-6 (CD). — ISBN: 978-0-9564944-2-9. — S. 539–545. — Bibliogr. s. 544–545, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • Priority inversion detection in alvis models / Jarosław Baniewicz, Marcin SZPYRKA // W: MIXDES 2011 : mixed design of integrated circuits and systems : 18\textsuperscript{th} international conference : Gliwice, Poland, 16–18 June, 2011 : book of abstracts / ed. Andrzej Napieralski. — Łódź : Technical University of Łódź. Department of Microelectronics & Computer Science, cop. 2011. — S. 162. — Pełny tekst W: MIXDES 2011 [Dokument elektroniczny] : mixed design of integrated circuits and systems : proceedings of the 18th international conference : Gliwice, Poland, 16–18 June 2011. — Wersja do Windows. — Dane tekstowe / ed. Andrzej Napieralski. — [Poland : Technical University of Łódź. Department of Microelectronics & Computer Science], cop. 2011. — S. 638–643. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 643, Abstr. — ISBN 978-83-932075-0-3. — Marcin Szpyrka dod. afiliacja: Institute of Physics, Jan Kochanowski University

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
  • Proposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods / Krzysztof KLUZA, Grzegorz J. NALEPA, Marcin SZPYRKA, Antoni LIGĘZA // W: 7th Workshop on Knowledge Engineering and Software Engineering (KESE7) at the 14th conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011) : La Laguna, Tenerife, Spain, November 10, 2011 / eds. Joaquín Cañadas, Grzegorz J. Nalepa, Joachim Baumeister ; Universidad de Almería, AGH, Julius-Maximilians-Universität Würzburg. — Almería : Department of Languages and Computation. University of Almería, 2011. — (Technical Report ; TR-2011/1). — S. 15–24. — Bibliogr. s. 24, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
  • Proposal of formal verification of selected BPMN models with Alvis modeling language / Marcin SZPYRKA, Grzegorz J. NALEPA, Antoni LIGĘZA, Krzysztof KLUZA // W: Intelligent distributed computing V : proceedings of the 5th international symposium on Intelligent distributed computing – IDC 2011, Delft, The Netherlands – October 2011 / eds. F. M. T. Brazier, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 382). — ISBN: 978-3-642-24012-6. — S. 249–255. — Bibliogr. s. 254–255, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • Prototypes of a Web system for citizen provided information, automatic knowledge extraction, knowledge management and GIS integration / Antoni LIGĘZA, Weronika T. ADRIAN, Sebastian ERNST, Grzegorz J. NALEPA, Marcin SZPYRKA, Michał Czapko, Paweł GRZESIAK, Marcin Krzych // W: Multimedia communications, services and security : 4th international conference MCSS 2011 : Krakow, Poland, June 2–3, 2011 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Berlin ; Heidelberg : Springer-Verlag, 2011 + CD. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 149). — ISBN: 978-3-642-21511-7 ; e-ISBN: 978-3-642-21512-4. — S. 268–276. — Bibliogr. s. 276, Abstr.

  • keywords: knowledge management, security, GIS, INDECT, citizens

    cyfrowy identyfikator dokumentu:

11
  • Snapshot reachability graphs for Alvis models / Marcin SZPYRKA, Leszek KOTULSKI // W: Knowledge-based and intelligent information and engineering systems : 15th international conference, KES 2011 : Kaiserslautern, Germany, September 12–14, 2011 : proceedings, Pt. 1 / eds. Andreas König, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6881. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-23850-5. — S. 190–199. — Bibliogr. s. 198–199, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12
  • Specification of embedded systems environment behaviour with Alvis modelling language / M. SZPYRKA, L. KOTULSKI, P. MATYASIK // W: ESA 2011 : proceedings of the 2011 international conference on Embedded Systems & Applications : July 18–21, 2011, Las Vegas / eds. Hamid R. Arabnia, Ashu M. G. Solo. — USA : CSREA Press, cop. 2011. — ISBN10: 1-60132-178-3. — S. 79–85. — Bibliogr. s. 85, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: