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

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
Period: 2017 – 2018,  2020 – 2021

Project Leader at UPJŠ in Košice:
Assoc. Prof. Ing. Norbert Kopčo, PhD.
Austrian Academy of Science
ENTPE, University in Lyon, France

COST action CA17124 Digital forensics: evidence analysis via intelligent systems and practises
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 current content journals:

  • Minimal Size of Counters for (Real-Time) Multicounter Automata, Viliam Geffert, Zuzana Bednárová. In: Fundamenta Informaticae. – ISSN 0169-2968. – Roč. 181, č. (2021), -127.
  • Complement for two-way alternating automata, Viliam Geffert, Christos A. Kapoutsis, Mohammad Zakzok. In: ACTA INFORMATICA. – ISSN 0001-5903. – Roč. 58, č. 5 (2021), -495.
  • 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), 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), 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), 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), 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.