Wykaz publikacji wybranego autora

Rafał Mrówka, dr inż.

adiunkt

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


  • 2022

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja


  • 2018

    [dyscyplina 1] dziedzina nauk ścisłych i przyrodniczych / informatyka

    [dyscyplina 2] dziedzina nauk inżynieryjno-technicznych / automatyka, elektronika i elektrotechnika (25%)


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


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-5143-3488 połącz konto z ORCID

ResearcherID: brak

Scopus: 26029524900

PBN: 5e70922c878c28a04739119e

OPI Nauka Polska

System Informacyjny AGH (SkOs)





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


1
2
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • [referat, 2016]
  • TytułComparison of wireless technologies for rotating machinery diagnostics
    AutorzyCezary WOREK, Łukasz KRZAK, Rafał MRÓWKA, Tomasz BARSZCZ
    Źródło6thICTD, 5thCMMNO Gliwice 2016 : 5th International Conference on Condition Monitoring of Machinery in Non-Stationary Operations 2016, 6th International Congress on Technical Diagnostics 2016 : 12–16 September 2016 : book of abstracts. — Gliwice : Publishing Institute of Fundamentals of Machinery Design. Silesian University of Technology, 2016. — S. 25
  • keywords: wireless sensor networks, machine health monitoring systems, digital radio communication

    cyfrowy identyfikator dokumentu:

7
  • [referat, 2018]
  • TytułComparison of wireless technologies for rotating machinery diagnostics
    AutorzyCezary WOREK, Łukasz KRZAK, Rafał MRÓWKA, Tomasz BARSZCZ
    ŹródłoAdvances in Technical Diagnostics : proceedings of the 6th International Congress on Technical Diagnostic, ICDT2016 : 12–16 September 2016, Gliwice, Poland / eds. Anna Timofiejczuk, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — S. 129–138
  • keywords: condition monitoring, wireless, rotating machinery, mesh network

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-62042-8_12

8
9
  • [fragment książki, 2012]
  • TytułGeneral information about the KIC innoenergy Co-Location Center
    AutorzyRafał MRÓWKA, Tomasz SZMUC
    ŹródłoDevelopment of coal, biomass and wastes gasification technologies with particular interest in chemical sequestration of $CO_{2}$ : a monograph / sci. ed. Andrzej Strugała. — Kraków : AKNET, 2012. — S. 9–16
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • [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.
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13
  • [artykuł w czasopiśmie, 2011]
  • TytułIntroduction to modelling embedded systems with Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Leszek KOTULSKI
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2011 t. 15 z. 2, s. 435–442. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-02/Auto43.pdf
  • słowa kluczowe: metody formalne, Alvis, weryfikacja systemów wbudowanych, modelowanie systemów wbudowanych

    keywords: formal methods, Alvis, embedded systems modelling, embedded systems verification

    cyfrowy identyfikator dokumentu:

14
  • [referat, 2011]
  • TytułModelling of signals handling with Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI
    ŹródłoMIXDES 2011 : mixed design of integrated circuits and systems : 18textsuperscript{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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15
  • [fragment książki, 2010]
  • TytułModelowanie systemów wbudowanych w języku Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA
    ŹródłoMetody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — S. 25–35
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

16
  • [referat, 2016]
  • TytułNew technologies for wireless, energy efficient machinery diagnostic systems
    AutorzyTomasz BARSZCZ, Adam JABŁOŃSKI, Cezary WOREK, Łukasz KRZAK, Rafał MRÓWKA
    Źródło6thICTD, 5thCMMNO Gliwice 2016 : 5th International Conference on Condition Monitoring of Machinery in Non-Stationary Operations 2016, 6th International Congress on Technical Diagnostics 2016 : 12–16 September 2016 : book of abstracts. — Gliwice : Publishing Institute of Fundamentals of Machinery Design. Silesian University of Technology, 2016. — S. 90
  • keywords: vibration analysis, wireless sensors, power generation, contactless energy transfer

    cyfrowy identyfikator dokumentu:

17
  • [referat, 2018]
  • TytułNew technologies for wireless energy-efficient machinery diagnostic system
    AutorzyTomasz BARSZCZ, Adam JABŁOŃSKI, Cezary WOREK, Łukasz KRZAK, Rafał MRÓWKA
    ŹródłoAdvances in Technical Diagnostics : proceedings of the 6th International Congress on Technical Diagnostic, ICDT2016 : 12–16 September 2016, Gliwice, Poland / eds. Anna Timofiejczuk, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — S. 139–149
  • keywords: vibration analysis, wireless sensors, power generation, contactless energy transfer

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-62042-8_13

18
19
  • [referat, 2011]
  • TytułPractical approach to modelling and verification of concurrent systems with Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA
    ŹródłoECMS 2011 : 25textsuperscript{th} European Conference on Modelling and Simulation : June 7textsuperscript{th}–10textsuperscript{th}, 2011, Krakow, Poland : proceedings / eds. Tadeusz Burczyński, Joanna Kołodziej, Aleksander Byrski, Marco Carvalho. — [Kraków : s. n.], [2011]. — S. 539–545
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

20
  • [fragment książki, 2013]
  • TytułProblemy bezpieczeństwa w inteligentnych sieciach energetycznych
    AutorzyLeszek KOTULSKI, Sebastian ERNST, Radosław KLIMEK, Rafał MRÓWKA, Adam SĘDZIWY, Igor WOJNICKI
    ŹródłoNowoczesne systemy łączności i transmisji danych na rzecz bezpieczeństwa : szanse i zagrożenia / red. nauk. Andrzej R. Pach, Zbigniew Rau, Michał Wągrowski. — Warszawa : Wolters Kluwer Polska SA, 2013. — S. 518–538
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

21
  • [fragment książki, 2011]
  • TytułSpecyfikacja otoczenia systemów wbudowanych modelowanych w języku Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA
    ŹródłoProjektowanie, analiza i implementacja systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2011. — S. 65–75
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

22
  • [fragment książki, 2008]
  • TytułTowards efficient application of formal techniques in software development
    AutorzyRafał MRÓWKA, Tomasz SZMUC
    Ź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. 67–80
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

23
  • [referat, 2008]
  • TytułUML Statecharts compositional semantics in LOTOS
    AutorzyRafał MRÓWKA, Tomasz SZMUC
    Ź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. 459–463
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/ISPDC.2008.60