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)



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

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem237961
202311
202211
201822
201622
201411
201311
2012211
20117232
201041111
2008211
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem23419
202311
202211
201822
201622
201411
201311
201222
2011716
2010413
200822
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem23185
202311
202211
201822
201622
201411
201311
201222
2011761
201044
2008211
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem23221
202311
202211
201822
201622
201411
201311
201222
201177
201044
200822
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem23149
202311
202211
201822
201622
201411
201311
201222
2011743
2010422
200822
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem23185
202311
202211
201822
201622
201411
201311
201222
2011743
2010422
200822



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
  • [fragment monografii pokonferencyjnej, 2022]
  • TytułNowoczesne metody wytwarzania oprogramowania systemów cyberfizycznych
    AutorzyTomasz SZMUC, Rafał MRÓWKA, Paweł SKRZYŃSKI, Grzegorz ROGUS, Wojciech SZMUC, Jacek PIWOWARCZYK, Marek Brańka, Jakub Ficoń
    ŹródłoNauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — S. 83–98
  • słowa kluczowe: sieci Petriego, rzeczywistość wirtualna, systemy cyberfizyczne, AADL, SysML

    keywords: Petri nets, virtual reality, AADL, SysML, cyber physical systems

    cyfrowy identyfikator dokumentu: 10.7494/978-83-67427-00-5_6

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