Skip to main navigation Skip to search Skip to main content
Helmut Seidl

View Scopus Profile

Helmut Seidl

Prof. Dr.

1985 …2026

Research activity per year

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
View full fingerprint

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
Explore network further

  • 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

  • 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 Access
    1 Scopus citations

  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 74-100 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; vol. 15529 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Dead Gate Elimination

    Chen, Y., Mendl, C. B. & Seidl, H., 2025, Computational Science - ICCS 2025 - 25th International Conference, 2025, Proceedings. Lees, M. H., Cai, W., Cheong, S. A., Su, Y., Abramson, D., Dongarra, J. J. & Sloot, P. M. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 135-150 16 p. (Lecture Notes in Computer Science; vol. 15905 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations

  • Stratified guarded first-order transition systems

    Müller, C. & Seidl, H., Apr 2025, In: Formal Methods in System Design. 65, 1, p. 39-69 31 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
View all 190 Research outputs