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
  • [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
  • [artykuł w czasopiśmie, 2023]
  • TytułA novel method for fast generation of 3D objects from multiple depth sensors
    AutorzyTomasz SZMUC, Rafał MRÓWKA, Marek Brańka, Jakub FICOŃ, Piotr PIĘTA
    ŹródłoJournal of Artificial Intelligence and Soft Computing Research [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2023 vol. 13 iss. 2, s. 95-105. — tekst: https://sciendo.com/article/10.2478/jaiscr-2023-0009
3
  • [materiały konferencyjne (red.), 2012]
  • Tytuł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
    Autorzyeds. Tomasz SZMUC, Marcin SZPYRKA, Jaroslav Zendulka
    DetailsHeidelberg, [etc.] : Springer, cop. 2012. — XII, 256, [1] s.
4
  • [artykuł w czasopiśmie, 2001]
  • TytułAlgebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 535–543
5
  • [artykuł w czasopiśmie, 2001]
  • TytułAnalysis, verification and design of tabular systems : logical, algebraic and graphical methods
    AutorzyAntoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 345–354
6
  • [artykuł w czasopiśmie, 2024]
  • TytułApplication of reinforcement learning in decision systems: lift control case study
    AutorzyMateusz WOJTULEWICZ, Tomasz SZMUC
    ŹródłoApplied Sciences (Basel) [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2024 vol. 14 iss. 2 art. no. 569, s. 1–12. — tekst: https://www.mdpi.com/2076-3417/14/2/569/pdf?version=1704793652
7
8
  • [materiały konferencyjne (red.), 2009]
  • TytułCEE-SET 2009 : preprint of the proceedings of the 4th IFIP TC2 Central and East European conference on Software Engineering Techniques : Kraków, Poland, October 12–14, 2009
    Autorzyeds. Tomasz SZMUC, Marcin SZPYRKA, Jaroslav Zendulka
    Details[Kraków : AGH], [2009]. — 297, [1] s.
9
10
  • [referat, 2020]
  • TytułConsistency preserving development of embedded systems using AADL
    AutorzyTomasz SZMUC, Wojciech SZMUC
    ŹródłoMIXDES 2020 [Dokument elektroniczny] : proceedings of 27textsuperscript{th} international conference Mixed Design of integrated circuits and systems : Łódź, Poland, June 25–27, 2020 / ed. by Andrzej Napieralski. — Łódź : Lodz University of Technology, cop. 2020. — S. 245–248
11
  • [artykuł w czasopiśmie, 2018]
  • TytułCross modeling of embedded systems using SysML and Petri Nets
    AutorzyWojciech SZMUC, Tomasz SZMUC
    ŹródłoInternational Journal of Microelectronics and Computer Science. — 2018 vol. 9 no. 2, s. 60–65. — tekst: https://ijmcs.dmcs.pl/documents/10630/360081/IJMCS_2_2018_2.pdf
12
  • [referat, 2007]
  • TytułDecision tables in Petri net models
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoRough 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. — S. 648–657
13
  • [fragment książki, 2013]
  • TytułDesign and verification of rule-based systems for Alvis models
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoRough sets and intelligent systems – Profesor Zdzisław Pawlak in memoriam, Vol. 2 / eds. Andrzej Skowron, Zbigniew Suraj. — Berlin ; Heidelberg : Springer-Verlag, 2013. — S. 539–558
14
  • [referat, 2015]
  • TytułFormal methods - support or scientific decoration in software development
    AutorzyTomasz SZMUC, Marcin SZPYRKA
    ŹródłoMIXDES 2015 : mixed design of integrated circuits and systems : Toruń, Poland June 25–27, 2015 : book of abstracts of 22textsuperscript{nd} international conference / ed. Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2015. — S. 19
15
  • [artykuł w czasopiśmie, 2016]
  • TytułFrom UML object behavior description into Petri net models : towards systematic development of embedded systems
    AutorzyWojciech SZMUC, Tomasz SZMUC
    ŹródłoInternational Journal of Microelectronics and Computer Science. — 2016 vol. 7 no. 2, s. 60–64. — tekst: https://ijmcs.dmcs.pl/documents/10630/212938/IJMCS_2_2016_4.pdf
16
  • [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
17
  • [artykuł w czasopiśmie, 2010]
  • TytułHTCPNs – based analysis of priority-based Internet requests scheduling
    AutorzySławomir Samolej, Tomasz SZMUC
    ŹródłoPrzegląd Elektrotechniczny / Stowarzyszenie Elektryków Polskich. — 2010 R. 86 nr 9, s. 174–178
18
  • [referat, 2009]
  • TytułHTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration
    AutorzySławomir Samolej, Tomasz SZMUC
    ŹródłoCEE-SET 2009 : preprint of the proceedings of the 4th IFIP TC2 Central and East European conference on Software Engineering Techniques : Kraków, Poland, October 12–14, 2009 / eds. Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. — [Kraków : AGH], [2009]. — S. 114–125
19
  • [referat, 2012]
  • TytułHTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration
    AutorzySławomir Samolej, Tomasz SZMUC
    ŹródłoAdvances 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. — S. 97–108
20
  • [referat, 2007]
  • TytułImproving dependability of automation for free electron laser FLASH
    AutorzyBogusław Kosęda, Tomasz SZMUC, Wojciech Cichalewski
    ŹródłoMulticonference proceedings [Dokument elektroniczny] : Workshop on Agent based computing IV ; 2textsuperscript{nd} International symposium advances in artificial intelligence and applications ; Computer aspects of numerical algorithms ; 7th International multidisciplinary conference on Electronic commerce ; 2nd International workshop on Secure information systems ; International conference on Principles of information technology and applications ; International workshop on Real time software ; Invited papers for the round table discussion on Real time software engineering education ; Workshop on Ad-Hoc wireless networks: urban legends and reality ; 1st Workshop on Advances in programming languages : October 15–17, 2007, Wisła, Poland / PTI Polish Information Processing Society. — [Poland?] : PIPS, cop. 2007. — S. 837–847
21
22
  • [fragment książki, 2006]
  • TytułIntegrated approach to modelling and analysis using RTCP-nets
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoSoftware engineering techniques : design for quality / ed. Krzysztof Sacha. — New York, NY, USA : Springer, 2006. — S. 115–120
23
  • [referat w czasopiśmie, 2011]
  • TytułKIC InnoEnergy Innovation in Sustainable Energy
    AutorzyTomasz SZMUC
    ŹródłoBiuletyn Polskiego Stowarzyszenia Wodoru i Ogniw Paliwowych. — 2011 nr 6, S. 123–124
24
  • [artykuł w czasopiśmie, 2010]
  • TytułKrakowski Węzeł we Wspólnocie Wiedzy i Innowacji KIC-InnoEnergy
    AutorzyTomasz SZMUC
    ŹródłoBiuletyn Polskiego Stowarzyszenia Wodoru i Ogniw Paliwowych. — 2010 nr 5, s. 87
25
  • [fragment książki, 2008]
  • TytułMetoda modelowania i projektowania klastrów WWW z zastosowaniem kolorowanych sieci Petriego
    AutorzyTomasz SZMUC
    ŹródłoInżynieria oprogramowania – od teorii do praktyki : praca zbiorowa / pod red. Zbigniewa Huzara, Zygmunta Mazura. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2008. — S. 49–58