Concepedia

Valerie Novitzká

VN

9

Publications

148

Citations

9

H-Index

2014

Active since

Affiliations

Technical University of Košice(Current)

Valerie Novitzká is an author at Technical University of Košice specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationProgram AnalysisSoftware DesignSoftware EngineeringSyntax

Publications per year

2014–2020

9

Publications

9

Some innovations of teaching the course on Data structures and algorithms

William Steingartner, Jan Eged, Davorka Radaković et al. · 2019 · 24 citations

Engineering, Algorithmic Library, Practical Foundations +23

A Novel Categorical Approach to Semantics of Relational First-Order Logic

Wolfgang Schreiner, William Steingartner, Valerie Novitzká · Symmetry · 2020 · 22 citations · Full text

Engineering, Categorical Formalization, Well-founded Semantics +20

Linear logic in computer science

William Steingartner, Andrea Poláková, Peter Prazňák et al. · Journal of Applied Mathematics and Computational Mechanics · 2015 · 20 citations · Full text

Numerical Analysis, Applied Logic, Applied Mathematical Modelling +12

Towards the Knowledge in Coalgebraic Model of IDS

Daniel Mihályi, Valerie Novitzká · Computing and Informatics / Computers and Artificial Intelligence · 2014 · 19 citations

Applied Logic, Computational Logic, Engineering +15

Categorical model of structural operational semantics for imperative language

William Steingartner, Valerie Novitzká · Journal of information and organizational sciences · 2016 · 14 citations · Full text

Engineering, Software Engineering, Structural Operational Semantics +24

Rows per page

1–5 of 9