Building User Journey Games from Multi-party Event Logs. - Paul Kobialka; Felix Mannhardt; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (ICPM Workshops, 2022)

Weighted Games for User Journeys. - Paul Kobialka; Silvia Lizeth Tapia Tarifa; Gunnar Rye Bergersen; Einar Broch Johnsen (SEFM, 2022)

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version). - Jasper Nalbach; Valentin Promies; Erika Ábrahám; Paul Kobialka (CoRR, 2023)

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. - Jasper Nalbach; Valentin Promies; Erika Ábrahám; Paul Kobialka (GandALF, 2023)

Simulating User Journeys with Active Objects. - Paul Kobialka; Rudolf Schlatte; Gunnar Rye Bergersen; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Active Object Languages: Current Research Trends, 2024)

Stochastic Games for User Journeys. - Paul Kobialka; Andrea Pferscher; Gunnar R. Bergersen; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (FM (2), 2024)

User journey games: automating user-centric analysis. - Paul Kobialka; Silvia Lizeth Tapia Tarifa; Gunnar R. Bergersen; Einar Broch Johnsen (Softw. Syst. Model., 2024)

Nudging Strategies for User Journeys: Take a Path on the Wild Side. - Einar Broch Johnsen; Paul Kobialka; Andrea Pferscher; Silvia Lizeth Tapia Tarifa (Real Time and Such, 2025)

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex. - Valentin Promies; Jasper Nalbach; Erika Ábrahám; Paul Kobialka (Log. Methods Comput. Sci., 2025)

BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins. - Riccardo Sieve; Paul Kobialka; Laura Slaughter; Rudolf Schlatte; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (ASQAP, 2025)

Counterfactual Strategies for Markov Decision Processes. - Paul Kobialka; Lina Gerlach; Francesco Leofante; Erika Ábrahám; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (CoRR, 2025)