
Chief Research Scientist
Marit Holden
- Department Image analysis, machine learning and Earth observation
- Phone number +47 22 85 26 77
- E-mail marit@nr.no
Publications
- 206 publications found
- Publisher
The aerosol pathway is crucial for observationally constraining climate sensitivity and anthropogenic forcing Earth System Dynamics (ESD), vol. 15, pp. 1435 1458 , (ISSN 2190-4979 2190-4987 ), doi: https://doi.org/10.5194/esd-15-1435-2024 , 2024. Scientific article
A two-stage mammography classification model using explainable-AI for ROI detection Nordic Machine Intelligence (NMI), vol. 3, (ISSN 2703-9196 ), doi: https://doi.org/10.5617/nmi.10459 , 2023. Scientific article
Machine learning for screening mammography 2022. Report
A mammography classification model trained from image labels only Proceedings of the Northern Lights Deep Learning Workshop, (ISSN 2703-6928 ), doi: https://doi.org/10.7557/18.6244 , 2022. Scientific article
Context-Aware Landmark Detection for 2D Cardiac Ultrasound using Graph Convnet 2022. Scientific lecture
Machine learning for image-based interpretation of non-verbal communication - Initial version 2021. Report
Machine learning for screening mammography 2021. Report
Transcriptomic signals in blood prior to lung cancer focusing on time to diagnosis and metastasis Scientific Reports, vol. 11, pp. 1 11 , (ISSN 2045-2322 ), doi: https://doi.org/10.1038/s41598-021-86879-8 , 2021. Scientific article
Global blood gene expression profiles following a breast cancer diagnosis—Clinical follow-up in the NOWAC post-genome cohort PLOS ONE, vol. 16, pp. 1 20 , (ISSN 1932-6203 ), doi: https://doi.org/10.1371/journal.pone.0246650 , 2021. Scientific article
The blood transcriptome prior to ovarian cancer diagnosis: A case-control study in the NOWAC postgenome cohort PLOS ONE, vol. 16:e0256442, pp. 1 20 , (ISSN 1932-6203 ), doi: https://doi.org/10.1371/journal.pone.0256442 , 2021. Scientific article
Learning motion of seismic structures without human labelling 2021. Scientific lecture
Distinct subsets of noncoding RNAs are strongly associated with BMD and fracture, studied in weight-bearing and non-weight-bearing human bone Journal of Bone and Mineral Research, vol. 35, pp. 1065 1076 , (ISSN 0884-0431 1523-4681 ), doi: https://doi.org/10.1002/jbmr.3974 , 2020. Scientific article
Machine learning for screening mammography - Initial analyses on a first limited dataset 2020. Report
User-Intended Doppler Measurement Type Prediction Combining CNNs With Smart Post-Processing IEEE Journal of Biomedical and Health Informatics, (ISSN 2168-2194 2168-2208 ), doi: https://doi.org/10.1109/JBHI.2020.3029392 , 2020. Scientific article
Statistics of Sparsely Sampled Curves pp. 95 109 , doi: https://doi.org/10.18261/9788215041193-2020-06 , 2020. Scientific chapter / article / conference article
Signals of Death - Post-Diagnostic Single Gene Expression Trajectories in Breast Cancer - A Proof of Concept pp. 141 162 , doi: https://doi.org/10.18261/9788215041193-2020-09 , 2020. Scientific chapter / article / conference article
Eiliv Lund; Marit Holden; Jean-Christophe Thalabard; Lill-Tove Rasmussen Busund; Igor Snapkow; et al. 9. Signals of Death—Post-Diagnostic Single Gene Expression Trajectories in Breast Cancer—A Proof of Concept pp. 141 162 , doi: https://doi.org/10.18261/9788215041193-2020-09 , 2020. Scientific chapter / article / conference article
Maskinlæring i mammografiprogrammet 2019. Lecture
Automated Left Ventricle Dimension Measurement in 2D Cardiac Ultrasound via an Anatomically Meaningful CNN Approach Lecture Notes in Computer Science (LNCS), vol. 11798 LNCS, pp. 29 37 , (ISSN 0302-9743 1611-3349 ), doi: https://doi.org/10.1007/978-3-030-32875-7_4 , 2019. Scientific article
BLOBREC – a blood-based test for breast cancer Analyses of test properties in the years before and after diagnosis , 2019. Report
Estimation of rock cuttings size from images 2019. Report
Deep learning for ultrasound images - next steps 2019. Report
Deep learning in seismic interpretation 2019. Report
Signalling pathways identified in salivary glands from primary Sjögren's syndrome patients reveal enhanced adipose tissue development Autoimmunity, vol. 51, pp. 135 146 , (ISSN 0891-6934 1607-842X ), doi: https://doi.org/10.1080/08916934.2018.1446525 , 2018. Scientific article
Climate sensitivity estimates - Sensitivity to radiative forcing time series and observational data Earth System Dynamics (ESD), vol. 9, pp. 879 894 , (ISSN 2190-4979 2190-4987 ), doi: https://doi.org/10.5194/esd-9-879-2018 , 2018. Scientific article
Eiliv Lund; Aurelie Nakamura; Igor Snapkov; Jean-Christophe Thalabard; Karina Standahl Olsen; et al. Each pregnancy linearly changes immune gene expression in the blood of healthy women compared with breast cancer patients. Clinical Epidemiology, (ISSN 1179-1349 1179-1349 ), doi: https://doi.org/10.2147/CLEP.S163208 , 2018. Scientific article
Distinct subsets of non-coding RNAs, including miRNAs, are associated with BMD in stressed and unstressed bone Journal of Bone and Mineral Research, vol. 33, pp. 228 228 , (ISSN 0884-0431 1523-4681 ), , 2018. Abstract
Deep learning for ultrasound images 2018. Report
GSuite HyperBrowser: integrative analysis of dataset collections across the genome and epigenome GigaScience, vol. 6, pp. 1 12 , (ISSN 2047-217X ), doi: https://doi.org/10.1093/gigascience/gix032 , 2017. Scientific article
Marit Holden; Lars Holden; Karina Standahl Olsen; Eiliv Lund; Local In Time Statistics for detecting weak gene expression signals in blood – illustrated for prediction of metastases in breast cancer in the NOWAC Post-genome Cohort Advances in Genomics and Genetics, vol. 7, pp. 11 28 , (ISSN 1179-9870 1179-9870 ), doi: https://doi.org/10.2147/AGG.S130004 , 2017. Scientific article
Eiliv Lund; Lars Holden; Hege Bøvelstad; Sandra Caroline Plancade; Nicolle Mode; et al. A new statistical method for curve group analysis of longitudinal gene expression data illustrated for breast cancer in the NOWAC postgenome cohort as a proof of principle BMC Medical Research Methodology, vol. 16, (ISSN 1471-2288 1471-2288 ), doi: https://doi.org/10.1186/s12874-016-0129-z , 2016. Scientific article
The PBMC transcriptome profile after intake of oxidized versus high-quality fish oil: an explorative study in healthy subjects Genes & Nutrition, vol. 11:16, (ISSN 1555-8932 1865-3499 ), doi: https://doi.org/10.1186/s12263-016-0530-6 , 2016. Scientific article
Analysis of gene expression in blood before diagnosis of ovarian cancer - Different statistical methods , 2016. Report
Parity, breast cancer and gene expression 2016. Report
Smoothing of forward curves 2016. Report
Fjerning av støy fra historiske dokumenter 2016. Report
Multi-focus cluster labeling Journal of Biomedical Informatics, vol. 55, pp. 116 123 , (ISSN 1532-0464 1532-0480 ), doi: https://doi.org/10.1016/j.jbi.2015.03.012 , 2015. Scientific article
Catechol-O-methyltransferase (COMT) gene polymorphisms are associated with baseline disability but not long-term treatment outcome in patients with chronic low back pain European spine journal, vol. 24, pp. 2425 2431 , (ISSN 0940-6719 1432-0932 ), doi: https://doi.org/10.1007/s00586-015-3866-5 , 2015. Scientific article
Corinna Lau; Ståle Nygård; Hilde Fure; Ole Kristoffer Olstad; Marit Holden; et al. CD14 and complement crosstalk and largely mediate the transcriptional response to Escherichia coli in human whole blood as revealed by DNA microarray PLOS ONE, vol. 10, pp. 19 , (ISSN 1932-6203 1932-6203 ), doi: https://doi.org/10.1371/journal.pone.0117261 , 2015. Scientific article
Age and pro-inflammatory gene polymorphisms influence adjacent segment disc degeneration more than fusion does in patients treated for chronic low back pain European spine journal, pp. 2 13 , (ISSN 0940-6719 1432-0932 ), doi: https://doi.org/10.1007/s00586-015-4181-x , 2015. Scientific article
Corinna Lau; Ole Kristoffer Olstad; Marit Holden; Ståle Nygård; Hilde Fure; et al. Gene expression profiling of Gram-negative bacteria-induced inflammation in human whole blood: The role of complement and CD14-mediated innate immune response Genomics Data, vol. 5, pp. 176 183 , (ISSN 2213-5960 2213-5960 ), doi: https://doi.org/10.1016/j.gdata.2015.05.019 , 2015. Scientific article
Verification of a blood-based test for breast-cancer (BLOBREC) - Distinguishing breast-cancer patients from population-based controls , 2015. Report
Curve groups and breast cancer 2015. Report
Blood-based diagnostic tests for breast cancer:Additional subgroup analyses of the BLOBREC test 2015. Report
Utvalg av deskriptorer for oppbygging av database 2015. Report
Verifikasjon av strekkoder 2015. Report
A statistical model of ChIA-PET data for accurate detection of chromatin 3D interactions Nucleic Acids Research (NAR), vol. 42, pp. e143 e143 , (ISSN 0305-1048 1362-4962 ), doi: https://doi.org/10.1093/nar/gku738 , 2014. Scientific article
Mari Myhrstad; Stine Marie Ulven; Clara-Cecilie Günther; Inger Ottestad; Marit Holden; et al. Fish oil supplementation induces Expression of genes related to cell cycle, endoplasmic reticulum stress and apoptosis in peripheral blood mononuclear cells: a transcriptomic approach Journal of Internal Medicine, vol. 276, pp. 498 511 , (ISSN 0954-6820 1365-2796 ), doi: https://doi.org/10.1111/joim.12217 , 2014. Scientific article
Evaluation of Binary Descriptors for Fast and Fully Automatic Identification International Conference on Pattern Recognition, pp. 154 159 , (ISSN 1051-4651 ), doi: https://doi.org/10.1109/ICPR.2014.36 , 2014. Scientific article
A lower and more constrained estimate of climate sensitivity using updated observations and detailed radiative forcing time series Earth System Dynamics (ESD), vol. 5, pp. 139 175 , (ISSN 2190-4979 2190-4987 ), doi: https://doi.org/10.5194/esd-5-139-2014 , 2014. Scientific article
Evaluation of binary descriptors for fast and fully automatic identification 2014. Scientific lecture
Historisk informasjon fra avisarkiv 2014. Report
Preprocessing of gene-expression data related to breast cancer diagnosis – extended version 2014. Report
Robust klassifikasjon av ukeblader 2014. Report
Geir Kjetil Sandve; Sveinung Gundersen; Morten Johansen; Ingrid Kristine Glad; Krishanthi Gunathasan; et al. The Genomic HyperBrowser: an analysis web server for genome-scale data Nucleic Acids Research (NAR), vol. 41, pp. W133 W141 , (ISSN 0305-1048 1362-4962 ), doi: https://doi.org/10.1093/nar/gkt342 , 2013. Scientific article
Identification of eight candidate target genes of the recurrent 3p12p14 loss in cervical cancer by integrative genomic profiling Journal of Pathology, vol. 230, pp. 59 69 , (ISSN 0022-3417 1096-9896 ), doi: https://doi.org/10.1002/path.4168 , 2013. Scientific article
Treatment outcome of chronic low back pain and radiographic lumbar disc degeneration are associated with inflammatory and matrix degrading gene variants: a prospective genetic association study BMC Musculoskeletal Disorders, vol. 14, (ISSN 1471-2474 ), doi: https://doi.org/10.1186/1471-2474-14-105 , 2013. Scientific article
Deep Sequencing the MicroRNA Transcriptome in Colorectal Cancer PLOS ONE, vol. 8, (ISSN 1932-6203 ), doi: https://doi.org/10.1371/journal.pone.0066165 , 2013. Scientific article
Metoder og programmer for gjenkjenning av ukeblader 2013. Report
Stress associated gene expression in blood cells is related to outcome in radiotherapy treated head and neck cancer patients BMC Cancer, vol. 12, (ISSN 1471-2407 ), doi: https://doi.org/10.1186/1471-2407-12-426 , 2012. Scientific article
Genetic contribution of catechol-O-methyltransferase variants in treatment outcome of low back pain: a prospective genetic association study BMC Musculoskeletal Disorders, vol. 13, (ISSN 1471-2474 ), doi: https://doi.org/10.1186/1471-2474-13-76 , 2012. Scientific article
Bayesian estimation of climate sensitivity based on a simple climate model fitted to observations of hemispheric temperatures and global ocean heat content Environmetrics, vol. 23, pp. 253 271 , (ISSN 1180-4009 1099-095X ), doi: https://doi.org/10.1002/env.2140 , 2012. Scientific article
Hypoxia-induced gene expression in chemoradioresistant cervical cancer revealed by dynamic contrast enhanced MRI Cancer Research, vol. 72, pp. 5285 5295 , (ISSN 0008-5472 1538-7445 ), doi: https://doi.org/10.1158/0008-5472.CAN-12-1085 , 2012. Scientific article
Using modelled historical concentrations of short lived climate components to constrain the climate sensitivity META, pp. 8 11 , (ISSN 1890-1956 1890-2987 ), 2012. Science for the public article
Importance Sampling from DNB's Credit Risk Model 2012. Report
ProPrice Interface Specification 2012. Report
The differential disease regulome BMC Genomics, vol. 12, pp. 353 353 , (ISSN 1471-2164 ), doi: https://doi.org/10.1186/1471-2164-12-353 , 2011. Scientific article
Membranous Expression of Ectodomain Isoforms of the Epidermal Growth Factor Receptor Predicts Outcome after Chemoradiotherapy of Lymph Node-Negative Cervical Cancer Clinical Cancer Research, vol. 17, pp. 5501 5512 , (ISSN 1078-0432 1557-3265 ), doi: https://doi.org/10.1158/1078-0432.CCR-11-0297 , 2011. Scientific article
Molecular Disease Map of Bone Characterizing the Postmenopausal Osteoporosis Phenotype Journal of Bone and Mineral Research, vol. 26, pp. 1793 1801 , (ISSN 0884-0431 1523-4681 ), doi: https://doi.org/10.1002/jbmr.396 , 2011. Scientific article
Statistics Forelesning kurs 2011. Scientific lecture
Parallellisering av simulering fra vines 2011. Report
Efficient search for biomedical information 2011. Report
Bildeanalyse av røntgenbilder til hjelp for aldersvurdering , 2011. Report
Eight genes are highly associated with BMD variation in postmenopausal Caucasian women Bone, vol. 46, pp. 604 612 , (ISSN 8756-3282 1873-2763 ), doi: https://doi.org/10.1016/j.bone.2009.11.007 , 2010. Scientific article
The Genomic HyperBrowser: inferential genomics at the sequence level Genome Biology, vol. 11, (ISSN 1465-6906 1474-760X ), doi: https://doi.org/10.1186/gb-2010-11-12-r121 , 2010. Scientific article
Blood cell gene expression associated with cellular stress defense is modulated by antioxidant-rich food in a randomised controlled clinical trial of male smokers BMC Medicine, vol. 8, (ISSN 1741-7015 ), doi: https://doi.org/10.1186/1741-7015-8-54 , 2010. Scientific article
Parallellisering av Totalrisiko-programmet 2010. Report
Parallellisering av Kredittrisiko-programmet 2010. Report
Adaptive registration of remote sensing images using supervised learning Photogrammetric Engineering and Remote Sensing, vol. 75, pp. 1297 1306 , (ISSN 0099-1112 ), , 2009. Scientific review article
ADAPTIVE INDEPENDENT METROPOLIS-HASTINGS The Annals of Applied Probability, vol. 19, pp. 395 413 , (ISSN 1050-5164 2168-8737 ), doi: https://doi.org/10.1214/08-AAP545 , 2009. Scientific article
Gene Dosage, Expression, and Ontology Analysis Identifies Driver Genes in the Carcinogenesis and Chemoradioresistance of Cervical Cancer PLoS Genetics, vol. 5, (ISSN 1553-7390 1553-7404 ), doi: https://doi.org/10.1371/journal.pgen.1000719 , 2009. Scientific article
A system for adaptive image registration based on supervised learning , 2009. Scientific lecture
Introductory microarray course; statistics 2009. Lecture
Validation of oligoarrays for quantitative exploration of the transcriptome BMC Genomics, vol. 9, (ISSN 1471-2164 ), doi: https://doi.org/10.1186/1471-2164-9-258 , 2008. Scientific article
GSEA-SNP: applying gene set enrichment analysis to SNP data from genome-wide association studies Bioinformatics, vol. 24, pp. 2784 2785 , (ISSN 1367-4803 1367-4811 ), doi: https://doi.org/10.1093/bioinformatics/btn516 , 2008. Scientific article
Plant food phytochemicals modulate gene expression in human blood cells 2008. Scientific lecture
Vehicle Detection in High-Resolution Satellite Images , 2008. Scientific lecture
Adaptive Co-Registration of Remote Sensing Images , 2008. Scientific lecture
Introductory microarray course; statistics 2008. Lecture
CultSearcher – Software Guide, version 2. Computer-assisted detection of potential cultural heritage sites , 2008. Report
Cord blood gene expression in infants hospitalized with respiratory syncytial virus bronchiolitis Journal of Infectious Diseases, vol. 196, (ISSN 0022-1899 1537-6613 ), doi: https://doi.org/10.1086/519168 , 2007. Scientific article
Road Traffic Snapshot (ISSN 9788253905259 ), , 2007. Report
Sampling effects on gene expression data from a human tumour xenograft Scandinavian Journal of Laboratory Animal Science, vol. 33, pp. 17 34 , (ISSN 0901-3393 ), 2006. Scientific article
Whole blood gene expression in infants with respiratory syncytial virus bronchiolitis BMC Infectious Diseases, vol. 6, (ISSN 1471-2334 ), doi: https://doi.org/10.1186/1471-2334-6-175 , 2006. Scientific article
Bioinformatikk-et tverrfaglig forskningsfelt Tilfeldig gang, (ISSN 0803-8953 0806-7406 ), 2006. Reader opinion
Bayesian process-based modeling of two-channel microarray experiments estimating absolute mRNA concentrations pp. 75 97 , 2006. Scientific chapter / article / conference article
Parallelization of TransCount - making MCMC parallel for huge datasets 2006. Scientific lecture
Steps in a microarray study 2006. Scientific lecture
Absolute mRNA concentrations from MA-data 2005. Poster
Genome-wide estimation of transcript concentrations from spotted cDNA microarray data Nucleic Acids Research (NAR), vol. 33, (ISSN 0305-1048 1362-4962 ), doi: https://doi.org/10.1093/nar/gni141 , 2005. Scientific article
Limitations of mRNA amplification from small-size cell samples BMC Genomics, pp. 147 147 , (ISSN 1471-2164 ), doi: https://doi.org/10.1186/1471-2164-6-147 , 2005. Scientific article
Bayesian population dynamics of interacting species: Great gerbils and fleas in Kazakhstan Biometrics, vol. 61, (ISSN 0006-341X 1541-0420 ), 2005. Scientific article
Model-based estimation of transcript concentrations from spotted microarray data 2005. Scientific lecture
Logic regression used for statistical analysis of SNP data obtained in genetic association studies 2005. Scientific lecture
Experimental design and non-random variation 2005. Scientific lecture
Funksjonell genomforskning, bioinformatikk og statistikk 2005. Lecture
Statistics and Bioinformatics 2005. Lecture
Analysis of the humoral immune response to immunoselected phage-displayed peptides by a microarray-based method Proteomics, vol. 4, pp. 2572 2582 , (ISSN 1615-9853 1615-9861 ), 2004. Scientific article
Introduction to experimental design and statistical analysis in genetic association studies 2004. Scientific lecture
Experimental design and non-random variation 2004. Scientific lecture
Experimental design, repeated measurements and control spots 2004. Scientific lecture
Course in statistics for molecular biologists 2004. Lecture
Model-based estimation of transcript concentrations from spotted microarray data (ISSN 9788253905075 ), , 2004. Report
Introduksjon til analyse av cDNA mikromatrisedata Norsk Epidemiologi, pp. 132291 296 , (ISSN 0803-2491 1891-5477 ), 2003. Article journal
Comment on Cowling's "Spatial Methods for Line Transect Surveys" Biometrics, vol. 59, pp. 186 188 , (ISSN 0006-341X 1541-0420 ), 2003. Scientific article
Effects of mRNA amplification on gene expression ratios in cDNA experiments estimated by analysis of variance BMC Genomics, vol. 4, (ISSN 1471-2164 ), doi: https://doi.org/10.1186/1471-2164-4-11 , 2003. Scientific article
Estimation of absolute mRNA concentrations from cDNA microarrays 2003. Scientific lecture
Experimental design, repeated measurements and control spots 2003. Scientific lecture
Experimental design, repeated measurements and controls 2003. Scientific lecture
Forsøksdesign for cDNA mikromatriser. Foredrag 2003. Scientific lecture
Experimental design and statistical analysis of SNP data obtained in genetic association studies , 2003. Report
A Bayesian model for the population dynamics of two interacting species, with application to great gerbils and fleas in south-eastern Kazakhstan (ISSN 9788253905013 ), 2003. Report
Spatial distribution of whales based on the Norwegian Minke Whale Survey 1996-2001 Ukjent, , 2002. Article journal
Bildeanalyse av mikromatrisedata 2002. Scientific lecture
Klustring av mikromatrisedata 2002. Lecture
Estimation of a Neyman-Scott process from line transect data by a one-dimensional K-function , 2001. Report
A new method for sub-pixel snow-cover mapping using hyperspectral imagery , 2000. Scientific lecture
SnowStar - Brukerveiledning for SnowStar Server 2000. Report
Plague in Kazakhstan: a bayesian model for the temporal dynamics of a vector-transmitted infectious disease (ISSN 9788253904634 ), 2000. Report
SnowStar - Teknisk dokumentasjon for SnowStar Server 2000. Report
Seismic Attribute Analysis, Part IV 1999. Report
Wet snow-cover mapping by C- and L-band polarimetric SAR Ukjent, pp. 1533 1537 , , 1998. Scientific article
Wet snow-cover mapping by C- and L-band polarimtric SAR Ukjent, 1998. Scientific article
Segmentation and Visualization of Brain Lesions in Multispectral Magnetic Resonance Images 1998. Scientific lecture
Snow mapping by multifrequency polarimetric SAR - An investigation of EMISAR data from the EMAC'95 snow campaign in Norway (ISSN 9788253904177 ), 1998. Report
Use of cut to obtain a characterization of the Kalmar elementary functions Technical Report Department of Informatics, 1997. Article journal
Examples of use of cut to shorten proofs Ukjent, 1997. Scientific article
A proof theoretic characterization of the Kalmar elementary functions Technical Report Department of Informatics, 1996. Article journal
Segmentation and visualization of brain lesions in multispectral magnetic resonance images Computerized Medical Imaging and Graphics, vol. 19, pp. 171 173 , (ISSN 0895-6111 1879-0771 ), 1995. Scientific article
Automatic recognition of character strings in maps Ukjent, 1995. Scientific article
Characterization of lesions in dynamical MRI using contrast agent and statistical analysis Ukjent, pp. 123 127 , 1994. Science for the public article
Segmentation of MR images of the head using a hierarchical method (ISSN 9788253903774 ), 1994. Report
Methods for updating of model parameters applied within the area of symbol recognition Ukjent, 1993. Scientific article
Methods for updating of model parameters applied within the area of symbol recognition 1993. Scientific lecture
Segmentation and visualization of brain lesions in multispectral magnetic resonance images (ISSN 9788253903675 ), 1993. Report
Image acquisition and pre-processing methods for machine vision sensors (ISSN 9788253903583 ), 1993. Report
Diagnostic evaluation of contrast agents in medical imaging - proposals towards quantitative assessment 1993. Report
Oppdatering av parameterestimater 1992. Scientific lecture
Methods for updating of model parameters applied within the area of symbol recognition (ISSN 9788253903521 ), 1992. Report
Multispectral analysis and classification system (cxxmacs): Users manual (ISSN 9788253903569 ), 1992. Report
Improving statistical image classification by updating model parameters using unclassified pixels (ISSN 9788253903507 ), 1992. Report
An evaluation of statistical modeling in magnetic resonance imaging using images fron the central nervous system aquired with and without a Gladolium-based contrast medium (ISSN 9788253903484 ), 1992. Report
Weak logic theory Theoretical Computer Science, vol. 79, pp. 295 321 , (ISSN 0304-3975 1879-2294 ), 1991. Scientific article
Weak logic theory Doctor Scient Thesis, 1988. Article journal
Theorem proving in classical logic applied within a logic for system specification Research Report, Department of Informatics, University of Oslo, 1986. Article journal
Bevisføring i klassisk logikk anvendt innenfor en logikk for systemspesifikasjon Cand. Scient thesis, 1985. Article journal