Publications

Anders Moen; Normalformsteorem for GLS og bevis for ikketerminering av eksisterende algoritmer for snitteleminasjon i GLS 2000. Scientific lecture

Anders Moen; Formalisert kompletthet av Skolem aritmetikk 2000. Scientific lecture

Wolfgang Leister; Quo vadis, datagrafikk Norsigd Info, (ISSN 0803-8317 ), , 2000. Science for the public article

Lars Holden; Petter F. Mostad; Arne Skorstad; Stochastic structural model 2000. Report

Lars Holden; Some ideas for history mathcing in IRMS 2000. Report

Arne-Kristian Groven; Impact of OOT on software quality (invited speaker) 2000. Scientific lecture

Kari Aanonsen; Per Myrseth; Tutorial: E-commerce in the Travel Industry 2000. Scientific lecture

Bård Storvik; André Teigland; Sannsynlighetsvurderinger av førstepremie knyttet til spillet JOKER 2000. Report

Kjersti Aas; Line Eikvil; Speech-driven facial animation 2000. Report

Magne Aldrin; Ingvar Tjøstheim; Web-baserte spørreundersøkelser - Erfaringer fra en undersøkelse om NRKs web-sider ved hjelp av telefon og web , 2000. Report

Ivar Solheim; Rammeverk for kartlegging og analyse av gevinster fra elektronisk samhandling i offentlige innkjøp (ISSN 82-539-0458-4 ), 2000. Report

Petter Abrahamsen; Lars Holden; Efficient numerical algorithms for large cokriging systems 2000. Report

Petter Abrahamsen; Fred Espen Benth; Kriging with inequality constraints 2000. Report

Ivar Solheim; Nett- og multimediebasert læringsarena (Nemlig-prosjektet) 2000. Scientific lecture

Habtamu Abie; Firewall technologies: CORBA firewall security 2000. Report

Habtamu Abie; Jon Ølnes; The Role of Middleware in Telemedicine, HARP, Haifa Israel 2000. Scientific lecture

Habtamu Abie; Security in Middleware 2000. Scientific lecture

Habtamu Abie; Security Requirements for Middleware 2000. Scientific lecture

Ivar Solheim; Bruk av Lava-teknologi i gruppearbeid. Samtaleanalyser 2000. Scientific lecture

Ivar Solheim; Talk, silence and situated action. A critical evaluation of conversation analysis as a methodological approach in studies of social interaction Ukjent, 2000. Article journal