| 2026 |
J |
jnl |
CoRR
Loes Kruger, Paul Kobialka, Andrea Pferscher, Einar Broch Johnsen, Sebastian Junges, Jurriaan Rot
|
| 2025 |
— |
conf |
ASQAP
Riccardo Sieve, Paul Kobialka, Laura Slaughter, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
|
| 2025 |
A* |
conf |
IJCAI
Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
|
| 2025 |
J |
jnl |
CoRR
Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
|
| 2025 |
J |
jnl |
Process Sci.
Paul Kobialka, Einar Broch Johnsen, Felix Mannhardt, Silvia Lizeth Tapia Tarifa
|
| 2025 |
J |
jnl |
Log. Methods Comput. Sci.
Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Kobialka
|
| 2025 |
— |
conf |
Real Time and Such
Einar Broch Johnsen, Paul Kobialka, Andrea Pferscher, Silvia Lizeth Tapia Tarifa
|
| 2025 |
— |
conf |
Principles of Formal Quantitative Analysis
Åsmund Aqissiaq Arild Kløvstad, Paul Kobialka, Riccardo Sieve, Andrea Pferscher, Laura Slaughter, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
|
| 2024 |
— |
ch. |
Active Object Languages: Current Research Trends
Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
|
| 2024 |
— |
conf |
FM (2)
Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
|
| 2024 |
J |
jnl |
Softw. Syst. Model.
Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen
|
| 2023 |
J |
jnl |
CoRR
Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
|
| 2023 |
— |
conf |
GandALF
Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
|
| 2022 |
— |
conf |
ICPM Workshops
Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
|
| 2022 |
B |
conf |
SEFM
Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen
|