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. |
| 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 – 2021 Project Leader at UPJŠ in Košice: |
| 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:
- 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), 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.
