Publications for Lill Kristiansen
Formal publications:
- Østhus, Egil Conradi; Osland, Per-Oddvar; Kristiansen, Lill. ENME: An ENriched MEdia application utilizing context for session mobility; technical and human issues. Proc. UISW (workshop of EUC2005), LNCSE series 2005;Vol. 3823 pp.316-326 springerlink
- Østhus, Egil Conradi; Kristiansen, Lill. A presence based multimedia call screening service. In: Short papers companion proceedings to LNCS 3744: Springer-Verlag 2005. ISBN 2-553-01401-5. pp. 21-25
- Lindeberg, Lars Chr.; Kristiansen, Lill. How a context-aware resource planner for drugs can increase quality in health care. I: SHI2005 proceedings: 3rd Scandinavian conference on health informatics. Aalborg, Denmark: Aalborg University 2005. ISBN 87-986264-5-0
- Bræk, Rolv; Helvik, Bjarne Emil; Knapskog, Svein Johan; Kristiansen, Lill; Kure, Øivind. Information Society of 2020; Networks and networked systems . I: Infosam2020, Information Society of 2020. Trondheim, Norway: NTNU 2004. pp 25-32
- Kristiansen, Lill. Mobility and Intelligence in Telecom: How and Where to Handle it? Lecture Notes in Computer Science 2004;3283:54-70 springerlink
- L. Kristiansen, An Open Service Architecture with Location Aware Calls and Services, Proceedings from WOCN2004, ISSN:1811-3923, Muscat, Oman, June 2004 pp187-191 pdf ,
- L. Kristiansen, Services and applications shared between endpoint and network; technical and business implications, IEE Proceedings from 3G2003, London:place>:City> June 2003
- T.Hamada, S.Hogg, J.Rajahalme, C.Licciardi, L. Kristiansen, P.Hansen, Quality of Service Trading in Open Network Architecture pp 122-129 IEEE Comm.Mag. 1998
- L. Kristiansen: The Challenge of Change in Telecom: -How to use Object Orientation to Address Rapid Changes, NorskInformatikk Konferanse NIK98, pp 31-42, Tapir, 1998, ISBN 82-519-1336-5
- L.Kristiansen, The TINA Architecture, Telektronikk Vol. 94 No.1-1998, pp 95-106, Telenor AS, Kjeller< 1998, ISSN 0085-7130
- L. Kristiansen , Service Session Control for multimedia services -informational and computational views, in Global Convergence of Telecommunications and Distributed Object Computing, pp288-296, Proceedings.,TINA97 1998, ISBN: 0-8186-8335-X
- Dag Normann, Total objects in inductively defined types, in Archive for Mathematical Logic (1997) 36 pp. 405 - 436,
- Kjell Hermansen, Lill Kristiansen, What do you mean by a BVPN? at INDC96 In Proceedings from the Sixth IFIP/ICCC Conference on Information Network and Data Communication, pp??, London , Chapman & Hall, 1996
- Lill Kristiansen and DagNormann, Semantics for some constructors of type theory, in Symposia Gaussiana (ed Behara / Fritsch / Lintz, pp 201-224, Walter de Gruyter&Co Berlin New York 1995
- Lill Kristiansen and Dag Normann, Interpreting higher computations as types with totality, in Archive for Mathematical Logic (1994) 33, pp 243-259
- My Dr.Scient (PhD) was in Mathematical logic at Inst. of Math. UoO,'93 Totality in Qualitative Domains
Other written material, including standards contributions (non-confidential ones)
- Lill Kristiansen, S-CSCF in home network or in visited network, Small lecture note for DIPT UNIK, Spring 2001
- Tiphonstandardisation: Splitting the Gatekeeper...
- L. Kristiansen, Different approaches to multimedia services: ITU/B-ISDN, ITU/H.32x, TINA-C, OMG, IETF/MMUSIC, UMTS etc pointers to further reading, draft 0.1 ofFoU-N 14/98 (open version of the Telenor confidential document Scientific Document FoU-N 14/98), (14 pages)1998
- L. Kristiansen, Overview of available TINA documents and specifications, (open Telenor Scientific Document FoU-N 15/98),16 pages ISSN 0809-1021 1998
- Lill Kristiansen (ed.), TINA-C Service Architecture, Ver5.0, 1997
- Håkon Vestli (ed.), TINA:løsningen for morgendagens tjenester,(Norw.) (TINA: the solution for tomorrows services) Article in Telenor's internal newsletter (<Åpen Linje), 1995
- Lill Kristiansen, En kortfattet innføring i ISABELLE, og annet undervisnings-materiell til IN215, Norw)(Introduction to ISABELLE and other lecture notes to Program specification and verification), Inst. of Math. / Inst. of Informatics, UoO, 1990