Zuzana Bilanová

According to our database, Zuzana Bilanová authored at least 7 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

PSVDAG: Compact Voxelized Representation of 3D Scenes Using Pointerless Sparse Voxel Directed Acyclic Graphs.

Liberios Vokorokos, Branislav Mados, Zuzana Bilanová

Comput. Informatics, 2020

Categorical Model of Functional Language with Natural Numbers and Boolean Values.

Ján Perhác, Zuzana Bilanová

Proceedings of the IEEE 15th International Conference on Computer Sciences and Information Technologies, 2020

A Modern Interpreter of Predicate Linear Logic Formulas.

Zuzana Bilanová, Ján Perhác, Michal Hulic

Proceedings of the IEEE 15th International Conference on Computer Sciences and Information Technologies, 2020

2019

Benchmark of software developed in different component models.

Ján Perhác, Zuzana Bilanová, William Steingartner, Jergus Piatko

Proceedings of the 13th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2019

About possibilities of applying logical analysis of natural language in computer science.

Zuzana Bilanová, Ján Perhác

Proceedings of the 13th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2019

Simple-typed Functional Language Modeled by Category Theory.

Ján Perhác, Zuzana Bilanová, Gabriela Havrilcáková

Proceedings of ICTERI 2019. Volume III: PhD Symposium co-located with 15th International Conference "ICT in Education, Research, and Industrial Applications 2019" (ICTERI 2019), Kherson, Ukraine, June 12, 2019

Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic.

Zuzana Bilanová, Ján Perhác

Proceedings of ICTERI 2019. Volume III: PhD Symposium co-located with 15th International Conference "ICT in Education, Research, and Industrial Applications 2019" (ICTERI 2019), Kherson, Ukraine, June 12, 2019