William Steingartner

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 13

Top Topics

Dagstuhl Castle

Operational Semantics

Abstract Machine

Selected Papers

Top Venues

ADBIS (Short Papers)

Central Eur. J. Comput. Sci.

Comput. Informatics

Publications

William Steingartner, Valerie Novitzká
Operational semantics in a domain-specific robot control language: A pedagogical use case. Comput. Sci. Inf. Syst. 21 (3) (2024)
William Steingartner, Igor Sivý
From High-Level Language to Abstract Machine Code: An Interactive Compiler and Emulation Tool for Teaching Structural Operational Semantics. ADBIS (Short Papers) (2023)
Pawel Kossecki, Jacek Wachowicz, William Steingartner
Valuation of Internet Companies - Selected Issues. KES (2023)
Lucia de Espona Pernas, Anton Vichalkovski, William Steingartner, Ela Pustulka
Automatic Indexing for MongoDB. ADBIS (Short Papers) (2023)
William Steingartner, Róbert Baraník, Valerie Novitzká
Abstract Machine for Operational Semantics of Domain-Specific Language. ADBIS (Short Papers) (2022)
William Steingartner, Darko Galinec, Andrija Kozina
Threat Defense: Cyber Deception Approach and Education for Resilience in Hybrid Threats Model. Symmetry 13 (4) (2021)
William Steingartner
Preface to Special Issue "Informatics 2019". Open Comput. Sci. 11 (1) (2021)
William Steingartner
On some innovations in teaching the formal semantics using software tools. Open Comput. Sci. 11 (1) (2021)
William Steingartner, Valerie Novitzká
Natural Semantics for Domain-Specific Language. ADBIS (Short Papers) (2021)
Wolfgang Schreiner, William Steingartner, Valerie Novitzká
A Novel Categorical Approach to Semantics of Relational First-Order Logic. Symmetry 12 (10) (2020)
William Steingartner, Valerie Novitzká, Wolfgang Schreiner
Coalgebraic Operational Semantics for an Imperative Language. Comput. Informatics 38 (5) (2019)
Ján Perhác, Zuzana Bilanová, William Steingartner, Jergus Piatko
Benchmark of software developed in different component models. SACI (2019)
William Steingartner, Valerie Novitzká, Michaela Bacíková, Stefan Korecko
New Approach to Categorical Semantics for Procedural Languages. Comput. Informatics 36 (6) (2017)
Valerie Novitzká, William Steingartner, Adam Naumowicz
Selected papers from the International Scientific Conference INFORMATICS'2013 - part II. Central Eur. J. Comput. Sci. 4 (4) (2014)
William Steingartner, Davorka Radakovic
Categorical structures as expressing tool for differential calculus. Central Eur. J. Comput. Sci. 4 (3) (2014)
Valerie Novitzká, William Steingartner, Adam Naumowicz
Selected papers from the International Scientific Conference INFORMATICS'2013 - part I. Central Eur. J. Comput. Sci. 4 (3) (2014)
Darko Galinec, William Steingartner, Danijel Macanga
Command and control information systems semantic interoperability using a canonical messaging approach. Central Eur. J. Comput. Sci. 2 (3) (2012)
Valerie Novitzká, Juraj Giertl, William Steingartner
Selected Papers from the International Scientific Conference INFORMATICS'2011. Central Eur. J. Comput. Sci. 2 (3) (2012)