| Name |
Session |
Title |
| Péter Bereczky | Verification | A Formalisation of Concurrent Core Erlang |
| Walelign Sewunetie | Education | Rule-Based Automatic Question Generation Using Dependency Parsing |
| Ádám Vécsi | Network | Scalix Mix Network |
| Zoltán Szabó | Healthcare | Evaluation of a Custom Patient Flow Modeling Framework for Hospital Simulation |
| Dominik Hirling | Image Processing | Cell Representation and Segmentation with Shape Priors |
| Imre Gera | Graphs | Edge-based Detection of Nested Communities |
| Anett Fekete | Analysis Methods | Using Version Control Information to Visualize Developers' Knowledge |
| Yue Sun | Machine Learning | Self-Supervised Relation Reasoning Framework for Spectra Classification |
| Kristóf Umann | Program Analysis | Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses Using Dataflow Analyses |
| Tekla Tóth | Interpolation | Registration of 3D Trajectories |
| Itilekha Podder | AI & Testing | Towards Knowledge Discovery for Predictive Maintenance in MEMS Inertial Sensors Using Artificial Intelligence and Design Science Research |
| Name |
Session |
Title |
| Dániel Lukács | Verification | Overlaying Control Flow Graphs on P4 Syntax Trees with Gremlin |
| András Földvári and András Pataricza | Verification | Qualitative Reasoning in Dependability Analysis |
| Csaba Bálint | Computer Graphics | Operations on Signed Distance Function Estimates |
| Róbert Bán | Computer Graphics | Higher dimensional Hermite interpolation of gradient data |
| Emília Heinc | Graphs | Comparing Structural Constraints for Accelerated Branch and Bound Solver of Process Network Synthesis Problems |
| Richárd Szalay | Program Analysis | Semi-Automatic Modularisation of C++ Software Projects |
| Dániel Szekeres | Program Analysis | Towards Abstraction-based Probabilistic Program Analysis |
| Ágoston Sipos | Interpolation | Corner-based Implicit Patches |
