Paul Kobialka

According to our database, Paul Kobialka authored at least 15 papers between 2022 and 2026.

Collaborative distances:

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

2026

Automata Learning versus Process Mining: The Case for User Journeys.

Paul Kobialka, Andrea Pferscher, Bernhard K. Aichernig, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

CoRR, April, 2026

Incremental Fingerprinting in an Open World.

Loes Kruger, Paul Kobialka, Andrea Pferscher, Einar Broch Johnsen, Sebastian Junges, Jurriaan Rot

CoRR, January, 2026

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

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins, May, 2025

Decision boundaries in user journey event logs.

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

Process Sci., 2025

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex.

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

Log. Methods Comput. Sci., 2025

Counterfactual Strategies for Markov Decision Processes.

Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

What-If Scenarios for the BedreFlyt Digital Twin.

Åsmund Aqissiaq Arild Kløvstad, Paul Kobialka, Riccardo Sieve, Andrea Pferscher, Laura Slaughter, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Principles of Formal Quantitative Analysis, 2025

Nudging Strategies for User Journeys: Take a Path on the Wild Side.

Einar Broch Johnsen, Paul Kobialka, Andrea Pferscher, Silvia Lizeth Tapia Tarifa

Proceedings of the Real Time and Such, 2025

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