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 prof. RNDr. Gabriel Semanišin, PhD. |
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 Project Leader: Project Staff: |
APVV-15-0091 Effective algorithms, automata and data structures Project Leader: Project Staff: |
VEGA 1/1011/16 Dynamic processes in spatial hearing: Experiments, modeling and analytical tools Project Leader: |
EU HORIZON 2020 MSCA-RISE-2015 Adaptation, learning and training for spatial hearing in complex environments (ALT) Project Leader: |
COST BM1306 An action for Better Understanding the Heterogeneity of Tinnitus to Improve and Develop New Treatments (TINNET) Project Leader: |
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. |