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

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

Tron Espeli; Jan Heim; Erling Maartmann-Moe; Ivar Solheim; Elektronisk informasjon fra staten til publikum Ukjent, 1990. 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

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

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

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

Petter Abrahamsen; Random walk in field theories Ukjent, 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

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

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