H.H. (Helle) Hansen, Prof

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 › › peer review

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. (uitgave). Cham: Springer, blz. 89-127 38 blz. (Outstanding Contributions to Logic; vol. 25).

Onderzoeksoutput › › 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. (uitgave). Springer Science and Business Media Deutschland GmbH, Vol. 13923. blz. v-vi 2 blz. (Lecture Notes in Computer Science; vol. 13923).

Onderzoeksoutput ›

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. (uitgave). Cham: Springer Science and Business Media Deutschland GmbH, blz. 110-132 23 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13225 LNCS).

Onderzoeksoutput › › peer review

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

Onderzoeksoutput › › 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. (uitgave). Cham: Springer Science and Business Media Deutschland GmbH, blz. v-vi 281219. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13225 LNCS).

Onderzoeksoutput › › peer review

Hansen, H. H. (Redacteur) & Zanasi, F. (Redacteur), 27-mei-2022, COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2022). 25 blz.

Onderzoeksoutput › › peer review

Nava Guerrero, G. D. C., Hansen, H. H., Korevaar, G. & Lukszo, Z., sep.-2021, In: Energy Policy. 156, 19 blz., 112306.

Onderzoeksoutput › › peer review

de Groot, J., Hansen, H. H. & Kurz, A., 2020, Advances in Modal Logic. Olivetti, N., Verbrugge, R., Negri, S. & Sandu, G. (uitgave). College Publications, Vol. 13. blz. 289-308

Onderzoeksoutput › › peer review

Nava-Guerrero, G.-D.-C., Korevaar, G., Hansen, H. H. & Lukszo, Z., mrt.-2019, In: Energies. 12, 25 blz., 856.

Onderzoeksoutput › › peer review