| |
| 2002 | ||
|---|---|---|
| 3 | EE | Padmanabhan Krishnan, Danita Hartley: Using Model Checking to Test a Firewall : A Case Study. EUROMICRO 2002: 284-293 |
| 2 | EE | Danita Hartley, Antonija Mitrovic: Supporting Learning by Opening the Student Model. Intelligent Tutoring Systems 2002: 453-462 |
| 2000 | ||
| 1 | EE | Danita Hartley, Neville Churcher, Greg Albertson: Virtual worlds for Web site visualisation. APSEC 2000: 448-455 |
| 1 | Greg Albertson | [1] |
| 2 | Neville Churcher (Neville I. Churcher) | [1] |
| 3 | Padmanabhan Krishnan | [3] |
| 4 | Antonija Mitrovic | [2] |