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:
-
Dead gate elimination in hybrid quantum–classical programs
Chen, Y., Mendl, C. B. & Seidl, H., Apr. 2026, in: Journal of Computational Science. 95, 102789.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
Context Gas and friends: taming context-sensitivity on the fly
Erhard, J., Schinabeck, J. F., Schwarz, M. & Seidl, H., Apr. 2025, in: International Journal on Software Tools for Technology Transfer. 27, 2, S. 289-307 19 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access1 Zitat (Scopus) -
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Erhard, J., Bentele, M., Heizmann, M., Klumpp, D., Saan, S., Schüssele, F., Schwarz, M., Seidl, H., Tilscher, S. & Vojdani, V., 2025, Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings. Shankaranarayanan, K., Sankaranarayanan, S. & Trivedi, A. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 74-100 27 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15529 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
3 Zitate (Scopus)