SK
EN
Uplatnenie nových princípov vo vzdelávaní IT špecialistov v oblasti formálnych jazykov a prekladačov
Basic informations
Thematic area: komisia č. 2 pre nové technológie, metódy a formy vo vzdelávaní
Project name (Slovak): Uplatnenie nových princípov vo vzdelávaní IT špecialistov v oblasti formálnych jazykov a prekladačov
Project name (English): Application of new principles in the education of IT specialists in the field of formal languages and compilers
Start of project: 2023
End of project: 2025
Condition of project: Ukončený
Project number: 030TUKE-4/2023
Project leader: doc. Ing. William Steingartner, PhD.
University: Technická univerzita v Košiciach
Department: Fakulta elektrotechniky a informatiky
Financial grant of MŠVVandŠ SR within KEGA
| Financial grant of MŠVVandŠ SR within KEGA | Capital expenditures in € | |
|---|---|---|
| Pumped for the entire period of the project | 34 646,00 | 0,00 |
List of project outcomes for the entire solution
Publishing activity
| Category code | Specific output, name (ISBN, number of pages a i.) |
|---|---|
| V2 | R. Cenková and W. Steingartner, "Luxury in the Time of COVID-19," 2022 IEEE 16th International Scientific Conference on Informatics (Informatics), Poprad, Slovakia, 2022, pp. 49-54, doi: 10.1109/Informatics57926.2022.10083451. |
| V2 | W. Steingartner, D. Možnik and D. Galinec, "Disinformation Campaigns and Resilience in Hybrid Threats Conceptual Model," 2022 IEEE 16th International Scientific Conference on Informatics (Informatics), Poprad, Slovakia, 2022, pp. 287-292, doi: 10.1109/Informatics57926.2022.10083447. |
| V2 | W. Steingartner, R. Zsiga and D. Radaković, "Natural semantics visualization for domain-specific language," 2022 IEEE 16th International Scientific Conference on Informatics (Informatics), Poprad, Slovakia, 2022, pp. 293-298, doi: 10.1109/Informatics57926.2022.10083439. |
| V2 | N. Ferenčik, W. Steingartner, B. Štefanovič, M. Kohan, T. Breškovič and R. Hudák, "Polyamide 12 Pickling Equipment for 3D Printed Parts," 2022 IEEE 16th International Scientific Conference on Informatics (Informatics), Poprad, Slovakia, 2022, pp. 90-93, doi: 10.1109/Informatics57926.2022.10083496. |
| V2 | N. Ferenčík, R. Hudák, B. Štefanovič, M. Kohan, V. Sedláková and W. Steingartner, "Monitoring the Quality of Sleep Using a Smart Bracelet at Different Light Spectrum," 2022 IEEE 16th International Scientific Conference on Informatics (Informatics), Poprad, Slovakia, 2022, pp. 82-89, doi: 10.1109/Informatics57926.2022.10083398. |
| V2 | M. Dugas, N. Ferenčík, R. Hudák, Z. Naďová, P. Kolembusová and W. Steingartner, "Design of Automatic Radiation Detection System as a Part of Radiation Protection in Linear Accelerator Facilities," 2023 Communication and Information Technologies (KIT), Vysoke Tatry, Slovakia, 2023, pp. 1-5, doi: 10.1109/KIT59097.2023.10297060. |
| V2 | de Espona Pernas, L., Vichalkovski, A., Steingartner, W., Pustulka, E. (2023). Automatic Indexing for MongoDB. In: Abelló, A., et al. New Trends in Database and Information Systems. ADBIS 2023. Communications in Computer and Information Science, vol 1850. Springer, Cham. https://doi.org/10.1007/978-3-031-42941-5_46 |
| V2 | Steingartner, W., Sivý, I. (2023). From High-Level Language to Abstract Machine Code: An Interactive Compiler and Emulation Tool for Teaching Structural Operational Semantics. In: Abelló, A., et al. New Trends in Database and Information Systems. ADBIS 2023. Communications in Computer and Information Science, vol 1850. Springer, Cham. https://doi.org/10.1007/978-3-031-42941-5_47 |
| V2 | Steingartner, W., Novitzká, V. (2023). Semantic methods in our research and teaching. In: Vrček, N., de Marcos, L. and Grd., P. (eds.): Central European Conference on Information and Intelligent Systems. CECIIS 2023. Faculty of Organization and Informatics, University of Zagreb, Dubrovnik. |
| V2 | Ferenczová, A., Perháč, J. (2023). Interactive Web-based Interpreter of the λ-Calculus. 2023 IEEE 21st Jubilee International Symposium on Intelligent Systems and Informatics (SISY), Pula, Croatia. |
| V2 | Device for monitoring the vital functions of athletes using Arduino UNO development board / Špaková, Adriána [25%]; Ferenčík, Norbert [20%]; Sedláková, Veronika [20%]; Kolembusová, Petra [15%]; Steingartner, William [10%]; Hudák, Radovan [10%]. 2024 Danvers : – ISBN 979-8-3503-1719-0 |
| V2 | Design and construction of a medium chamber for a tissue bioreactor system / Kolembusová, Petra [30%]; Ferenčík, Norbert [25%]; Steingartner, William [10%]; Hudák, Radovan [10%]; Sedláková, Veronika [15%]; Štefanovič, Branko [10%]. 2024 Danvers : – ISBN 979-8-3503-1719-0 |
| V3 | PA12 Surface Treatment and Its Effect on Compatibility with Nutritional Culture Medium to Maintain Cell Vitality and Proliferation / Ferenčík, Norbert [50%]; Danko, Mária [30%]; Nadova, Zuzana [10%]; Kolembusová, Petra [5%]; Steingartner, William [5%]. Bazilej : – ISSN 2306-5354 |
| V3 | Innovative Solutions for Tetraplegia: A Smart Hand Orthosis Design / Ferenčík, Norbert [20%]; Sedláková, Veronika [15%]; Kolembusová, Petra [15%]; Štefanovič, Branko [15%]; Hudák, Radovan [10%]; Steingartner, William [25%]. Belehrad : – ISSN 1820-4503 |
| V3 | Enhancing semantics learning: a dynamic environment for abstract language implementation education / Steingartner, William [95%]; Sivý, Igor [5%]. Belehrad : – ISSN 1820-4503 |
| V3 | Common errors in high school novice programming / Radaković, Davorka [5%]; Steingartner, William [95%]. Belehrad : – ISSN 1820-4503 |
| V3 | Proof of Equivalence of Semantic Methods For a Selected Domain-Specific Language / William Steingartner, Valerie Novitzká, Wolfgang Schreiner, Journal of Applied Mathematics and Computational Mechanics, Vol. 23, No. 2, pp. 79-92, 2024 |
| V3 | Operational Semantics in a Domain-Specific Robot Control Language: a Pedagogical Use Case / William Steingartner, Valerie Novitzká, Computer Science and Information Systems, Vol. 23, No. 3, pp/ 1077-1095, 2024 |
| V2 | National cybersecurity strategy action plan for cyber resilience: Qualitative data and achievements / William Steingartner, Darko Galinec, In: Smart Ethics in the Digital World: Proceedings of the ETHICOMP 2024. 21st International Conference on the Ethical and Social Impacts of ICT / coord. por Mario Arias Oliva, Jorge Pelegrín Borondo, Kiyoshi Murata, Ana María Lara Palma, Manuel Ollé Sesé, 2024, ISBN 978-84-09-58160-3, pp. 233-236 |
| V3 | Disinformation Campaigns: Battling Misinformation for Resilience in Hybrid Threats Model / William Steingartner, Darko Galinec, Dávid Vaľko, Norbert Ádám, Vol. 21, No. 10, 2024 |
| V2 | Semantic Frameworks for Selected Domain-Specific Languages in our Research: Methodologies and Applications / William Steingartner, Davorka Radaković, In: International Conferences on Applied Computing 2024 and WWW/Internet 2024, Zagreb, Croatia, Oct 26-28, 2024, IADIS Press |
| V2 | B. Bekiaris and J. Perháč, "Interactive Proof Assistant Based on Resolution Method in First Order Logic," 2024 IEEE 28th International Conference on Intelligent Engineering Systems (INES), Gammarth, Tunisia, 2024, pp. 000167-000174, doi: 10.1109/INES63318.2024.10629140. |
| V2 | Another Empirical Proof of Transparent Intensional Logic’s Expressive Power in the Field of Temporal Logical Systems / Novotný, Samuel [34%]; Steingartner, William [33%]; Perháč, Ján [33%]. 2024 Danvers : – ISBN 979-8-3503-8769-8 |
| V2 | Interactive proof assistant based on floyd-hoare logic / Novotný, Samuel [35%]; Steingartner, William [35%]; Sivá, Katarína [5%]; Perháč, Ján [25%]. 2025 Piscataway : – ISBN 979-8-3503-7937-2 – ISSN 2836-0834 |
| V2 | Use of modern, diagnostic and treatment modalities in the treatment of malignant diseases of the breast with the application of compensators in radiotherapy / Hisemová, Adriana [15%]; Ferenčík, Norbert [25%]; Kolembusová, Petra [20%]; Steingartner, William [10%]; Štefanovič, Branko [20%]; Hudák, Radovan [10%]. 2025 Piscataway : – ISBN 979-8-3503-7937-2 – ISSN 2836-0834 |
| V2 | The use of CBCT imaging in the irradiation of prostate cancer / Feduš, Matej [15%]; Ferenčík, Norbert [25%]; Dudová, Katarína [20%]; Kolembusová, Petra [20%]; Steingartner, William [10%]; Hudák, Radovan [10%]. 2025 Piscataway : – ISBN 979-8-3503-7937-2 – ISSN 2836-0834 |
| V3 | Perspectives of semantic modeling in categories / Steingartner, William [100%]. Rijád : – ISSN 2213-1248 |
| V3 | Zeko, N., Galinec, D., Steingartner, W. (2026). Enhancing Health Information Access via ChatGPT and the E-Citizens Portal. In: Alvarez, I., Arias-Oliva, M., Dediu, AH., Silva, N. (eds) Ethical and Social Impacts of Information and Communication Technology. ETHICOMP 2025. Lecture Notes in Computer Science, vol 15939. Springer, Cham. https://doi.org/10.1007/978-3-032-01429-0_51 |
| V3 | Radaković, D., Steingartner, W. (2026). Gender and Emerging Digital Technologies in Education. In: Alvarez, I., Arias-Oliva, M., Dediu, AH., Silva, N. (eds) Ethical and Social Impacts of Information and Communication Technology. ETHICOMP 2025. Lecture Notes in Computer Science, vol 15939. Springer, Cham. https://doi.org/10.1007/978-3-032-01429-0_13 |
| V2 | Steingartner, W., Schreiner, W. (2026). Executable Semantics for Teaching Concatenative Stack-Based DSLs: The Case of StackLang. In: Chrysanthis, P.K., Nørvåg, K., Stefanidis, K., Zhang, Z., Quintarelli, E., Zumpano, E. (eds) New Trends in Database and Information Systems. ADBIS 2025. Communications in Computer and Information Science, vol 2676. Springer, Cham. https://doi.org/10.1007/978-3-032-05727-3_23 |
| V2 | Steingartner W., Radaković D., Dovčík B. Extension of Domain-Specific Language and its Operational Semantics. SQAMIA 2024, CEUR-WS Vol. 3845, 2024. |
| V3 | Novotný, S., Steingartner, W., & Novitzká, V. (2025). On structure of Tichý-inspired logical spacetime. Journal of Applied Mathematics and Computational Mechanics, 24(4), 51-74. doi:10.17512/jamcm.2025.4.04 |
| V2 | Novotný S., Duží M., Steingartner W. Towards Resolving Type Incoherence in Transparent Intensional Logic. EJC 2025, Ostrava, 2025. |
| V2 | Novotný S., Duží M., Steingartner W. Implementation of Transparent Intensional Logic Framework in Haskell. EJC 2025, Ostrava, 2025 |
| V2 | S. Novotný, W. Steingartner and J. Perháč, "Another Empirical Proof of Transparent Intensional Logic’s Expressive Power in the Field of Temporal Logical Systems," 2024 IEEE 17th International Scientific Conference on Informatics (Informatics), Poprad, Slovakia, 2024, pp. 259-263, doi: 10.1109/Informatics62280.2024.10900822. |
| V2 | W. Schreiner and W. Steingartner, "Semantics-Based Rapid Prototyping of a Machine Controller Language," 2024 IEEE 17th International Scientific Conference on Informatics (Informatics), Poprad, Slovakia, 2024, pp. 337-342, doi: 10.1109/Informatics62280.2024.10900792. |
| V2 | W. Steingartner, D. Galinec and V. Zebić, "Challenges of Application Programming Interfaces Security: A Conceptual Model in the Changing Cyber Defense Environment and Zero Trust Architecture," 2024 IEEE 17th International Scientific Conference on Informatics (Informatics), Poprad, Slovakia, 2024, pp. 372-379, doi: 10.1109/Informatics62280.2024.10900929. |
| V2 | D. Radaković and W. Steingartner, "Why Female Pupils Lose Interest in Stem Fields in High School with an Emphasis on Computer Science?," 2024 IEEE 17th International Scientific Conference on Informatics (Informatics), Poprad, Slovakia, 2024, pp. 380-384, doi: 10.1109/Informatics62280.2024.10900917 |
| V2 | StandUp Tracker: An Arduino-Based Monitoring System / Čurillová, Miriam [20%]; Ferenčík, Norbert [20%]; Steingartner, William [10%]; Dudová, Katarína [20%]; Babicová, Petra [20%]; Hudák, Radovan [10%]. 2025 Piscataway : – ISBN 979-8-3315-1546-1 – ISSN 2833-9010 |
| V3 | Saloun, Petr; Simkova, Tereza; Tomaszek, Lukas; Steingartner, William; Triskova, Ivona; Klement, Milan; and Bryndova, Lucie "Morning Circle Web Application for Students with Special Educational Needs", IPSI Transactions on Internet Research, vol. 20(2), pp. 50-61, 2025. https://doi.org/10.58245/ipsi.tir.2502.06 |
| P1 | Steingartner W., Novotný S., Gnip P. Formálne jazyky a automaty. Od teórie k praxi. Technická univerzita v Košiciach, 2025. ISBN 978-80-553-4923-7, 245 s. |
| V2 | Implementation Potential of Transparent Intensional Logic in Multi-Agent System Communication / Novotný, Samuel [100%]. 2025 Košice : – ISBN 978-80-553-4826-1 |
Replications
| Category Name | Specific name |
|---|---|
| 1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS | Tokarčíková, E., Ďurišová, M., & Trojáková, T. (2024). Circular Economy: Municipal Solid Waste and Landfilling Analyses in Slovakia. Economies, 12(11), 289. |
| 1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS | Hubková, Svetlana - Jarmoch, Edward Zygmunt - Weiss, Ervín - Paľa, Gabriel Social work foundations in mental health care – quantitative research In: Clinical social work and health intervention Roč. 15, č. 6 (2024), s. 9-27 [print, online] ISSN: 2222-386X DB: WOS |
| 1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS | HUBKOVA, Svetlana, JARMOCH, Edward, WEISS, Ervin: Social Work foundations in mental Health Care - quantitative Research In: CLINICAL SOCIAL WORK AND HEALTH INTERVENTION vol.15, no.6 (2024) ISSN:2222-386X eISSN:2076-9741 Doi:10.22359/cswhi_15_6_02 |
| 1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS | Hubková, Svetlana - Jarmoch, Edward Zygmunt - Weiss, Ervín - Paľa, Gabriel Social work foundations in mental health care – quantitative research In: Clinical social work and health intervention Roč. 15, č. 6 (2024), s. 9-27 [print, online] ISSN: 2222-386X |
| 1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS | HUBKOVA, Svetlana, JARMOCH, Edward, WEISS, Ervin: Social Work foundations in mental Health Care - quantitative Research In: CLINICAL SOCIAL WORK AND HEALTH INTERVENTION vol.15, no.6 (2024) ISSN:2222-386X eISSN:2076-9741 Doi:10.22359/cswhi_15_6_02 |
Other outcomes (eg e-learning, websites, virtual laboratory, training, courses, workshops and the like.)
| Output name | Description of output | Link |
|---|---|---|
| Elektronické pracovné listy - podklady pre cvičenia | Pracovné listy v elektronickej forme slúžia ako návod na cvičenia pre študentov aj pre pedagógov. Obsahujú zhrnutie učiva, riešené modelové úlohy, námety na samostatné riešenia a postupy v realizácii projektových zadaní. | https://kurzy.kpi.fei.tuke.sk/fj/ |
| Elektronické podklady ku prednáškam, inovované slajdy k vybraným prednáškam | Uvedené materiály v elektronickej podobe slúžia ak podklad pre prednášajúceho aj pre pedagógov zabezpečujúcich cvičenia. Sú zhrnutím teoretického základu danej kapitoly spolu s odkazmi na príklady. Zároveň slúžia ako dočasný podklad k štúdiu pred spracovaním celej učebnice. | Dostupné v internom LMS Moodle |
| e-learning | Elektronické dokumenty obsahujúce prezentácie k prednáškam, doplnkové študijné materiály k vybraným kapitolám, ukážkové riešenia niektorých problémov. Materiály sú dostupné v rámci univerzitného intranetu na platforme moodle. | moodle KPI |
| e-learning | Elektronické dokumenty obsahujúce prezentácie k prednáškam, doplnkové študijné materiály k vybraným kapitolám, ukážkové riešenia niektorých problémov. Materiály sú dostupné v rámci univerzitného intranetu na platforme moodle. | Moodle KPI |
| Elektronické podklady k cvičeniam | Súbor elektronických študijných materiálov určených na podporu cvičení a samostatnej práce študentov v predmete Formálne jazyky. Materiály zahŕňajú pracovné listy, úlohy na precvičenie, doplnkové vysvetlenia, ukážky riešení a rozširujúce materiály k jednotlivým témam predmetu. Sú priebežne aktualizované v súlade s inovovaným obsahom výučby a dostupné prostredníctvom online portálu na adrese https://kurzy.kpi.fei.tuke.sk/fj/ | https://kurzy.kpi.fei.tuke.sk/fj/ |
| Vizualizačný softvér | Modul Computron 2.0, moduly pre konverziu regulárnych výrazov na deterministické kkonečné automaty, vizualizácia overenia vlastností LL gramatík. Softvér je dostupný v rámci univerzitného intranetu z dôvodu prenájmu výpočtového priestoru (docker služby) v čase aktívneho semestr výučby. | Moodle KPI |
Final evaluation of the commission KEGA
The final report of the project has not yet been evaluated by the relevant KEGA commission, as it is a solved project, the completion of which is planned in 2025.