| Software engineering: evolution and emerging technologies K Zieliński, T Szmuc IOS Press, 2005 | 37 | 2005 |
| Modele i metody inżynierii oprogramowania systemów czasu rzeczywistego T Szmuc Akademia Górniczo-Hutnicza. Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 2001 | 22 | 2001 |
| Uml statecharts compositional semantics in lotos R Mrowka, T Szmuc 2008 International Symposium on Parallel and Distributed Computing, 459-463, 2008 | 19 | 2008 |
| Decision tables in Petri net models M Szpyrka, T Szmuc Rough Sets and Intelligent Systems Paradigms: International Conference …, 2007 | 16 | 2007 |
| Towards embedded systems formal verification translation from SysML into Petri nets W Szmuc, T Szmuc 2018 25th International Conference" Mixed Design of Integrated Circuits and …, 2018 | 14 | 2018 |
| A formal approach to modelling of real-time systems using RTCP-nets M Szpyrka, T Szmuc, P Matyasik, W Szmuc Foundations of Computing and Decision Sciences 30 (1), 61-71, 2005 | 11 | 2005 |
| Time extensions of Petri nets for modelling and verification of hard real-time systems S Samolej, T Szmuc Computer Science 4, 55-76, 2002 | 11 | 2002 |
| Zaawansowane metody tworzenia oprogramowania systemĂłw czasu rzeczywistego T Szmuc Katedra Automatyki AGH, 1998 | 11 | 1998 |
| Integrated approach to modelling and analysis using RTCP-nets M Szpyrka, T Szmuc Software Engineering Techniques: Design for Quality, 115-120, 2007 | 10 | 2007 |
| Verification of automatic train protection systems with RTCP-nets M Szpyrka, T Szmuc International Conference on Computer Safety, Reliability, and Security, 344-357, 2006 | 10 | 2006 |
| Comparative overview of rough set toolkit systems for data analysis P Pięta, T Szmuc, K Kluza MATEC Web of Conferences 252, 03019, 2019 | 9 | 2019 |
| Green AGH Campus. T Szmuc, L Kotulski, B Wojszczyk, A Sedziwy, B Donnellan, JAP Lopes, ... Smartgreens, 159-162, 2012 | 9 | 2012 |
| Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego T Szmuc, M Szpyrka, R Klimek, W Naukowo-Techniczne Wydawnictwa Naukowo-Techniczne, 2010 | 9 | 2010 |
| D-nets-Petri net form of rule-based systems M Szpyrka, T Szmuc Foundations of Computing and Decision Sciences 31 (2), 175-190, 2006 | 9 | 2006 |
| Specyfikacja i projektowanie oprogramowania systemów czasu rzeczywistego T Szmuc, G Motet AGH Uczelniane Wydawnictwa Naukowo-Dydaktyczne, Kraków, 2000 | 9 | 2000 |
| HTCPNs–based modelling and evaluation of dynamic computer cluster reconfiguration S Samolej, T Szmuc Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East …, 2012 | 8 | 2012 |
| Formal methods—support or scientific decoration in software development? T Szmuc, M Szpyrka 2015 22nd International Conference Mixed Design of Integrated Circuits …, 2015 | 7 | 2015 |
| Modeling UML object event handling with Petri nets W Szmuc, T Szmuc 2016 MIXDES-23rd International Conference Mixed Design of Integrated …, 2016 | 6 | 2016 |
| Towards automatic correctness verification of real-time programs T Szmuc, P Szwed Zielona Góra: Uniwersytet Zielonogórski, 1994 | 6 | 1994 |
| Programowanie systemów czasu rzeczywistego T Szmuc, G Motet Krakowskie Centrum Informatyki Stosowanej, Kraków, 2000 | 5 | 2000 |
