• A functional reconstruction of anti-unification 

      Østvold, Bjarte M. (NR-notat;, Research report, 2004)
      In 1970 both Plotkin and Reynolds defined the anti-unification of a set of literal clauses, that is, atomic formulas or negated atomic formulas. They gave similar imperative anti-nification algorithms and proved the ...
    • Stakeholder Journey Analysis for Innovation: A Multiparty Analysis Framework for Startups 

      Hannay, Jo Erskine; Fuglerud, Kristin Skeide; Østvold, Bjarte M. (Peer reviewed; Journal article, 2020)
      When analysing how the information-technological innovation of a startup company is perceived to affect the market, we encountered challenges when using existing customer journey analysis frameworks. In particular, we ...