Skip to Content Skip to Navigation

About us Practical matters How to find us H.H. (Helle) Hansen, Prof

H.H. (Helle) Hansen, Prof

Associate Professor in Logic and Semantics of Computation

Faculty of Science and Engineering

Telephone:

+31 50 36 33939

E-mail:

h.h.hansen rug.nl

ORCID Research Portal

Publications

Minimisation in Logical Form

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

Algebraic Presentation of Semifree Monads

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

An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions

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

Preface to the Proceedings of CMCS 2022

Hansen, H. H. & Zanasi, F., 3-Apr-2022, 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science: Proceedings. 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

Short Contributions of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022)

Hansen, H. H. (ed.) & Zanasi, F. (ed.), 27-May-2022, COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2022). 25 p.

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

The effect of group decisions in heat transitions: An agent-based approach

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

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

Logic-induced Bisimulations

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

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

Agent-Based Modeling of a Thermal Energy Transition in the Built Environment

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

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

Arrow’s theorem through a fixpoint argument

Feys, F. M. V. & Hansen, H. H., 19-Jul-2019, Proceedings Seventeenth Conference in Theoretical Aspects of Rationality and Knowledge, TARK 2019. Moss, L. S. (ed.). Electronic Proceedings in Theoretical Computer Science (EPTCS), p. 175-188 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 297).

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

Completeness for game logic

Enqvist, S., Hansen, H. H., Kupke, C., Marti, J. & Venema, Y., 2019, 34th ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. IEEE, 13 p.

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

All (37) publications

Press/media

The power of logic in computation

Helle Hvid Hansen, Jorge Perez Parra & Dan Frumin

19/04/2022

Press/Media: Other › Professional

All (1) press/media

View full research profile

Follow the UGfacebook twitter linkedin rss instagram youtube