Kort oversiktover arbeid med juridiske og formelle aspekter utenfor IDIS-bedriftene Ukjent, 1993. Fagartikkel

Can the print quality of newsprint be predicted with current test methods? PFI Rapport, 1993. Fagartikkel

High accuracy computer program for the IWC catch limit algorithm Ukjent, 1993. Fagartikkel

Overvåking av jordarbeiding og arealbruk fra satellitt. Resultater fra høsten 1992 Ukjent, pp. 23 23 , 1992. Fagartikkel

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

Katalogsystemet KAT-500: Spesifikasjon av katalogklienter (DUA(PC) ved bruk av spesifikasjonsspråket SDL Ukjent, 1991. Fagartikkel

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

Elektronisk informasjon fra staten til publikum Ukjent, 1990. Fagartikkel

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

Random walk in field theories Ukjent, 1988. Fagartikkel

KLAB - et system for eksperimentering med datakommunikasjonsprotokoller Ukjent, 1988. Fagartikkel

Weak logic theory Doctor Scient Thesis, 1988. Fagartikkel

Datasystem for lokale fagforeninger. Utstyr, egenskaper, behov og priser Ukjent, 1986. Fagartikkel

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

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

Contextual classification of remotely sensed data, based on an autocorrelation model Ukjent, 1985. Fagartikkel