III.a - Occupation-position | III.b - Institution | III.c - Duration |
---|---|---|
Assistant Professor (without PhD.) | Pavol Jozef Šafárik University in Košice, Faculty of Science | 1993-1998 |
Assistant Professor | Pavol Jozef Šafárik University in Košice, Faculty of Science | 1998-2004 |
Associate Professor | Pavol Jozef Šafárik University in Košice, Faculty of Science | 2004-2019 |
Professor | Pavol Jozef Šafárik University in Košice, Faculty of Science | 2019-doteraz |
AiS2 Development Team Leader | Pavol Jozef Šafárik University in Košice, Faculty of Science | 1997-2011 |
IV.a - Activity description, course name, other | IV.b - Name of the institution | IV.c - Year |
---|---|---|
ECDL | ATC SK011 PF UPJŠ Košice | 2007 |
Administration and programming of AS400 | Novitech, a.s. | 1993 |
V.1.a - Name of the profile course | V.1.b - Study programme | V.1.c - Degree | V.1.d - Field of study |
---|---|---|---|
ÚINF/AIS1/15 - Architectures of information systems | Im - Computer Science | second | Computer Science |
ÚINF/SWI1a/15 - Software engineeering | AIb - Applied Informatics, Ib - Computer Science, I-Xb interdisciplinary study programs with Informatics | first | Computer Science |
ÚINF/PMO1/15 - Business process modelling | AIb - Applied Informatics, ADUIb - Data analysis and Artificial intelligence | first | Computer Science |
ÚINF/KKV1/21 - Classical and quantum computation | Im - Computer Science, ADUIm - Data Analysis and Artificial Intelligence, I-Xm Informatics in combination | second | Computer Science, Mathematics - Computer Science |
ÚINF/PAHD/15 - Probabilistic and approximation algorithms and heuristics | Id - Computer Science | third | Computer Science |
V.2.a - Name of the study programme | V.2.b - Degree | V.2.c - Field of study |
---|---|---|
ADUIb - Data Analysis and Artificial Intelligence (OZŠP, RŠP) | first | Mathematics - Informatics |
ADUIm - Data Analysis and Artificial Intelligence (OZŠP, RŠP) | second | Mathematics - Informatics |
Im - Computer Science (OZPP, RŠP) | second | Computer Science |
Id - Computer Science (OZPP, RŠP) | third | Computer Science |
I-Xb - Informatics - X (OZPP, RŠP) | first | Informatics in combination (interdisciplinary study) |
I-Xm - Informatics - X (OZPP, RŠP) | second | Informatics (specialisation) |
V.3.a - Name of the field of habilitation procedure and inaugural procedure | V.3.b - Study field to which it is assigned |
---|---|
Computer Science | Computer Science |
V.5.a - Name of the course | V.5.b - Study programme | V.5.c - Degree | V.5.d - Field of study |
---|---|---|---|
ÚINF/PRM1/15 - Project management | AIb - Applied Informatics | first | Computer Science |
ÚINF/ASU1/15 - Algorithms and data structures | Ib - Computer Science, AIb - Applied Informatics | first | Computer Science |
ÚINF/MIS/15 - Management of information systems | AIb - Applied Informatics | first | Computer Science |
ÚINF/SDMA/21 - Seminar on data management | ADUIm - Data Analysis and Artificial Intelligence | second | Computer Science |
ÚINF/KKV1/21 Classical and Quantum Computations | ADUIm - Data Analysis and Artificial Intelligence | second | Computer Science |
Jaroslav IVANČO, Mieczysław BOROWIECKI, Peter MIHÓK, Gabriel SEMANIŠIN: Sequences realizable by maximal k-degenerate graphs. In: Journal of Graph Theory 19, č. 1 (1995), s. 117-124. DOI:10.1002/jgt.3190190112
Peter MIHÓK, Gabriel SEMANIŠIN, Roman VASKY: Additive and Hereditary Properties of Graphs are Uniquely Factorizable into Irreducible Factors. Journal of Graph Theory 33 (2000), s. 44-53. DOI:10.1002/(SICI)1097-0118(200001)33:13.3.CO;2-F
Boštjan BREŠAR - Tom KOS - Rastislav KRIVOŠ-BELLUŠ - Gabriel SEMANIŠIN: Hitting subgraphs in P4-tidy graphs, Applied Mathematics and Computation 352 (2019), s. 211- 219. DOI:10.1016/j.amc.2019.01.074
Alastair FARRUGIA, Peter MIHÓK, R. Bruce RICHTER, Gabriel SEMANIŠIN: Factorizations and Characterizations of Induced-Hereditary and Compositive Properties. Journal of Graph Theory 49, no. 1 (2005), s. 11-27. DOI:10.1002/jgt.20062
Boštjan BREŠAR, František KARDOŠ, Ján KATRENIČ, Gabriel SEMANIŠIN: Minimum k-path vertex cover, Discrete Applied Mathematics 159, no. 12 (2011), s. 1189-1195. DOI:10.1016/j.dam.2011.04.008
Iztok PETERIN - Gabriel SEMANIŠIN. Geodesic transversal problem for join and lexicographic product of graphs. Comp. Appl. Math. 41, 128 (2022). DOI: 10.1007/s40314-022-01834-1
Viktor PRISTAŠ - Ľubomír ANTONI - Gabriel SEMANIŠIN. Automatic reactive power classification based on selected machine learning methods. In Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART; ISBN 978-989-758-623-1; ISSN 2184-433X, pages 100-107. DOI: 10.5220/0011619000003393
Boštjan BREŠAR - Tom KOS - Rastislav KRIVOŠ-BELLUŠ - Gabriel SEMANIŠIN: Hitting subgraphs in P4-tidy graphs, Applied Mathematics and Computation 352 (2019), s. 211- 219. DOI:10.1016/j.amc.2019.01.074
Iztok PETERIN - Gabriel SEMANIŠIN. On the Maximal Shortest Paths Cover Number. Mathematics 2021, 9, 1592. DOI:10.3390/math9141592
Gabriela VOZÁRIKOVÁ - Richard STAŇA - Gabriel SEMANIŠIN: Clothing Parsing using Extended U-Net, In: VISIGRAPP 2021 : Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications: VISAPP vol. 5. - Setúbal : SciTePress, 2021. - ISBN 9789897584886. - S. 15-24, online. - Access URL: https://www.scitepress.org/PublicationsDetail.aspx?ID=esdaPbtAqis=&t=1. - DOI:10.5220/0010177700150024
Boštjan BREŠAR, František KARDOŠ, Ján KATRENIČ, Gabriel SEMANIŠIN: Minimum k-path vertex cover, Discrete Applied Mathematics 159, no. 12 (2011), s. 1189-1195. DOI:10.1016/j.dam.2011.04.008
-- is cited in: --
FUJITO, T., KIMURA, K., MIZUNO, Y. Approximating partially bounded degree deletion on directed graphs. In Journal of Graph Algorithms and Applications, 2019, vol. 23, no. 5, s. 759-780.
Boštjan BREŠAR, František KARDOŠ, Ján KATRENIČ, Gabriel SEMANIŠIN: Minimum k-path vertex cover, Discrete Applied Mathematics 159, no. 12 (2011), s. 1189-1195. DOI:10.1016/j.dam.2011.04.008
-- is cited in: --
MAZUMDAR, Arya. Storage Capacity of Repairable Networks. In IEEE TRANSACTIONS ON INFORMATION THEORY, 2015, vol. 61, no. 11, s. 5810-5821.
Boštjan BREŠAR, Rastislav KRIVOŠ-BELLUŠ, Gabriel SEMANIŠIN, Petra ŠPARL: On the weighted k-path vertex cover problem, Discrete Applied Mathematics 177 (2014), s. 14-18, DOI:10.1016/j.dam.2014.05.042
-- is cited in: --
LI, Z., ZUO, L.C. The k-path vertex cover in Cartesian product graphs and complete bipartite graphs. In APPLIED MATHEMATICS AND COMPUTATION, 2018, vol. 331, s. 69-79
Boštjan BREŠAR, Rastislav KRIVOŠ-BELLUŠ, Gabriel SEMANIŠIN, Petra ŠPARL: On the weighted k-path vertex cover problem, Discrete Applied Mathematics 177 (2014), s. 14-18, DOI:10.1016/j.dam.2014.05.042
-- is cited in: --
RAN, YINGLI et al. Approximation algorithms for minimum weight connected 3-path vertex cover. In Applied Mathematics and Computation, 2019, vol. 347, s. 723-733.
Iztok PETERIN - Gabriel SEMANIŠIN. On the Maximal Shortest Paths Cover Number. Mathematics 2021, 9, 1592. DOI:10.3390/math9141592
-- is cited in: --
Paul Manuel, Boštjan Brešar, Sandi Klavžar, The geodesic-transversal problem, Applied Mathematics and Computation 413 (2022) 126621. DOI:10.1016/j.amc.2021.126621.
APVV-15-0091: Effective algorithms, automatons and data structures (2016-2020)
VEGA 1/0056/18: Descriptional and computational complexity of automatons and algorithms (2018-2020)
VEGA 1/0177/21 Descriptional and computational complexity of automatons and algorithms (2021 - 2023)
Top Research Team (2nd call of AK SR) - KOSDIM - The Košice group of Discrete Mathematics (2017 - up to now)
APVV-23-0191 Colour and structure of planar, embedded and planar-like graphs (2024-2028)
VII.a - Activity, position | VII.b - Name of the institution, board | VII.c - Duration |
---|---|---|
Member and/or chair | Scientific Board of PF UPJŠ a Scientific Board of UPJŠ, Scientific Board of FMFI UK in Bratislava | SB of PF UPJŠ: 2007 - up to now (in the period 2011-2019 chair), SB of UPJŠ: 2011- up to now, SB of FMFI UK (2015 - up to now) |
Vice-chairman | Board for Internal Quality Verification at UPJŠ in Košice | 2021 - 2023 |
Vice-rector for informatisation and quality management | Pavol Jozef Šafárik University in Košice | 2019 - 2023 |
Member of Departmental Committees for Doctoral Studies in Discrete Mathematics, Computer Science, | Departmental Committee for Doctoral Studies | 2005 - up to now |
Member of the Editorial Board of the scientific journal | Discussiones Mathematicae - Graph Theory | 2017 - up to now |
VIII.a - Name of the institution | VIII.b - Address of the institution | VIII.c - Duration (indicate the duration of stay) | VIII.d - Mobility scheme, employment contract, other (describe) |
---|---|---|---|
University of South Africa, Department of Mathematical Sciences | Pretoria, South Africa | 03-04/2004 (3 weeks) | research stay covered by grant of NRF SA |
University in Maribor, Faculty of Natural Sciences and Mathematics | Maribor, Slovenia | 05-06/2007 (1 week) | Erasmus |
Jagiellonian University, Faculty of Mathematics and Computer Science | Cracow, Poland | Summer semester 2008/2009 | Visiting professor, employment contract |
AGH University of Science and Technology, Faculty of Applied Mathematics | Cracow, Poland | 2009/2010 - 2012/2013 | Member of the commission and reviewer of bachelor thesis in the position of visiting professor, employment contract |
Technical university Freiberg, Faculty of Mathematics and Computer Science | Freiberg, Germany | 12/2012 (1 week) | Erasmus |
Technical university of Hildesheim, Institute of Computer Science, ISMLL - Lab | Hildesheim, Germany | 11/2014 (2 weeks), 11/2015 (2 weeks) | Research stay - project FP7 CELIM |