| |
| 2008 | ||
|---|---|---|
| 4 | EE | Sebastian Nanz, Terkel K. Tolstrup: Goal-Oriented Composition of Services. Software Composition 2008: 109-124 |
| 2006 | ||
| 3 | EE | Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen: Locality-Based Security Policies. Formal Aspects in Security and Trust 2006: 185-201 |
| 2005 | ||
| 2 | EE | Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson: Information Flow Analysis for VHDL. PaCT 2005: 79-98 |
| 2004 | ||
| 1 | EE | Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen: Generating web-based systems from specifications. SAC 2004: 1647-1653 |
| 1 | Michael R. Hansen | [1] |
| 2 | René Rydhof Hansen | [3] |
| 3 | Tue Becher Jensen | [1] |
| 4 | Sebastian Nanz | [4] |
| 5 | Flemming Nielson | [2] [3] |
| 6 | Hanne Riis Nielson | [2] |