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

A formal approach to modelling of real-time systems using RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC, Piotr MATYASIK, Wojciech SZMUC // Foundations of Computing and Decision Sciences ; ISSN 0867-6356. — 2005 vol. 30 no. 1, s. 61–71. — Bibliogr. s. 70–71, Abstr.. — National Software Engineering Conference (KKIO'2004) sympozjum : 5-8 October 2004, Gdańsk, Poland. — tekst: http://fcds.cs.put.poznan.pl/FCDS/ArticleDetails.aspx?articleId=31

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

Analysis, verification and design of tabular systems : logical, algebraic and graphical methods — Analiza, weryfikacja i projektowanie systemów tablicowych : metody logiczne, algenraiczne i graficzne / Antoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 345–354. — Bibliogr. s. 353–354, Streszcz., Summ.

Application of RTCP-nets for design and analysis of embedded systems / M. SZPYRKA, T. SZMUC // W: MIXDES 2005 : MIXed DESign of integrated circuits and systems : proceedings of the 12\textsuperscript{th} international conference : Kraków, Poland 22–25 June 2004, Vol. 1 of 2 / ed. Andrzej Napieralski. — [Łodź : Technical University. Department of Microelectronics and Computer Science], 2005. — S. 565–570. — Bibliogr. s. 570, Abstr.

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

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 / eds. Tomasz SZMUC, Marcin SZPYRKA, Jaroslav Zendulka. — [Kraków : AGH], [2009]. — 297, [1] s.. — Bibliogr. przy rozdz., Indeks

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.

D-nets – Petri net form of rule-based systems / Marcin SZPYRKA, Tomasz SZMUC // Foundations of Computing and Decision Sciences ; ISSN 0867-6356. — 2006 vol. 31 no. 2, s. 175–190. — Bibliogr. s. 190, Abstr.. — tekst: http://fcds.cs.put.poznan.pl/FCDS/ArticleDetails.aspx?articleId=17

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.

Green AGH Campus : [abstract] / Tomasz SZMUC, Leszek KOTULSKI, Bartosz Wojszczyk, Adam SĘDZIWY // W: SMARTGREENS 2012 : 1\textsuperscript{st} international conference on Smart grids and green IT systems : Porto, Portugal 19–20 April 2012 : final program and book of abstracts. — Portugal : SciTePress, 2012. — S. 31. — Pełny tekst W: SMARTGREENS 2012 [Dokument elektroniczny] : Porto, Portugal, 19–20 April, 2012. — Wersja do Windows. — Dane tekstowe. — Portugal : SciTePress, 2012. — 1 dysk optyczny. — S. 159–162. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Tytuł przejęto ze s. tyt. — Bibliogr. s. 162, Abstr. — ISBN 978-989-8565-09-9

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.

HTCPNs-based modelling and evaluation of dynamic computer cluster reconfiguration / Sławomir Samolej, Tomasz SZMUC // W: 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 / eds. Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. — [Kraków : AGH], [2009]. — S. 114–125. — Bibliogr. s. 124–125, Abstr.

Improving dependability of automation for free electron laser FLASH / Bogusław Kosęda, Tomasz SZMUC, Wojciech Cichalewski // W: Multiconference proceedings [Dokument elektroniczny] : Workshop on Agent based computing IV ; 2\textsuperscript{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. — Wersja do Windows. — Dane tekstowe. — [Poland?] : PIPS, cop. 2007. — 1 dysk optyczny. — (Proceedings of the International Multiconference on Computer Science and Information Technology ; ISSN 1896-7094 ; vol. 2). — Na CD-ROM-ie dodatkowo: XXIII Jesienne Spotkania PTI. — S. 837–847. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. 846–847, Abstr.. — Tyt. przejęto z ekranu tytułowego. — Publikacja zaprezentowana w ramach: International workshop on Real time software

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

Integrated approach to modelling and analysis using RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Software engineering techniques : design for quality / ed. Krzysztof Sacha. — New York, NY, USA : Springer, 2006. — (IFIP International Federation for Information Processing : a Springer Series in Computer Science ; ISSN 1571-5736 ; 227). — Prace prezentowane na konferencji: IFIP working conference on Software Engineering Techniques SET 2006 : October 17–20, 2006, Warsaw. — ISBN10: 0-387-39387-0. — S. 115–120. — Bibliogr. s. 120, Abstr.

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

Modeling and verification of reactive software using LOTOS / Grzegorz ROGUS, Tomasz SZMUC // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 365–377. — Bibliogr. s. 377, Abstr.

Modelling and simulation of embedded systems with RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Proceedings of the IASTED international conference on Applied simulation and modelling : June 28–30, 2004, Rhodes, Greece / ed. M. H. Hamza. — Anaheim ; Calgary ; Zurich : ACTA Press, 2004. — (A Publication of the International Association of Science and Technology for Development). — S. 504–509. — Bibliogr. s. 509, Abstr.