William Steingartner

28 papers B 1C 4Misc 3Journal 13Unranked 7
YearRankTypeTitle / Venue / Authors
2025 Misc conf
Design and Construction of a System for Dyeing 3D Printed PA12.
SACI
Simona Poláková, Petra Kolembusová, Norbert Ferencík, Mária Danko, William Steingartner, Zuzana Ballová
2025 C conf
Enhancing Health Information Access via ChatGPT and the E-Citizens Portal.
ETHICOMP
Natalija Zeko, Darko Galinec, William Steingartner
2025 — conf
Executable Semantics for Teaching Concatenative Stack-Based DSLs: The Case of StackLang.
ADBIS (Short Papers)
William Steingartner, Wolfgang Schreiner
2025 C conf
Gender and Emerging Digital Technologies in Education.
ETHICOMP
Davorka Radakovic, William Steingartner
2025 C conf
Implementation of Transparent Intensional Logic Framework in Haskell.
EJC
Samuel Novotný, Marie Duzí, William Steingartner
2025 J jnl
Perspectives of semantic modeling in categories.
J. King Saud Univ. Comput. Inf. Sci.
William Steingartner
2025 Misc conf
StandUp Tracker: An Arduino-Based Monitoring System.
SACI
Miriam Curillová, Norbert Ferencík, William Steingartner, Katarína Dudová, Petra Kolembusová, Radovan Hudák
2025 C conf
Towards Resolving Type Incoherence in Transparent Intensional Logic.
EJC
Samuel Novotný, Marie Duzí, William Steingartner, Ján Perhác
2024 — conf
After-Sales Service as an Important User Experience and Customer Experience Factor in Professional Music Software Development.
ISD
Jacek Wachowicz, Andrzej Karp, Zofia Frackowiak, Aleksandra Baaske, Pawel Kossecki, William Steingartner
2024 — conf
Extension of Domain-Specific Language and its Operational Semantics.
SQAMIA
William Steingartner, Davorka Radakovic, Boris Dovcík
2024 J jnl
Operational semantics in a domain-specific robot control language: A pedagogical use case.
Comput. Sci. Inf. Syst.
William Steingartner, Valerie Novitzká
2023 — conf
Automatic Indexing for MongoDB.
ADBIS (Short Papers)
Lucia de Espona Pernas, Anton Vichalkovski, William Steingartner, Ela Pustulka
2023 — conf
From High-Level Language to Abstract Machine Code: An Interactive Compiler and Emulation Tool for Teaching Structural Operational Semantics.
ADBIS (Short Papers)
William Steingartner, Igor Sivý
2023 B conf
Valuation of Internet Companies - Selected Issues.
KES
Pawel Kossecki, Jacek Wachowicz, William Steingartner
2022 — conf
Abstract Machine for Operational Semantics of Domain-Specific Language.
ADBIS (Short Papers)
William Steingartner, Róbert Baraník, Valerie Novitzká
2021 — conf
Natural Semantics for Domain-Specific Language.
ADBIS (Short Papers)
William Steingartner, Valerie Novitzká
2021 J jnl
On some innovations in teaching the formal semantics using software tools.
Open Comput. Sci.
William Steingartner
2021 J jnl
Preface to Special Issue "Informatics 2019".
Open Comput. Sci.
William Steingartner
2021 J jnl
Threat Defense: Cyber Deception Approach and Education for Resilience in Hybrid Threats Model.
Symmetry
William Steingartner, Darko Galinec, Andrija Kozina
2020 J jnl
A Novel Categorical Approach to Semantics of Relational First-Order Logic.
Symmetry
Wolfgang Schreiner, William Steingartner, Valerie Novitzká
2019 Misc conf
Benchmark of software developed in different component models.
SACI
Ján Perhác, Zuzana Bilanová, William Steingartner, Jergus Piatko
2019 J jnl
Coalgebraic Operational Semantics for an Imperative Language.
Comput. Informatics
William Steingartner, Valerie Novitzká, Wolfgang Schreiner
2017 J jnl
New Approach to Categorical Semantics for Procedural Languages.
Comput. Informatics
William Steingartner, Valerie Novitzká, Michaela Bacíková, Stefan Korecko
2014 J jnl
Categorical structures as expressing tool for differential calculus.
Central Eur. J. Comput. Sci.
William Steingartner, Davorka Radakovic
2014 J jnl
Selected papers from the International Scientific Conference INFORMATICS'2013 - part I.
Central Eur. J. Comput. Sci.
Valerie Novitzká, William Steingartner, Adam Naumowicz
2014 J jnl
Selected papers from the International Scientific Conference INFORMATICS'2013 - part II.
Central Eur. J. Comput. Sci.
Valerie Novitzká, William Steingartner, Adam Naumowicz
2012 J jnl
Command and control information systems semantic interoperability using a canonical messaging approach.
Central Eur. J. Comput. Sci.
Darko Galinec, William Steingartner, Danijel Macanga
2012 J jnl
Selected Papers from the International Scientific Conference INFORMATICS'2011.
Central Eur. J. Comput. Sci.
Valerie Novitzká, Juraj Giertl, William Steingartner