Ján Perháč

Technical University of Košice — SK

Computer Science · Physical Sciences

8h-index223citations54works1.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(14), Logic, Reasoning, and Knowledge(14), Formal Methods in Verification(6), Network Security and Intrusion Detection(5), Semantic Web and Ontologies(4)

Publications53 total

Towards Resolving Type Incoherence in Transparent Intensional Logic
Frontiers in artificial intelligence and applications·2026Open Access
Model-Driven Development as a Theory–Practice Bridge in Theoretical Computer Science Education
2025
Visualizing Semantic Methods: A Web-Based Educational Tool for Imperative Languages
2025
Visualizing Automated Theorem Proving: An Educational Web-Based Tool for Propositional Logic
2025· 1 cited
OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
Electronic Proceedings in Theoretical Computer Science·2025· 2 citedOpen Access
Interactive Proof Assistant Based on Floyd-Hoare Logic
2025· 2 cited
OnlineProver: First Experience with Teaching Formal Proofs
Norsk IKT-konferanse for forskning og utdanning·2024· 3 citedOpen Access
Type Checker for Simply Typed Lambda Calculus
2024· 1 cited
Another Empirical Proof of Transparent Intensional Logic’s Expressive Power in the Field of Temporal Logical Systems
2024
Interactive Proof Assistant Based on Resolution Method in First Order Logic
2024· 3 cited
Interactive Web-Based Interpreter of the $\lambda$-Calculus
2023· 3 cited
Visualization Tool for Structural Operational Semantics of Simple Imperative Language
IPSI Transactions on Internet Research·2023· 7 cited
Visualization of imperative programs translation with Structural Operational Semantics
2022· 5 cited
Two-dimensional Computer Modelling of Contaminant Migration in Unsaturated Porous Media with Nanoparticles
2022 IEEE 17th International Conference on Computer Sciences and Information Technologies (CSIT)·2022
Visualization of Syntax and Semantics for Simple Functional Language of Natural Numbers and Boolean Values
2022· 2 cited
Information System of Cartographic Images Analysis for Soil Condition Monitoring of Agricultural Parcels
2022 International Conference on Decision Aid Sciences and Applications (DASA)·2022· 5 cited
Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic
Symmetry·2022· 2 citedOpen Access
Responsive Carbon Neutral Settlements
Lecture notes in energy·2022· 1 cited
Formal Model of IDS Based on BDI Logic
Mathematics·2021· 5 citedOpen Access
Participatory multi-objective optimization for planning dense and green cities
Journal of Environmental Planning and Management·2021· 34 citedOpen Access
page 1 of 3Next →

Frequent Co-authors

Samuel Novotný(10), Daniel Mihályi(9), Zuzana Bilanová(8), William Steingartner(5), Valerie Novitzká(4), Simon Schubiger(3), Remo Burkhard(3), Martin Chovanec(3), Viktor Zhukovskyy(3), Nataliia Zhukovska(3), Shiho Asada(2), Branislav Sobota(2), Lukáš Maťaš(2), Vitalii Tsimbolynets(2), Serhii Shatnyi(2), Sailin Zhong(2), Joachim Tilsted Kristensen(2), Michael Kirkedal Thomsen(2), Lars Tveito(2), Oleks Shturmov(2)