Formal Modeling and Analysis of an IETF Multicast Protocol. - Elisabeth Lien; Peter Csaba Ölveczky (SEFM, 2009)

Using Minimal Recursion Semantics for Entailment Recognition. - Elisabeth Lien (EACL, 2014)

UIO-Lien: Entailment Recognition using Minimal Recursion Semantics. - Elisabeth Lien; Milen Kouylekov (SemEval@COLING, 2014)

Semantic Parsing for Textual Entailment. - Elisabeth Lien; Milen Kouylekov (IWPT, 2015)