Concepedia

William Steingartner

WS

16

Publications

341

Citations

13

H-Index

2013

Active since

Affiliations

Technical University of Košice(Current)

University of Novi Sad

University of Applied Health Sciences

Croatian Academy of Sciences and Arts

William Steingartner is an author at Technical University of Košice specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationLanguageSemanticsSoftware Design

Publications per year

2013–2021

16

Publications

16

Threat Defense: Cyber Deception Approach and Education for Resilience in Hybrid Threats Model

William Steingartner, Darko Galinec, Andrija Kozina · Symmetry · 2021 · 90 citations · Full text

Engineering, Information Security, Hybrid Threats Model +17

Cyber Threats and Cyber Deception in Hybrid Warfare

William Steingartner, Darko Galinec · Acta Polytechnica Hungarica · 2021 · 39 citations · Full text

Some innovations of teaching the course on Data structures and algorithms

William Steingartner, Jan Eged, Davorka Radaković et al. · 2019 · 24 citations

Engineering, Algorithmic Library, Practical Foundations +23

A Novel Categorical Approach to Semantics of Relational First-Order Logic

Wolfgang Schreiner, William Steingartner, Valerie Novitzká · Symmetry · 2020 · 22 citations · Full text

Engineering, Categorical Formalization, Well-founded Semantics +20

Linear logic in computer science

William Steingartner, Andrea Poláková, Peter Prazňák et al. · Journal of Applied Mathematics and Computational Mechanics · 2015 · 20 citations · Full text

Numerical Analysis, Applied Logic, Applied Mathematical Modelling +12

Rows per page

1–5 of 16