APC Semantics for Petri Nets. - Slavomír Simonák; Stefan Hudák; Stefan Korecko (Informatica (Slovenia), 2008)

Performance analysis of processes by automated simulation of Coloured Petri nets. - Stefan Korecko; Branislav Sobota; Csaba Szabó (ISDA, 2010)

Processing 3D scanner data for virtual reality. - Csaba Szabó; Stefan Korecko; Branislav Sobota (ISDA, 2010)

Using Coloured Petri Nets for design of parallel raytracing environment - Stefan Korecko; Branislav Sobota (CoRR, 2010)

CPN Assistant II: A Tool for Management of Networked Simulations. - Stefan Korecko; Ján Marcincin; Viliam Slodicák (Petri Nets, 2012)

On building an object-oriented parallel virtual reality system. - Branislav Sobota; Stefan Korecko; Frantisek Hrozek (Central Eur. J. Comput. Sci., 2012)

Solutions for Time Estimation of Tactile 3D Models Creation Process. - Frantisek Hrozek; Stefan Korecko; Branislav Sobota (AMLTA, 2014)

A Toolset for Support of Teaching Formal Software Development. - Stefan Korecko; Ján Sorád; Zuzana Dudláková; Branislav Sobota (SEFM, 2014)

Acceleration of ray tracing method using predictive evaluation and GPGPU technology. - Branislav Sobota; Stefan Korecko; Csaba Szabó; Frantisek Hrozek (Central Eur. J. Comput. Sci., 2014)

Functional Languages in Design of Coloured Petri Nets Models. - Stefan Korecko (CEFP, 2015)

Application of human body movements on theavatars model for the purpose of virtual trainingsystem. - Branislav Sobota; Ladislav Jacho; Stefan Korecko (Open Comput. Sci., 2016)

Jadex/JBdiEmo Emotional Agents in Games with Purpose: a Feasibility Demonstration. - Stefan Korecko; Branislav Sobota; Peter Zemianek (Simul. Notes Eur., 2016)

On architecture and performance of LIRKIS CAVE system. - Marián Hudák; Stefan Korecko; Branislav Sobota (CogInfoCom, 2017)

New Approach to Categorical Semantics for Procedural Languages. - William Steingartner; Valerie Novitzká; Michaela Bacíková; Stefan Korecko (Comput. Informatics, 2017)

Assessment and training of visuospatial cognitive functions in virtual reality: proposal and perspective. - Stefan Korecko; Marián Hudák; Branislav Sobota; Martin Marko; Barbora Cimrová; Igor Farkas; Roman Rosipal (CogInfoCom, 2018)

Special Input Devices Integration to Lirkis Cave. - Marián Hudák; Stefan Korecko; Branislav Sobota (Open Comput. Sci., 2018)

Experimental Procedure for Evaluation of Visuospatial Cognitive Functions Training in Virtual Reality. - Stefan Korecko; Branislav Sobota; Marián Hudák; Igor Farkas; Barbora Cimrová; Peter Vasil; Dominik Trojcák (AISI, 2019)

Microsoft HoloLens Evaluation Under Monochromatic RGB Light Conditions. - Marián Hudák; Stefan Korecko; Branislav Sobota (AVR (2), 2019)

Utilizing Rail Traffic Control Simulator in Verified Software Development Courses. - Stefan Korecko (CEFP, 2019)

Project-Based Approach to Teaching Event-Driven Simulation. - Stefan Korecko (MIPRO, 2019)

Advanced User Interaction for Web-based Collaborative Virtual Reality. - Marián Hudák; Stefan Korecko; Branislav Sobota (CogInfoCom, 2020)

LIRKIS Global Collaborative Virtual Environments: Current State and Utilization Perspective. - Marián Hudák; Stefan Korecko; Branislav Sobota (Open Comput. Sci., 2021)

EMG Data Collection for Multimodal Keystroke Analysis. - Stefan Korecko; Matús Haluska; Matús Pleva; Markus Hoff Skudal; Patrick Bours (ACIT, 2022)

Biometric User Identification by Forearm EMG Analysis. - Matús Pleva; Stefan Korecko; Daniel Hládek; Patrick Bours; Markus Hoff Skudal; Yuan-Fu Liao (ICCE-TW, 2022)

Evaluation of Proximal Policy Optimization with Extensions in Virtual Environments of Various Complexity. - Róbert Rauch; Stefan Korecko; Juraj Gazda (RADIOELEKTRONIKA, 2022)