Wykaz publikacji wybranego autora

Michał Wypych, mgr inż.

asystent

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

[dyscyplina wiodąca] 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-0002-6239-2949

ResearcherID: brak

Scopus: 56005385500

PBN: 3928255

System Informacyjny AGH (SkOs)





Liczba pozycji spełniających powyższe kryteria selekcji: 12, z ogólnej liczby 12 publikacji Autora


1
  • [referat, 2013]
  • TytułAlvis language with time dependence
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Michał WYPYCH
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — S. 114
2
  • [artykuł w czasopiśmie, 2017]
  • TytułA survey of Alvis communication modes
    AutorzyMarcin SZPYRKA, Jerzy BIERNACKI, Piotr MATYASIK, Michał WYPYCH
    ŹródłoInternational Journal of Microelectronics and Computer Science. — 2017 vol. 8 no. 1, s. 1–9
3
  • [referat, 2016]
  • TytułCommunication between agents in Alvis language
    AutorzyPiotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI
    ŹródłoMIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — S. 128
4
5
  • [referat, 2015]
  • TytułExtension of Alvis Compiler front-end
    AutorzyMichał WYPYCH, Marcin SZPYRKA, Piotr MATYASIK
    ŹródłoICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — S. 100015-1–100015-4
6
  • [referat, 2015]
  • TytułGeneration of Java code from Alvis model
    AutorzyPiotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH
    ŹródłoICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — S. 100013-1–100013-4
7
  • [referat, 2013]
  • TytułGeneration of labelled transition systems for Alvis models using Haskell model representation
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Michał WYPYCH
    ŹródłoCS&P'2013 [Dokument elektroniczny] : proceedings of the international workshop : Warsaw, 25–27 September 2013 / eds. Marcin Szczuka, Ludwik Czaja, Magdalena Kacprzak. — Białystok : Białystok University of Technology, 2013. — S. [1–12]
8
  • [artykuł w czasopiśmie, 2016]
  • TytułHierarchical communication diagrams
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Jerzy BIERNACKI, Agnieszka BIERNACKA, Michał WYPYCH, Leszek KOTULSKI
    ŹródłoComputing and Informatics / Slovak Academy of Sciences. Institute of Informatics. — 2016 vol. 35 no. 1, s. 55–83
9
  • [fragment książki, 2018]
  • TytułModelling and verification of real-time systems with Alvis
    AutorzyMarcin SZPYRKA, Łukasz PODOLSKI, Michał WYPYCH
    ŹródłoTowards a synergistic combination of research and practice in software engineering. — Switzerland : Springer, cop. 2018. — S. 165–178
10
  • [referat, 2016]
  • TytułPriority management in Alvis language
    AutorzyMarcin SZPYRKA, Agnieszka BIERNACKA, Jerzy BIERNACKI, Michał WYPYCH
    ŹródłoMIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — S. 131
11
  • [referat, 2017]
  • TytułSimulation of multi-agent systems with Alvis Toolkit
    AutorzyMarcin SZPYRKA, Piotr Matysiak, Łukasz PODOLSKI, Michał WYPYCH
    ŹródłoArtificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — S. 599–608
12
  • [referat, 2017]
  • TytułSupporting BPMN process models with UML sequence diagrams for representing time issues and testing models
    AutorzyAnna Suchenia (Mroczek), Krzysztof KLUZA, Krystian JOBCZYK, Piotr WIŚNIEWSKI, Michał WYPYCH, Antoni LIGĘZA
    ŹródłoArtificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — S. 589–598