Valerie Novitzká

13 papers Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Operational semantics in a domain-specific robot control language: A pedagogical use case.
Comput. Sci. Inf. Syst.
William Steingartner, Valerie Novitzká
2022 — conf
Abstract Machine for Operational Semantics of Domain-Specific Language.
ADBIS (Short Papers)
William Steingartner, Róbert Baraník, Valerie Novitzká
2022 J jnl
Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic.
Symmetry
Samuel Novotný, Miroslav Michalko, Ján Perhác, Valerie Novitzká, Frantisek Jakab
2021 — conf
Natural Semantics for Domain-Specific Language.
ADBIS (Short Papers)
William Steingartner, Valerie Novitzká
2020 J jnl
A Novel Categorical Approach to Semantics of Relational First-Order Logic.
Symmetry
Wolfgang Schreiner, William Steingartner, Valerie Novitzká
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
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
2014 J jnl
Towards the Knowledge in Coalgebraic Model of IDS.
Comput. Informatics
Daniel Mihályi, Valerie Novitzká
2012 J jnl
Intrusion detection system episteme.
Central Eur. J. Comput. Sci.
Daniel Mihályi, Valerie Novitzká, Martina Lalová
2012 J jnl
Selected Papers from the International Scientific Conference INFORMATICS'2011.
Central Eur. J. Comput. Sci.
Valerie Novitzká, Juraj Giertl, William Steingartner
2011 — conf
Some New Approaches in Functional Programming Based on Categories.
CEFP
Viliam Slodicák, Pavol Macko, Valerie Novitzká