Fingerprint
Dive into the research topics where Helmut Seidl is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
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
-
Dead gate elimination in hybrid quantum–classical programs
Chen, Y., Mendl, C. B. & Seidl, H., Apr 2026, In: Journal of Computational Science. 95, 102789.Research output: Contribution to journal › Article › peer-review
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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 516-522 7 p. (Lecture Notes in Computer Science; vol. 16506 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Scopus citations -
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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 446-470 25 p. (Lecture Notes in Computer Science; vol. 16557 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 173-194 22 p. (Lecture Notes in Computer Science; vol. 16506 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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, p. 289-307 19 p.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations