Ján Perhác

20 papers C 3Misc 6Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2025 C conf
Towards Resolving Type Incoherence in Transparent Intensional Logic.
EJC
Samuel Novotný, Marie Duzí, William Steingartner, Ján Perhác
2025 J jnl
Visualizing Type-Checking Proofs: An Educational Web-Based System for an Extended Simply Typed Lambda Calculus.
Comput. Sci. J. Moldova
Ján Perhác, Vladyslav Futrak
2024 — conf
OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs.
ThEdu@CADE
Ján Perhác, Samuel Novotný, Sergej Chodarev, Joachim Tilsted Kristensen, Lars Tveito, Oleks Shturmov, Michael Kirkedal Thomsen
2023 Misc conf
Interactive Web-Based Interpreter of the $\lambda$-Calculus.
SISY
Andrea Ferenczová, Ján Perhác
2022 J jnl
Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic.
Symmetry
Samuel Novotný, Miroslav Michalko, Ján Perhác, Valerie Novitzká, Frantisek Jakab
2022 Misc conf
Two-dimensional Computer Modelling of Contaminant Migration in Unsaturated Porous Media with Nanoparticles.
CSIT
Viktor V. Zhukovskyy, Nataliia A. Zhukovska, Ján Perhác
2020 — conf
A Modern Interpreter of Predicate Linear Logic Formulas.
CSIT (2)
Zuzana Bilanová, Ján Perhác, Michal Hulic
2020 — conf
Categorical Model of Functional Language with Natural Numbers and Boolean Values.
CSIT (2)
Ján Perhác, Zuzana Bilanová
2019 Misc conf
About possibilities of applying logical analysis of natural language in computer science.
SACI
Zuzana Bilanová, Ján Perhác
2019 Misc conf
Benchmark of software developed in different component models.
SACI
Ján Perhác, Zuzana Bilanová, William Steingartner, Jergus Piatko
2019 — conf
Intrusion Detection System Autonomous Reactions: Case Study.
CSIT (3)
Ján Perhác
2019 — conf
Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic.
ICTERI PhD Symposium
Zuzana Bilanová, Ján Perhác
2019 — conf
Simple-typed Functional Language Modeled by Category Theory.
ICTERI PhD Symposium
Ján Perhác, Zuzana Bilanová, Gabriela Havrilcáková
2018 C conf
4D-UX: User Experience Design Principles for Coupling Multidimensional Visual Representations in Presentations.
IV
Remo Burkhard, Ján Perhác, Shiho Asada, Anastasia Troyanov, Sailin Zhong, Yingying Jiang, Simon Schubiger
2018 Misc conf
Distribution of Linux Log Files Described by Predicate Linear Logic Formula.
SACI
Ján Perhác, Daniel Mihályi, Lukas Relosky
2018 J jnl
Elimination of network intrusions via a resource oriented BDI architecture.
Open Comput. Sci.
Ján Perhác, Daniel Mihályi, Lukás Matas
2017 — conf
See-through Visualisation for Training and Assessing Unsighted Physical Examinations.
VRIPHYS
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
2017 C conf
Urban Fusion: Visualizing Urban Data Fused with Social Feeds via a Game Engine.
IV
Ján Perhác, Wei Zeng, Shiho Asada, Stefan Müller Arisona, Simon Schubiger, Remo Burkhard, Bernhard Klein
2016 J jnl
Improving workflows of neuro-interventional procedures with autostereoscopic 3D visualization of multi-modality imaging in hybrid interventional suites.
Int. J. Comput. Assist. Radiol. Surg.
Ján Perhác, Joël Spaltenstein, Vitor Mendes Pereira, Karl Schaller, Olivier Brina, Ivan Cabrilo, Osman Ratib
2009 Misc conf
Security architecture based on multilayer distributed intrusion detection system.
SACI
Martin Chovanec, Liberios Vokorokos, Ján Perhác