Research

Members of Institute of Computer Science participate in solving several domestic and foreign research projects. We enclose the selected projects and publications of Institute Staff.

Selected projects:

Projects of excellent scientific team KOSDIM – The Košice Group of Discrete Mathematics https://www.medic.upjs.sk/en/university/research/scientific-and-research-activities-phd-studies/top-research-teams/kosdim/research-projects/ prof. RNDr. Gabriel Semanišin, PhD. Vice-Rector of UPJŠ in Košice for Informatisation and Quality Management

EU Danube Region Strategy & The Slovak Research and Development Agency (DS-FR-19-0025) Adaptability in spatial hearing https://pcl.upjs.sk/grants/ash/ Period: 2017 – 2018,  2020 – 2021Project Leader at UPJŠ in Košice: Assoc. Prof. Ing. Norbert Kopčo, PhD. Collaborators: Austrian Academy of Science ENTPE, University in Lyon, France

COST action CA17124 Digital forensics: evidence analysis via intelligent systems and practises https://digforasp.uca.es/ Period: 2018 – 2022Project Leader at UPJŠ in Košice: RNDr. Ondrej Krídlo, PhD.

VEGA 1/0056/18 Descriptive and computational complexity of automata and algorithms Period: 2018 – 2020 Project Leader: Prof. RNDr. Viliam Geffert, DrSc. Project Staff: prof. RNDr. Gabriel Semanišin, PhD. doc. RNDr. Gabriela Andrejková, CSc. doc. RNDr. Jozef Jirásek, PhD. RNDr. František Galčík, PhD. Mgr. Alexander Szabari, PhD. RNDr. Zuzana Bednárová, PhD. RNDr. Rastislav Krivoš-Belluš, PhD.

APVV-15-0091 Effective algorithms, automata and data structures Period: 2016 – 2020 Project Leader: Prof. RNDr. Viliam Geffert, DrSc. Project Staff: prof. RNDr. Gabriel Semanišin, PhD. doc. RNDr. Jozef Jirásek, PhD. doc. RNDr. Csaba Török, CSc. doc. RNDr. Stanislav Krajči, PhD. RNDr. František Galčík, PhD. Mgr. Alexander Szabari, PhD. RNDr. Zuzana Bednárová, PhD. RNDr. Juraj Šebej, PhD. RNDr. Ondrej Krídlo, PhD. RNDr. Ľubomír Antoni, PhD. RNDr. Miroslav Opiela

VEGA 1/1011/16 Dynamic processes in spatial hearing: Experiments, modeling and analytical tools Period: 2017 – 2020 Project Leader: Doc. Ing. Norbert Kopčo, PhD.

EU HORIZON 2020 MSCA-RISE-2015 Adaptation, learning and training for spatial hearing in complex environments (ALT) Period: 2016 – 2019 Project Leader: Doc. Ing. Norbert Kopčo, PhD.

COST BM1306 An action for Better Understanding the Heterogeneity of Tinnitus to Improve and Develop New Treatments (TINNET) Period: 2014 – 2018 Project Leader: Doc. Ing. Norbert Kopčo, PhD.

Selected scientific papers in journals:

Year 2025:

• • Kopco N, Linkova S, Andrejkova G (2025) Passively Induced Contextual Plasticity in Sound Localization in Real and Virtual Environments. Journal of the Acoustical Society of America, 157(5), 3667-3679, ISSN: 0001-4966, https://doi.org/10.1121/10.0036722.
  • Klingel M, Singhal U, Seitz A, Kopco N (2025) Binaural-Cue Reweighting Induced by Discrimination Training, Attention, Perception & Psychophysics, https://doi.org/10.3758/s13414-025-03082-x.
  • Ján Guniš et al. (2025). Formal Concept Analysis of Students‘ Solutions on Computational Thinking Game. In: IEEE Transactions on Education : a Publication of the IEEE Education Society. – ISSN 0018-9359. – Roč. 68, č. 1 (2025), s. 20-32.
  • Csaba Torok, Juraj Hudák, Viktor Pristaš, Ľubomír Antoni (2025) Explicit forms of interpolating cubic splines and data smoothing.  In: Applied Mathematics and Computation=Applied Mathematics & Computation. – ISSN 0096-3003. – Roč. 500, č. 1. september (2025), art.no. 129411, s. [1-15]

Year 2024:

• • Tsironis A, Vlahou E, Kontou P, Bagos P, Kopčo N (2024) Adaptation to Reverberation for Speech Perception: A Systematic Review. Trends in Hearing. 28, 1–17. doi:10.1177/23312165241273399
  • Viliam Geffert, Dominika Pališínová, Alexander Szabari. State complexity of binary coded regular languages. In: Theoretical Computer Science. – ISSN 1879-2294. – č. 990 (2024), s. 14399-143998.
  • Eva Marková, Pavol Sokol, Sophia Petra Krišáková, Kristína Kováčová. Dataset of Windows operating system forensics artefacts In: Data in Brief. – ISSN 2352-3409. – č. 55 (2024), art.no. 110693, s. [1-14].

