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
-
Runtime Verification for LTL in Stochastic Systems
Esparza, J. & Fischer, V., 2026, Runtime Verification - 25th International Conference, RV 2025, Proceedings. Könighofer, B. & Torfah, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 357-376 20 p. (Lecture Notes in Computer Science; vol. 16087 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Undecidability of the emptiness problem for weak models of distributed computing
Principato, F. T., Esparza, J. & Czerner, P., 2 Apr 2026, In: Theoretical Computer Science. 1067, 115757.Research output: Contribution to journal › Article › peer-review
Open Access -
Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL
Bartl, L., Blanchette, J. & Nipkow, T., 2025, Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, 2025, Proceedings. Barrett, C. & Waldmann, U. (eds.). Springer Science and Business Media Deutschland GmbH, p. 573-593 21 p. (Lecture Notes in Computer Science; vol. 15943 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access