Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
-
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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 357-376 20 S. (Lecture Notes in Computer Science; Band 16087 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
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.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 573-593 21 S. (Lecture Notes in Computer Science; Band 15943 LNAI).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access