H.H. (Helle) Hansen, Prof

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

Research output: Working paper › Preprint › Academic

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

Research output: Working paper › Preprint › Academic

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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 194-215 22 p. (Lecture Notes in Computer Science ; vol. 14617 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 96-113 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15373 LNCS).

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

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

Research output: Working paper › Preprint › Academic

Bezhanishvili, N., Bonsangue, M., Hansen, H. H., Kozen, D., Kupke, C., Panangaden, P. & Silva, A., 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (eds.). Cham: Springer, p. 89-127 38 p. (Outstanding Contributions to Logic; vol. 25).

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

Hansen, H. H., Scedrov, A. & de Queiroz, R., 23-Aug-2023, Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Hansen, H. H., Scedrov, A. & de Queiroz, R. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 13923. p. v-vi 2 p. (Lecture Notes in Computer Science; vol. 13923).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic

Rosset, A., Hansen, H. H. & Endrullis, J., 2022, Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Proceedings. Hansen, H. H. & Zanasi, F. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 110-132 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13225 LNCS).

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

Nava-Guerrero, G. D. C., Hansen, H. H., Korevaar, G. & Lukszo, Z., 15-Jan-2022, In: Applied Energy. 306, 23 p., 118118.

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

Hansen, H. H. & Zanasi, F., 3-Apr-2022, 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science: Proceedings. Hansen, H. H. & Zanasi, F. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. v-vi 281219. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13225 LNCS).

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