Vyučujúci

Prednášky

• doc. Ing. William Steingartner, PhD.
  Email: william.steingartner@tuke.sk

Cvičenia

• doc. Ing. William Steingartner, PhD.
  Email: william.steingartner@tuke.sk

• Ing. Ján Perháč, PhD.
  Email: jan.perhac@tuke.sk

• Ing. Matúš Dopiriak
  Email: matus.dopiriak@tuke.sk

Publikácie

• Ján Perháč and Zuzana Bilanová. Another tool for structural operational semantics visualization of simple imperative language. In 2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA), pages 513--518. IEEE, 2020.
• William Steingartner, J Perháč, and A Biliňski. A visualizing tool for graduate course: Semantics of programming languages. IPSI BgD Transactions on Internet Research, 15(2):52--58, 2019.
• Ján Perháč, Michal Ferencsik, Viktor Zhukovskyy, Nataliia Zhukovska, and Serhii Shatnyi. Visualization of syntax and semantics for simple functional language of natural numbers and boolean values. In 2022 IEEE 10th Jubilee International Conference on Computational Cybernetics and Cyber-Medical Systems (ICCC), pages 000305--000310. IEEE, 2022.
• William Steingartner, Róbert Baraník, and Valerie Novitzká. Abstract machine for operational semantics of domain-specific language. In New Trends in Database and Information Systems: ADBIS 2022 Short Papers, Doctoral Consortium and Workshops: DOING, K-GALS, MADEISD, MegaData, SWODCH, Turin, Italy, September 5--8, 2022, Proceedings, pages 413--424. Springer, 2022.
• William Steingartner. On some innovations in teaching the formal semantics using software tools. Open Computer Science, 11(1):2--11, 2020.
• William Steingartner. Compiler module of abstract machine code for formal semantics course. In 2021 IEEE 19th World Symposium on Applied Machine Intelligence and Informatics (SAMI), pages 000193--000200. IEEE, 2021.
• William Steingartner, Valerie Novitzká, and Pavol Zorvan. Some modeling technologies in educating of young it experts in the field of formal languages and their semantics. In Central European Conference on Information and Intelligent Systems, pages 385--393. Faculty of Organization and Informatics Varazdin, 2021.
• William Steingartner and Valerie Novitzká. Natural semantics for domain-specific language. In New Trends in Database and Information Systems: ADBIS 2021 Short Papers, Doctoral Consortium and Workshops: DOING, SIMPDA, MADEISD, MegaData, CAoNS, Tartu, Estonia, August 24-26, 2021, Proceedings, pages 181--192. Springer, 2021.
• Jana Kravcová, William Steingartner, and Hana Bučková. Software tool for supporting the experiential teaching of selected methods of formal semantics. In 2021 19th International Conference on Emerging eLearning Technologies and Applications (ICETA), pages 197--203. IEEE, 2021.
• William Steingartner and Erik Gajdoš. The visualization of a graph semantics of imperative languages. Polytechnica, 5(2):7--14, 2021.