Fingerprint
Ergründen Sie die Forschungsthemen, in denen Helmut Seidl aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
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 -
Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation: (Competition Contribution)
Saan, S., Kocal, A. R., Petter, M., Holter, K., Erhard, J., Schwarz, M., Vojdani, V. & Seidl, H., 2026, Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Proceedings. Junges, S. & Katz, G. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 516-522 7 S. (Lecture Notes in Computer Science; Band 16506 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
2 Zitate (Scopus) -
Mixed Flow-Sensitive Static Analysis: Engineering Modularity
Seidl, H., Vojdani, V., Erhard, J. & Schwarz, M., 2026, Formal Methods - 27th International Symposium, FM 2026, Proceedings. Sampaio, A. & Stoelinga, M. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 446-470 25 S. (Lecture Notes in Computer Science; Band 16557 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access -
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities
Kocal, A. R., Schwarz, M., Saan, S. & Seidl, H., 2026, Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Proceedings. Junges, S. & Katz, G. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 173-194 22 S. (Lecture Notes in Computer Science; Band 16506 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
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 Access2 Zitate (Scopus)