Paul Kobialka

According to our database, Paul Kobialka authored at least 7 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

User journey games: automating user-centric analysis.

Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen

Softw. Syst. Model., June, 2024

Stochastic Games for User Journeys.

Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods - 26th International Symposium, 2024

Simulating User Journeys with Active Objects.

Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems.

Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka

Proceedings of the Fourteenth International Symposium on Games, 2023

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version).

Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka

CoRR, 2023

2022

Weighted Games for User Journeys.

Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Building User Journey Games from Multi-party Event Logs.

Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Process Mining Workshops, 2022