Security architecture based on multilayer distributed intrusion detection system. - Martin Chovanec; Liberios Vokorokos; Ján Perhác (SACI, 2009)

Improving workflows of neuro-interventional procedures with autostereoscopic 3D visualization of multi-modality imaging in hybrid interventional suites. - Ján Perhác; Joël Spaltenstein; Vitor Mendes Pereira; Karl Schaller; Olivier Brina; Ivan Cabrilo; Osman Ratib (Int. J. Comput. Assist. Radiol. Surg., 2016)

Urban Fusion: Visualizing Urban Data Fused with Social Feeds via a Game Engine. - Ján Perhác; Wei Zeng 004; Shiho Asada; Stefan Müller Arisona; Simon Schubiger; Remo Burkhard; Bernhard Klein (IV, 2017)

See-through Visualisation for Training and Assessing Unsighted Physical Examinations. - Alejandro Granados; Ján Perhác; Lucy Victoria Rosby; Yee Mun Lee; Glenn Wei Leong Tan; Tai Chi Tan; Jenny Higham; Nadia Magnenat-Thalmann; Naomi Low-Beer; Fernando Bello (VRIPHYS, 2017)

4D-UX: User Experience Design Principles for Coupling Multidimensional Visual Representations in Presentations. - Remo Burkhard; Ján Perhác; Shiho Asada; Anastasia Troyanov; Sailin Zhong; Yingying Jiang; Simon Schubiger (IV, 2018)

Distribution of Linux Log Files Described by Predicate Linear Logic Formula. - Ján Perhác; Daniel Mihályi; Lukas Relosky (SACI, 2018)

Elimination of network intrusions via a resource oriented BDI architecture. - Ján Perhác; Daniel Mihályi; Lukás Matas (Open Comput. Sci., 2018)

Intrusion Detection System Autonomous Reactions: Case Study. - Ján Perhác (CSIT (3), 2019)

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)

Two-dimensional Computer Modelling of Contaminant Migration in Unsaturated Porous Media with Nanoparticles. - Viktor V. Zhukovskyy; Nataliia A. Zhukovska; Ján Perhác (CSIT, 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)

Interactive Web-Based Interpreter of the $ lambda$-Calculus. - Andrea Ferenczová; Ján Perhác (SISY, 2023)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs. - Ján Perhác; Samuel Novotný; Sergej Chodarev; Joachim Tilsted Kristensen; Lars Tveito; Oleks Shturmov; Michael Kirkedal Thomsen (ThEdu@CADE, 2024)