Research output per year
Research output per year
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 Access2 Scopus citations -
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
Open Access4 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