| 2001 | ||
|---|---|---|
| 2 | Dennis Brylow, Niels Damgaard, Jens Palsberg: Static Checking of Interrupt-Driven Software. ICSE 2001: 47-56 | |
| 1999 | ||
| 1 | Nils Klarlund, Niels Damgaard, Michael I. Schwartzbach: Yakyak: parsing with logical side constraints. Developments in Language Theory 1999: 286-301 | |
| 1 | Dennis Brylow | [2] |
| 2 | Nils Klarlund | [1] |
| 3 | Jens Palsberg | [2] |
| 4 | Michael I. Schwartzbach | [1] |