<div class="rug-mask js--requires-cookie-consent-trigger"><div class="rug-warning--overlay rug-hidden rug-theme--content"><span class="rug-icon rug-icon--close rug-absolute rug-absolute--top-right rug-mt-xs rug-mr-xs rug-cursor--pointer js--requires-cookie-consent-close"/><div class="rug-notification--info rug-p js-id--alert"><span class="rug-icon rug-icon--warn rug-icon--xl rug-mr-s" aria-hidden="true"/><p>We need your permission for setting certain cookies to be able to show this content.</p><p>You can <button class="rug-inline-button js--cookie-consent-popup">change your cookie settings</button>.</p></div></div></div>
{
"requiresCookieConsentCheck": "true",
"checkedCookieConsent": "no",
"hasCookieConsent": "no"
}
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-21522 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-11318
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
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-12738
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-vi2
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-13223 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
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
