Yakyak: parsing with logical side constraints. - Nils Klarlund; Niels Damgaard; Michael I. Schwartzbach (Developments in Language Theory, 1999)

Static Checking of Interrupt-Driven Software. - Dennis Brylow; Niels Damgaard; Jens Palsberg (ICSE, 2001)