Christoph Matheja

View Scopus Profile

Christoph Matheja

 https://orcid.org/0000-0001-9151-0441

  • Richard Petersens Plads, 321, 009

    2800 Kgs. Lyngby

    Denmark

If you made any changes in Pure these will be visible here soon.
  • 3 Article in proceedings
  • 1 Journal article

Search results

  • 2023

    A Calculus for Amortized Expected Runtimes

    Batz, K., Kaminski, B. L., Katoen, J-P., Matheja, C. & Verscht, L., 2023, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 30 p. 67

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • A Decision Procedure for Guarded Separation Logic: Complete Entailment Checking for Separation Logic with Inductive Definitions

    Matheja, C., Pagel, J. & Zuleger, F., 2023, In: ACM Transactions on Computational Logic. 24, 1, 76 p., 1.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    7 Downloads (Pure)
  • 2022

    Foundations for Entailment Checking in Quantitative Separation Logic

    Batz, K., Fesefeldt, I., Jansen, M., Katoen, J. P., Keßler, F., Matheja, C. & Noll, T., 2022, Programming Languages and Systems. Sergey, I. (ed.). Springer, p. 57-84 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13240).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    9 Downloads (Pure)

  • The Prusti Project: Formal Verification for Rust

    Astrauskas, V., Bílý, A., Fiala, J., Grannan, Z., Matheja, C., Müller, P., Poli, F. & Summers, A. J., 2022, NASA Formal Methods . Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 88-108 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13260 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review