Valerie Novitzká

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 7

Top Topics

Dagstuhl Castle

Semantic Web Languages

Operational Semantics

Abstract Machine

Top Venues

Comput. Informatics

Central Eur. J. Comput. Sci.

ADBIS (Short Papers)

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)
Samuel Novotný, Miroslav Michalko, Ján Perhác, Valerie Novitzká, Frantisek Jakab
Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic. Symmetry 14 (3) (2022)
William Steingartner, Róbert Baraník, Valerie Novitzká
Abstract Machine for Operational Semantics of Domain-Specific Language. ADBIS (Short Papers) (2022)
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)
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)
Daniel Mihályi, Valerie Novitzká
Towards the Knowledge in Coalgebraic Model of IDS. Comput. Informatics 33 (1) (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)
Valerie Novitzká, Juraj Giertl, William Steingartner
Selected Papers from the International Scientific Conference INFORMATICS'2011. Central Eur. J. Comput. Sci. 2 (3) (2012)
Daniel Mihályi, Valerie Novitzká, Martina Lalová
Intrusion detection system episteme. Central Eur. J. Comput. Sci. 2 (3) (2012)
Viliam Slodicák, Pavol Macko, Valerie Novitzká
Some New Approaches in Functional Programming Based on Categories. CEFP (2011)