Follow
William Steingartner
William Steingartner
associate professor, Technical University of Košice
Verified email at tuke.sk
Title
Cited by
Cited by
Year
Threat Defense: Cyber Deception Approach and Education for Resilience in Hybrid Threats Model
W Steingartner, D Galinec, A Kozina
Symmetry 13 (4), 597, 2021
572021
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
472017
Cyber Threats and Cyber Deception in Hybrid Warfare
W Steingartner, D Galinec
Acta Polytechnica Hungarica 18 (3), 25-45, 2021
322021
Combining cybersecurity and cyber defense to achieve cyber resilience
D Galinec, W Steingartner
2017 IEEE 14th International Scientific Conference on Informatics, 87-93, 2017
302017
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
192017
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
192017
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
182019
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
182016
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
182015
A Novel Categorical Approach to Semantics of Relational First-Order Logic
W Schreiner, W Steingartner, V Novitzká
Symmetry 12 (10), 1584, 2020
172020
Categorical model of structural operational semantics for imperative language
W Steingartner, V Novitzká
Journal of Information and Organizational Sciences 40 (2), 203-219, 2016
172016
Some useful structures for categorical approach for program behavior
V Slodičák
Journal of Information and Organizational Sciences 35 (1), 93-103, 2011
172011
Some useful structures for categorical approach for program behavior
V Slodičák
Journal of Information and Organizational Sciences 35 (1), 93-103, 2011
172011
Linear logical reasoning on programming
V Novitzká, D Mihályi, V Slodičák
Acta Electrotechnica et Informatica 6 (1), 1-6, 2006
172006
Coalgebras for modelling observable behaviour of programs
W Steingartner, V Novitzká
Journal of applied mathematics and computational mechanics 16 (2), 2017
162017
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
152015
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
142019
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
142011
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
122020
Coalgebraic operational semantics for an imperative language
W Steingartner, V Novitzka, W Schreiner
Computing and Informatics 38 (5), 1181-1209, 2019
122019
The system can't perform the operation now. Try again later.
Articles 1–20