Wykaz publikacji wybranego autora

Piotr Matyasik, dr inż.

adiunkt

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


[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-5003-2439 połącz konto z ORCID

ResearcherID: K-5783-2013

Scopus: 23397806800

OPI Nauka Polska

System Informacyjny AGH (SkOs)



Statystyka obejmuje publikacje afiliowane AGH od 2008 roku włącznie

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem43152494
201711
2016211
201522
2014312
201333
201211
20118242
2010611211
2009211
20084112
200722
200611
20053111
200422
200322
200211
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem43934
201711
201622
201522
201433
201333
201211
2011817
2010624
200922
200844
200722
200611
2005312
200422
200322
200211
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem433211
201711
2016211
201522
2014312
2013321
201211
2011862
2010651
200922
2008431
2007211
200611
200533
200422
200322
200211
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem43340
201711
2016211
201522
2014321
201333
201211
201188
201066
200922
200844
200722
200611
200533
200422
200322
200211
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem432023
201711
201622
201522
201433
2013321
201211
2011844
2010642
200922
200844
2007211
200611
200533
200422
200322
200211
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem432518
201711
201622
201522
201433
2013321
201211
2011844
2010642
2009211
2008422
200722
200611
2005312
200422
200322
200211



1
  • [referat w czasopiśmie, 2005]
  • TytułA formal approach to modelling of real-time systems using RTCP-nets
    AutorzyMarcin SZPYRKA, Tomasz SZMUC, Piotr MATYASIK, Wojciech SZMUC
    ŹródłoFoundations of Computing and Decision Sciences. — 2005 vol. 30 no. 1, s. 61–71. — tekst: http://fcds.cs.put.poznan.pl/FCDS/ArticleDetails.aspx?articleId=31
2
3
  • [referat, 2010]
  • TytułAlvis approach to hexor robot controller development
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA
    ŹródłoMIXDES 2010 : mixed design of integrated circuits and systems : proceedings of the 17textsuperscript{th} international conference : Wrocław, Poland 24–26 June, 2010 / ed. Andrzej Napieralski. — Lodz : Department of Microelectronics & Computer Science. Technical University of Lodz, cop. 2010. — S. 595–600
4
  • [artykuł w czasopiśmie, 2010]
  • TytułAlvis approach to Hexor robot controller development
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA
    ŹródłoElektronika : konstrukcje, technologie, zastosowania (Warszawa). — 2010 R. 51 nr 11, s. 63–66
5
  • [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
6
  • [fragment książki, 2011]
  • TytułAlvis – modelling language for concurrent systems
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA
    ŹródłoIntelligent decision systems in large-scale distributed environments / eds. Pascal Bouvry, Horacio González-Vélez, Joanna Kołodziej. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — S. 315–341
7
  • [referat, 2014]
  • TytułAlvis Virtual Machine
    AutorzyPiotr MATYASIK
    ŹródłoFedCSIS [Dokument elektroniczny] : preprints of the Federated Conference on Computer Science and Information Systems : [Warsaw, Poland, 7 - 10 September, 2014] / PTI Polish Information Processing Society. — [Piscataway : IEEE], [2014]. — S. 1669–1675
8
  • [referat, 2005]
  • TytułAPE – tool for modelling and analysis of concurrent systems with Petri nets
    AutorzyMarcin SZPYRKA, Piotr MATYASIK
    ŹródłoCMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 499–504
9
  • [referat, 2003]
  • TytułAutomatyczne generowanie kodu na podstawie modeli UML
    AutorzyPaweł SKRZYŃSKI, Michał TUREK, Piotr MATYASIK
    ŹródłoMetody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza, Politechnika Krakowska, Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — S. 811–816
10
  • [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
11
  • [artykuł w czasopiśmie, 2012]
  • TytułCommunication with environment in Alvis models
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI
    ŹródłoInternational Journal of Electronics and Telecommunications. — 2012 vol. 58 no. 3, s. 247–254
12
  • [inne, 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.
13
  • [inne, 2009]
  • TytułEvent-based Hexor Robot Software framework
    AutorzyPiotr MATYASIK ; AGH University of Science and Technology. Department of Automatics. Computer Science Laboratory
    DetailsKraków : AGH, 2009. — 18 s.
14
  • [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
15
  • [referat, 2003]
  • TytułExtreme programming – przegląd i porównanie wybranych narzędzi wspomagających testy jednostkowe
    AutorzyPaweł SKRZYŃSKI, Michał TUREK, Piotr MATYASIK
    ŹródłoMetody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza, Politechnika Krakowska, Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — S. 799–804
16
17
  • [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
18
  • [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
19
  • [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]
20
  • [fragment książki, 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
21
  • [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
22
  • [fragment książki, 2005]
  • TytułImplementacja w języku Ada systemów współbieżnych modelowanych za pomocą RTCP-sieci
    AutorzyMarcin SZPYRKA, Piotr MATYASIK
    ŹródłoSystemy czasu rzeczywistego : praca zbiorowa. T. 1, Kierunki badań i rozwoju / pod red. Andrzeja Kwietnia. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2005. — S. 81–90
23
  • [inne, 2010]
  • TytułIntroduction to Alvis internal language syntax [Dokument elektroniczny]
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA ; AGH University of Science and Technology. Department of Automatics. Computer Science Laboratory
    DetailsKraków : AGH, 2010. — 14 s.
24
  • [referat, 2011]
  • TytułIntroduction to Alvis modelling language
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Krzysztof Balicki
    ŹródłoKNWS'11 : materiały 8. konferencji naukowej „Informatyka – sztuka czy rzemiosło” : Karpacz, 7–10 czerwca 2011 : preprint. — [Polska : s. n.], [2011]. — S. 185–190
25
  • [artykuł w czasopiśmie, 2011]
  • TytułIntroduction to Alvis modelling language
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Krzysztof Balicki
    ŹródłoPomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR. — 2011 vol 57 nr 9, s. 1086–1089