William Steingartner

According to our database, William Steingartner authored at least 18 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Operational semantics in a domain-specific robot control language: A pedagogical use case.

William Steingartner, Valerie Novitzká

Comput. Sci. Inf. Syst., 2024

2023

Valuation of Internet Companies - Selected Issues.

Pawel Kossecki, Jacek Wachowicz, William Steingartner

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

From High-Level Language to Abstract Machine Code: An Interactive Compiler and Emulation Tool for Teaching Structural Operational Semantics.

William Steingartner, Igor Sivý

Proceedings of the New Trends in Database and Information Systems, 2023

Automatic Indexing for MongoDB.

Lucia de Espona Pernas, Anton Vichalkovski, William Steingartner, Ela Pustulka

Proceedings of the New Trends in Database and Information Systems, 2023

2022

Abstract Machine for Operational Semantics of Domain-Specific Language.

William Steingartner, Róbert Baraník, Valerie Novitzká

Proceedings of the New Trends in Database and Information Systems, 2022

2021

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

William Steingartner, Darko Galinec, Andrija Kozina

Symmetry, 2021

On some innovations in teaching the formal semantics using software tools.

William Steingartner

Open Comput. Sci., 2021

Preface to Special Issue "Informatics 2019".

William Steingartner

Open Comput. Sci., 2021

Natural Semantics for Domain-Specific Language.

William Steingartner, Valerie Novitzká

Proceedings of the New Trends in Database and Information Systems, 2021

2020

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

Wolfgang Schreiner, William Steingartner, Valerie Novitzká

Symmetry, 2020

2019

Coalgebraic Operational Semantics for an Imperative Language.

William Steingartner, Valerie Novitzká, Wolfgang Schreiner

Comput. Informatics, 2019

Benchmark of software developed in different component models.

Ján Perhác, Zuzana Bilanová, William Steingartner, Jergus Piatko

Proceedings of the 13th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2019

2017

New Approach to Categorical Semantics for Procedural Languages.

William Steingartner, Valerie Novitzká, Michaela Bacíková, Stefan Korecko

Comput. Informatics, 2017

2014

Categorical structures as expressing tool for differential calculus.

William Steingartner, Davorka Radakovic

Central Eur. J. Comput. Sci., 2014

Selected papers from the International Scientific Conference INFORMATICS'2013 - part II.

Valerie Novitzká, William Steingartner, Adam Naumowicz

Central Eur. J. Comput. Sci., 2014

Selected papers from the International Scientific Conference INFORMATICS'2013 - part I.

Valerie Novitzká, William Steingartner, Adam Naumowicz

Central Eur. J. Comput. Sci., 2014

2012

Selected Papers from the International Scientific Conference INFORMATICS'2011.

Valerie Novitzká, Juraj Giertl, William Steingartner

Central Eur. J. Comput. Sci., 2012

Command and control information systems semantic interoperability using a canonical messaging approach.

Darko Galinec, William Steingartner, Danijel Macanga

Central Eur. J. Comput. Sci., 2012