Wykaz publikacji wybranego autora

Tomasz Bartłomiej Szmuc, prof. dr hab. inż.

profesor zwyczajny

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

  • 2018

    [dyscyplina 1] 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-0003-4922-5369 orcid iD

ResearcherID: J-3955-2014

Scopus: 6602953396

PBN: 5e70922c878c28a047391201

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • A novel method for fast generation of 3D objects from multiple depth sensors / Tomasz SZMUC, Rafał MRÓWKA, Marek Brańka, Jakub FICOŃ, Piotr PIĘTA // Journal of Artificial Intelligence and Soft Computing Research [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2449-6499. — 2023 vol. 13 iss. 2, s. 95-105. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 101-104, Abstr.. — Publikacja dostępna online od: 2023-03-11. — tekst: https://sciendo.com/article/10.2478/jaiscr-2023-0009

    orcid iD

  • keywords: point cloud, LiDAR, registration, 3D scan, mesh

    Zobacz pełny wykaz publikacji Autora/Autorów: Rafał Mrówka, Piotr Pięta, Jakub Ficoń

    cyfrowy identyfikator dokumentu: 10.2478/jaiscr-2023-0009

2

  • Advances in software engineering techniques : 4th IFIP TC 2 Central and East European conference on Software Engineering Techniques, CEE-SET 2009 : Krakow, Poland, October 12–14, 2009 : revised selected papers / eds. Tomasz SZMUC, Marcin SZPYRKA, Jaroslav Zendulka. — Heidelberg, [etc.] : Springer, cop. 2012. — XII, 256, [1] s.. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 7054. Programming and Software Engineering ; ISSN 2945-915X). — Bibliogr. przy rozdz., Index. — ISBN: 978-3-642-28037-5 ; e-ISBN: 978-3-642-28038-2. — tekst: https://link-1springer-1com-1000048es0002.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-642-28038-2.pdf

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-28038-2

3

  • Application of reinforcement learning in decision systems: lift control case study / Mateusz WOJTULEWICZ, Tomasz SZMUC // Applied Sciences (Basel) [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2076-3417. — 2024 vol. 14 iss. 2 art. no. 569, s. 1–12. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 11–12, Abstr.. — Publikacja dostępna online od: 2024-01-09. — tekst: https://www.mdpi.com/2076-3417/14/2/569/pdf?version=1704793652

    orcid iD

  • keywords: reinforcement learning, artificial intelligence, decision systems, lift control

    Zobacz pełny wykaz publikacji Autora/Autorów: Mateusz Wojtulewicz

    cyfrowy identyfikator dokumentu: 10.3390/app14020569

4
5
6

  • Consistency preserving development of embedded systems using AADL / Tomasz SZMUC, Wojciech SZMUC // W: MIXDES 2020 [Dokument elektroniczny] : proceedings of 27\textsuperscript{th} international conference Mixed Design of integrated circuits and systems : Łódź, Poland, June 25–27, 2020 / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology, cop. 2020. — Dod. e-ISBN: 978-83-63578-18-3 ; Print on Demand(PoD) ISBN: 978-1-7281-9781-4. — e-ISBN: 978-83-63578-17-6. — S. 245–248. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2020.pdf [2020-08-27]. — Bibliogr. s. 248, Abstr.. — Publikacja dostępna online od: 2020-08-04. — Toż po adresem {https://ieeexplore-1ieee-1org-1000047s4002e.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==9155806}

    orcid iD

  • keywords: embedded systems, temporal logic verification, translation into CPN, AADL

    Zobacz pełny wykaz publikacji Autora/Autorw: Wojciech Szmuc

    cyfrowy identyfikator dokumentu:

7
8

  • Decision tables in Petri net models / Marcin SZPYRKA, Tomasz SZMUC // W: Rough sets and intelligent systems paradigms : international conference, RSEISP 2007 : Warsaw, Poland, June 28–30, 2007 : proceedings / eds. Marzena Kryszkiewicz [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2007. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 4585). — ISBN: 978-3-540-73450-5 ; e-ISBN: 978-3-540-73451-2. — S. 648–657. — Bibliogr. s. 657, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

9

  • Design and verification of rule-based systems for Alvis models / Marcin SZPYRKA, Tomasz SZMUC // W: Rough sets and intelligent systems – Profesor Zdzisław Pawlak in memoriam, Vol. 2 / eds. Andrzej Skowron, Zbigniew Suraj. — Berlin ; Heidelberg : Springer-Verlag, 2013. — (Intelligent Systems Reference Library ; ISSN 1868-4394 ; vol. 43). — ISBN: 978-3-642-30340-1 ; e-ISBN: 978-3-642-30341-8. — S. 539–558. — Bibliogr. s. 558, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

