| 2007 |
|---|
| 10 | EE | Tore Dybå,
Erik Arisholm,
Dag I. K. Sjøberg,
Jo Erskine Hannay,
Forrest Shull:
Are Two Heads Better than One? On the Effectiveness of Pair Programming.
IEEE Software 24(6): 12-15 (2007) |
| 9 | EE | Jo Erskine Hannay,
Dag I. K. Sjøberg,
Tore Dybå:
A Systematic Review of Theory Use in Software Engineering Experiments.
IEEE Trans. Software Eng. 33(2): 87-107 (2007) |
| 2005 |
|---|
| 8 | EE | Dag I. K. Sjøberg,
Jo Erskine Hannay,
Ove Hansen,
Vigdis By Kampenes,
Amela Karahasanovic,
Nils-Kristian Liborg,
Anette C. Rekdal:
A Survey of Controlled Experiments in Software Engineering.
IEEE Trans. Software Eng. 31(9): 733-753 (2005) |
| 2003 |
|---|
| 7 | EE | Jo Erskine Hannay:
Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types.
ICALP 2003: 903-917 |
| 6 | EE | Jo Erskine Hannay,
Shin-ya Katsumata,
Donald Sannella:
Semantic and Syntactic Approaches to Simulation Relations.
MFCS 2003: 68-91 |
| 5 | EE | Jo Erskine Hannay:
Abstraction Barrier-Observing Relational Parametricity.
TLCA 2003: 135-152 |
| 2000 |
|---|
| 4 | EE | Jo Erskine Hannay:
A Higher-Order Simulation Relation for System F.
FoSSaCS 2000: 130-145 |
| 1999 |
|---|
| 3 | | Jo Erskine Hannay:
Specification Refinement with System F.
CSL 1999: 530-545 |
| 2 | | Jo Erskine Hannay:
Specification Refinement with System F - The Higher-Order Case.
WADT 1999: 162-181 |
| 1998 |
|---|
| 1 | EE | Jo Erskine Hannay:
Abstraction Barriers in Equational Proof.
AMAST 1998: 196-213 |
