Threat Defense: Cyber Deception Approach and Education for Resilience in Hybrid Threats Model W Steingartner, D Galinec, A Kozina Symmetry 13 (4), 597, 2021 | 57 | 2021 |
Digital Intelligence-New Concept in Context of Future School of Education J Dostál, X Wang, W Steingartner, P Nuangchalerm Proceedings of ICERI2017 Conference 16th-18th November, 2017 | 47 | 2017 |
Cyber Threats and Cyber Deception in Hybrid Warfare W Steingartner, D Galinec Acta Polytechnica Hungarica 18 (3), 25-45, 2021 | 32 | 2021 |
Combining cybersecurity and cyber defense to achieve cyber resilience D Galinec, W Steingartner 2017 IEEE 14th International Scientific Conference on Informatics, 87-93, 2017 | 30 | 2017 |
Software support for course in semantics of programming languages W Steingartner, MAM Eldojali, D Radaković, J Dostál 2017 IEEE 14th International Scientific Conference on Informatics, 359-364, 2017 | 19 | 2017 |
New approach to categorical semantics for procedural languages W Steingartner, V Novitzká, M Bačíková, Š Korečko Computing and Informatics 36 (6), 1385-1414, 2017 | 19 | 2017 |
Cyber Rapid Response Team: An Option within Hybrid Threats D Galinec, W Steingartner, V Zebić 2019 IEEE 15th International Scientific Conference on Informatics, 000043-000050, 2019 | 18 | 2019 |
Some properties of coalgebras and their rôle in computer science W Steingartner, D Radaković, F Valkošák, P Macko Journal of Applied Mathematics and Computational Mechanics 15 (4), 145-156, 2016 | 18 | 2016 |
A new approach to semantics of procedures in categorical terms W Steingartner, V Novitzká 2015 IEEE 13th International Scientific Conference on Informatics, 252-257, 2015 | 18 | 2015 |
A Novel Categorical Approach to Semantics of Relational First-Order Logic W Schreiner, W Steingartner, V Novitzká Symmetry 12 (10), 1584, 2020 | 17 | 2020 |
Categorical model of structural operational semantics for imperative language W Steingartner, V Novitzká Journal of Information and Organizational Sciences 40 (2), 203-219, 2016 | 17 | 2016 |
Some useful structures for categorical approach for program behavior V Slodičák Journal of Information and Organizational Sciences 35 (1), 93-103, 2011 | 17 | 2011 |
Some useful structures for categorical approach for program behavior V Slodičák Journal of Information and Organizational Sciences 35 (1), 93-103, 2011 | 17 | 2011 |
Linear logical reasoning on programming V Novitzká, D Mihályi, V Slodičák Acta Electrotechnica et Informatica 6 (1), 1-6, 2006 | 17 | 2006 |
Coalgebras for modelling observable behaviour of programs W Steingartner, V Novitzká Journal of applied mathematics and computational mechanics 16 (2), 2017 | 16 | 2017 |
Linear logic in computer science W Steingartner, A Poláková, P Prazňák, V Novitzká Journal of Applied Mathematics and Computational Mechanics 14 (1), 91--100, 2015 | 15 | 2015 |
Some innovations of teaching the course on Data structures and algorithms W Steingartner, J Eged, D Radaković, V Novitzká 2019 IEEE 15th International Scientific Conference on Informatics, 000389-000396, 2019 | 14 | 2019 |
Some new approaches in functional programming using algebras and coalgebras V Slodičák, P Macko Electronic Notes in Theoretical Computer Science 279 (3), 41-62, 2011 | 14 | 2011 |
Software Support for Visualizing of the Graph Algorithms in a Novel Approach in Educating of Young IT Experts K Mocinecová, W Steingartner IPSI Transactions on Internet Research 16 (2), 14-23, 2020 | 12 | 2020 |
Coalgebraic operational semantics for an imperative language W Steingartner, V Novitzka, W Schreiner Computing and Informatics 38 (5), 1181-1209, 2019 | 12 | 2019 |