10

  • Formal methods - support or scientific decoration in software development / Tomasz SZMUC, Marcin SZPYRKA // W: MIXDES 2015 : mixed design of integrated circuits and systems : Toruń, Poland June 25–27, 2015 : book of abstracts of 22\textsuperscript{nd} international conference / ed. Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2015. — e-ISBN: 978-83-63578-06-0. — S. 19. — Pełny tekst na CD-ROMie. — S. 24–31. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 30–31, Abstr.

  • keywords: temporal logic, Petri nets, embedded systems, software development, process algebra, Alvis language

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2015.7208473

11

  • From UML object behavior description into Petri net models : towards systematic development of embedded systems / Wojciech SZMUC, Tomasz SZMUC // International Journal of Microelectronics and Computer Science ; ISSN 2080-8755. — 2016 vol. 7 no. 2, s. 60–64. — Bibliogr. s. 63–64, Abstr.. — tekst: https://ijmcs.dmcs.pl/documents/10630/212938/IJMCS_2_2016_4.pdf

  • keywords: UML, model, object, formal, Petri, queue, event, state machine

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Szmuc

    cyfrowy identyfikator dokumentu:

12

  • General information about the KIC innoenergy Co-Location Center / Rafał MRÓWKA, Tomasz SZMUC // W: Development 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. — ISBN: 978-83-931791-1-4. — S. 9–16

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Rafał Mrówka

    cyfrowy identyfikator dokumentu:

13

  • HTCPNs – based analysis of priority-based Internet requests scheduling — Sieci HTCPN w analizie szeregowania priorytetowej obsługi żądań internetowych / Sławomir Samolej, Tomasz SZMUC // Przegląd Elektrotechniczny = Electrical Review / Stowarzyszenie Elektryków Polskich ; ISSN 0033-2097. — 2010 R. 86 nr 9, s. 174–178. — Bibliogr. s. 178, Abstr., Streszcz.

  • keywords: performance evaluation, Hierarchical Timed Coloured Petri Nets, Web-Server Systems, Static and dynamic priority-based scheduling algorithms

    cyfrowy identyfikator dokumentu:

14

  • HTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration / Sławomir Samolej, Tomasz SZMUC // W: Advances in software engineering techniques : 4th IFIP TC 2 Central and East European conference on Software Engineering Techniques, CEE-SET 2009 : Krakow, Poland, October 12–14, 2009 : revised selected papers / eds. Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. — Heidelberg, [etc.] : Springer, cop. 2012. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 7054. Programming and Software Engineering ; ISSN 2945-915X). — ISBN: 978-3-642-28037-5. — S. 97–108. — Bibliogr. s. 106–108, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15

  • Improving dependability of automation for free electron laser FLASH / Boguslaw Kosęda, Tomasz SZMUC, Wojciech Cichalewski // Journal of Automation, Mobile Robotics & Intelligent Systems : JAMRIS ; ISSN 1897-8649. — 2009 vol. 3 no. 1, s. 33–39. — Bibliogr. s. 38–39, Abstr.. — tekst: http://www.jamris.org/images/ISSUES/ISSUE-2009-01/007%20JAMRIS%20No9%20-%20Koseda.pdf

  • keywords: formal methods, automation, model checking, prolog, expert system, flash

    cyfrowy identyfikator dokumentu:

16

  • KIC InnoEnergy Innovation in Sustainable Energy / Tomasz SZMUC // Biuletyn Polskiego Stowarzyszenia Wodoru i Ogniw Paliwowych = Bulletin of the Polish Hydrogen and Fuel Cells Association ; ISSN 1896-7205. — 2011 nr 6, S. 123–124. — Smart materials for hydrogen and renewable energy : 3rd Polish forum : set plan satellite conference : 29–30 Nov. 2011 Warsaw. — Kraków : Polskie Stowarzyszenie Wodoru i Ogniw Paliwowych, AGH. Wydział Energetyki i Paliw, 2011

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

17

  • Krakowski Węzeł we Wspólnocie Wiedzy i Innowacji KIC-InnoEnergy — Krakow Colocation Centre in Knowledge and Innovation Community KIC-InnoEnergy / Tomasz SZMUC // Biuletyn Polskiego Stowarzyszenia Wodoru i Ogniw Paliwowych = Bulletin of the Polish Hydrogen and Fuel Cells Association ; ISSN 1896-7205. — 2010 nr 5, s. 87

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

