BibTeX records: Jo Erskine Hannay

download as .bib file

@article{DBLP:journals/re/HannayBM17,
  author    = {Jo Erskine Hannay and
               Karsten Brathen and
               Ole Martin Mevassvik},
  title     = {Agile requirements handling in a service-oriented taxonomy of capabilities},
  journal   = {Requir. Eng.},
  volume    = {22},
  number    = {2},
  pages     = {289--314},
  year      = {2017},
  url       = {https://doi.org/10.1007/s00766-016-0244-8},
  doi       = {10.1007/s00766-016-0244-8},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/re/HannayBM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/se/HannayBM17,
  author    = {Jo Erskine Hannay and
               Karsten Brathen and
               Ole Martin Mevassvik},
  title     = {A Hybrid Architecture Framework for Simulations in a Service-Oriented
               Environment},
  journal   = {Systems Engineering},
  volume    = {20},
  number    = {3},
  pages     = {235--256},
  year      = {2017},
  url       = {https://doi.org/10.1002/sys.21390},
  doi       = {10.1002/sys.21390},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/se/HannayBM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/HannayBS17,
  author    = {Jo Erskine Hannay and
               Hans Christian Benestad and
               Kjetil Strand},
  title     = {Benefit Points: The Best Part of the Story},
  journal   = {{IEEE} Software},
  volume    = {34},
  number    = {3},
  pages     = {73--85},
  year      = {2017},
  url       = {https://doi.org/10.1109/MS.2017.66},
  doi       = {10.1109/MS.2017.66},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/software/HannayBS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/HannayBS17a,
  author    = {Jo Erskine Hannay and
               Hans Christian Benestad and
               Kjetil Strand},
  title     = {Earned Business Value: See That You Deliver Value to Your Customer},
  journal   = {{IEEE} Software},
  volume    = {34},
  number    = {4},
  pages     = {58--70},
  year      = {2017},
  url       = {https://doi.org/10.1109/MS.2017.105},
  doi       = {10.1109/MS.2017.105},
  timestamp = {Mon, 31 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/software/HannayBS17a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/AcunaGHJP15,
  author    = {Silvia Teresita Acu{\~{n}}a and
               Marta G{\'{o}}mez and
               Jo Erskine Hannay and
               Natalia Juristo Juzgado and
               Dietmar Pfahl},
  title     = {Are team personality and climate related to satisfaction and software
               quality? Aggregating results from a twice replicated experiment},
  journal   = {Information {\&} Software Technology},
  volume    = {57},
  pages     = {141--156},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.infsof.2014.09.002},
  doi       = {10.1016/j.infsof.2014.09.002},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/AcunaGHJP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cse/SletholtHPL12,
  author    = {Magnus Thorstein Sletholt and
               Jo Erskine Hannay and
               Dietmar Pfahl and
               Hans Petter Langtangen},
  title     = {What Do We Know about Scientific Software Development's Agile Practices?},
  journal   = {Computing in Science and Engineering},
  volume    = {14},
  number    = {2},
  pages     = {24--37},
  year      = {2012},
  url       = {https://doi.org/10.1109/MCSE.2011.113},
  doi       = {10.1109/MCSE.2011.113},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cse/SletholtHPL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/BenestadH12,
  author    = {Hans Christian Benestad and
               Jo Erskine Hannay},
  title     = {Does the prioritization technique affect stakeholders' selection of
               essential software product features?},
  booktitle = {2012 {ACM-IEEE} International Symposium on Empirical Software Engineering
               and Measurement, {ESEM} '12, Lund, Sweden - September 19 - 20, 2012},
  pages     = {261--270},
  year      = {2012},
  crossref  = {DBLP:conf/esem/2012},
  url       = {https://doi.org/10.1145/2372251.2372300},
  doi       = {10.1145/2372251.2372300},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esem/BenestadH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/BergersenHSDK11,
  author    = {Gunnar R. Bergersen and
               Jo Erskine Hannay and
               Dag I. K. Sj{\o}berg and
               Tore Dyb{\aa} and
               Amela Karahasanovic},
  title     = {Inferring Skill from Tests of Programming Performance: Combining Time
               and Quality},
  booktitle = {Proceedings of the 5th International Symposium on Empirical Software
               Engineering and Measurement, {ESEM} 2011, Banff, AB, Canada, September
               22-23, 2011},
  pages     = {305--314},
  year      = {2011},
  crossref  = {DBLP:conf/esem/2011},
  url       = {https://doi.org/10.1109/ESEM.2011.39},
  doi       = {10.1109/ESEM.2011.39},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esem/BergersenHSDK11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BenestadH11,
  author    = {Hans Christian Benestad and
               Jo Erskine Hannay},
  title     = {A comparison of model-based and judgment-based release planning in
               incremental software projects},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  pages     = {766--775},
  year      = {2011},
  crossref  = {DBLP:conf/icse/2011},
  url       = {https://doi.org/10.1145/1985793.1985901},
  doi       = {10.1145/1985793.1985901},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BenestadH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HannayAES10,
  author    = {Jo Erskine Hannay and
               Erik Arisholm and
               Harald Engvik and
               Dag I. K. Sj{\o}berg},
  title     = {Effects of Personality on Pair Programming},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {36},
  number    = {1},
  pages     = {61--80},
  year      = {2010},
  url       = {https://doi.org/10.1109/TSE.2009.41},
  doi       = {10.1109/TSE.2009.41},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/HannayAES10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/HannayB10,
  author    = {Jo Erskine Hannay and
               Hans Christian Benestad},
  title     = {Perceived productivity threats in large agile development projects},
  booktitle = {Proceedings of the International Symposium on Empirical Software Engineering
               and Measurement, {ESEM} 2010, 16-17 September 2010, Bolzano/Bozen,
               Italy},
  year      = {2010},
  crossref  = {DBLP:conf/esem/2010},
  url       = {https://doi.org/10.1145/1852786.1852806},
  doi       = {10.1145/1852786.1852806},
  timestamp = {Tue, 06 Nov 2018 16:57:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esem/HannayB10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcpr/BellHHPA10,
  author    = {David Bell and
               Tracy Hall and
               Jo Erskine Hannay and
               Dietmar Pfahl and
               Silvia Teresita Acu{\~{n}}a},
  title     = {Software engineering group work: personality, patterns and performance},
  booktitle = {2010 Computer Personnel Research Conference, {SIGMIS-CPR} '10, Vancouver,
               BC, Canada - May 20 - 22, 2010},
  pages     = {43--47},
  year      = {2010},
  crossref  = {DBLP:conf/sigcpr/2010},
  url       = {https://doi.org/10.1145/1796900.1796921},
  doi       = {10.1145/1796900.1796921},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcpr/BellHHPA10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KampenesDHS09,
  author    = {Vigdis By Kampenes and
               Tore Dyb{\aa} and
               Jo Erskine Hannay and
               Dag I. K. Sj{\o}berg},
  title     = {A systematic review of quasi-experiments in software engineering},
  journal   = {Information {\&} Software Technology},
  volume    = {51},
  number    = {1},
  pages     = {71--82},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.infsof.2008.04.006},
  doi       = {10.1016/j.infsof.2008.04.006},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/KampenesDHS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/HannayDAS09,
  author    = {Jo Erskine Hannay and
               Tore Dyb{\aa} and
               Erik Arisholm and
               Dag I. K. Sj{\o}berg},
  title     = {The effectiveness of pair programming: {A} meta-analysis},
  journal   = {Information {\&} Software Technology},
  volume    = {51},
  number    = {7},
  pages     = {1110--1122},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.infsof.2009.02.001},
  doi       = {10.1016/j.infsof.2009.02.001},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/HannayDAS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/RognerudH09,
  author    = {Heidi J. Rognerud and
               Jo Erskine Hannay},
  title     = {Challenges in enterprise software integration: An industrial study
               using repertory grids},
  booktitle = {Proceedings of the Third International Symposium on Empirical Software
               Engineering and Measurement, {ESEM} 2009, October 15-16, 2009, Lake
               Buena Vista, Florida, {USA}},
  pages     = {11--22},
  year      = {2009},
  crossref  = {DBLP:conf/esem/2009},
  url       = {https://doi.org/10.1109/ESEM.2009.5316045},
  doi       = {10.1109/ESEM.2009.5316045},
  timestamp = {Tue, 27 Nov 2018 15:52:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esem/RognerudH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/WalleH09,
  author    = {Thorbjorn Walle and
               Jo Erskine Hannay},
  title     = {Personality and the nature of collaboration in pair programming},
  booktitle = {Proceedings of the Third International Symposium on Empirical Software
               Engineering and Measurement, {ESEM} 2009, October 15-16, 2009, Lake
               Buena Vista, Florida, {USA}},
  pages     = {203--213},
  year      = {2009},
  crossref  = {DBLP:conf/esem/2009},
  url       = {https://doi.org/10.1109/ESEM.2009.5315996},
  doi       = {10.1109/ESEM.2009.5315996},
  timestamp = {Tue, 27 Nov 2018 15:52:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esem/WalleH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HannayLMPSW09,
  author    = {Jo Erskine Hannay and
               Hans Petter Langtangen and
               Carolyn MacLeod and
               Dietmar Pfahl and
               Janice Singer and
               Greg Wilson},
  title     = {How do scientists develop and use scientific software?},
  booktitle = {{ICSE} Workshop on Software Engineering for Computational Science
               and Engineering, {SE-CSE} 2009, Vancouver, BC, Canada, May 23, 2009},
  pages     = {1--8},
  year      = {2009},
  crossref  = {DBLP:conf/icse/2009secse},
  url       = {https://doi.org/10.1109/SECSE.2009.5069155},
  doi       = {10.1109/SECSE.2009.5069155},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/HannayLMPSW09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KampenesDHS07,
  author    = {Vigdis By Kampenes and
               Tore Dyb{\aa} and
               Jo Erskine Hannay and
               Dag I. K. Sj{\o}berg},
  title     = {A systematic review of effect size in software engineering experiments},
  journal   = {Information {\&} Software Technology},
  volume    = {49},
  number    = {11-12},
  pages     = {1073--1086},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.infsof.2007.02.015},
  doi       = {10.1016/j.infsof.2007.02.015},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/KampenesDHS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/DybaASHS07,
  author    = {Tore Dyb{\aa} and
               Erik Arisholm and
               Dag I. K. Sj{\o}berg and
               Jo Erskine Hannay and
               Forrest Shull},
  title     = {Are Two Heads Better than One? On the Effectiveness of Pair Programming},
  journal   = {{IEEE} Software},
  volume    = {24},
  number    = {6},
  pages     = {12--15},
  year      = {2007},
  url       = {https://doi.org/10.1109/MS.2007.158},
  doi       = {10.1109/MS.2007.158},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/software/DybaASHS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HannaySD07,
  author    = {Jo Erskine Hannay and
               Dag I. K. Sj{\o}berg and
               Tore Dyb{\aa}},
  title     = {A Systematic Review of Theory Use in Software Engineering Experiments},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {33},
  number    = {2},
  pages     = {87--107},
  year      = {2007},
  url       = {https://doi.org/10.1109/TSE.2007.12},
  doi       = {10.1109/TSE.2007.12},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/HannaySD07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SjobergHHKKLR05,
  author    = {Dag I. K. Sj{\o}berg and
               Jo Erskine Hannay and
               Ove Hansen and
               Vigdis By Kampenes and
               Amela Karahasanovic and
               Nils{-}Kristian Liborg and
               Anette C. Rekdal},
  title     = {A Survey of Controlled Experiments in Software Engineering},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {31},
  number    = {9},
  pages     = {733--753},
  year      = {2005},
  url       = {https://doi.org/10.1109/TSE.2005.97},
  doi       = {10.1109/TSE.2005.97},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/SjobergHHKKLR05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hannay03,
  author    = {Jo Erskine Hannay},
  title     = {Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data
               Types},
  booktitle = {Automata, Languages and Programming, 30th International Colloquium,
               {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
               Proceedings},
  pages     = {903--917},
  year      = {2003},
  crossref  = {DBLP:conf/icalp/2003},
  url       = {https://doi.org/10.1007/3-540-45061-0\_70},
  doi       = {10.1007/3-540-45061-0\_70},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/Hannay03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HannayKS03,
  author    = {Jo Erskine Hannay and
               Shin{-}ya Katsumata and
               Donald Sannella},
  title     = {Semantic and Syntactic Approaches to Simulation Relations},
  booktitle = {Mathematical Foundations of Computer Science 2003, 28th International
               Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003,
               Proceedings},
  pages     = {68--91},
  year      = {2003},
  crossref  = {DBLP:conf/mfcs/2003},
  url       = {https://doi.org/10.1007/978-3-540-45138-9\_4},
  doi       = {10.1007/978-3-540-45138-9\_4},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/HannayKS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Hannay03,
  author    = {Jo Erskine Hannay},
  title     = {Abstraction Barrier-Observing Relational Parametricity},
  booktitle = {Typed Lambda Calculi and Applications, 6th International Conference,
               {TLCA} 2003, Valencia, Spain, June 10-12, 2003, Proceedings.},
  pages     = {135--152},
  year      = {2003},
  crossref  = {DBLP:conf/tlca/2003},
  url       = {https://doi.org/10.1007/3-540-44904-3\_10},
  doi       = {10.1007/3-540-44904-3\_10},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/Hannay03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Hannay00,
  author    = {Jo Erskine Hannay},
  title     = {A Higher-Order Simulation Relation for System {F}},
  booktitle = {Foundations of Software Science and Computation Structures, Third
               International Conference, {FOSSACS} 2000, Held as Part of the Joint
               European Conferences on Theory and Practice of Software,ETAPS 2000,
               Berlin, Germany, March 25 - April 2, 2000, Proceedings},
  pages     = {130--145},
  year      = {2000},
  crossref  = {DBLP:conf/fossacs/2000},
  url       = {https://doi.org/10.1007/3-540-46432-8\_9},
  doi       = {10.1007/3-540-46432-8\_9},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/Hannay00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Hannay99,
  author    = {Jo Erskine Hannay},
  title     = {Specification Refinement with System {F}},
  booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
               Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
               Proceedings},
  pages     = {530--545},
  year      = {1999},
  crossref  = {DBLP:conf/csl/1999},
  url       = {https://doi.org/10.1007/3-540-48168-0\_37},
  doi       = {10.1007/3-540-48168-0\_37},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/Hannay99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/Hannay99,
  author    = {Jo Erskine Hannay},
  title     = {Specification Refinement with System {F} - The Higher-Order Case},
  booktitle = {Recent Trends in Algebraic Development Techniques, 14th International
               Workshop, {WADT} '99, Ch{\^{a}}teau de Bonas, France, September 15-18,
               1999, Selected Papers},
  pages     = {162--181},
  year      = {1999},
  crossref  = {DBLP:conf/wadt/1999},
  url       = {https://doi.org/10.1007/978-3-540-44616-3\_10},
  doi       = {10.1007/978-3-540-44616-3\_10},
  timestamp = {Wed, 14 Nov 2018 11:00:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/Hannay99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Hannay98,
  author    = {Jo Erskine Hannay},
  title     = {Abstraction Barriers in Equational Proof},
  booktitle = {Algebraic Methodology and Software Technology, 7th International Conference,
               {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
  pages     = {196--213},
  year      = {1998},
  crossref  = {DBLP:conf/amast/1998},
  url       = {https://doi.org/10.1007/3-540-49253-4\_16},
  doi       = {10.1007/3-540-49253-4\_16},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/Hannay98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esem/2012,
  editor    = {Per Runeson and
               Martin H{\"{o}}st and
               Emilia Mendes and
               Anneliese Amschler Andrews and
               Rachel Harrison},
  title     = {2012 {ACM-IEEE} International Symposium on Empirical Software Engineering
               and Measurement, {ESEM} '12, Lund, Sweden - September 19 - 20, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2372251},
  isbn      = {978-1-4503-1056-7},
  timestamp = {Mon, 04 Aug 2014 17:08:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esem/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esem/2011,
  title     = {Proceedings of the 5th International Symposium on Empirical Software
               Engineering and Measurement, {ESEM} 2011, Banff, AB, Canada, September
               22-23, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6088933},
  isbn      = {978-1-4577-2203-5},
  timestamp = {Thu, 12 Nov 2015 11:23:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esem/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2011,
  editor    = {Richard N. Taylor and
               Harald C. Gall and
               Nenad Medvidovic},
  title     = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0445-0},
  timestamp = {Wed, 01 Apr 2015 20:06:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esem/2010,
  editor    = {Giancarlo Succi and
               Maurizio Morisio and
               Nachiappan Nagappan},
  title     = {Proceedings of the International Symposium on Empirical Software Engineering
               and Measurement, {ESEM} 2010, 16-17 September 2010, Bolzano/Bozen,
               Italy},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1852786},
  doi       = {10.1145/1852786},
  isbn      = {978-1-4503-0039-1},
  timestamp = {Tue, 06 Nov 2018 16:57:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esem/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcpr/2010,
  editor    = {Mike Gallivan and
               Jack Downey and
               Damien Joseph},
  title     = {2010 Computer Personnel Research Conference, {SIGMIS-CPR} '10, Vancouver,
               BC, Canada - May 20 - 22, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1796900},
  isbn      = {978-1-4503-0004-9},
  timestamp = {Mon, 03 Jun 2013 18:23:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigcpr/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esem/2009,
  title     = {Proceedings of the Third International Symposium on Empirical Software
               Engineering and Measurement, {ESEM} 2009, October 15-16, 2009, Lake
               Buena Vista, Florida, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5306516},
  isbn      = {978-1-4244-4842-5},
  timestamp = {Tue, 27 Nov 2018 15:52:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esem/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2009secse,
  title     = {{ICSE} Workshop on Software Engineering for Computational Science
               and Engineering, {SE-CSE} 2009, Vancouver, BC, Canada, May 23, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5054535},
  isbn      = {978-1-4244-3737-5},
  timestamp = {Fri, 07 Aug 2015 15:38:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2009secse},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2003,
  editor    = {Jos C. M. Baeten and
               Jan Karel Lenstra and
               Joachim Parrow and
               Gerhard J. Woeginger},
  title     = {Automata, Languages and Programming, 30th International Colloquium,
               {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2719},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-45061-0},
  doi       = {10.1007/3-540-45061-0},
  isbn      = {3-540-40493-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2003,
  editor    = {Branislav Rovan and
               Peter Vojt{\'{a}}s},
  title     = {Mathematical Foundations of Computer Science 2003, 28th International
               Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2747},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11836},
  doi       = {10.1007/b11836},
  isbn      = {3-540-40671-9},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tlca/2003,
  editor    = {Martin Hofmann},
  title     = {Typed Lambda Calculi and Applications, 6th International Conference,
               {TLCA} 2003, Valencia, Spain, June 10-12, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2701},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44904-3},
  doi       = {10.1007/3-540-44904-3},
  isbn      = {3-540-40332-9},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tlca/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2000,
  editor    = {Jerzy Tiuryn},
  title     = {Foundations of Software Science and Computation Structures, Third
               International Conference, {FOSSACS} 2000, Held as Part of the Joint
               European Conferences on Theory and Practice of Software,ETAPS 2000,
               Berlin, Germany, March 25 - April 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1784},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-46432-8},
  doi       = {10.1007/3-540-46432-8},
  isbn      = {3-540-67257-5},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1999,
  editor    = {J{\"{o}}rg Flum and
               Mario Rodr{\'{\i}}guez{-}Artalejo},
  title     = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
               Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1683},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48168-0},
  doi       = {10.1007/3-540-48168-0},
  isbn      = {3-540-66536-6},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/1999,
  editor    = {Didier Bert and
               Christine Choppy and
               Peter D. Mosses},
  title     = {Recent Trends in Algebraic Development Techniques, 14th International
               Workshop, {WADT} '99, Ch{\^{a}}teau de Bonas, France, September 15-18,
               1999, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1827},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/b75154},
  doi       = {10.1007/b75154},
  isbn      = {3-540-67898-0},
  timestamp = {Wed, 14 Nov 2018 11:00:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/1998,
  editor    = {Armando Martin Haeberer},
  title     = {Algebraic Methodology and Software Technology, 7th International Conference,
               {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1548},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-49253-4},
  doi       = {10.1007/3-540-49253-4},
  isbn      = {3-540-65462-3},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier