EXACT - Model-based Diagnosis for Satellite Testing. - Henrik Smith-Meyer; Reimund Küke; Kjell Tangen (SCAI, 1995)

Metis® LEARN! - Leveraging Enterprise Architecture Repository iNvestments. - Einar Dehli; Henrik Smith-Meyer; Frank M. Lillehagen (CE, 2003)

Using LLM-Generated Draft Replies to Support Human Experts in Responding to Stakeholder Inquiries in Maritime Industry: A Real-World Case Study of Industrial AI. - Tita Alissa Bach; Aleksandar Babic; Narae Park; Tor Sporsem; Rasmus Ulfsnes; Henrik Smith-Meyer; Torkel Skeie (CoRR, 2024)