18

  • Metoda modelowania i projektowania klastrów WWW z zastosowaniem kolorowanych sieci Petriego — [A method for modelling and design of WWW grids using coloured Petri nets] / Tomasz SZMUC // W: Inżynieria oprogramowania – od teorii do praktyki : praca zbiorowa / pod red. Zbigniewa Huzara, Zygmunta Mazura. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2008. — ISBN: 978-83-206-1703-0. — S. 49–58. — Bibliogr. s. 58

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

19
20

  • Modeling robot behavior with CCL / Konrad KUŁAKOWSKI, Tomasz SZMUC // W: Simulation, modelling, and programming for autonomous robots : third international conference, SIMPAR 2012 : Tsukuba, Japan, November 5–8, 2012 : proceedings / eds. Itsuki Noda, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2012. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 7628. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-34326-1. — S. 40–51

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Konrad Kułakowski

    cyfrowy identyfikator dokumentu:

21

  • Modeling UML object event handling with Petri Nets : towards improvement of embedded systems analysis and design / Wojciech SZMUC, Tomasz SZMUC // W: MIXDES 2016 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Łódź, Poland, June 23–25, 2016 : book of abstracts of 23\textsuperscript{rd} international conference / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2016. — Dysk Flash. — e-ISBN: 978-8-3635-7808-4. — S. 129. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 129. — Pełny tekst pod adresem {http://wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==7529785}. — S.454–457. - Bibliogr. s.457, Abstr.

  • keywords: UML, model, object, formal, Petri, queue, event

    Zobacz pełny wykaz publikacji Autora/Autorw: Wojciech Szmuc

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2016.7529785

22

  • Nowoczesne metody wytwarzania oprogramowania systemów cyberfizycznych — Modern methods in software development of cyber-physical systems / Tomasz SZMUC, Rafał MRÓWKA, Paweł SKRZYŃSKI, Grzegorz ROGUS, Wojciech SZMUC, Jacek PIWOWARCZYK, Marek Brańka, Jakub Ficoń // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-84-7 ; e-ISBN: 978-83-67427-00-5. — S. 83–98. — Bibliogr. s. 96–98, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0602/NTT_tom5_083.pdf

    orcid iD

  • słowa kluczowe: sieci Petriego, rzeczywistość wirtualna, systemy cyberfizyczne, AADL, SysML

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

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Paweł Skrzyński, Jacek Piwowarczyk, Wojciech Szmuc, Rafał Mrówka

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

23

  • Rigorous development of embedded systems supported by formal tools / Tomasz SZMUC, Wojciech SZMUC // W: MIXDES 2020 [Dokument elektroniczny] : proceedings of 27\textsuperscript{th} international conference Mixed Design of integrated circuits and systems : Łódź, Poland, June 25–27, 2020 / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology, cop. 2020. — Dod. e-ISBN: 978-83-63578-18-3 ; Print on Demand(PoD) ISBN: 978-1-7281-9781-4. — e-ISBN: 978-83-63578-17-6. — S. 272–276. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2020.pdf [2020-08-27]. — Bibliogr. s. 276, Abstr.. — Publikacja dostępna online od: 2020-08-04. — Toż pod adresem {https://ieeexplore-1ieee-1org-1000047s4002e.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==9155782}

    orcid iD

  • keywords: embedded systems, temporal logic verification, translation into formal models

    Zobacz pełny wykaz publikacji Autora/Autorw: Wojciech Szmuc

    cyfrowy identyfikator dokumentu:

24

  • Towards embedded systems formal verification / Wojciech SZMUC, Tomasz SZMUC // W: MIXDES 2018 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : book of abstracts of 25\textsuperscript{th} international conference : Gdynia, Poland, June 21–23, 2018 / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2018. — ISBN na podstawie bazy Web of Science. — ISBN: 978-8-3635-7814-5. — S. 120. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2018_BoA.pdf [2018-06-28]. — Bibliogr. s. 120. — Pełny tekst dostępny online: {https://ieeexplore-1ieee-1org-1000047w20065.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==8436870} [2018-11-23]. — S.420–423. — Wymagania systemowe: Adobe Reader. — Bibliogr. s.423, Abstr.

    orcid iD

  • keywords: embedded systems, formal verification, systems models

    Zobacz pełny wykaz publikacji Autora/Autorw: Wojciech Szmuc

    cyfrowy identyfikator dokumentu: 10.23919/MIXDES.2018.8436870

25

  • Wspomnienie o profesorze Antonim Pachu — [In memoriam of Antoni Pach] / Tomasz SZMUC // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2008 t. 12 z. 1, s. 15–18. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2008-01/Auto01.pdf

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: