Publikasjoner

Marit Holden; Theorem proving in classical logic applied within a logic for system specification Research Report, Department of Informatics, University of Oslo, 1986. Fagartikkel

Håvard Hegna; Data-nettverk og meldingssystem 1986. Rapport

Magne Aldrin; Prognosemetoders robusthet mot manglende data, - Beskrivelse av metodene, - Hva gjøres når deler av tidsrekka ikke er observert? 1986. Rapport

Lars Holden; Eivind Damsleth; Konsistente prognoser for trafikkmatriser - en metodestudie 1986. Rapport

Magne Aldrin; Forecasting time series with missing observations 1986. Rapport

Lars Holden; Henning Omre; Rune Solberg; Torfinn Taxt; The SISABOSA project - Summary of activities and experiences 1986. Rapport

Magne Aldrin; Tidsrekkebasert analyse av oljeetterspørsel og -tilbud 1986. Rapport

Lars Holden; Henning Omre; Production profiles in heterogeneous reservoirs - based on SISABOSA 1986. Rapport

Lars Holden; Henning Omre; Rune Solberg; Torfinn Taxt; Technical documentation of the SISABOSA-system 1986. Rapport

Magne Aldrin; Brukermanual for programpakke med et sett prognosemetoder (glattings-metoder) 1986. Rapport

Magne Aldrin; Presisjon til ulike prognosemetoder for fullstendig observerte tidsrekker og for tidsrekker med manglende observasjoner 1986. Rapport

Knut Helge Bråten; Knut Hektoen Moen; Rune Solberg; En analyse av GOP-300 og TERAGON-4000 1986. Rapport

Kjell Stordal; Lars Holden; Traffic forecasting models based on top down and bottum up procedures 1985. Vitenskapelig foredrag

Nils Lid Hjort; Erik Mohn; Geir Storvik; Contextual classification of remotely sensed data, based on an autocorrelation model Ukjent, 1985. Fagartikkel

Erling Maartmann-Moe; Hans Koren; Optiske disker 1985. Vitenskapelig foredrag

Hans Koren; Optical disks 1985. Vitenskapelig foredrag

Rune Solberg; Geometrisk korreksjon av digitale bilder i optisk satellittfjernmåling 1985. Rapport

Kari Thoresen; Bruk av EDB i arbeidslivet 1985. Vitenskapelig foredrag

Marit Holden; Bevisføring i klassisk logikk anvendt innenfor en logikk for systemspesifikasjon Cand. Scient thesis, 1985. Fagartikkel

Kari Thoresen; Forskjellige perspektiver på datasystemer Nytt om Kvinneforskning, (ISSN 0333-0265 ), 1985. Vitenskapelig artikkel