Paul Kobialka

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

User Interaction

Communication Services

Alternative Methods

Top Venues

Publications

Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen
User journey games: automating user-centric analysis. Softw. Syst. Model. 23 (3) (2024)
Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version). CoRR (2023)
Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. GandALF (2023)
Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Building User Journey Games from Multi-party Event Logs. ICPM Workshops (2022)
Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen
Weighted Games for User Journeys. SEFM (2022)