Year 2023:

• • • ANDREJKOVÁ, Gabriela – BEST, Virginia – KOPČO, Norbert. Timescales of adaptation to context in horizontal sound localization. Journal of the Acoustical Society of America, 154 (5), 2191–2202, DOI: 10.1121/10.0021304
    • LOKŠA, Peter  – KOPČO, Norbert. Toward a Unified Theory of the Reference
      Frame of the Ventriloquism Aftereffect. Trends in Hearing 27: 1–15, 2023.
      https://journals.sagepub.com/doi/10.1177/23312165231201020
    • SOKOL, Pavol – STAŇA, Richard – GAJDOŠ, Andrej – PEKARČÍK, Patrik. Network security situation awareness forecasting based on statistical approach and neural networks. In: Logic Journal of the IGPL. – ISSN 1367-0751. – Roč. 31, č. 2 (2023), s. 352-374. 10.1093/jigpal/jzac024 DOI; WOS CC.

Year 2022:

• • GEFFERT, Viliam – KAPOUTSIS, Christos – ZAKZOK Mohammad. Improved complement for two-way alternating automata / Viliam Geffert, Christos A. Kapoutsis, Mohammad Zakzok. – recenzované. In: Acta informatica. – ISSN 0001-5903. – Roč. 59, č. 5 (2022), s. 619-669. Projekt: Popisná a výpočtová zložitosť automatov a algoritmov – VEGA 1/0177/21 ; Efektívne algoritmy, automaty a dátové štruktúry – APVV APVV-15-0091. 10.1007/s00236-021-00414-w DOI; SCOPUS; CCC; WOS CC;
  • KRÍDLO, Ondrej – ANTONI, Ľubomír – KRAJČI, Stanislav: Selection of appropriate bonds between L-fuzzy formal contexts for recommendation tasks. Inf. Sci. 606: 21-37 (2022).
    https://www.sciencedirect.com/science/article/pii/S0020025522004790
  • PETERIN, Iztok – SEMANIŠIN, Gabriel (Korešpondenčný autor). Geodesic transversal problem for join and lexicographic product of graphs. – Projekt: P1-0297 – Slovinská výskumná agentúra P1-0297 ; J1-1693 – Slovinská grantová agentúra J1-1693 ; J1-9109 – Slovenian Research Agency J1-9109 ; Popisná a výpočtová zložitosť automatov a algoritmov – VEGA 1/0177/21. In: Computational and Applied Mathematics. – ISSN 2238-3603. – Roč. 41, č. 4 (2022), art.no. 128, s. [1-13]. 10.1007/s40314-022-01834-1 DOI; SCOPUS; CCC; WOS CC;
    https://link.springer.com/article/10.1007/s40314-022-01834-1
  • KRÍDLO, Ondrej – OJEDA-ACIEGO, Manuel: Classifying adjoint pairs and adjoint triples in an Atanassov L-fuzzy framework. In: IEEE Transactions on Fuzzy Systems : a publication of the IEEE Neural Networks Council. – ISSN 1063-6706. – Roč. 30, č. 3 (2022), s. 863-868. 10.1109/TFUZZ.2020.3038482 DOI; CCC; SCOPUS; WOS CC;
    https://ieeexplore.ieee.org/document/9262024
  • GEFFERT, Viliam (Korešpondenčný autor) – BEDNÁROVÁ, Zuzana – SZABARI, Alexander. Input-driven pushdown automata for edit distance neighborhood / Viliam Geffert, Zuzana Bednárová, Alexander Szabari. – recenzované. – Projekt: Popisná a výpočtová zložitosť automatov a algoritmov – VEGA 1/0177/21. In: Theoretical Computer Science. – ISSN 0304-3975. – č. 918 (2022), s. 105-122. SCOPUS;
    https://www.sciencedirect.com/science/article/pii/S0304397522001694
  • POTORTI, Francesco, OPIELA, Miroslav, DŽAMA, Jakub a kol.: Off-line Evaluation of Indoor Positioning Systems in Different Scenarios: The Experiences from IPIN 2020 Competition / Francesco Potorti … [et al.]. – recenzované. – Projekt: Efektívne algoritmy, automaty a dátové štruktúry – APVV APVV-15-0091 ; Popisná a výpočtová zložitosť automatov a algoritmov – VEGA 1/0177/21. In: IEEE Sensors Journal : a Publication of the IEEE Sensors Council. – ISSN 2379-9153. – Roč. 22, č. 6 (2022), s. 5011-5054. 10.1109/JSEN.2021.3083149 DOI; SCOPUS; CCC; WOS CC;
    https://ieeexplore.ieee.org/document/9439493

 

Other papers:

