2007 |
11 | 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) |
10 | 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) |
9 | EE | Vigdis By Kampenes,
Tore Dybå,
Jo Erskine Hannay,
Dag I. K. Sjøberg:
A systematic review of effect size in software engineering experiments.
Information & Software Technology 49(11-12): 1073-1086 (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 |