H.H. (Helle) Hansen, Prof

Borzechowski, M., Gattinger, M., Hansen, H. H., Ramanayake, R., Dalmas, V. T. & Venema, Y., 17-mrt.-2025, (Submitted) arXiv, 97 blz.

Onderzoeksoutput: Voordruk ›

Hansen, H. H. & Poiger, W., 28-jul.-2025, 11th Conference on Algebra and Coalgebra in Computer Science: CALCO 2025. Cirstea, C. & Knapp, A. (uitgave). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28 blz. 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 342).

Onderzoeksoutput: Conference contribution › › peer review

Chernev, A., Cîrstea, C., Hansen, H. H. & Kupke, C., 5-jun.-2025, (Submitted) arXiv, 21 blz.

Onderzoeksoutput: Voordruk ›

Chernev, A., Cîrstea, C., Hansen, H. H. & Kupke, C., 9-okt.-2025, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, blz. 761-775 15 blz.

Onderzoeksoutput: Conference contribution › › peer review

Chernev, A., Cirstea, C., Hansen, H. H. & Kupke, C., 9-okt.-2025, Proceedings - 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025. Institute of Electrical and Electronics Engineers Inc., blz. 761-775 15 blz. (Proceedings - Symposium on Logic in Computer Science).

Onderzoeksoutput: Conference contribution › › peer review

Chernev, A., Cîrstea, C., Hansen, H. H. & Kupke, C., 30-okt.-2025, (Submitted) arXiv, 26 blz.

Onderzoeksoutput: Voordruk ›

Rosset, A., Hansen, H. H. & Endrullis, J., 5-jul.-2024, (Submitted) arXiv, 56 blz.

Onderzoeksoutput: Voordruk ›

Rosset, A., Zwart, M., Hansen, H. H. & Endrullis, J., 2024, Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Proceedings. König, B. & Urbat, H. (uitgave). Springer Science and Business Media Deutschland GmbH, blz. 194-215 22 blz. (Lecture Notes in Computer Science ; vol. 14617 LNCS).

Onderzoeksoutput: Conference contribution › › peer review

Chernev, A., Hansen, H. H. & Kupke, C., 22-nov.-2024, Theoretical Aspects of Computing – ICTAC 2024 - 21st International Colloquium, Proceedings. Anutariya, C. & Bonsangue, M. M. (uitgave). Springer Science and Business Media Deutschland GmbH, blz. 96-113 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15373 LNCS).

Onderzoeksoutput: Conference contribution › › peer review

Chernev, A., Hansen, H. H. & Kupke, C., 19-jul.-2024, (Submitted) arXiv, 27 blz.

Onderzoeksoutput: Voordruk ›