Search the dblp DataBase

Publications of Author

1. Jo Erskine Hannay
   Abstraction Barriers in Equational Proof. [Citation Graph (0, 0)][DBLP]
   AMAST, 1998, pp:196-213 [Conf]
   
2. Jo Erskine Hannay
   Specification Refinement with System F. [Citation Graph (0, 0)][DBLP]
   CSL, 1999, pp:530-545 [Conf]
   
3. Jo Erskine Hannay
   A Higher-Order Simulation Relation for System F. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2000, pp:130-145 [Conf]
   
4. Jo Erskine Hannay
   Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types. [Citation Graph (0, 0)][DBLP]
   ICALP, 2003, pp:903-917 [Conf]
   
5. Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella
   Semantic and Syntactic Approaches to Simulation Relations. [Citation Graph (0, 0)][DBLP]
   MFCS, 2003, pp:68-91 [Conf]
   
6. Jo Erskine Hannay
   Abstraction Barrier-Observing Relational Parametricity. [Citation Graph (0, 0)][DBLP]
   TLCA, 2003, pp:135-152 [Conf]
   
7. Jo Erskine Hannay
   Specification Refinement with System F - The Higher-Order Case. [Citation Graph (0, 0)][DBLP]
   WADT, 1999, pp:162-181 [Conf]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2005, v:31, n:9, pp:733-753 [Journal]
   
9. Jo Erskine Hannay, Dag I. K. Sjøberg, Tore Dybå
   A Systematic Review of Theory Use in Software Engineering Experiments. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2007, v:33, n:2, pp:87-107 [Journal]
   
10. 
    Personality and the nature of collaboration in pair programming. [Citation Graph (, )][DBLP]
    
    
11. 
    Challenges in enterprise software integration: An industrial study using repertory grids. [Citation Graph (, )][DBLP]
    
    
12. 
    Perceived productivity threats in large agile development projects. [Citation Graph (, )][DBLP]