Ján Perhác

According to our database, Ján Perhác authored at least 17 papers between 2009 and 2023.

Collaborative distances:

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

2023

Interactive Web-Based Interpreter of the $\lambda$-Calculus.

Andrea Ferenczová, Ján Perhác

Proceedings of the 21st IEEE Jubilee International Symposium on Intelligent Systems and Informatics, 2023

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

Two-dimensional Computer Modelling of Contaminant Migration in Unsaturated Porous Media with Nanoparticles.

Viktor V. Zhukovskyy, Nataliia A. Zhukovska, Ján Perhác

Proceedings of the 17th IEEE International Conference on Computer Sciences and Information Technologies, 2022

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

Intrusion Detection System Autonomous Reactions: Case Study.

Ján Perhác

Proceedings of the 14th IEEE International Conference on Computer Sciences and Information Technologies, 2019

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

Distribution of Linux Log Files Described by Predicate Linear Logic Formula.

Ján Perhác, Daniel Mihályi, Lukas Relosky

Proceedings of the 12th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2018

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

Proceedings of the 22nd International Conference Information Visualisation, 2018

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

Proceedings of the VRIPHYS 2017 : 13th Workshop on Virtual Reality Interaction and Physical Simulation, 2017

Urban Fusion: Visualizing Urban Data Fused with Social Feeds via a Game Engine.

Ján Perhác, Wei Zeng, Shiho Asada, Stefan Müller Arisona, Simon Schubiger, Remo Burkhard, Bernhard Klein

Proceedings of the 21st International Conference Information Visualisation, 2017

2016

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

2009

Security architecture based on multilayer distributed intrusion detection system.

Martin Chovanec, Liberios Vokorokos, Ján Perhác

Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics, 2009