| 1995 | ||
|---|---|---|
| 5 | EE | Ole Lauridsen: Abstract specification of user interfaces. CHI 95 Conference Companion 1995: 147-148 |
| 4 | EE | Ole Lauridsen: Abstract specification of user interfaces. CHI 95 Conference Companion 1995: 240-241 |
| 3 | Ole Lauridsen: Systematic methods for user interface design. EHCI 1995: 169-188 | |
| 2 | Ole Lauridsen: Generation of user interfaces using formal specification. INTERACT 1995: 325-330 | |
| 1994 | ||
| 1 | EE | Ole Lauridsen: Design of GUIs from a Programming Perspective. TRI-Ada 1994: 236-245 |