@inproceedings{2976,
    month                     = {January},
    year                      = {2010},
    pages                     = {111-120},
    title                     = {{Clone Detection and Elimination for Haskell}},
    author                    = {Christopher Brown and Simon Thompson},
    keywords                  = {Haskell, refactoring, HaRe, duplicated code, program analysis, program transformation, generalisation},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2976},
             publication_type = {inproceedings},
                submission_id = {6278_1263997522},
                         ISBN = {978-1-60558-727-1},
                    booktitle = {{PEPM'10: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation}},
                       editor = {John Gallagher and Janis Voigtlander},
                    publisher = {ACM Press},
                     refereed = {Yes}
}

@article{2958,
    month                     = {January},
    year                      = {2010},
    pages                     = {91-112},
    title                     = {{A Graph Theoretic Approach to General Euler Diagram Drawing}},
    author                    = {Gem Stapleton and John Howse and Peter Rodgers},
    keywords                  = {Euler diagrams, Venn diagrams},
    note                      = {},
    doi                       = {10.1016/j.tcs.2009.09.005},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2958},
             publication_type = {article},
                submission_id = {18592_1255103673},
                      journal = {Theoretical Computer Science},
                    publisher = {Elsevier},
                       volume = {411},
                       number = {1},
                         ISSN = {0304-3975}
}

@article{2979,
    month                     = {January},
    year                      = {2010},
    pages                     = {1},
    title                     = {Editorial: {S}pecial issue on {REFINE} 2007},
    author                    = {Eerke Boiten and Michael Butler and John Derrick and Graeme Smith},
    keywords                  = {},
    note                      = {},
    doi                       = {10.1007/s00165-009-0147-2},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2979},
             publication_type = {article},
                submission_id = {3153_1264984680},
                         ISSN = {	0934-5043},
                      journal = {Formal Aspects of Computing},
                       volume = {22},
                       number = {1}
}

@inproceedings{2970,
    month                     = {April},
    year                      = {2010},
    pages                     = {10},
    title                     = {A {P}earl on {SAT} {S}olving in {P}rolog},
    author                    = {Jacob M. Howe and Andy King},
    keywords                  = {},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2970},
             publication_type = {inproceedings},
                submission_id = {22767_1262691039},
                    booktitle = {Tenth International Symposium on Functional and Logic Programming},
                       editor = {Matthias Blume and German Vidal},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer-Verlag},
                     refereed = {yes}
}

@inproceedings{2981,
    month                     = {June},
    year                      = {2010},
    pages                     = {},
    title                     = {Stochasticity and robustness in bi-stable systems},
    author                    = {Nicolae Radu Zabet and Dominique F. Chu},
    keywords                  = {noise, toogle switch, random flips, FDT},
    note                      = {accepted manuscript at ICBBE 2010 (http://www.icbbe.org/2010/)},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2981},
             publication_type = {inproceedings},
                submission_id = {11614_1266422837},
                         ISBN = {978-1-4244-4713-8},
                    publisher = { IEEE Xplore}
}

@inproceedings{2966,
    month                     = {January},
    year                      = {2010},
    pages                     = {197--213},
    title                     = {Automatic {A}bstraction for {C}ongruences},
    author                    = {Andy King and Harald S{o}ndergaard},
    keywords                  = {Abstract interpretation},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2966},
             publication_type = {inproceedings},
                submission_id = {19766_1258980473},
                    booktitle = {Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation},
                       editor = {Gilles Barthe and Manuel Hermenegildo},
                       number = {5944},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer-Verlag},
                     refereed = {yes}
}

@article{2982,
    month                     = {December},
    year                      = {2010},
    pages                     = {},
    title                     = {{Drawing Euler Diagrams with Circles: The Theory of Piercings}},
    author                    = {Gem Stapleton and Leishi Zhang and John Howse and Peter Rodgers},
    keywords                  = {Euler diagrams, Venn diagrams},
    note                      = {To appear.},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2982},
             publication_type = {article},
                submission_id = {8018_1266937969},
                      journal = {IEEE Transactions on Visualization and Computer Graphics},
                    publisher = {IEEE}
}

@conference{2974,
    month                     = {January},
    year                      = {2010},
    pages                     = {21-25},
    title                     = {Security specification: completeness, feasibility, refinement},
    author                    = {Eerke A. Boiten},
    keywords                  = {specification, refinement, completeness, security, cryptography, commitment},
    note                      = {http://drops.dagstuhl.de/opus/volltexte/2010/2374},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2974},
             publication_type = {conference},
                submission_id = {4294_1263482553},
                    booktitle = {Refinement Based Methods for the Construction of Dependable Systems},
                       editor = {Jean-Raymond Abrial and Michael Butler and Rajeev Joshi and Elena Troubitsyna and Jim C. P. Woodcock},
                       number = {09381},
                       series = {Dagstuhl Seminar Proceedings},
                      address = {Dagstuhl, Germany},
                    publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{"{u}}r  Informatik, Germany},
                         ISSN = {1862-4405},
                     refereed = {no}
}

@inproceedings{2975,
    month                     = {January},
    year                      = {2010},
    pages                     = {104-118},
    title                     = {{Similar Code Detection and Elimination for Erlang Programs}},
    author                    = {Huiqing Li and Simon Thompson},
    keywords                  = {anti-unification, code clone detection, Erlang, program analysis, program transformation, refactoring, similar code, Wrangler},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2975},
             publication_type = {inproceedings},
                submission_id = {26326_1263995519},
                         ISBN = {978-3-642-11502-8},
                    booktitle = {Practical Aspects of Declarative languages 2010},
                       editor = {Manuel Carro and Ricardo Pena},
                       number = {5937},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer},
                     refereed = {Yes}
}