| 2008 |
|---|
| 14 | EE | Paul McIntosh,
Margaret Hamilton,
Ron G. van Schyndel:
X3D-UML: 3D UML State Machine Diagrams.
MoDELS 2008: 264-279 |
| 2007 |
|---|
| 13 | EE | Ken Gardiner,
James Harland,
Margaret Hamilton:
A Framework for the Co-evolution of Genes, Proteins and a Genetic Code Within an Artificial Chemistry Reaction Set.
ACAL 2007: 281-291 |
| 2005 |
|---|
| 12 | EE | Rob Barrow,
Keith Frampton,
Margaret Hamilton,
Bruce Crossman:
A Study of the In-Practice Application of a Commercial Software Architecture .
Australian Software Engineering Conference 2005: 292-301 |
| 11 | EE | Paul McIntosh,
Margaret Hamilton,
Ron G. van Schyndel:
X3D-UML: enabling advanced UML visualisation through X3D.
Web3D 2005: 135-142 |
| 2004 |
|---|
| 10 | EE | Margaret Hamilton,
Liz Haywood:
Learning about Software Development - Should Programming Always Come First?
ACE 2004: 131-136 |
| 9 | | Bình Vu Trân,
James Harland,
Margaret Hamilton:
Expectation Reasoning Using Regret and Disappointment.
ECAI 2004: 74-78 |
| 8 | | Bình Vu Trân,
James Harland,
Margaret Hamilton:
Observation Expectation Reasoning in Agent Systems.
KR 2004: 246-254 |
| 2003 |
|---|
| 7 | EE | Bình Vu Trân,
James Harland,
Margaret Hamilton:
Expectation: the logic of flexible motivation.
AAMAS 2003: 1140-1141 |
| 6 | EE | Margaret Hamilton,
James Harland,
Lin Padgham:
Experiences in Teaching Computing Theory via Aspects of Problem-based Learning.
ACE 2003: 207-211 |
| 5 | EE | Bình Vu Trân,
James Harland,
Margaret Hamilton:
A Combined Logic of Expectation & Observation. A generalisation of BDI logics.
DALT 2003: 155-172 |
| 1983 |
|---|
| 4 | EE | Margaret Hamilton,
Saydean Zeldin:
The functional life cycle model and its automation: USE.IT.
Journal of Systems and Software 3(1): 25-62 (1983) |
| 1979 |
|---|
| 3 | EE | Margaret Hamilton,
Saydean Zeldin:
The relationship between design and verification.
Journal of Systems and Software 1: 29-56 (1979) |
| 1976 |
|---|
| 2 | | Margaret Hamilton,
Saydean Zeldin:
Higher Order Software - A Methodology for Defining Software.
IEEE Trans. Software Eng. 2(1): 9-32 (1976) |
| 1974 |
|---|
| 1 | | Margaret Hamilton,
Saydean Zeldin:
Higher order software techniques applied to a space shuttle prototype program.
Symposium on Programming 1974: 17-32 |
