| |
| 2007 | ||
|---|---|---|
| 3 | EE | Peter Wilson, Alexandre Frey, Tom Mihm, Danny Kershaw, Tiago Alves: Implementing Embedded Security on Dual-Virtual-CPU Systems. IEEE Design & Test of Computers 24(6): 582-591 (2007) |
| 2002 | ||
| 2 | EE | Alexandre Frey: Satisfying subtype inequalities in polynomial space. Theor. Comput. Sci. 277(1-2): 105-117 (2002) |
| 1997 | ||
| 1 | Alexandre Frey: Satisfying Subtype Inequalities in Polynomial Space. SAS 1997: 265-277 | |
| 1 | Tiago Alves | [3] |
| 2 | Danny Kershaw | [3] |
| 3 | Tom Mihm | [3] |
| 4 | Peter Wilson | [3] |