Arne Grønlund; Ove Klakegg; Rune Solberg; Produksjonshåndbok. Overvåking av jordarbeiding og arealbruk fra satellitt Ukjent, pp. 23 23 , 1993. Fagartikkel

Ivar Solheim; Audun Erik Sunde; Kort oversiktover arbeid med juridiske og formelle aspekter utenfor IDIS-bedriftene Ukjent, 1993. Fagartikkel

Mariann L. Woodall; Magne Aldrin; Can the print quality of newsprint be predicted with current test methods? PFI Rapport, 1993. Fagartikkel

Anne Marie Fenstad; Jon Helgeland; Magne Aldrin; Rolf Volden; High accuracy computer program for the IWC catch limit algorithm Ukjent, 1993. Fagartikkel

Arne Grønlund; Ove Klakegg; Rune Solberg; Overvåking av jordarbeiding og arealbruk fra satellitt. Resultater fra høsten 1992 Ukjent, pp. 23 23 , 1992. Fagartikkel

Arne Skorstad; A stochastic model for a vibrating hysteretic system Ukjent, 1992. Fagartikkel

Håvard Hegna; Tor Saunes; Katalogsystemet KAT-500: Spesifikasjon av katalogklienter (DUA(PC) ved bruk av spesifikasjonsspråket SDL Ukjent, 1991. Fagartikkel

Magne Aldrin; Tore Schweder; A comparative review of first phase of second stage screening results for the management procedures under development for the International Whaling Commission Ukjent, 1990. Fagartikkel

Tron Espeli; Jan Heim; Erling Maartmann-Moe; Ivar Solheim; Elektronisk informasjon fra staten til publikum Ukjent, 1990. Fagartikkel

Geir Storvik; Data reduction by separation of signal and noise components for multi spatial images Ukjent, 1989. Fagartikkel

Petter Abrahamsen; Random walk in field theories Ukjent, 1988. Fagartikkel

Håvard Hegna; Arne Litleré; Ståle Ødegaard; KLAB - et system for eksperimentering med datakommunikasjonsprotokoller Ukjent, 1988. Fagartikkel

Marit Holden; Weak logic theory Doctor Scient Thesis, 1988. Fagartikkel

Håvard Hegna; Datasystem for lokale fagforeninger. Utstyr, egenskaper, behov og priser Ukjent, 1986. Fagartikkel

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

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

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