55 lat Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki Akademii Górniczo-Hutniczej im. Stanisława Staszica — [55 years of Faculty of Electrical Engineering, Automatics, Computer Science and Electronics of AGH University of Science and Technology] / Tomasz SZMUC // Pomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR ; ISSN 0032-4140. — 2007 nr 3, s. 2–3. — Na okł. dod.: AGH 55 lat Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki

Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych — Algebraic-graphical methods of knowledge representation for analysis and verification of attributive tabular systems / Marcin SZPYRKA, Tomasz SZMUC // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 535–543. — Bibliogr. s. 543, Streszcz., Summ.

Analiza i projektowanie oprogramowania systemów czasu rzeczywistego — Analysis and design of software for real-time systems / Tomasz SZMUC // W: Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — ISBN10: 8386856335. — S. 32–87. — Bibliogr. s. 85–87, Streszcz., Abstr.

Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia — Analysis and design of real-time computer systems with different distribution grade / red. Jan WEREWKA, Tomasz SZMUC ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — 560 s. — Bibliogr. przy rozdz.. — ISBN10: 83-86856-33-5

Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy — [Analysis, classification and evaluation of selected problems and solutions for knowledge representation and verification] / Antoni LIGĘZA, Radosław KLIMEK, Tomasz SZMUC // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 261–266. — Bibliogr. s. 266, Streszcz.

Analiza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego — [Analysis of UML 2.0 properties for a modeling of real time software] / Radosław KLIMEK, Tomasz SZMUC // W: Współczesne problemy systemów czasu rzeczywistego : praca zbiorowa / pod red.: Andrzeja Kwietnia i Piotra Gaja. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — ISBN10: 8320430232. — S. 45–60. — Bibliogr. s. 59–60

Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego — [Knowledge base analysis (verification) with use of coloured Petri nets] / Marcin SZPYRKA, Antoni LIGĘZA, Tomasz SZMUC // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — ISBN10: 83-7085-476-1. — S. 119–126. — Bibliogr. s. 126

Charakterystyka systemu RTLinux względem wybranych systemów operacyjnych czasu rzeczywistego — Profile of RTLinux system over existing real-time operating systems / Tomasz SZMUC, Piotr Matyasik, Rafał Mrówka // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN10: 83-914257-0-3. — S. 283–295. — Bibliogr. s. 295, Summ.

Dyskusja panelowa poświęcona zagadnieniom terminologicznym geoinformatyki — Information about a panel discussion on terminology and vocabulary organised by the Geoinformatics Commission PAU / Janusz 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.] // Geoinformatica Polonica ; ISSN 1642-2511. — 2001 nr 3, s. 57–79. — Bibliogr. w różnych częściach tekstu, Abstr.

Hierarchiczna reprezentacja reguł decyzyjnych w specyfikacji systemów czasu rzeczywistego — [Hierarchical representation of decision rules in specification of real-time systems] / Tomasz SZMUC, Rafał Mrówka // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 283–288. — Bibliogr. s. 288, Streszcz.

Informatyka – stan aktualny i kierunki rozwoju — [Computer science – present state and development directions] / Tomasz SZMUC // W: Prace Komisji Nauk Technicznych, T. 1 / pod red. Ryszarda Tadeusiewicza ; Polska Akademia Umiejętności. — Kraków : PAU, 2005. — S. 65–74. — Bibliogr. s. 74

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

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

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego — [Formal methods in real-time software engineering] / Tomasz SZMUC, Marcin SZPYRKA ; współautorzy: Radosław KLIMEK, Konrad KUŁAKOWSKI, Antoni LIGĘZA, Piotr MATYASIK, Grzegorz J. NALEPA, Jacek PIWOWARCZYK, Agata Półrola, Grzegorz ROGUS, Sławomir Samolej, Wojciech SZMUC, Piotr SZWED, Bartosz Trybus, Bożena Woźna-Szcześniak. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2010. — VI, 464 s.. — Bibliogr. s. 438–456, Indeks. — ISBN: 978-83-204-3669-3

Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II [druga] krajowa konferencja. Kraków, 25–27 października 1999 : materiały konferencyjne — [Computer methods and systems in scientific research and egineering design] / red.: R. TADEUSIEWICZ, S. BIAŁAS, T. SZMUC, M. SZYMKAT ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : [s. n.], 1999. — XIV, 736 s.. — Bibliogr. przy rozdz.

