Some New Approaches in Functional Programming Based on Categories. - Viliam Slodicák; Pavol Macko; Valerie Novitzká (CEFP, 2011)

Intrusion detection system episteme. - Daniel Mihályi; Valerie Novitzká; Martina Lalová (Central Eur. J. Comput. Sci., 2012)

Selected Papers from the International Scientific Conference INFORMATICS'2011. - Valerie Novitzká; Juraj Giertl; William Steingartner (Central Eur. J. Comput. Sci., 2012)

Towards the Knowledge in Coalgebraic Model of IDS. - Daniel Mihályi; Valerie Novitzká (Comput. Informatics, 2014)

Selected papers from the International Scientific Conference INFORMATICS'2013 - part I. - Valerie Novitzká; William Steingartner; Adam Naumowicz (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)

New Approach to Categorical Semantics for Procedural Languages. - William Steingartner; Valerie Novitzká; Michaela Bacíková; Stefan Korecko (Comput. Informatics, 2017)

Coalgebraic Operational Semantics for an Imperative Language. - William Steingartner; Valerie Novitzká; Wolfgang Schreiner (Comput. Informatics, 2019)

A Novel Categorical Approach to Semantics of Relational First-Order Logic. - Wolfgang Schreiner; William Steingartner; Valerie Novitzká (Symmetry, 2020)

Natural Semantics for Domain-Specific Language. - William Steingartner; Valerie Novitzká (ADBIS (Short Papers), 2021)

Abstract Machine for Operational Semantics of Domain-Specific Language. - William Steingartner; Róbert Baraník; Valerie Novitzká (ADBIS (Short Papers), 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)

Operational semantics in a domain-specific robot control language: A pedagogical use case. - William Steingartner; Valerie Novitzká (Comput. Sci. Inf. Syst., 2024)