Valerie Novitzká

Orcid: 0000-0001-9992-3849

According to our database1, Valerie Novitzká authored at least 12 papers between 2011 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Abstract Machine for Operational Semantics of Domain-Specific Language.
Proceedings of the New Trends in Database and Information Systems, 2022

2021
Natural Semantics for Domain-Specific Language.
Proceedings of the New Trends in Database and Information Systems, 2021

2020
A Novel Categorical Approach to Semantics of Relational First-Order Logic.
Symmetry, 2020

2019
Coalgebraic Operational Semantics for an Imperative Language.
Comput. Informatics, 2019

2017
New Approach to Categorical Semantics for Procedural Languages.
Comput. Informatics, 2017

2014
Selected papers from the International Scientific Conference INFORMATICS'2013 - part II.
Central Eur. J. Comput. Sci., 2014

Selected papers from the International Scientific Conference INFORMATICS'2013 - part I.
Central Eur. J. Comput. Sci., 2014

Towards the Knowledge in Coalgebraic Model of IDS.
Comput. Informatics, 2014

2012
Selected Papers from the International Scientific Conference INFORMATICS'2011.
Central Eur. J. Comput. Sci., 2012

Intrusion detection system episteme.
Central Eur. J. Comput. Sci., 2012

2011
Some New Approaches in Functional Programming Based on Categories.
Proceedings of the Central European Functional Programming School - 4th Summer School, 2011


  Loading...