Virtual worlds for Web site visualisation. - Danita Hartley; Neville Churcher; Greg Albertson (APSEC, 2000)

Using Model Checking to Test a Firewall : A Case Study. - Padmanabhan Krishnan; Danita Hartley (EUROMICRO, 2002)

Supporting Learning by Opening the Student Model. - Danita Hartley; Antonija Mitrovic (Intelligent Tutoring Systems, 2002)