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 – 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 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:
Year 2022:
- PETERIN, Iztok – SEMANIŠIN, Gabriel (Corresponding author). 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 (Corresponding author) – 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 - 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
- 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.
