Fagt, Sisse ; Biltoft-Jensen, Anja Pia ; Sørensen, Mette Rosenlund...
https://orbit.dtu.dk/en/publications/63d1cd1e-6664-432c-8a31-1c9c81c2e2d2.  , 2020

Gallagher, John Patrick ; Henriksen, Kim Steen
Gallagher , J P & Henriksen , K S 2004 , Abstract Domains Based on Regular Types . i B Demoen & V Lifschitz (red) , 20th International Conference, ICLP 2004, Proceedings . Springer , The 20th International Conference on Logic Programming , Saint-Malo , Frankrig , 06/09/2004 ..  , 2004

Haugbølle, Kim ; Henriksen, K.R
https://vbn.aau.dk/da/publications/114eb520-165e-11dc-a5a4-000ea68e967b.  , 2002

Fuhr Pedersen, K ; Westring, K ; Østergaard, V...
https://vbn.aau.dk/da/publications/5f1634e0-165e-11dc-a5a4-000ea68e967b.  , 2001

Haugbølle, Kim ; Henriksen, K.R ; Østergaard, Jens
https://vbn.aau.dk/da/publications/4ef04ba0-165e-11dc-a5a4-000ea68e967b.  , 2000

Subhi, Yousif ; Foss, Kim Thestrup ; Henriksen, Mikael Johannes Vuokko.
https://tidsskrift.dk/lom/article/view/17281/15949.  , 2014

Normann Andersen, Kim ; Zinner Henriksen, Helle ; Agger Nielsen, Jeppe
https://tidsskrift.dk/politica/article/view/69769/101743.  , 2013

Yousif Subhi ; Kim Thestrup Foss ; Mikael Johannes Vuokko Henriksen.
http://ojs.statsbiblioteket.dk/index.php/lom/article/view/17281.  , 2014

Yousif Subhi ; Kim Thestrup Foss ; Mikael Johannes Vuokko Henriksen.
https://tidsskrift.dk/lom/article/view/17281.  , 2014