• Minimal Size of Counters for (Real-Time) Multicounter Automata, Viliam Geffert, Zuzana Bednárová. In: Fundamenta Informaticae. – ISSN 0169-2968. – Vol. 181, č. (2021).
• Complement for two-way alternating automata, Viliam Geffert, Christos A. Kapoutsis, Mohammad Zakzok. In: ACTA INFORMATICA. – ISSN 0001-5903. – Vol. 58, no. 5 (2021).
• Speedup of tridiagonal system solvers, Viliam Kačala, Csaba Török. – Projekt: Efektívne algoritmy, automaty a dátové štruktúry – APVV APVV-15-0091. In: Journal of Computational and Applied Mathematics. – ISSN 0377-0427. – č. 381 (2021), art.no. 112997, s. [1-20].
• Predictive methods in cyber defense: Current experience and research challenges, Martin Husák, Václav Bartoš, Pavol Sokol, Andrej Gajdoš. In: Future Generation Computer Systems. – ISSN 0167-739X. – Roč. 115, (2021), 530.
• On the Maximal Shortest Paths Cover Number. Iztok Peterin, Gabriel Semanišin. Mathematics. – ISSN 2227-7390. – Roč. 9, č. 14 (2021), art.no. 1592, s. [1-10].
• Sound Externalization: A Review of Recent Research. Norbert Kopčo a kol. In: Trends in Hearing. – ISSN 2331-2165. – č. 24 (2020), art.no. 48390, s. [1-14]
• Evaluating Indoor Positioning Systems in a Shopping Mall: The Lessons Learned From the IPIN 2018 Competition, Valerie Renaudin et al. (including Miroslav Opiela)  IEEE Access 7 (2019): 148594-148628
• Hemisphere-Specific Properties of the Ventriloquism Aftereffect, Norbert Kopčo, Peter Lokša, Lin I-F, Groh J, Shinn-Cunningham B. Journal of the Acoustical Society of America, 146, EL177  (2019)
• Network Intrusion Detection with Threat Agent Profiling, Tomáš Bajtoš, Andrej Gajdoš, Lenka Kleinová, Katarína Lučivjanská, Pavol Sokol. In: Security and Communication Networks. – ISSN 1939-0114. – (2018), art.no. 3614093, [17 s.].
• On stability of fuzzy formal concepts over randomized one-sided formal context, Lubomir Antoni, Stanislav Krajči, Ondrej Krídlo. In: Fuzzy Sets and Systems. – ISSN 0165-0114. – č. 333 (2018), s. 36-53.
• Streaming and sound localization with a preceding distractor, Norbert Kopčo, Gabriela Andrejková, Virginia Best, Barbara Shinn-Cunningham. In: The Journal of the Acoustical Society of America, Vol. 141, EL 331 (2017); doi: 10.1121/1.4979167.
• Alternating space is closed under complement and other simulations for subalgorithmic space, Viliam Geffert. In: Information and Computation, Vol. 253, (2017), s. 163-178.
• Boolean language operations on nondeterministic automata with a pushdown of constant height, Zuzana Bednárová, Viliam Geffert a kol., In: Journal of Computer and System Sciences. – ISSN 0022-0000. – Vol. 90 (2017), s. 99-114.
• On a relation between k-path partition and k-path vertex cover, Christoph Brause, Rastislav Krivoš-Belluš. In: Discrete Applied Mathematics. – ISSN 0166-218X. – Vol. 223 (2017), s. 28-38.
• On biconcepts in formal fuzzy concept analysis / Jan Konecny, Ondrej Kridlo.
  In: Information Sciences. – ISSN 0020-0255. – vol. 375 (2017), s. 16-29.
• On Computing an Optimal Semi-matching, František Galčík, Ján Katrenič, Gabriel Semanišin. In: Algorithmica.  ISSN 0178-4617. – Vol. 78, no. 3 (2017), s. 896-913.
• Representation of fuzzy subsets by Galois connections, Lubomir Antoni, Stanislav Krajči, Ondrej Krídlo. In: Fuzzy Sets and Systems. – ISSN 0165-0114. – Vol. 326 (2017), s. 52-68.
• Some bounds on the generalised total chromatic number of degenerate graphs, Izak Broere, Gabriel Semanišin. In: Information Processing Letters. – ISSN 0020-0190. – Vol. 122 (2017), s. 30-33.
• The Chu construction and generalized formal concept analysis / Lubomir Antoni, Immaculada Cabrera, Stanislav Krajči, Ondrej Krídlo, Manuel Ojeda-Aciego. In: International Journal of General Systems. – ISSN 0308-1079. – Vol. 46, no. 5 (2017), 458-474.
• Two double-exponential gaps for automata with a limited, Zuzana Bednárová, Viliam Geffert. In: Information and Computation. – ISSN 0890-5401. – Vol. 253 (2017), s. 381-398.