Valerie Novitzká

According to our database, Valerie Novitzká authored at least 13 papers between 2011 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

2022

Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic.

Samuel Novotný, Miroslav Michalko, Ján Perhác, Valerie Novitzká, Frantisek Jakab

Symmetry, 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

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

2017

New Approach to Categorical Semantics for Procedural Languages.

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

Comput. Informatics, 2017

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

Towards the Knowledge in Coalgebraic Model of IDS.

Daniel Mihályi, Valerie Novitzká

Comput. Informatics, 2014

2012

Selected Papers from the International Scientific Conference INFORMATICS'2011.

Valerie Novitzká, Juraj Giertl, William Steingartner

Central Eur. J. Comput. Sci., 2012

Intrusion detection system episteme.

Daniel Mihályi, Valerie Novitzká, Martina Lalová

Central Eur. J. Comput. Sci., 2012

2011

Some New Approaches in Functional Programming Based on Categories.

Viliam Slodicák, Pavol Macko, Valerie Novitzká

Proceedings of the Central European Functional Programming School - 4th Summer School, 2011