| 2025 | EJC | Towards Resolving Type Incoherence in Transparent Intensional Logic. | Samuel Novotn, Marie Duz, William Steingartner, Jn Perhc |
| 2023 | SISY | Interactive Web-Based Interpreter of the $\lambda$-Calculus. | Andrea Ferenczov, Jn Perhc |
| 2022 | CSIT | Two-dimensional Computer Modelling of Contaminant Migration in Unsaturated Porous Media with Nanoparticles. | Viktor V. Zhukovskyy, Nataliia A. Zhukovska, Jn Perhc |
| 2020 | CSIT | A Modern Interpreter of Predicate Linear Logic Formulas. | Zuzana Bilanov, Jn Perhc, Michal Hulic |
| 2020 | CSIT | Categorical Model of Functional Language with Natural Numbers and Boolean Values. | Jn Perhc, Zuzana Bilanov |
| 2019 | CSIT | Intrusion Detection System Autonomous Reactions: Case Study. | Jn Perhc |
| 2019 | ICTERI | Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic. | Zuzana Bilanov, Jn Perhc |
| 2019 | ICTERI | Simple-typed Functional Language Modeled by Category Theory. | Jn Perhc, Zuzana Bilanov, Gabriela Havrilckov |
| 2019 | SACI | About possibilities of applying logical analysis of natural language in computer science. | Zuzana Bilanov, Jn Perhc |
| 2019 | SACI | Benchmark of software developed in different component models. | Jn Perhc, Zuzana Bilanov, William Steingartner, Jergus Piatko |
| 2018 | IV | 4D-UX: User Experience Design Principles for Coupling Multidimensional Visual Representations in Presentations. | Remo Burkhard, Jn Perhc, Shiho Asada, Anastasia Troyanov, Sailin Zhong, Yingying Jiang, Simon Schubiger |
| 2018 | SACI | Distribution of Linux Log Files Described by Predicate Linear Logic Formula. | Jn Perhc, Daniel Mihlyi, Lukas Relosky |
| 2017 | IV | Urban Fusion: Visualizing Urban Data Fused with Social Feeds via a Game Engine. | Jn Perhc, Wei Zeng, Shiho Asada, Stefan Mller Arisona, Simon Schubiger, Remo Burkhard, Bernhard Klein |
| 2009 | SACI | Security architecture based on multilayer distributed intrusion detection system. | Martin Chovanec, Liberios Vokorokos, Jn Perhc |