A Uniform Framework for Grammar Induction and Robust Parsing. - Lars Thalmann; Christer Samuelsson (SCAI, 1995)

Term-Modal Logics. - Melvin Fitting; Lars Thalmann; Andrei Voronkov (TABLEAUX, 2000)

Term-modal logic and quantifier-free dynamic assignment logic. - Lars Thalmann (2000)

Architecture of Highly Available Databases. - Sam Drake; Wei Hu; Dale M. McInnis; Martin Sköld; Alok Srivastava; Lars Thalmann; Matti Tikkanen; Øystein Torbjørnsen; Antoni Wolski (ISAS, 2004)

MySQL High Availability - Tools for Building Robust Data Centers, 2nd Edition. - Charles Bell; Mats Kindahl; Lars Thalmann (O'Reilly, 2014)