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).
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-21522 blz. (Lecture Notes in Computer
Science ; vol. 14617 LNCS).
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-11318 blz. (Lecture Notes in Computer
Science (including subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics); vol. 15373
LNCS).
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-12738
blz. (Outstanding Contributions to Logic; vol. 25).
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-vi2
blz. (Lecture Notes in Computer Science; vol. 13923).
