Wykaz publikacji wybranego autora

Marek Golonka, mgr inż.

doktorant

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

  • 2019

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

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-5961-1303 orcid iD

ResearcherID: brak

Scopus: brak

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ółem3—12—————
20211——1—————
20202—11—————
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem312—
20211—1—
2020211—
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem33—
202111—
202022—
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem3—3
20211—1
20202—2
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem321
202111—
2020211
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem33—
202111—
202022—
1

  • Comparative analysis of methods and tools for formal modelling and verification for embedded systems : probabilistic approach / Marek Zbigniew GOLONKA // W: MIXDES 2021 [Dokument elektroniczny] : Mixed Design of Integrated Circuits and Systems : book of abstracts of 28\textsuperscript{th} international conference : Łódź, Poland June 24 – 26, 2021 / ed. by Andrzej Napieralski ; Lodz University of Technology, [etc.]. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology, cop. 2021. — e-ISBN: 978-83-63578-19-0. — S. 87. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2021_BoA.pdf [2021-06-23]. — Pełny tekst w: {https://www.mixdes.org/downloads/MIXDES2021.pdf} [2021-07-27]. — S. 265–273. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 273, Abstr. — ISBN: 978-83-63578-19-0. — Toż. w: {https://ieeexplore-1ieee-1org-10000478900f4.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==9497642} [2021-09-30]

    orcid iD

  • keywords: embedded systems, Markov chain, formal modelling, stochastic petri net, probabilistic timed automata, software tools

    cyfrowy identyfikator dokumentu:

2

  • Visual Novel as an example of gamification and teaching engineering knowledge / Marek GOLONKA // W: „Innowacyjne pomysły młodych naukowców: nauka – startup – przemysł” [Dokument elektroniczny] : VI edycja międzynarodowej konferencji : 11-13 maja 2020 r., Kraków / red. nauk. Joanna Kulczycka. — Wersja do Windows. — Dane tekstowe. — Kraków : Wydawnictwo IGSMiE PAN, 2020. — e-ISBN: 978-83-956380-5-3. — S. 18. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://iati.pl/wp-content/uploads/2020/06/Innowacyjne-pomysly-2020.pdf [2020-06-10]

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3

  • Visual novel jako przykład grywalizacji i uczenia o wiedzy inżynieryjnej — Visual novel as example of gamification and teaching engineering knowledge / Marek Zbigniew GOLONKA // W: Innowacje młodych naukowców a cele zrównoważonego rozwoju / red. nauk. Olga Janikowska ; Instytut Gospodarki Surowcami Mineralnymi i Energią PAN. — Kraków : Wydawnictwo IGSMiE PAN, 2020. — ISBN: 978-83-956380-9-1 ; e-ISBN: 978-83-959215-0-6. — S. 61–72. — Bibliogr. s. 72, Streszcz., Abstr.. — tekst: http://iati.pl/wp-content/uploads/2020/09/ksi%C4%85%C5%BCka-Cele-ZR.pdf

    orcid iD

  • słowa kluczowe: grywalizacja, visual novel, VN, Senren * Banka, Maitetsu, rozgałęzienie

    keywords: gamification, visual novel, VN, Senren * Banka, Maitetsu, branching path

    cyfrowy identyfikator dokumentu: