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
  • [artykuł w czasopiśmie, 2007]
  • Tytuł55 lat Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki Akademii Górniczo-Hutniczej im. Stanisława Staszica
    AutorzyTomasz SZMUC
    Ź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. — 2007 nr 3, s. 2–3
2
  • [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
3
  • [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
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
9
  • [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
10
11
  • [artykuł w czasopiśmie, 2001]
  • TytułDyskusja panelowa poświęcona zagadnieniom terminologicznym geoinformatyki
    AutorzyJanusz KOTLARCZYK, Zbigniew SITEK, Michał ODLANICKI-POCZOBUTT, Wojciech Pachelski, Stanisław MULARZ, [et al.], Stefan Witold ALEXANDROWICZ, Zbigniew KASINA, Henryk MARCAK, Józef JACHIMSKI, Andrzej LEŚNIAK, Wojciech MASTEJ, [et al.], Jakub SIEMEK, Andrzej OLAJOSSY, Tomasz SZMUC, [et al.]
    ŹródłoGeoinformatica Polonica. — 2001 nr 3, s. 57–79
12
  • [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
13
  • [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
14
15
  • [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
16
  • [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
17
18
  • [artykuł w czasopiśmie, 2003]
  • TytułSpecification of external system behaviour based on D-nets: theoretical aspects and computer tools
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2003 t. 7 z. 1–2, s. 275–281
19
  • [referat w czasopiśmie, 2005]
  • TytułSystematyczna analiza poprawności w wytwarzaniu bezpiecznego oprogramowania
    AutorzyTomasz SZMUC, Grzegorz ROGUS
    Ź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. — 2005 [nr] 9bis wyd. spec. dod., s. 288–290
20
  • [artykuł w czasopiśmie, 2002]
  • TytułTime extensions of Petri nets for modelling and verification of hard real-time systems
    AutorzySławomir Samolej, Tomasz SZMUC
    ŹródłoComputer Science. — 2002 vol. 4, s. 55–76
21
  • [artykuł w czasopiśmie, 2008]
  • TytułWspomnienie o profesorze Antonim Pachu
    AutorzyTomasz SZMUC
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2008 t. 12 z. 1, s. 15–18. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2008-01/Auto01.pdf
22
  • [artykuł w czasopiśmie, 2001]
  • TytułZastosowanie algebry procesów do wspomagania projektowania poprawnego oprogramowania systemów reaktywnych
    AutorzyTomasz SZMUC, Sylwester Oskwarek
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 523–533