Research output per year
Research output per year
Fingerprint
Dive into the research topics where Christoph Matheja is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL
Matheja, C., 2025, Proceedings of the Second International Conference Bridging the Gap Between AI and Reality - AISoLA 2024. Springer, Vol. 15217. p. 242-258Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
J-P: MDP. FP. PP: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs
Batz, K., Kaminski, B. L., Matheja, C. & Winkler, T., 2025, Principles of Verification: Cycling the Probabilistic Landscape . Springer, Vol. 15260. p. 255-302 (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
-
Data Petri Nets Meet Probabilistic Programming
Kuhn, M., Grüger, J., Matheja, C. & Rivkin, A., 2024, 22nd International Conference on Business Process Management . Springer, Vol. 14940. p. 21-38Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
LogPPL: A Tool for Probabilistic Process Mining
Kuhn, M., Grüger, J., Matheja, C. & Rivkin, A., 2024, Proceedings of the ICPM 2024 Tool Demonstration Track,. CEUR-WS, Vol. 3783. 6 p. (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile13 Downloads (Orbit) -
What Should Be Observed for Optimal Reward in POMDPs?
Konsta, A. M., Lluch Lafuente, A. & Matheja, C., 2024, Proceedings of the 36th International Conference on Computer Aided Verification . Springer, Vol. 14683. p. 373-394Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile29 Downloads (Orbit)
Projects
- 1 Active
-
Automated Reasoning about Randomized Algorithms
Bøving, O. E. (PhD Student), Matheja, C. (Main Supervisor) & Lluch Lafuente, A. (Supervisor)
01/11/2023 → 31/10/2026
Project: PhD
Activities
-
International Conference on Computer Aided Verification (Event)
Matheja, C. (Member)
2023 → …Activity: Membership › Membership of commitees, commissions, boards, councils, associations, organisations, or similar
-
International Symposium on Formal Methods (Event)
Matheja, C. (Member)
2022 → …Activity: Membership › Membership of commitees, commissions, boards, councils, associations, organisations, or similar
-
Workshop on Verification of Probabilistic Programs
Matheja, C. (Organizer)
12 Aug 2022Activity: Attending an event › Participating in or organising a conference
-
50th ACM SIGPLAN Symposium on Principles of Programming Languages (Event)
Matheja, C. (Member)
2022 → …Activity: Membership › Membership of commitees, commissions, boards, councils, associations, organisations, or similar
Prizes
-
POPL 2021 Distinguished Paper
Matheja, C. (Recipient), 2021
Prize: Prizes, scholarships, distinctions