| 2002 | ||
|---|---|---|
| 3 | Padmanabhan Krishnan, Danita Hartley: Using Model Checking to Test a Firewall : A Case Study. EUROMICRO 2002: 284-293 | |
| 2 | Danita Hartley, Antonija Mitrovic: Supporting Learning by Opening the Student Model. Intelligent Tutoring Systems 2002: 453-462 | |
| 2000 | ||
| 1 | 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] |