Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. - Søren B. Lassen; Corin Pitcher (HOOTS, 1997)

Action Semantics Reasoning about Functional Programs. - Søren B. Lassen (Math. Struct. Comput. Sci., 1997)

Unique Fixed Point Induction for McCarthy's Amb. - Søren B. Lassen; Andrew Moran (MFCS, 1999)

Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context. - Søren B. Lassen (MFPS, 1999)

Imprecise Exceptions, Co-Inductively. - Andrew Moran; Søren B. Lassen; Simon L. Peyton Jones (HOOTS, 1999)

Compilation and Equivalence of Imperative Objects. - Andrew D. Gordon 001; Paul D. Hankin; Søren B. Lassen (J. Funct. Program., 1999)

A Scalable and Reliable Paradigm for Media on Demand. - Gavin B. Horn; Per Knudsgaard; Søren B. Lassen; Michael Luby; Jens Eilstrup Rasmussen (Computer, 2001)

Eager Normal Form Bisimulation. - Søren B. Lassen (LICS, 2005)

Normal Form Simulation for McCarthy's Amb. - Søren B. Lassen (MFPS, 2005)

Head Normal Form Bisimulation for Pairs and the lambda mu-Calculus. - Søren B. Lassen (LICS, 2006)

Typed Normal Form Bisimulation. - Søren B. Lassen; Paul Blain Levy (CSL, 2007)

Typed Normal Form Bisimulation for Parametric Polymorphism. - Søren B. Lassen; Paul Blain Levy (LICS, 2008)

A Complete, Co-inductive Syntactic Theory of Sequential Control and State. - Kristian Støvring; Søren B. Lassen (Semantics and Algebraic Specification, 2009)

Unicorn: A System for Searching the Social Graph. - Michael Curtiss; Iain Becker; Tudor Bosman; Sergey Doroshenko; Lucian Grijincu; Tom Jackson; Sandhya Kunnatur; Søren B. Lassen; Philip Pronin; Sriram Sankar; Guanghao Shen; Gintaras Woss; et al. (Proc. VLDB Endow., 2013)