Interpreting higher computations as types with totality. - Lill Kristiansen; Dag Normann (Arch. Math. Log., 1994)

Total objects in inductively defined types. - Lill Kristiansen; Dag Normann (Arch. Math. Log., 1997)

Service quality in TINA: quality of service trading in open network architecture. - Takeo Hamada; Stephanie Hogg; Jarno Rajahalme; Carlo Licciardi; Lill Kristiansen; Per Fly Hansen (IEEE Commun. Mag., 1998)

Mobility and Intelligence in Telecom: How and Where to Handle It? - Lill Kristiansen (INTELLCOMM, 2004)

ENME: An ENriched MEdia Application Utilizing Context for Session Mobility; Technical and Human Issues. - Egil C. Østhus; Per-Oddvar Osland; Lill Kristiansen (EUC Workshops, 2005)

ENME: An ENriched MEdia application utilizing context for session mobility in a telecom system. - Egil C. Østhus; Per-Oddvar Osland; Lill Kristiansen (Int. J. Pervasive Comput. Commun., 2009)

Spatial, organizational, and social dimensions of intra-hospital communication. - Ero S. Karlsen; Line Melby; Lill Kristiansen (CBMS, 2011)

Nurse calls via personal wireless devices; some challenges and possible design solutions. - Lill Kristiansen (CBMS, 2011)

Extended Communication Possibilities for Nurses: Taking Context Into Consideration. - Joakim Klemets; Lill Kristiansen (CSHI, 2013)

Designing for Redundancy: Nurses Experiences with the Wireless Nurse Call System. - Joakim Klemets; Tor Erik Evjemo; Lill Kristiansen (MedInfo, 2013)

Designing simplified exergame for muscle and balance training in seniors: a concept of 'out in nature'. - Ather Nawaz; Mathilde Waerstad; Kine Omholt; Jorunn L. Helbostad; Beatrix Vereijken; Nina Skjæret; Lill Kristiansen (PervasiveHealth, 2014)

An Exergame Concept for Improving Balance in Elderly People. - Ather Nawaz; Mathilde Waerstad; Kine Omholt; Jorunn L. Helbostad; Beatrix Vereijken; Nina Skjæret; Lill Kristiansen (REHAB, 2014)