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 -
Max-Policy Iteration, Revisited
Monniaux, D. & Seidl, H., 2026, Programming Languages and Systems - 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Proceedings. Krebbers, R. (ed.). Springer Science and Business Media Deutschland GmbH, p. 94-124 31 p. (Lecture Notes in Computer Science; vol. 16502 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access