Modele formalne i możliwości analizy czasowej — Formal models and features of time analysis / Tomasz SZMUC // W: Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — ISBN10: 8386856335. — S. 88–157. — Bibliogr. s. 153–157, Streszcz., Abstr.

Modele i metody inżynierii oprogramowania systemów czasu rzeczywistego — [Models and methods of real-time software engineering] / Tomasz SZMUC. — Kraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne AGH, 2001. — 278, [1] s.. — (Wydawnictwa Naukowe / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; KU 0016). — Bibliogr. s. 273–[279]. — ISBN10: 83-88408-01-1

Modelowanie komunikacji w języku Ada z zastosowaniem kolorowanych sieci Petriego — [Modelling of Ada communication using coloured Petri nets] / Tomasz SZMUC, Piotr MATYASIK, Rafał Mrówka // W: Współczesne kierunki rozwoju elektrotechniki, automatyki, informatyki, elektroniki i telekomunikacji : materiały międzynarodowej konferencji zorganizowanej z okazji Jubileuszu 50-lecia Wydziału EAIiE : Kraków, 7–8 czerwca 2002 / kom. red. Tomasz Zieliński, Dariusz Borkowski ; AGH WEAIiE. — [Kraków : WEAIiE], 2002. — Na k. tyt. dodatkowo: Złoty Jubileusz Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — S. 53–56. — Bibliogr. s. 56, Streszcz.

Modelowanie systemów czasu rzeczywistego z zastosowaniem czasowych sieci Petriego — Real-time system modelling – timed Petri nets approach / Sławomir Samolej, Tomasz SZMUC // W: Systemy Czasu Rzeczywistego SCR'02 : IX [dziewiąta] konferencja : Ustroń, 16–19 września 2002 : materiały konferencyjne / red. Piotr Gaj, Andrzej Kwiecień. — Gliwice : Instytut Informatyki Politechniki Śląskiej, 2002. — S. 45–54. — Bibliogr. s. 53–54, Streszcz., Abstr.

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

Pomiary, Automatyka, Kontrola ; ISSN 0032-4140 / wydanie pod red. nauk. Tomasza SZMUCA ; Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR. — Warszawa : Agenda Wydawnicza SIMP, 2007. — nr 3. — Na okł. dod.: AGH 55 lat Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki

Precyzyjna reprezentacja wiedzy niepełnej – zbiory rozmyte i przybliżone — Precise reprezentation of uncertain knowledge – fuzzy sets and rough sets / Tomasz SZMUC // Geoinformatica Polonica ; ISSN 1642-2511. — 2002 [nr] 4, s. 55–79. — Bibliogr. s. 76–77, Streszcz., Summ.. — tekst: http://www.geoinformatica.agh.edu.pl/pdfy/GEOINFORMATICA_POLONICA_4-2002.pdf

Programowanie systemów czasu rzeczywistego — [Programming of real-time systems] / Gilles Motet, Tomasz SZMUC ; Krakowskie Centrum Informatyki Stosowanej. — Kraków : KCIS, 2000. — 244 s.. — (CCATIE Cracow Centre for Advanced Training in Information Engineering / kom. red. (przew.) Tomasz Szmuc ; 11). — Bibliogr. s. 241–244

Programowanie systemów czasu rzeczywistego z zastosowaniem języka Ada — [Programming of real-time systems using Ada language] / Gilles Motet, Tomasz SZMUC. — Kraków : Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 2002. — 218, [1] s.. — (Wydawnictwa Naukowe / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; KU 0047). — Bibliogr. s. 217–[219]

Projektowanie poprawnego oprogramowania czasu rzeczywistego wspomagane formalizmem algebry procesów — Designing real-time error–less systems using process algebra / Tomasz SZMUC, Sylwester Oskwarek // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN10: 83-914257-0-3. — S. 109–123. — Bibliogr. s. 122–123, Summ.