Research – Institute of Computer Science

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

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 current content journals:

Cortical auditory distance representation based on direct-to-reverberant energy ratio, Norbert Kopčo, Keerthi Kumar Dorewamy, Samatha Huang, Stephanie Rossi, Jyrki Ahveninen. NeuroImage, 208, 116436 (2020)

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.