E-LIB Suche - Ergebnisse für: Hansen, Helle Hvid

1

Logic, Language, Information, and Computation: 29th Interna..

Lecture Notes in Computer Science, 13923

Hansen, Helle Hvid ; Scedrov, Andre ; de Queiroz, Ruy J.G.B - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

2

Minimisation in Logical Form:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Bezhanishvili, Nick ; Bonsangue, Marcello M. ; Hansen, Helle Hvid... - p. 89-127 , 2023

Link: https://doi.org/10.1007/..

3

Coalgebraic Methods in Computer Science: 16th IFIP WG 1.3 I..

Lecture Notes in Computer Science, 13225

Hansen, Helle Hvid ; Zanasi, Fabio - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

4

Algebraic Presentation of Semifree Monads:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,

Rosset, Aloïs ; Hansen, Helle Hvid ; Endrullis, Jörg - p. 110-132 , 2022

Link: https://doi.org/10.1007/..

5

An agent-based exploration of the effect of multi-criteria ..:

Nava-Guerrero, Graciela-del-Carmen ; Hansen, Helle Hvid ; Korevaar, Gijsbert.
Applied Energy. 306 (2022) - p. 118118 , 2022

Link: https://doi.org/10.1016/..

6

Report on coalgebraic methods in computer science 2022:

Hansen, Helle Hvid ; Zanasi, Fabio
ACM SIGLOG News. 9 (2022) 3 - p. 61-62 , 2022

Link: https://doi.org/10.1145/..

7

The effect of group decisions in heat transitions: An agent..:

Nava-Guerrero, Graciela-del-Carmen ; Hansen, Helle Hvid ; Korevaar, Gijsbert.
Energy Policy. 156 (2021) - p. 112306 , 2021

Link: https://doi.org/10.1016/..

8

Agent-Based Modeling of a Thermal Energy Transition in the ..:

Nava Guerrero, Graciela del Carmen ; Korevaar, Gijsbert ; Hansen, Helle Hvid.
Energies. 12 (2019) 5 - p. 856 , 2019

Link: https://doi.org/10.3390/..

9

Well-definedness and observational equivalence for inductiv..:

Basold, Henning ; Hansen, Helle Hvid
Journal of Logic and Computation. 29 (2019) 4 - p. 419-468 , 2019

Link: https://doi.org/10.1093/..

10

Completeness for game logic:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Enqvist, Sebastian ; Hansen, Helle Hvid ; Kupke, Clemens.. - p. 1-13 , 2019

Link: https://dl.acm.org/doi/1..

11

Parity games and automata for game logic:

, In: Dynamic Logic. New Trends and Applications / edited by Alexandre Madeira, Mário Benevides

Hansen, Helle Hvid ; Kupke, Clemens ; Marti, Joahnnes.. (2018) - p. 115-132

Link: https://doi.org/10.1007/..

12

Long-Term Values in Markov Decision Processes, (Co)Algebrai..:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,

Feys, Frank M. V. ; Hansen, Helle Hvid ; Moss, Lawrence S. - p. 78-99 , 2018

Link: https://doi.org/10.1007/..

13

Logic, Language, and Computation

11th International Tbilisi Symposium on Logic, Language, an... Lecture Notes in Computer Science ; 10148;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Zeevat, Henk ; Hansen, Helle Hvid ; Murray, Sarah E.. , 2017

Link: https://doi.org/10.1007/..

14

Newton series, coinductively: a comparative study of compos..:

BASOLD, HENNING ; HANSEN, HELLE HVID ; PIN, JEAN-ÉRIC.
Mathematical Structures in Computer Science. 29 (2017) 1 - p. 38-66 , 2017

Link: https://doi.org/10.1017/..

15

Pointwise extensions of GSOS-defined operations:

HANSEN, HELLE HVID ; KLIN, BARTEK
Mathematical Structures in Computer Science. 21 (2011) 2 - p. 321-361 , 2011

Link: https://doi.org/10.1017/..