Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic. - Zuzana Bilanová; Ján Perhác (ICTERI PhD Symposium, 2019)

Simple-typed Functional Language Modeled by Category Theory. - Ján Perhác; Zuzana Bilanová; Gabriela Havrilcáková (ICTERI PhD Symposium, 2019)

About possibilities of applying logical analysis of natural language in computer science. - Zuzana Bilanová; Ján Perhác (SACI, 2019)

Benchmark of software developed in different component models. - Ján Perhác; Zuzana Bilanová; William Steingartner; Jergus Piatko (SACI, 2019)

A Modern Interpreter of Predicate Linear Logic Formulas. - Zuzana Bilanová; Ján Perhác; Michal Hulic (CSIT (2), 2020)

Categorical Model of Functional Language with Natural Numbers and Boolean Values. - Ján Perhác; Zuzana Bilanová (CSIT (2), 2020)

PSVDAG: Compact Voxelized Representation of 3D Scenes Using Pointerless Sparse Voxel Directed Acyclic Graphs. - Liberios Vokorokos; Branislav Mados; Zuzana Bilanová (Comput. Informatics, 2020)