@article{3074,
    month                     = {July},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Delayed switching in memristors and memristive systems},
    author                    = {Frank Wang and Na Helian and Sining Wu and Mian-Guan Lim},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1109/LED.2010.2049560},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3074},
             publication_type = {article},
                submission_id = {10919_1294665512},
                      journal = {IEEE Device Letters},
                       volume = {31 (7) art. no. 5482202 pp.755-757},
                       number = {7},
                    publisher = {IEEE}
}

@article{3051,
    month                     = {October},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Quadtrees as an {A}bstract {D}omain},
    author                    = {Jacob M. Howe and Andy King and Charles Lawrence-Jones},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1016/j.entcs.2010.09.008},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3051},
             publication_type = {article},
                submission_id = {29349_1287397361},
                      journal = {Electronic Notes in Theoretical Computer Science},
                       volume = {267},
                       number = {1},
                    publisher = {Elsevier}
}

@misc{3109,
    month                     = {June},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Greenroom: a teacher community for collaborative resource development},
    author                    = {Neil Brown and Phil Stevens and Michael Kölling},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1822090.1822181},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3109},
             publication_type = {misc},
                submission_id = {25671_1304514843},
                 howpublished = {Proceedings of the fifteenth annual conference on Innovation and technology in computer science education (ITiCSE '10), ACM New York, NY, USA, ISBN 978-1-60558-820-9}
}

@inproceedings{2994,
    month                     = {March},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Using event-related potentials to distinguish mirror effect types: Evidence from a modified directed forgetting procedure (item-method) [{A}bstract].},
    author                    = {K. C. Dietz and J. C. van Hooff and H Bowman},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {This is the German equivalent of the annual Experimental Psychology Society [EPS] meeting in the UK.},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2994},
                submission_id = {12192_1269941431},
                       editor = {Frings, C. and Mecklinger, A. and Wentura, D. and Zimmer, H.},
                         ISBN = {978-3-89967-626-6},
                    publisher = {Lengerich, Westphalia, Germany: Pabst Science Publishers},
                       series = {Beiträge zur 52. Tagung experimentell arbeitender Psychologen ({T}ea{P}): 22--24th March 2010, Universität des Saarlandes, Saarbrücken, Germany},
             publication_type = {inproceedings}
}

@inproceedings{2976,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{Clone Detection and Elimination for Haskell}},
    author                    = {Christopher Brown and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    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}
}

@misc{3092,
    month                     = {July},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{CXXR} and Add-On Packages},
    author                    = {Andrew R. Runnalls},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3092},
             publication_type = {misc},
                submission_id = {23536_1300713702},
                 howpublished = {Presented at useR! 2010, Gaithersburg, MD.}
}

@article{3111,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Hierarchical classification of G-Protein-Coupled Receptors with data-driven selection of attributes and classifiers},
    author                    = {A. Secker and M.N. Davies and A.A. Freitas and E. Clark and J. Timmis and D.R. Flower},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3111},
             publication_type = {article},
                submission_id = {4473_1305641169},
                         ISSN = {1748-5673},
                      journal = {International Journal of Data Mining and Bioinformatics},
                       volume = {4},
                       number = {2}
}

@article{2958,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{A Graph Theoretic Approach to General Euler Diagram Drawing}},
    author                    = {Gem Stapleton and John Howse and Peter Rodgers},
    keywords                  = {determinacy analysis, Craig interpolants},
    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}
}

@inproceedings{3036,
    month                     = {August},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Design Principles of Transcriptional Logic Circuits},
    author                    = {Nicolae Radu Zabet and Andrew N. W. Hone and Dominique F. Chu},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = { Freely available for download at: http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=12433},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3036},
             publication_type = {inproceedings},
                submission_id = {26290_1282835570},
                    booktitle = {Artificial Life XII Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems},
                    publisher = {MIT Press}
}

@inproceedings{3004,
    month                     = {April},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Positional Effect of Crossover and Mutation in {G}rammatical {E}volution},
    author                    = {Tom Castle and C. G. Johnson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3004},
             publication_type = {inproceedings},
                submission_id = {25065_1271095109},
                         ISBN = {978-3-642-12147-0},
                    booktitle = {Proceedings of the 13th European Conference on Genetic Programming, EuroGP 2010},
                       editor = {Anna I. Esparcia-Alcazar and Aniko Ekart and Sara Silva and Stephen Dignum and Sima Uyar},
                       volume = {6021},
                       series = {LNCS},
                      address = {Istanbul},
                 organization = {EvoStar},
                    publisher = {Springer},
                     refereed = {Yes}
}

@book{3180,
    month                     = {April},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Data fusion via fission for the analysis of brain death},
    author                    = {L. Li and Y. Saito and D. Looney and T. Tanaka and J. Cao and D. Mandic},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1002/9780470569962.ch10},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3180},
             publication_type = {book},
                submission_id = {4576_1320779053},
                         ISBN = {9780470287194},
                       editor = {Plamen Angelov and Dimitar P. Filev and Nikola Kasabov},
                    publisher = {Wiley},
                      edition = {1}
}

@article{3063,
    month                     = {June},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Process-Oriented Device Driver Development},
    author                    = {F.R.M. Barnes and C.G. Ritson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1002/cpe.1428},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3063},
             publication_type = {article},
                submission_id = {11187_1289137451},
                         ISSN = {1532-0634},
                      journal = {Concurrency and Computation: Practice and Experience},
                       volume = {22},
                       number = {8},
                    publisher = {John Wiley & Sons, Ltd.}
}

@inproceedings{3044,
    month                     = {August},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {The problems of Teaching Programming: Do They Change with Time? },
    author                    = {Janet Carter and Tony Jenkins},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3044},
             publication_type = {inproceedings},
                submission_id = {17759_1285578188},
                         ISBN = {978-0-9565220-1-6},
                    booktitle = {Proceedings of 11th Annual HEA-ICS conference},
                       editor = {Hazel White},
                      address = {Durham},
                    publisher = {HEA subject centre for ICS},
                     refereed = {yes}
}

@article{3047,
    month                     = {July},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Learning hybridization strategies in evolutionary algorithms},
    author                    = {A. LaTorre and J.M. Pena and S. Muelas and A.A. Freitas},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.3233/IDA-2010-0424},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3047},
             publication_type = {article},
                submission_id = {29721_1287065415},
                         ISSN = {1088-467X},
                      journal = {Intelligent Data Analysis},
                       volume = {14},
                       number = {3},
                    publisher = {IOS Press}
}

@article{3082,
    month                     = {December},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {What are the important gender related issues in computing at present?},
    author                    = {Janet Carter},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {Special issue:  Gender-related issues in computing.  Guest editor:  Janet Carter},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3082},
             publication_type = {article},
                submission_id = {14883_1296032498},
                         ISSN = {0899-3408},
                      journal = {{C}omputer {S}cience {E}ducation},
                       volume = {20},
                       number = {4},
                    publisher = {Routledge}
}

@inproceedings{2989,
    month                     = {August},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons}},
    author                    = {Peter Rodgers and Jean Flower and Gem Stapleton and John Howse},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2989},
             publication_type = {inproceedings},
                submission_id = {26479_1269875167},
                    booktitle = {Diagrams 2010},
                    publisher = {Springer},
                     refereed = {yes},
                       series = {LNCS (LNAI) 6170}
}

@phdthesis{3057,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {New ant colony optimisation algorithms for hierarchial classification of protein functions },
    author                    = {Fernando Otero},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3057},
             publication_type = {phdthesis},
                submission_id = {987_1288278972},
                       school = {Computing},
                      address = {University of Kent, CT2 7NF},
                    publisher = {University of Kent}
}

@inproceedings{3015,
    month                     = {September},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Automatic {A}bstraction for {I}ntervals using {B}oolean {F}ormulae},
    author                    = {Jorg Brauer and Andy King},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3015},
             publication_type = {inproceedings},
                submission_id = {20798_1277384086},
                    booktitle = {Seventeenth International Static Analysis Symposium},
                       editor = {Radhia Cousot and Matthieu Martel},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer-Verlag},
                     refereed = {yes}
}

@inproceedings{3021,
    month                     = {June},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {An efficient model for investigating specific site binding of transcription factors},
    author                    = {David Barnes and Dominique Chu},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3021},
             publication_type = {inproceedings},
                submission_id = {10446_1277973015},
                    booktitle = {Proceedings of the 4th International Conference on Bioinformatics and Biomedical Engineering, June 18-20, Chengdu, China, 2010},
                 organization = {IEE Xplore}
}

@techreport{3003,
    month                     = {April},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Proceedings of the 2010 {S}chool of {C}omputing {P}ostgraduate {C}onference},
    author                    = {Laurence Hellyer and Carl G. Ritson and Jonathan Simpson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3003},
             publication_type = {techreport},
                submission_id = {7762_1270753724},
                  institution = {School of Computing},
                       number = {2-10},
                      address = {University of Kent, Canterbury, Kent CT2 7NF, UK}
}

@inproceedings{3127,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Reducing performance non-determinism via cache-aware page allocation strategies},
    author                    = {Michal Hocko and Tomas Kalibera},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1712605.1712640},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3127},
             publication_type = {inproceedings},
                submission_id = {7339_1308767301},
                         ISBN = {978-1-60558-563-5},
                    booktitle = {Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering},
                    publisher = {ACM},
                     refereed = {yes}
}

@article{2979,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Editorial: {S}pecial issue on {REFINE} 2007},
    author                    = {Eerke Boiten and Michael Butler and John Derrick and Graeme Smith},
    keywords                  = {determinacy analysis, Craig interpolants},
    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}
}

@article{3048,
    month                     = {September},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {A hierarchical multi-label classification ant colony algorithm for protein function prediction},
    author                    = {F.E.B. Otero and A.A. Freitas and C.G. Johnson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1007/s12293-010-0045-4},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3048},
             publication_type = {article},
                submission_id = {29969_1287065761},
                         ISSN = {1865-9284},
                      journal = {Memetic Computing},
                       volume = {2},
                       number = {3},
                    publisher = {Springer}
}

@article{3050,
    month                     = {October},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Range and {S}et {A}bstraction using {SAT} },
    author                    = {Edd Barrett and Andy King},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1016/j.entcs.2010.09.003},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3050},
             publication_type = {article},
                submission_id = {28701_1287396574},
                      journal = {Electronic Notes in Theoretical Computer Science},
                       volume = {267},
                       number = {1},
                    publisher = {Elsevier}
}

@inproceedings{3123,
    month                     = {August},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Exhaustive testing of safety critical Java},
    author                    = {Tomas Kalibera and Pavel Parizek and Michal Malohlava and Martin Schoeberl},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1850771.1850794},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3123},
             publication_type = {inproceedings},
                submission_id = {5982_1308764916},
                         ISBN = {978-1-4503-0122-0},
                    booktitle = {Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES)},
                    publisher = {ACM},
                     refereed = {Yes}
}

@techreport{3011,
    month                     = {June},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {The Locality of Concurrent Write Barriers (extended version)},
    author                    = {Laurence Hellyer and Richard Jones and Antony L. Hosking},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3011},
             publication_type = {techreport},
                submission_id = {20683_1275469594},
                  institution = {School of Computing},
                       number = {3-10},
                      address = {University of Kent, Canterbury, Kent CT2 7NF, UK}
}

@phdthesis{3098,
    month                     = {October},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Towards Modular, Scalable and Optimal Design of Transcriptional Logic Systems},
    author                    = {Nicolae Radu Zabet},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3098},
             publication_type = {phdthesis},
                submission_id = {2393_1302530196},
                       school = {School of Computing, University of Kent, UK}
}

@inproceedings{2970,
    month                     = {April},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {A {P}earl on {SAT} {S}olving in {P}rolog},
    author                    = {Jacob M. Howe and Andy King},
    keywords                  = {determinacy analysis, Craig interpolants},
    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}
}

@conference{3035,
    month                     = {July},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions},
    author                    = {Li Su and Philip Barnard and Howard Bowman},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3035},
             publication_type = {conference},
                submission_id = {5166_1281446389},
                    booktitle = {International Conference on Artificial Neural Networks},
                       editor = {K. Diamantaras and W. Duch and L.S. Iliadis},
                       volume = {6354},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer-Verlag},
                     refereed = {Yes}
}

@inproceedings{3153,
    month                     = {October},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {The Stereochemistry of Enterprise Objects},
    author                    = {Linington, Peter F.},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1109/EDOCW.2010.25},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3153},
             publication_type = {inproceedings},
                submission_id = {2281_1315304970},
                         ISBN = {978-0-7695-4164-8},
                    booktitle = {Enterprise Distributed Object Computing Conference Workshops - WODPEC 2010}
}

@mastersthesis{3085,
    month                     = {August},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{H}ypervelocity {I}mpact {D}etection: {A}n {I}nvestigation into {P}iezoelectric {R}esponse of {PVDF} {F}ilms},
    author                    = {Samuel Perkins},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3085},
             publication_type = {mastersthesis},
                submission_id = {160_1298835909},
                       school = {School of Physical Sciences, University of Kent}
}

@conference{3005,
    month                     = {June},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {The Logic of Large Enough},
    author                    = {Eerke Boiten and Dan Grundy},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3005},
             publication_type = {conference},
                submission_id = {13323_1271624117},
                    booktitle = {MPC 2010: Mathematics of Program Construction, 10th International Conference},
                       editor = {C. Bolduc and J. Desharnais and B. Ktari},
                       volume = {6120},
                       series = {Lecture Notes in Computer Science},
                      address = {Heidelberg},
                    publisher = {Springer},
                         ISSN = {1861-2059},
                     refereed = {yes}
}

@inproceedings{3041,
    month                     = {September},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{From Test Cases to FSMs: Augmented Test-driven Development and Property Inference}},
    author                    = {Thomas Arts and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3041},
             publication_type = {inproceedings},
                submission_id = {27282_1284467660},
                         ISBN = {978-1-4503-0253-1},
                    booktitle = {Erlang’10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop},
                       editor = {Scott Lystig Fritchie and Konstantinos Sagonas},
                    publisher = {ACM SIGPLAN},
                     refereed = {yes}
}

@inproceedings{3046,
    month                     = {July},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Web log data clustering for a multi-agent recommendation system},
    author                    = {J.C. Xavier and A.A. Freitas and A.M.P. Canuto and L.M.G. Goncalves},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1109/ICMLC.2010.5581017},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3046},
             publication_type = {inproceedings},
                submission_id = {29434_1287065012},
                         ISBN = {978-1-4244-6526-2},
                    booktitle = {Machine Learning and Cybernetics (ICMLC): 2010 International Conference on},
                     refereed = {yes}
}

@article{3066,
    month                     = {March},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {A Process-Oriented Architecture for Complex System Modelling},
    author                    = {Carl G. Ritson and Peter H. Welch},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1002/cpe.1433},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3066},
             publication_type = {article},
                submission_id = {12082_1289240567},
                      journal = {Concurrency and Computation: Practice and Experience},
                       volume = {22},
                    publisher = {Wiley InterScience}
}

@inproceedings{3053,
    month                     = {September},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Range {A}nalysis of {M}icrocontroller {C}ode {U}sing {B}it-{L}evel {C}ongruences},
    author                    = {Jorg Brauer and Andy King and Stefan Kowalewski},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3053},
             publication_type = {inproceedings},
                submission_id = {1701_1287400281},
                         ISBN = {978-3-642-15897-1},
                    booktitle = {Formal Methods for Industrial Critical Systems},
                       editor = {Stefan Kowalewski and Marco Roveri },
                       volume = {6371},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer-Verlag},
                     refereed = {yes}
}

@article{2955,
    month                     = {April},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{Review of Designs for Haptic Data Visualization}},
    author                    = {Sabrina Paneels and Jonathan C. Roberts},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1109/TOH.2009.44},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2955},
             publication_type = {article},
                submission_id = {10180_1254760426},
                      journal = {IEEE Transactions on Haptics},
                    publisher = {IEEE Computer Society},
                       volume = {3},
                       number = {2}
}

@article{3175,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {A hierarchical multi-label classification ant colony algorithm for protein function prediction},
    author                    = {F.E.B. Otero and A.A. Freitas and C.G. Johnson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1007/s12293-010-0045-4},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3175},
             publication_type = {article},
                submission_id = {19024_1319821064},
                      journal = {Memetic Computing},
                       volume = {2},
                       number = {3},
                    publisher = {Springer}
}

@conference{3060,
    month                     = {May},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{T}he {S}cholarship of {C}ockfighting},
    author                    = {Sally Fincher and Josh Tenenberg},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3060},
             publication_type = {conference},
                submission_id = {9171_1288532945},
                    booktitle = {The London Scholarship of Teaching and Learning (SoTL) 8th International Conference}
}

@article{3167,
    month                     = {March},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {The {T}wo {V}ariable {P}er {I}nequality {A}bstract {D}omain},
    author                    = {Axel Simon and Andy King and Jacob M. Howe},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {Note the Springer published the *wrong* version of this paper in HOSC and this on-line version of the paper should be taken as final.},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3167},
             publication_type = {article},
                submission_id = {26216_1316789595},
                      journal = {Higher-Order and Symbolic Computation},
                       volume = {31},
                       number = {1},
                    publisher = {Springer}
}

@inproceedings{3126,
    month                     = {March},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Efficient Detection of Errors in Java Components Using Random Environment and Restarts},
    author                    = {Pavel Parizek and Tomas Kalibera},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1007/978-3-642-12002-2_37},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3126},
             publication_type = {inproceedings},
                submission_id = {6907_1308766670},
                         ISBN = {978-3-642-12001-5},
                    booktitle = {Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
                    publisher = {Springer},
                     refereed = {yes}
}

@inproceedings{3043,
    month                     = {September},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{Euler Graph Transformations for Euler Diagram Layout}},
    author                    = {Peter Rodgers and Gem Stapleton and John Howse and Leishi Zhang},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3043},
             publication_type = {inproceedings},
                submission_id = {12989_1285079674},
                         ISBN = {978-0-7695-4206-5},
                    booktitle = {IEEE Symposium on Visual Languages and Human Centric Computing 2010},
                       editor = {Christopher Hundhausen and Emmanuel Pietriga and Paloma Diaz and Mary Beth Rosson},
                 organization = {IEEE},
                    publisher = {IEEE},
                     refereed = {yes}
}

@inproceedings{2981,
    month                     = {June},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Stochasticity and robustness in bi-stable systems},
    author                    = {Nicolae Radu Zabet and Dominique F. Chu},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5518099&isnumber=5514659},
    doi                       = {10.1109/ICBBE.2010.5518099},
    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}
}

@techreport{2993,
    month                     = {March},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Geometric Differential Evolution for Combinatorial and Programs Spaces},
    author                    = {Alberto Moraglio and Julian Togelius and Sara Silva},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2993},
             publication_type = {techreport},
                submission_id = {16088_1269944025},
                  institution = {School of Computing, University of Kent},
                       number = {1-10},
                      address = {University of Kent, Canterbury, Kent CT9 7NF, UK}
}

@article{2969,
    month                     = {June},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Computational limits to binary genes},
    author                    = {Nicolae Radu Zabet and Dominique F. Chu},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1098/rsif.2009.0474},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2969},
             publication_type = {article},
                submission_id = {1281_1260891902},
                      journal = {J. R. Soc. Interface},
                    publisher = {The Royal Society},
                       volume = {7}
}

@article{3065,
    month                     = {April},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Santa Claus: Formal analysis of a process-oriented solution.},
    author                    = {Peter H. Welch and Jan B. Pedersen},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1734206.1734211},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3065},
             publication_type = {article},
                submission_id = {11019_1289238674},
                      journal = {ACM Transactions on Programming Languages and Systems},
                       volume = {32},
                       number = {4},
                    publisher = {Association for Computing Machinery}
}

@inproceedings{3042,
    month                     = {September},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{QuickChecking Refactoring Tools}},
    author                    = {Daniel Drienyovszky and Daniel Horpacsi and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3042},
             publication_type = {inproceedings},
                submission_id = {27530_1284468020},
                         ISBN = {978-1-4503-0253-1},
                    booktitle = {Erlang’10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop},
                       editor = {Scott Lystig Fritchie and Konstantinos Sagonas},
                    publisher = {ACM SIGPLAN},
                     refereed = {yes}
}

@inproceedings{3124,
    month                     = {August},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Developing safety critical Java applications with oSCJ/L0},
    author                    = {Ales Plsek and Lei Zhao and Veysel H. Sahin and Daniel Tang and Tomas Kalibera and Jan Vitek},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1850771.1850786},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3124},
             publication_type = {inproceedings},
                submission_id = {6323_1308765597},
                         ISBN = {978-1-4503-0122-0},
                    booktitle = {Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES)},
                    publisher = {ACM},
                     refereed = {yes}
}

@book{2999,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Automating the design of data mining algorithms: an evolutionary computation approach},
    author                    = {G.L. Pappa and A.A. Freitas},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2999},
             publication_type = {book},
                submission_id = {20629_1270465783},
                         ISBN = {978-3-642-02540-2},
                    publisher = {Springer},
                       series = {Natural Computing Series}
}

@inproceedings{3019,
    month                     = {July},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{ME-CGP}: Multi Expression {C}artesian Genetic Programming.},
    author                    = {Phil T. Cattani and Colin G. Johnson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3019},
             publication_type = {inproceedings},
                submission_id = {775_1277419828},
                    booktitle = {Proceedings of the 2010 IEEE World Congress on Computational Intelligence},
                     refereed = {yes}
}

@phdthesis{3147,
    month                     = {October},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Towards Modular, Scalable and Optimal Design of Transcriptional Logic Systems},
    author                    = {Nicolae Radu Zabet},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3147},
             publication_type = {phdthesis},
                submission_id = {10405_1312551056},
                       school = {Computing},
                      address = {University of Kent, CT2 7NF},
                    publisher = {University of Kent}
}

@inproceedings{3176,
    month                     = {September},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {The ACO Encoding},
    author                    = {A. Moraglio and F.E.B. Otero and C.G. Johnson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3176},
             publication_type = {inproceedings},
                submission_id = {21661_1320058600},
                    booktitle = {Swarm Intelligence - 7th International Conference (ANTS 2010)},
                       editor = {M. Dorigo et al.},
                       series = {Lecture Notes in Computer Science 6234}
}

@inproceedings{2966,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Automatic {A}bstraction for {C}ongruences},
    author                    = {Andy King and Harald S{o}ndergaard},
    keywords                  = {determinacy analysis, Craig interpolants},
    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}
}

@book{3002,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{I}ntroduction to {P}rogramming with {G}reenfoot - {O}bject-{O}riented {P}rogramming in {J}ava with {G}ames and {S}imulations},
    author                    = {Michael Kölling},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3002},
             publication_type = {book},
                submission_id = {11594_1270827822},
                         ISBN = {0-13-603753-4},
                    publisher = {Pearson Education},
                      edition = {1st}
}

@article{3010,
    month                     = {May},
    year                      = {2010},
    pages                     = {182-196},
    title                     = { Modeling fimbriae mediated parasite-host interactions},
    author                    = {D. Chu and D. Barnes},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1016/j.jtbi.2010.03.037},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3010},
             publication_type = {article},
                submission_id = {6575_1274602493},
                      journal = {Journal of Theoretical Biology},
                       volume = {264},
                       number = {4},
                    publisher = {Elsevier}
}

@inproceedings{3013,
    month                     = {June},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {The Economics of Garbage Collection},
    author                    = {Jeremy Singer and Richard Jones},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1806651.1806669},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3013},
             publication_type = {inproceedings},
                submission_id = {8099_1276077049},
                         ISBN = {978-1-4503-0054-4},
                    booktitle = {Proceedings of the 2010 International Symposium on Memory Management},
                       editor = {Jan Vitek and Doug Lea},
                      address = {Toronto, Canada},
                    publisher = {ACM},
                     refereed = {yes}
}

@inproceedings{3034,
    month                     = {August},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{Fragments of Spider Diagrams of Order and their Relative Expressiveness}},
    author                    = {Aidan Delaney and Gem Stapleton and John Taylor and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1007/978-3-642-14600-8},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3034},
             publication_type = {inproceedings},
                submission_id = {2982_1281951859},
                    booktitle = {Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010},
                       editor = {Ashok K. Goel and Mateja Jamnik and N. Hari Narayanan},
                       volume = {6170},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer},
                     refereed = {yes}
}

@inproceedings{2990,
    month                     = {August},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{Drawing Euler Diagrams with Circles}},
    author                    = {Gem Stapleton and Leishi Zhang and John Howse and Peter Rodgers},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2990},
             publication_type = {inproceedings},
                submission_id = {26810_1269875493},
                    booktitle = {Diagrams 2010},
                    publisher = {Springer},
                     refereed = {yes},
                       series = {LNCS (LNAI) 6170}
}

@article{3029,
    month                     = {April},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Grounding Information Security in Healthcare},
    author                    = {Ana Ferreira and Luis Antunes and David Chadwick and Ricardo Correi},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1016/j.ijmedinf.2010.01.009},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3029},
             publication_type = {article},
                submission_id = {282_1280840829},
                      journal = {International Journal of Medical Informatics},
                       volume = {79},
                       number = {4}
}

@inproceedings{2992,
    month                     = {March},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {A Transactional Architecture for Simulation},
    author                    = {Tim Hoverd and Adam T. Sampson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2992},
             publication_type = {inproceedings},
                submission_id = {6548_1269889690},
                         ISBN = {978-0-7695-4015-3},
                    booktitle = {ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems},
                       editor = {Radu Calinescu and Richard Paige and Marta Kwiatkowska},
                    publisher = {IEEE Press},
                     refereed = {yes}
}

@article{2986,
    month                     = {March},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {PUX: Patterns of User Experience},
    author                    = {Alan Blackwell and Sally Fincher},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1699775.1699782},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2986},
             publication_type = {article},
                submission_id = {3238_1268919924},
                      journal = {Inteactions},
                       volume = {XVII},
                       number = {2},
                    publisher = {ACM}
}

@inproceedings{3061,
    month                     = {August},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Repositories of teaching material and communities of use: {n}ifty {a}ssignments and the {g}reenroom},
    author                    = {Sally Fincher and Michael Kölling and Ian Utting and Neil Brown and Phil Stevens},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3061},
             publication_type = {inproceedings},
                submission_id = {8853_1288532383},
                    booktitle = {Proceedings of the Sixth international workshop on Computing education research},
                 organization = {ACM SIGCSE}
}

@article{3091,
    month                     = {September},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Aspects of {CXXR} Internals},
    author                    = {Andrew R. Runnalls},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {Based on a paper delivered at the Directions in Statistical Computing conference (DSC2009), Copenhagen, 2009.},
    doi                       = {10.1007/s00180-010-0218-0},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3091},
             publication_type = {article},
                submission_id = {26404_1300706221},
                         ISSN = {0943-4062},
                      journal = {Computational Statistics},
                    publisher = {Springer Verlag}
}

@inproceedings{3052,
    month                     = {July},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Knowledge discovery with artificial immune systems for hierarchical multi-label classification of protein functions},
    author                    = {R.T. Alves and M.R. Delgado and A.A. Freitas},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3052},
             publication_type = {inproceedings},
                submission_id = {8844_1287501168},
                         ISBN = {1-4244-6920-8},
                    booktitle = {Proceedings of the 2010 World Congress on Computational Intelligence (WCII/FUZZ-IEEE 2010)},
                       editor = {P. Sobrevilla and J. Aranda and S. Xambo},
                     refereed = {yes}
}

@article{3070,
    month                     = {November},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {The {G}reenfoot {P}rogramming {E}nvironment},
    author                    = {Michael Kölling},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1868358.1868361},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3070},
             publication_type = {article},
                submission_id = {18667_1291209909},
                         ISSN = {1946-6226},
                      journal = {ACM Transactions on Computing Education (TOCE)},
                       volume = {10},
                       number = {4},
                    publisher = {ACM}
}

@incollection{3105,
    month                     = {July},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Creating rule ensembles from automatically-evolved rule induction algorithms},
    author                    = {G.L. Pappa and A.A. Freitas},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1007/978-3-642-05177-7},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3105},
             publication_type = {incollection},
                submission_id = {24508_1303142855},
                         ISBN = {978-3-642-05176-0},
                    booktitle = {Advances in Machine Learning I: Dedicated to the memory of Prof. Ryszard S. Michalski},
                    publisher = {Springer}
}

@article{3023,
    month                     = {December},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Incompleteness of Relational Simulations in the Blocking Paradigm},
    author                    = {Eerke Boiten and John Derrick},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1016/j.scico.2010.07.003},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3023},
                       volume = {75},
                        issue = {12},
             publication_type = {article},
                submission_id = {8393_1279836528},
                         ISSN = {0167-6423},
                      journal = {Science of Computer Programming}
}

@inproceedings{3009,
    month                     = {May},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{An Expression Processor: A Case Study in Refactoring Haskell Programs}},
    author                    = {Christopher Brown and Huiqing Li and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3009},
             publication_type = {inproceedings},
                submission_id = {2225_1273563871},
                    booktitle = {Eleventh Symposium on Trends in Functional Programming},
                       editor = {Rex Page},
                     refereed = {preliminary refereeing}
}

@inproceedings{3039,
    month                     = {September},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{Improved Testing Through Refactoring: Experience from the ProTest project}},
    author                    = {Huiqing Li and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3039},
             publication_type = {inproceedings},
                submission_id = {26297_1284465911},
                         ISBN = {978-3-642-15584-0},
                    booktitle = {Testing - Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010},
                       editor = {Leonardo Bottaci and Gordon Fraser},
                       volume = {6303},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer},
                     refereed = {yes}
}

@article{3000,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Motivating programmers via an online community},
    author                    = {Poul Henriksen and Michael Kölling and Davin McCall},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3000},
             publication_type = {article},
                submission_id = {3176_1270734563},
                         ISSN = {1937-4771},
                      journal = {Journal of Computing Sciences in Colleges},
                       volume = {25},
                       number = {3},
                    publisher = {Consortium for Computing Sciences in Colleges, USA}
}

@inproceedings{3037,
    month                     = {July},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Infinitary Rewriting: Foundations Revisited},
    author                    = {Stefan Kahrs},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.4230/LIPIcs.RTA.2010.161},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3037},
             publication_type = {inproceedings},
                submission_id = {15395_1283783913},
                         ISBN = {978-3-939897-18-7},
                    booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications},
                       editor = {Christopher Lynch},
                       volume = {6},
                       series = {Leibniz International Proceedings in Informatics (LIPIcs)},
                      address = {Dagstuhl, Germany},
                    publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
                         ISSN = {1868-8969},
                     refereed = {yes}
}

@inproceedings{3069,
    month                     = {November},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Erlang Behaviours: Programming With Process Design Patterns},
    author                    = {Francesco Cesarini and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3069},
             publication_type = {inproceedings},
                submission_id = {29101_1289942319},
                    booktitle = {Central European Functional Programming School, CEFP 2009},
                       editor = {Zoltán Horváth and Rinus Plasmeijer and Vikória Zóka},
                       volume = {6299},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer},
                     refereed = {yes}
}

@book{3045,
    month                     = {August},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Introduction to Modeling for Biosciences},
    author                    = {David J. Barnes and Dominique Chu},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3045},
             publication_type = {book},
                submission_id = {17664_1286452156},
                         ISBN = {978-1849963251},
                    publisher = {Springer}
}

@conference{2974,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Security specification: completeness, feasibility, refinement},
    author                    = {Eerke A. Boiten},
    keywords                  = {determinacy analysis, Craig interpolants},
    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{3125,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Challenge benchmarks for verification of real-time programs},
    author                    = {Tomas Kalibera and Pavel Parizek and Ghaith Haddad and Gary T. Leavens and Jan Vitek},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1707790.1707800},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3125},
             publication_type = {inproceedings},
                submission_id = {6629_1308766093},
                         ISBN = {978-1-60558-890-2},
                    booktitle = {Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification (PLPV)},
                    publisher = {ACM},
                     refereed = {yes}
}

@inproceedings{2987,
    month                     = {July},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{T}he {E}ffect of {L}evel of {R}ationality on {M}acro-{A}ctivities of the {L}ucas-{I}sland {M}odel},
    author                    = {Ahmed Okasha and Colin G. Johnson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2987},
             publication_type = {inproceedings},
                submission_id = {22631_1269450406},
                    booktitle = {2010 IEEE Congress on Evolutionary Computation },
                    publisher = {IEEE Press}
}

@article{3028,
    month                     = {February},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {A Privacy Preserving Attribute Aggregation Model for Federated Identity Managements Systems},
    author                    = {George Inman and David Chadwick},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {Available from http://www.upgrade-cepis.org/issues/2010/1/upgrade-vol-XI-1.pdf},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3028},
             publication_type = {article},
                submission_id = {28007_1280840270},
                      journal = {Upgrade},
                       volume = {XI},
                       number = {1},
                    publisher = {Privacy and Identity Management}
}

@inproceedings{3012,
    month                     = {June},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {The Locality of Concurrent Write Barriers},
    author                    = {Laurence Hellyer and Richard Jones and Antony Hosking},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {The full technical report can be found at http://www.cs.kent.ac.uk/pubs/2010/3011/.},
    doi                       = {10.1145/1806651.1806666},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3012},
             publication_type = {inproceedings},
                submission_id = {6241_1276076088},
                         ISBN = {978-1-4503-0054-4},
                    booktitle = {Proceedings of the 2010 International Symposium on Memory Management},
                       editor = {Jan Vitek and Doug Lea},
                      address = {Toronto, Canada},
                    publisher = {ACM},
                     refereed = {yes}
}

@phdthesis{3078,
    month                     = {October},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Modelling Access Control for Healthcare Information Systems:How to control access through policies, human processes and legislation},
    author                    = {Ana Ferreira},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3078},
             publication_type = {phdthesis},
                submission_id = {26368_1294927361},
                       school = {Computing},
                      address = {University of Kent, CT2 7NF},
                    publisher = {University of Kent}
}

@techreport{3055,
    month                     = {October},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Regular expression matching using associative memory},
    author                    = {Gerald Tripp},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3055},
             publication_type = {techreport},
                submission_id = {29377_1288276523},
                  institution = {School of Computing, University of Kent.},
                         type = {Technical Report},
                       number = {4-10},
                      address = {Canterbury, Kent. CT2 7NF. UK.}
}

@inproceedings{3040,
    month                     = {September},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{Refactoring Support for Modularity Maintenance in Erlang}},
    author                    = {Huiqing Li and SImon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3040},
             publication_type = {inproceedings},
                submission_id = {26538_1284466388},
                         ISBN = {978-0-7695-4178-5},
                    booktitle = {Tenth IEEE International Working Conference on Source Code Analysis and Manipulation},
                       editor = {Jurgen Vunju and Cristina Marinescu},
                    publisher = {IEEE Computer Society},
                     refereed = {yes}
}

@article{3071,
    month                     = {November},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{A}lice, {G}reenfoot, and {S}cratch – {A} {D}iscussion},
    author                    = {Ian Utting and Stephen Cooper and Michael Kölling and John Maloney and Mitchel Resnick},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1868358.1868364},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3071},
             publication_type = {article},
                submission_id = {18875_1291210277},
                         ISSN = {1946-6226},
                      journal = {ACM Transactions on Computing Education (TOCE)},
                       volume = {10},
                       number = {4},
                    publisher = {ACM}
}

@article{3097,
    month                     = {November},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Machines for {T}hinking},
    author                    = {Sally Fincher and Ian Utting},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1868358.1868360},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3097},
             publication_type = {article},
                submission_id = {9376_1301992631},
                      journal = {ACM Transactions on Computing Education (TOCE)},
                       volume = {10},
                       number = {4},
                    publisher = {ACM}
}

@inproceedings{3022,
    month                     = {July},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Infinitary Rewriting: Foundations Revisited},
    author                    = {Stefan Kahrs},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3022},
             publication_type = {inproceedings},
                submission_id = {24768_1279195559},
                         ISBN = {978-3-939897-18-7},
                    booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications},
                       editor = {Christopher Lynch},
                       volume = {6},
                       series = {Leibniz International Proceedings in Informatics (LIPIcs)},
                      address = {Dagstuhl, Germany},
                    publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
                         ISSN = {1868-8969},
                     refereed = {Yes}
}

@inproceedings{3049,
    month                     = {October},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{Recognizing Sketches of Euler Diagrams Drawn with Ellipses}},
    author                    = {Aidan Delaney and Beryl Plimmer and Gem Stapleton and Peter Rodgers},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3049},
             publication_type = {inproceedings},
                submission_id = {18562_1287742688},
                       volume = {16},
                       series = {International Conference on Distributed Multimedia Systems},
                     refereed = {yes}
}

@inproceedings{3033,
    month                     = {March},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {HITPROTO: a Tool for the Rapid Prototyping of Haptic Interactions for Haptic Data Visualization},
    author                    = {Sabrina Paneels and Jonathan C. Roberts and Peter J. Rodgers},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1109/HAPTIC.2010.5444647 },
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3033},
             publication_type = {inproceedings},
                submission_id = {16187_1280940531},
                         ISBN = {978-1-4244-6821-8 },
                    booktitle = {Haptics Symposium},
                    publisher = {IEEE Computer Society Press}
}

@inproceedings{2991,
    month                     = {March},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Reflections on the Simulation of Complex Systems for Science},
    author                    = {Fiona A. C. Polack and Paul S. Andrews and Teodor Ghetiu and Mark Read and Susan Stepney and Jon Timmis and Adam T. Sampson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/2991},
             publication_type = {inproceedings},
                submission_id = {6373_1269889425},
                         ISBN = {978-0-7695-4015-3},
                    booktitle = {ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems},
                       editor = {Radu Calinescu and Richard Paige and Marta Kwiatkowska},
                    publisher = {IEEE Press},
                     refereed = {yes}
}

@article{3068,
    month                     = {March},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{A}lting {B}arriers: {S}ynchronisation with {C}hoice in {J}ava using {JCSP}},
    author                    = { Peter H. Welch and Neil C. C. Brown and James Moores and Kevin Chalmers and Bernhard H. C. Sputh},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = { The DOI should redirect to http://onlinelibrary.wiley.com.chain.kent.ac.uk/doi/10.1002/cpe.1471/abstract  .},
    doi                       = {10.1002/cpe.1471},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3068},
             publication_type = {article},
                submission_id = {5095_1289406062},
                      journal = {Concurrency and Computation: Practice and Experience},
                       volume = {22},
                    publisher = {Wiley InterScience}
}

@article{3104,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Modularity of Convergence and Strong Convergence in Infinitary Rewriting},
    author                    = {Stefan Kahrs},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.2168/LMCS-6(3:18)2010},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3104},
             publication_type = {article},
                submission_id = {18852_1303132279},
                      journal = {Logical Methods in Computer Science},
                       volume = {6},
                       number = {3}
}

@inproceedings{2975,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {{Similar Code Detection and Elimination for Erlang Programs}},
    author                    = {Huiqing Li and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    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}
}

@inproceedings{3006,
    month                     = {March},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Evolutionary model tree induction},
    author                    = {R.C. Barros and M.P. Basgalupp and D.D. Ruiz and A.C.P.L.F. de Carvalho and A.A. Freitas},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3006},
             publication_type = {inproceedings},
                submission_id = {29210_1271681108},
                         ISBN = {9781605586380},
                    booktitle = {Applied Computing 2010: Proc. 25th Annual ACM Symposium on Applied Computing (SAC-2010)},
                       editor = {D. Shin},
                       volume = {Vol. 2},
                    publisher = {ACM Press},
                     refereed = {yes}
}

@article{3038,
    month                     = {September},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {Nav++: VANET Traffic Detection and Dissemination using Mobile Agents},
    author                    = {Mariusz Saternus and Gareth Owen},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3038},
             publication_type = {article},
                submission_id = {26601_1283956906},
                      journal = {International Journal of Latest Trends in Computing},
                       volume = {1},
                       number = {1},
                    publisher = {Sprinter Global}
}

@article{3106,
    month                     = {January},
    year                      = {2010},
    pages                     = {182-196},
    title                     = {On the importance of comprehensible classification models for protein function prediction},
    author                    = {A.A. Freitas and D.C. Wieser and R. Apweiler},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1109/TCBB.2008.47},
    url                       = {http://www.cs.kent.ac.uk/pubs/2010/3106},
             publication_type = {article},
                submission_id = {24764_1303143270},
                         ISSN = {1545-5963},
                      journal = {IEEE/ACM Trans. on Computational Biology and Bioinformatics},
                       volume = {7},
                       number = {1}
}

@article{3163,
    month                     = {September},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A genetic programming method for protein motif discovery and protein classification},
    author                    = {D.F. Tsunoda and A.A. Freitas and H.S. Lopes},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1007/s00500-010-0624-9},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3163},
             publication_type = {article},
                submission_id = {25869_1316451502},
                         ISSN = {1432-7643},
                      journal = {Soft Computing},
                       volume = {15},
                       number = {10},
                    publisher = {Springer}
}

@book{3185,
    month                     = {July},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Haskell: the craft of functional programming },
    author                    = {Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {More information at www.haskellcraft.com},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3185},
             publication_type = {book},
                submission_id = {8628_1322148259},
                         ISBN = {978-0-201-88295-7},
                    publisher = {Addison-Wesley},
                      edition = {third}
}

@inproceedings{3149,
    month                     = {July},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A hierarchical approach to represent relational data applied to clustering tasks},
    author                    = {J.C. Xavier and A.M.P. Canuto and A.A. Freitas and L.M.G. Goncalves and C.N. Silla J.},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3149},
             publication_type = {inproceedings},
                submission_id = {29638_1313400069},
                         ISBN = {978-1-4244-9636-5},
                    booktitle = {Proceedings of the 2011 International Joint Conference on Neural Networks},
                    publisher = {IEEE Press},
                     refereed = {yes}
}

@article{3200,
    month                     = {December},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Motivating All our Students?},
    author                    = {J Carter and D Bouvier and R Cardell-Oliver and M Hamilton and S Kurkovsky and S Markham and OW McClung and R McDermott and C Riedesel and J Shi and S White},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3200},
             publication_type = {article},
                submission_id = {3859_1328025065},
                         ISSN = {978-1-4503-1146-5},
                      journal = {2011 SIGCSE conference proceedings and publications},
                       volume = {43},
                    publisher = {ACM}
}

@article{3157,
    month                     = {December},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A General Method for Drawing Area-Proportional Euler Diagrams},
    author                    = {Gem Stapleton and Peter Rodgers and John Howse},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {In press, available online.},
    doi                       = {10.1016/j.jvlc.2011.07.001},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3157},
             publication_type = {article},
                submission_id = {5092_1315564544},
                      journal = {Journal of Visual Languages and Computing},
                    publisher = {Elsevier},
                       volume = {22},
                       number = {6}
}

@article{3100,
    month                     = {April},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Representing practice: practice models, patterns, bundles … },
    author                    = {Isobel Falconer and Janet Finlay and Sally Fincher},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3100},
             publication_type = {article},
                submission_id = {7948_1302790404},
                      journal = {Learning, Media and Technology},
                       volume = {36},
                       number = {2}
}

@article{3205,
    month                     = {August},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Attentional Episodes in Visual Perception},
    author                    = {B. Wyble  and M.  Potter and H. Bowman and M. Nieuwenstein},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1037/a0023612},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3205},
             publication_type = {article},
                submission_id = {27454_1330361667},
                      journal = {Journal of Experimental Psychology: General},
                       volume = {140},
                       number = {3},
                    publisher = {American Psychological Association}
}

@article{3170,
    month                     = {October},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Improving lazy attribute selection},
    author                    = {R.B. Pereira and A. Plastino and B. Zadrozny and L.H.C. Merschmann and A.A. Freitas},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3170},
             publication_type = {article},
                submission_id = {3469_1318434160},
                         ISSN = {2178-7107},
                      journal = {Journal of Information and Data Management},
                       volume = {2},
                       number = {3},
                    publisher = {Sociedade Brasileira de Computacao}
}

@article{3160,
    month                     = {September},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A family of real-time {Java} benchmarks},
    author                    = {Tomas Kalibera and Jeff Hagelberg and Petr Maj and Filip Pizlo and Ben Titzer and Jan Vitek},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1002/cpe.1677},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3160},
             publication_type = {article},
                submission_id = {22084_1316263823},
                      journal = {Concurrency and Computation: Practice and Experience},
                       volume = {23},
                       number = {14}
}

@conference{3135,
    month                     = {June},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Relational Concurrent Refinement: Timed Refinement },
    author                    = {John Derrick and Eerke Boiten},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1007/978-3-642-21461-5_8},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3135},
             publication_type = {conference},
                submission_id = {28870_1309267090},
                         ISBN = {978-3-642-21460-8},
                    booktitle = {Formal Techniques for Distributed Systems},
                       editor = {Roberto Bruni and Juergen Dingel},
                       volume = {6722},
                       series = {Lecture Notes in Computer Science},
                      address = {Reykjavik},
                    publisher = {Springer},
                         ISSN = {0302-9743},
                     refereed = {yes}
}

@incollection{3178,
    month                     = {November},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {{Cooperative and Work-Integrated Education in Information Technology}},
    author                    = {Tony Clear and Gwyn Caxton and Simon Thompson and Sally Fincher},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3178},
             publication_type = {incollection},
                submission_id = {19703_1320510914},
                         ISBN = {978-0-615-51885-5},
                    booktitle = {Integrated Handbook for Cooperative and Work-Integrated Education},
                    publisher = {World Associate of Cooperative Education, Inc.},
                       editor = {Richard Coll and Karsten Zegwaard},
                      edition = {Second}
}

@inproceedings{3183,
    month                     = {August},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Multivariate Multiscale Entropy for Brain Consciousness Analysis},
    author                    = {M. U. Ahmed and L. Li and D. P. Mandic},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3183},
             publication_type = {inproceedings},
                submission_id = {279_1320791341},
                         ISBN = {9781424441228},
                    booktitle = {IEEE Engineering in Medicine and Biology Magazine (2011)},
                    publisher = {IEEE EMBS}
}

@misc{3119,
    month                     = {June},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {euler{APE}: {D}rawing {A}rea-{P}roportional {E}uler and {V}enn {D}iagrams using {E}llipses},
    author                    = {Luana Micallef and Peter Rodgers},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {A Java applet is available at http://www.eulerdiagrams.org/eulerAPE},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3119},
             publication_type = {misc},
                submission_id = {5999_1308358395},
                 howpublished = {Poster Session at the EMEA Google Scholars' Retreat 2011}
}

@article{3192,
    month                     = {December},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Multiple Pheromone Types and Other Extensions to the Ant-Miner Classification Rule Discovery Algorithm.},
    author                    = {K.M. Salama and A.M. Abdelbar and A.A. Freitas},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1007/s11721-011-0057-9},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3192},
             publication_type = {article},
                submission_id = {5707_1323778582},
                         ISSN = {1935-3812},
                      journal = {Swarm Intelligence},
                       volume = {5},
                       number = {3-4},
                    publisher = {Springer}
}

@inproceedings{3166,
    month                     = {September},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Drawing {E}uler Diagrams with Circles and Ellipses},
    author                    = {Gem Stapleton and Peter Rodgers},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3166},
             publication_type = {inproceedings},
                submission_id = {15450_1316688576},
                         ISBN = {978-1-4577-1244-9},
                       volume = {27},
                    publisher = {IEEE},
                     refereed = {yes},
                    booktitle = {{2011 IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC 2011)}}
}

@misc{3203,
    month                     = {February},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {{M}ethod of {C}reating a {P}resentation in {R}eal {T}ime},
    author                    = {Saurabh Kumar Panjwani and Kentaro Toyama and Karl Fenech and Luana Micallef and Natalie Linnell},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3203},
             publication_type = {misc},
                submission_id = {24297_1329612005},
                 howpublished = {Patent, US 2011/0029877 A1}
}

@incollection{3096,
    month                     = {March},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Useful Sharing},
    author                    = {Sally Fincher},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3096},
             publication_type = {incollection},
                submission_id = {8985_1301992248},
                         ISBN = {978-0-33-523741-8},
                    booktitle = {Inspiring Academics: Learning with the World's Great University Teachers},
                    publisher = {Open University Press},
                       editor = {Iain Hay},
                      chapter = {22}
}

@article{3110,
    month                     = {January},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A survey of hierarchical classification across different application domains},
    author                    = {C.N. Silla Jr. and A.A. Freitas},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1007/978-3-642-01799-5_19},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3110},
             publication_type = {article},
                submission_id = {4219_1305640795},
                         ISSN = {1384-5810},
                      journal = {Data Mining and Knowledge Discovery},
                       volume = {22},
                       number = {1-2}
}

@inproceedings{3174,
    month                     = {October},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Repeatability, Reproducibility and Rigor in Systems Research (Invited Paper)},
    author                    = {Jan Vitek and Tomas Kalibera},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/2038642.2038650},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3174},
             publication_type = {inproceedings},
                submission_id = {1039_1319756109},
                         ISBN = {978-1-4503-0714-7},
                    booktitle = {Proceedings of the 11th International Conference on Embedded Software (EMSOFT)},
                    publisher = {ACM},
                     refereed = {No}
}

@inproceedings{3117,
    month                     = {June},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Perspicuity and Granularity in Refinement},
    author                    = {E.A. Boiten},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.4204/EPTCS.55.10},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3117},
             publication_type = {inproceedings},
                submission_id = {19255_1308325438},
                    booktitle = {Proceedings 15th International Refinement Workshop},
                       editor = {J. Derrick and E.A. Boiten and S. Reeves},
                       volume = {55},
                       series = {Electronic Proceedings in Theoretical Computer Science},
                         ISSN = {2075-2180},
                     refereed = {yes}
}

@inproceedings{3156,
    month                     = {July},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Economic Utility Theory for Memory Management Optimization},
    author                    = {Jeremy Singer and Richard Jones},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {(Position paper)},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3156},
             publication_type = {inproceedings},
                submission_id = {704_1315412434},
                    booktitle = {Proceedings of the workshop on Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems },
                       editor = {Ian Rogers},
                    publisher = {ACM},
                     refereed = {yes}
}

@article{3162,
    month                     = {January},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {The role of tRNA and ribosome competition in coupling the expression of different mRNAs in Saccharomyces cerevisiae},
    author                    = {D. Chu and D. Barnes and T. von der Haar},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1093/nar/gkr300},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3162},
             publication_type = {article},
                submission_id = {25464_1316450512},
                         ISSN = {0305-1048},
                      journal = {Nucleic Acids Research},
                       volume = {15},
                       number = {39},
                    publisher = {Oxford Journals}
}

@article{3108,
    month                     = {July},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Red{A}lert: {D}eterminacy {I}nference for {P}rolog},
    author                    = {Jael Kriener and Andy King},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3108},
                       volume = {11},
                       number = {4-5},
             publication_type = {article},
                submission_id = {18724_1304501874},
                      journal = {Theory and Practice of Logic Programming},
                    publisher = {Cambridge University Press}
}

@inproceedings{3186,
    month                     = {September},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {{Extracting QuickCheck Specifications from EUnit Test Cases}},
    author                    = {Thomas Arts and Pablo Lamela Seijas and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3186},
             publication_type = {inproceedings},
                submission_id = {8814_1322148460},
                    booktitle = {Erlang Workshop 2011},
                       editor = {Kenji Rikitake and Erik Stenman},
                    publisher = {ACM Press},
                     refereed = {yes}
}

@article{3095,
    month                     = {March},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A {P}earl on {SAT} {S}olving in {P}rolog (extended abstract)},
    author                    = {Jacob M. Howe and Andy King},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3095},
             publication_type = {article},
                submission_id = {12098_1301911170},
                      journal = {Logic Programming Newsletter},
                       volume = {2011},
                       number = {3},
                    publisher = {Association of Logic Programming}
}

@techreport{3134,
    month                     = {June},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {StrictCheck: a Tool for Testing Whether a Function is Unnecessarily Strict},
    author                    = {Olaf Chitil},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3134},
             publication_type = {techreport},
                submission_id = {14268_1309194045},
                  institution = {University of Kent, School of Computing},
                       number = {2-11}
}

@techreport{3171,
    month                     = {October},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A {U}ser-extensible {R}efactoring {T}ool for {E}rlang {P}rograms},
    author                    = {Huiqing Li and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3171},
             publication_type = {techreport},
                submission_id = {6265_1318519600},
                  institution = {University of Kent},
                       number = {4-11}
}

@inproceedings{3204,
    month                     = {July},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Fortunate Conjunctions Revived: Feature Binding with the 2f-{ST}2 Model},
    author                    = {H. Bowman and B. Wyble and S. Chennu and P. Craston},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3204},
             publication_type = {inproceedings},
                submission_id = {26999_1330361268},
                    booktitle = {Proceedings of the 33rd Annual Conference of the Cognitive Science Society},
                    publisher = {Cognitive Science Society},
                     refereed = {Yes}
}

@inproceedings{3103,
    month                     = {March},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {The novice programmer's "device to think with"},
    author                    = {Shinners-Kennedy, Dermot and Barnes, David J.},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1953163.1953310},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3103},
             publication_type = {inproceedings},
                submission_id = {15467_1303125165},
                         ISBN = {978-1-4503-0500-6},
                    booktitle = {Proceedings of the 42nd ACM technical symposium on Computer science education},
                       series = {SIGCSE '11},
                      address = {New York, NY, USA},
                    publisher = {ACM},
                     refereed = {yes}
}

@inproceedings{3102,
    month                     = {January},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A Study of Loop Style and Abstraction in Pedagogic Practice},
    author                    = {David J. Barnes and Dermot Shinners-Kennedy},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3102},
             publication_type = {inproceedings},
                submission_id = {15160_1303124592},
                    booktitle = {13th Australasian Computer Education Conference (ACE 2011)},
                       editor = {J. Hamer and M. de Raadt},
                       volume = {114},
                       series = {Conferences in Research and Practice in Information Technology (CRPIT)},
                    publisher = {Australian Computer Society, Inc.},
                     refereed = {yes}
}

@inproceedings{3084,
    month                     = {April},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Approximate {Q}uantifier {E}limination for {P}ropositional {B}oolean {F}ormulae},
    author                    = {Jorg Brauer and Andy King},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3084},
             publication_type = {inproceedings},
                submission_id = {4158_1297856898},
                    booktitle = {Third NASA Formal Methods Symposium},
                       editor = {Mihaela Bobaru and Klaus Havelund and Gerard Holzmann and Rajeev Joshi },
                       volume = {6617},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer-Verlag},
                     refereed = {yes}
}

@article{3189,
    month                     = {November},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A Hardware Abstraction Layer in {Java}},
    author                    = {Martin Schoeberl and Stephan Korsholm and Tomas Kalibera and Anders P. Ravn},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/2043662.2043666},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3189},
             publication_type = {article},
                submission_id = {6999_1323100550},
                      journal = {ACM Transactions on Embedded Computing Systems},
                       volume = {10},
                       number = {4}
}

@article{3081,
    month                     = {January},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Optimal Parameter Settings for Information Processing in Gene Regulatory Networks},
    author                    = {Dominique F. Chu and Nicolae Radu Zabet and Andrew N. W. Hone},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1016/j.biosystems.2011.01.006},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3081},
             publication_type = {article},
                submission_id = {6525_1295974418},
                      journal = {BioSystems},
                    publisher = {Elsevier}
}

@article{3099,
    month                     = {January},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Complexity: Against Systems},
    author                    = {D. Chu},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {http://www.ncbi.nlm.nih.gov/pubmed/21287293 or http://www.springerlink.com/content/27558w337h671737/ (online first ahead of print)},
    doi                       = {10.1007/s12064-011-0121-4},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3099},
             publication_type = {article},
                submission_id = {27786_1302707500},
                         ISSN = {1431-7613},
                      journal = {Theory in Biosciences}
}

@techreport{3118,
    month                     = {June},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {{D}rawing {A}rea-{P}roportional {V}enn-3 {D}iagrams {U}sing {E}llipses},
    author                    = {Luana Micallef and Peter Rodgers},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {A Java applet is available at http://www.eulerdiagrams.org/eulerAPE},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3118},
             publication_type = {techreport},
                submission_id = {5518_1308357275},
                  institution = {School of Computing, University of Kent},
                       number = {TR-3-11},
                      address = {Canterbury, UK }
}

@book{3137,
    month                     = {July},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A Commons Leader's Vade Mecum},
    author                    = {Sally Fincher and Josh Tenenberg},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3137},
             publication_type = {book},
                submission_id = {7599_1311333236},
                         ISBN = {9 781902 671710},
                    publisher = {University of Kent Press}
}

@techreport{3172,
    month                     = {October},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A {D}omain-{S}pecific {L}anguage for  {S}cripting {R}efactorings in {E}rlang},
    author                    = {Huiqing Li and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3172},
             publication_type = {techreport},
                submission_id = {6599_1318520126},
                       number = {5-11}
}

@article{3158,
    month                     = {September},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Lazy Attribute selection: Choosing attributes at classification time.},
    author                    = {R.B. Pereira and A. Plastino and B. Zadrozny and L.H.C. Merschmann and A.A. Freitas},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3158},
             publication_type = {article},
                submission_id = {16950_1316106190},
                         ISSN = {1088467X},
                      journal = {Intelligent Data Analysis},
                       volume = {15},
                       number = {5},
                    publisher = {IOS Press}
}

@proceedings{3116,
    month                     = {June},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Proceedings 15th International Refinement Workshop},
    author                    = {},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.4204/EPTCS.55},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3116},
             publication_type = {proceedings},
                submission_id = {18404_1308323736},
                       editor = {J. Derrick and E.A. Boiten and S. Reeves},
                       volume = {55},
                       series = {Electronic Proceedings in Theoretical Computer Science},
                         ISSN = {2075-2180}
}

@inproceedings{3193,
    month                     = {December},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {{S}elf-{A}daptive {A}uthorization {F}ramework for {P}olicy {B}ased {RBAC}/{ABAC} {M}odels},
    author                    = {Christopher Bailey and David W. Chadwick and Rogério de Lemos},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1109/DASC.2011.31},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3193},
             publication_type = {inproceedings},
                submission_id = {21558_1324388064},
                    booktitle = {Proceedings of the 9th IEEE conference on Dependable, Autonomic and Secure Computing},
                    publisher = {IEEE}
}

@inproceedings{3072,
    month                     = {March},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Transfer {F}unction {S}ynthesis without {Q}uantifier {E}limination},
    author                    = {Jorg Brauer and Andy King},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3072},
             publication_type = {inproceedings},
                submission_id = {23676_1292418244},
                    booktitle = {Twentieth European Symposium on Programming},
                       editor = {Gilles Barthe},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer-Verlag},
                     refereed = {yes},
                       volume = {6602}
}

@article{2963,
    month                     = {January},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {{Automatic Metro Map Layout Using Multicriteria Optimization}},
    author                    = {Jonathan Stott and Peter Rodgers and  Juan Carlos Martinez-Ovando and Stephen G. Walker},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {The pdf contains both the main paper and the appendices.},
    doi                       = {10.1109/TVCG.2010.24},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/2963},
             publication_type = {article},
                submission_id = {9009_1256911357},
                      journal = {Transactions on Visualization and Computer Graphics},
                    publisher = {IEEE},
                       volume = {16},
                       number = {1}
}

@article{2959,
    month                     = {January},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {{Inductively Generating Euler Diagrams}},
    author                    = {Gem Stapleton and Peter Rodgers and John Howse and Leishi Zhang},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {The pdf contains both the main paper and the appendices.},
    doi                       = {10.1109/TVCG.2010.28},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/2959},
             publication_type = {article},
                submission_id = {19344_1255104850},
                      journal = {Transactions on Visualization and Computer Graphics},
                    publisher = {IEEE},
                       number = {1},
                       volume = {16}
}

@article{3190,
    month                     = {November},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Selecting different protein representations and classification algorithms in hierarchical protein function prediction},
    author                    = {C.N. Silla Jr. and A.A. Freitas},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.3233/IDA-2011-0505 },
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3190},
             publication_type = {article},
                submission_id = {13177_1323451343},
                         ISSN = {1088467X},
                      journal = {Intelligent Data Analysis},
                       volume = {15},
                       number = {6},
                    publisher = {IOS Press}
}

@inproceedings{3165,
    month                     = {August},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Recognising Sketches of {E}uler Diagrams Augmented with Graphs},
    author                    = {Gem Stapleton and Aidan Delaney and Peter Rodgers and Beryl Plimmer},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3165},
             publication_type = {inproceedings},
                submission_id = {28682_1316603883},
                    booktitle = {2011 International Workshop on Visual Languages and Computing},
                       volume = {17},
                       series = {International Conference on Distributed Multimedia Systems},
                     refereed = {yes}
}

@inproceedings{3087,
    month                     = {March},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {{Incremental Code Clone Detection and Elimination for Erlang Programs}},
    author                    = {Huiqing Li and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3087},
             publication_type = {inproceedings},
                submission_id = {23215_1299144069},
                    booktitle = {{Proceedings of the Conference on Fundamental Approaches to Software Engineering (FASE'11)}},
                       editor = {Dimitra Giannakopoulou and Fernando Orejas},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer},
                     refereed = {yes}
}

@book{3151,
    month                     = {September},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Building Enterprise Systems with ODP - An Introduction to Open Distributed Processing},
    author                    = {Linington, Peter F. and Milosevic, Zoran and Tanaka, Akira and Vallecillo, Antonio},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3151},
             publication_type = {book},
                submission_id = {1284_1315303135},
                         ISBN = {978-1-4398-6625-2},
                    publisher = {Chapman and Hall/CRC Press},
                       series = {Innovation in Software Engineering and Software Development}
}

@inproceedings{3094,
    month                     = {July},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Existential {Q}uantification as {I}ncremental {SAT}},
    author                    = {Jorg Brauer and Andy King and Jael Kriener},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3094},
             publication_type = {inproceedings},
                submission_id = {19108_1300882683},
                    booktitle = {Twenty Third International Conference on Computer Aided Verification},
                       editor = {Ganesh Gopalakrishnan and Shaz Qadeer},
                       series = {Lecture Notes in Computer Science},
                    publisher = {Springer-Verlag},
                     refereed = {yes}
}

@article{3077,
    month                     = {January},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {LAG: Achieving transparent access to legacy data by leveraging grid environment},
    author                    = {Yuhui Deng and Frank Wang},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1016/j.future.2010.07.004},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3077},
             publication_type = {article},
                submission_id = {8398_1294670531},
                      journal = {Future Generation Computer Systems},
                       volume = {Volume 27, Issue 1},
                    publisher = {Elsevier B.V}
}

@misc{3187,
    month                     = {October},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Erlang by Example},
    author                    = {Francesco Cesarini and Simon Thompson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {More details at http://shop.oreilly.com/product/0636920020240.do},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3187},
             publication_type = {misc},
                submission_id = {11096_1322150887},
                 howpublished = {Video}
}

@techreport{3107,
    month                     = {May},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Appendix for {R}ed{A}lert: {D}eterminacy {I}nference for {P}rolog},
    author                    = {Jael Kriener and Andy King},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {Refereed by ICLP 2011 reviewers},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3107},
             publication_type = {techreport},
                submission_id = {14507_1304493342},
                  institution = {University of Kent},
                         type = {Technical {R}eport},
                       number = {1-11},
                      address = {Canterbury, CT1 7NF, UK}
}

@article{2982,
    month                     = {July},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {{Drawing Euler Diagrams with Circles: The Theory of Piercings}},
    author                    = {Gem Stapleton and Leishi Zhang and John Howse and Peter Rodgers},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1109/TVCG.2010.119},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/2982},
             publication_type = {article},
                submission_id = {8018_1266937969},
                      journal = {IEEE Transactions on Visualization and Computer Graphics},
                    publisher = {IEEE},
                       number = {7},
                       volume = {17}
}

@inproceedings{3181,
    month                     = {May},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A collaborative filtering approach for quasi-brain-death {EEG} analysis},
    author                    = {Y. Xia and L.Li and J. Cao and M. Golz and D. P. Mandic},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1109/ICASSP.2011.5946486},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3181},
             publication_type = {inproceedings},
                submission_id = {5608_1320780477},
                         ISBN = {978-1-4577-0538-0},
                    booktitle = {Acoustics, Speech and Signal Processing (ICASSP), 2011 IEEE International Conference on},
                 organization = {IEEE Society},
                    publisher = {IEEE Press},
                         ISSN = {1520-6149}
}

@proceedings{3168,
    month                     = {September},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008; Hatfield, UK, September 2008; Revised Selected Papers},
    author                    = {},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3168},
             publication_type = {proceedings},
                submission_id = {27213_1317203000},
                       editor = {Sven-Bodo Scholz and Olaf Chitil},
                         ISBN = {978-3-642-24451-3},
                       series = {LNCS 5836},
                    publisher = {Springer-Verlag}
}

@article{3083,
    month                     = {January},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A data mining approach for classifying DNA repair genes into ageing-related or non-ageing-related},
    author                    = {A.A. Freitas and O. Vasieva and J.P. de Magalhaes},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1186/1471-2164-12-27},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3083},
             publication_type = {article},
                submission_id = {10592_1296480915},
                         ISSN = {1471-2164},
                      journal = {BMC Genomics},
                       volume = {12},
                       number = {27}
}

@article{3115,
    month                     = {June},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A hybrid data mining metaheuristic for the p-median problem},
    author                    = {A. Plastino and E.R. Fonseca and R. Fuchshuber and S.L. Martins and A.A. Freitas and M. Luis and S. Salhi.},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1002/sam.10116},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3115},
             publication_type = {article},
                submission_id = {19733_1307708572},
                         ISSN = {1932-1864},
                      journal = {Statistical Analysis and Data Mining},
                       volume = {4},
                       number = {3},
                    publisher = {Wiley-Blackwell}
}

@article{3206,
    month                     = {December},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Glancing and then looking: on the role of body, affect, and meaning in cognitive control},
    author                    = {Li Su and Howard Bowman and Philip Barnard},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.3389/fpsyg.2011.00348},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3206},
             publication_type = {article},
                submission_id = {3898_1330369762},
                      journal = {Frontiers in Cognition},
                       volume = {2},
                       number = {348},
                    publisher = {Frontiers}
}

@inproceedings{3093,
    month                     = {January},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A semantics for lazy assertions},
    author                    = {Olaf Chitil},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1929501.1929527},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3093},
             publication_type = {inproceedings},
                submission_id = {21629_1300723517},
                         ISBN = {978-1-4503-0485-6},
                    booktitle = {Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation},
                       series = {PEPM 2011},
                    publisher = {ACM}
}

@article{3148,
    month                     = {July},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {A review and appraisal of the DNA damage theory of ageing},
    author                    = {A.A. Freitas and J.P. de Magalhaes},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3148},
             publication_type = {article},
                submission_id = {1828_1312991428},
                         ISSN = {1383-5742},
                      journal = {Mutation Research},
                       volume = {728},
                       number = {1-2},
                    publisher = {Elsevier}
}

@article{3159,
    month                     = {September},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Replicating Real-time Garbage Collector},
    author                    = {Tomas Kalibera},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1002/cpe.1669},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3159},
             publication_type = {article},
                submission_id = {21131_1316261040},
                      journal = {Concurrency and Computation: Practice and Experience},
                       volume = {23},
                       number = {14}
}

@article{3169,
    month                     = {August},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Present perspectives on the automated classification of the G-Protein Coupled Receptors (GPCRs) at the Protein Sequence Level},
    author                    = {M.N. Davies and D.E. Gloriam and A. Secker and A.A. Freitas and J. Timmis and D.R.Flower.},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3169},
             publication_type = {article},
                submission_id = {11765_1317226926},
                         ISSN = {15680266},
                      journal = {Current Topics in Medicinal Chemistry},
                       volume = {11},
                       number = {15},
                    publisher = {Bentham Science Publishers}
}

@inproceedings{3173,
    month                     = {July},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Towards the automatic design of decision tree induction algorithms.},
    author                    = {R.C. Barros and A.C.P.L.F. de Carvalho and M.P. Basgalupp and A.A. Freitas.},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3173},
             publication_type = {inproceedings},
                submission_id = {29701_1318847945},
                         ISBN = {978-1-4503-0690-4},
                    booktitle = {Proceedings of the GECCO-2011 First Workshop on Evolutionary Algorithms for Evolving Generic Algorithms},
                    publisher = {ACM Press}
}

@article{3101,
    month                     = {September},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Preface: Selected papers of the {R}efinement {W}orkshop {T}urku (2008)},
    author                    = {E.A. Boiten and J. Derrick and G. Schellhorn},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1016/j.scico.2011.03.003},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3101},
             publication_type = {article},
                submission_id = {12323_1303118487},
                         ISSN = {0167-6423},
                      journal = {Science of Computer Programming},
                       volume = {76},
                       number = {9},
                    publisher = {Elsevier}
}

@article{3161,
    month                     = {August},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Scheduling real-time garbage collection on uniprocessors},
    author                    = {Tomas Kalibera and Filip Pizlo and Antony L. Hosking and Jan Vitek},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/2003690.2003692},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3161},
             publication_type = {article},
                submission_id = {22718_1316265473},
                      journal = {ACM Transactions on Computer Systems},
                       volume = {29},
                       number = {3}
}

@inproceedings{3086,
    month                     = {March},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {{Extracting Properties from Test Cases by Refactoring}},
    author                    = {Huiqing Li and Simon Thompson and Thomas Arts},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3086},
             publication_type = {inproceedings},
                submission_id = {22730_1299143418},
                    booktitle = {Proceedings of the Refactoring and Testing Workshop (RefTest 2011)},
                       editor = {Steve Counsell},
                    publisher = {IEEE digital library},
                     refereed = {yes}
}

@inproceedings{3182,
    month                     = {August},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Power Independent {EMG} Based Gesture Recognition for Robotics},
    author                    = {L. Li and D. Looney and C. Park and N. Rehman and D. P. Mandic},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3182},
             publication_type = {inproceedings},
                submission_id = {25367_1320791161},
                         ISBN = {9781424441228},
                    booktitle = {IEEE Engineering in Medicine and Biology Magazine (2011)},
                    publisher = {IEEE EMBS}
}

@inproceedings{3177,
    month                     = {April},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Implementing a data mining approach to episodic memory modelling for artificial companions},
    author                    = {M.U. Keysermann and A.A. Freitas and P.A. Vargas},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3177},
             publication_type = {inproceedings},
                submission_id = {21379_1320327823},
                         ISBN = {978-1-908187-04-8},
                    booktitle = {Proceedings of AISB’11: Human Memory for Artificial Agents},
                       editor = {D. Kazakov and G. Tsoulas},
                    publisher = {Society for the Study of Artificial Intelligence and the Simulation of Behaviour},
                     refereed = {yes}
}

@inproceedings{3209,
    month                     = {August},
    year                      = {2011},
    pages                     = {27-32},
    title                     = {Research design: necessary bricolage},
    author                    = {Sally Fincher and Josh Tenenberg and Anthony Robins},
    keywords                  = {},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3209},
             publication_type = {inproceedings},
                submission_id = {3676_1333443391},
                         ISBN = {978-1-4503-0829-8},
                       series = {ICER '11 Proceedings of the seventh international conference on Computing education research},
                 organization = {ACM}
}

@inproceedings{3122,
    month                     = {June},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Handles revisited: optimising performance and memory costs in a real-time collector},
    author                    = {Tomas Kalibera and Richard Jones},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1145/1993478.1993492},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3122},
             publication_type = {inproceedings},
                submission_id = {656_1308754301},
                         ISBN = {978-1-4503-0263-0},
                    booktitle = {Proceedings of the 10th International Symposium on Memory Management (ISMM)},
                    publisher = {ACM},
                     refereed = {yes}
}

@article{3191,
    month                     = {November},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Adapting non-hierarchical multilabel classification methods for hierarchical multilabel classification},
    author                    = {R. Cerri and A.C.P.L.F. de Carvalho and A.A. Freitas},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3191},
             publication_type = {article},
                submission_id = {12769_1323450703},
                         ISSN = {1088467X},
                      journal = {Intelligent Data Analysis},
                       volume = {15},
                       number = {6},
                    publisher = {IOS Press}
}

@inproceedings{3150,
    month                     = {July},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {Gesture-Based Input for Drawing Schematics on a Mobile Device},
    author                    = {Daniel Chivers and Peter Rodgers},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1109/IV.2011.50},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3150},
             publication_type = {inproceedings},
                submission_id = {4049_1313409084},
                         ISBN = {978-0-7695-4476-2},
                    booktitle = {Proceedings of the 15th International Conference on Information Visualization (IV11)},
                    publisher = {IEEE Computer Society}
}

@inproceedings{3164,
    month                     = {September},
    year                      = {2011},
    pages                     = {182-196},
    title                     = {{SketchSet:} Creating {E}uler diagrams using Pen or Mouse},
    author                    = {Mengdi Wang and Beryl Plimmer and Paul Schmieder and Gem Stapleton and Peter Rodgers and Aidan Delaney},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2011/3164},
             publication_type = {inproceedings},
                submission_id = {26417_1316503740},
                         ISBN = {978-1-4577-1244-9},
                    publisher = {IEEE},
                     refereed = {yes},
                    booktitle = {{2011 IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC 2011)}}
}

@article{3211,
    month                     = {June},
    year                      = {2012},
    pages                     = {163-193},
    title                     = {Automatically Drawing {E}uler Diagrams with Circles},
    author                    = {Gem Stapleton and Jean Flower and Peter Rodgers and John Howse},
    keywords                  = {Euler Diagrams, Venn Diagrams},
    note                      = {},
    doi                       = {10.1016/j.jvlc.2012.02.001},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3211},
             publication_type = {article},
                submission_id = {14652_1336142789},
                      journal = {Journal of Visual Languages and Computing},
                       volume = {23},
                       number = {3},
                    publisher = {Elsevier}
}

@inproceedings{3208,
    month                     = {March},
    year                      = {2012},
    pages                     = {15pp},
    title                     = {{A} {D}omain-{S}pecific {L}anguage for {S}cripting {R}efactorings in {E}rlang},
    author                    = {Huiqing Li and Simon Thompson},
    keywords                  = {Refactoring, DSL},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3208},
             publication_type = {inproceedings},
                submission_id = {10391_1333045052},
                    booktitle = {15th Fundamental Approaches to Software Engineering(FASE2012)},
                       editor = {Juan de Lara and Andrea Zisman},
                      address = {Tallinn, Estonia},
                    publisher = {Lecture Notes in Computer Science. Springer},
                     refereed = {yes}
}

@inproceedings{3196,
    month                     = {January},
    year                      = {2012},
    pages                     = {182-196},
    title                     = {Using Cloud Computing to Accelerate Large Spatial Data Sharing},
    author                    = {Jiyuan Li and Frank Z Wang and Lingkui Meng},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3196},
             publication_type = {inproceedings},
                submission_id = {6897_1326812516},
                       editor = {prof. Yan Yong},
                 organization = {University of Kent},
                    publisher = {University of Kent}
}

@article{3210,
    month                     = {June},
    year                      = {2012},
    pages                     = {727-740},
    title                     = {Multicore scheduling for lightweight communicating processes},
    author                    = {Carl G. Ritson and Adam T. Sampson and Frederick R.M. Barnes},
    keywords                  = {Concurrency, Multicore, Process-oriented, Scheduling},
    note                      = {},
    doi                       = {10.1016/j.scico.2011.04.006},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3210},
             publication_type = {article},
                submission_id = {12060_1336433330},
                         ISSN = {0167-6423},
                      journal = {Science of Computer Programming},
                       volume = {77},
                       number = {6},
                    publisher = {Elsevier}
}

@article{3179,
    month                     = {January},
    year                      = {2012},
    pages                     = {182-196},
    title                     = {Modelling of Brain Consciousness based on Collaborative Adaptive Filters},
    author                    = {L. Li and Y. Xia and B.Jelfs and J. Cao and D. P. Mandic},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1016/j.neucom.2011.05.038},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3179},
             publication_type = {article},
                submission_id = {4281_1320778757},
                      journal = {Neurocomputing},
                       volume = {76},
                       number = {1},
                    publisher = {Elsevier}
}

@inproceedings{3195,
    month                     = {January},
    year                      = {2012},
    pages                     = {182-196},
    title                     = {Benchmarking a non-relational database in a wireless environment},
    author                    = {Bin Ye and Jimmy Mian-Guan Lim and Frank Wang},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3195},
             publication_type = {inproceedings},
                submission_id = {5626_1326810977},
                 organization = {The University of Kent}
}

@inproceedings{3202,
    month                     = {April},
    year                      = {2012},
    pages                     = {182-196},
    title                     = {Evolving High-Level Imperative Program Trees with Strongly Formed Genetic Programming},
    author                    = {Tom Castle and Colin G. Johnson},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3202},
             publication_type = {inproceedings},
                submission_id = {17077_1329268215},
                    booktitle = {Proceedings of the 15th European Conference on Genetic Programming, EuroGP 2012},
                       editor = {Alberto Moraglio and Sara Silva and Krzysztof Krawiec and Penousal Machado and Carlos Cotta},
                       volume = {7244},
                       series = {LNCS},
                      address = {Malaga},
                    publisher = {Springer},
                     refereed = {yes}
}

@techreport{3207,
    month                     = {February},
    year                      = {2012},
    pages                     = {182-196},
    title                     = {Change Stories},
    author                    = {Sally Fincher and Janet Finlay and Helen Sharp and Isobel Falconer and Brad Richards},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3207},
                       number = {12-1},
             publication_type = {techreport},
                submission_id = {17571_1330454894}
}

@inproceedings{3213,
    month                     = {June},
    year                      = {2012},
    pages                     = {},
    title                     = {Evolving Program Trees with Limited Scope Variable Declarations},
    author                    = {Tom Castle and Colin G. Johnson},
    keywords                  = {genetic programming, imperative, sfgp, variables},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3213},
             publication_type = {inproceedings},
                submission_id = {18648_1336933382},
                    booktitle = {Proceedings of the 2012 IEEE Congress on Evolutionary Computation},
                      address = {Brisbane, Australia},
                    publisher = {IEEE Press},
                     refereed = {yes}
}

@inproceedings{3198,
    month                     = {January},
    year                      = {2012},
    pages                     = {182-196},
    title                     = {Quality Quantity and Repellent Scent Aware Artificial Bee Colony Algorithm for Clustering},
    author                    = {Unekwu Idachaba and Frank Wang},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3198},
             publication_type = {inproceedings},
                submission_id = {24062_1327337714},
                       editor = {Professor Yan Yong},
                 organization = {University of Kent},
                    publisher = {EDA}
}

@article{3194,
    month                     = {January},
    year                      = {2012},
    pages                     = {182-196},
    title                     = {Editorial: {S}pecial issue on {Refine} 2009},
    author                    = {Eerke Boiten and John Derrick and Jin Song Dong and Steve Reeves},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1007/s00165-011-0220-5},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3194},
             publication_type = {article},
                submission_id = {25000_1325755496},
                         ISSN = {0934-5043},
                      journal = {Formal Aspects of Computing},
                       volume = {24},
                       number = {1},
                    publisher = {Springer}
}

@article{3136,
    month                     = {June},
    year                      = {2012},
    pages                     = {43-55},
    title                     = {A {P}earl on {SAT} and {SMT} {S}olving in {P}rolog},
    author                    = {Jacob M. Howe and Andy King},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {Special Issue for the Tenth International Symposium on Functional and Logic Programming, edited by Matthias Blume and German Vidal},
    doi                       = {j.tcs.2012.02.024},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3136},
             publication_type = {article},
                submission_id = {25260_1310715765},
                         ISSN = {0304-3975},
                      journal = {Theoretical Computer Science},
                    publisher = {Elsevier},
                       volume = {435}
}

@inproceedings{3212,
    month                     = {July},
    year                      = {2012},
    pages                     = {},
    title                     = {Epoch{X}: Genetic Programming in {J}ava with Statistics and Event Monitoring},
    author                    = {Fernando E. B. Otero and Tom Castle and Colin G. Johnson},
    keywords                  = {epochx, genetic programming, framework, java, statistics},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3212},
             publication_type = {inproceedings},
                submission_id = {19709_1336934479},
                    booktitle = {Proceedings of the 2012 Genetic and Evolutionary Conference Companion (GECCO 2012)},
                      address = {Philadelphia},
                    publisher = {ACM Press},
                     refereed = {yes}
}

@inproceedings{3201,
    month                     = {May},
    year                      = {2012},
    pages                     = {182-196},
    title                     = {Mutual {E}xclusion by {I}nterpolation},
    author                    = {Jael Kriener and Andy King},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3201},
             publication_type = {inproceedings},
                submission_id = {26084_1328691067},
                    booktitle = {Eleventh International Symposium on Functional and Logic Programming},
                       editor = {Tom Schrijvers and Peter Thiemann},
                       series = {Lecture Notes in Computer Science},
                      address = {Kobe, Japan},
                    publisher = {Springer},
                     refereed = {yes},
                       volume = {7294}
}

@book{3154,
    month                     = {January},
    year                      = {2012},
    pages                     = {182-196},
    title                     = {The Garbage Collection Handbook: The Art of Automatic Memory Management},
    author                    = {Richard Jones and Antony Hosking and Eliot Moss},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3154},
             publication_type = {book},
                submission_id = {457_1315411961},
                         ISBN = {978-1-4200-8279-1},
                    publisher = {Chapman and Hall}
}

@article{3214,
    month                     = {March},
    year                      = {2012},
    pages                     = {217--221},
    title                     = {Book review: {Modeling in Event-B by Jean-Raymond Abrial}},
    author                    = {Eerke A. Boiten},
    keywords                  = {refinement, Event-B},
    note                      = {},
    doi                       = {10.1017/S0956796812000081},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3214},
             publication_type = {article},
                submission_id = {16296_1337168111},
                         ISSN = {0956-7968},
                      journal = {Journal of Functional Programming},
                       volume = {22},
                       number = {2},
                    publisher = {Cambridge University Press}
}

@inproceedings{3197,
    month                     = {January},
    year                      = {2012},
    pages                     = {182-196},
    title                     = {Automatic Association of Personal Documents on the Cloud},
    author                    = {Jimmy Mian-Guan Lim and Frank Wang},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3197},
             publication_type = {inproceedings},
                submission_id = {4254_1326809142},
                 organization = {University of Kent}
}

@article{3188,
    month                     = {January},
    year                      = {2012},
    pages                     = {182-196},
    title                     = {From {ODP} {V}iewpoint {C}onsistency to {I}ntegrated {F}ormal {M}ethods},
    author                    = {Eerke A. Boiten and John Derrick},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {},
    doi                       = {10.1016/j.csi.2011.10.015},
    url                       = {http://www.cs.kent.ac.uk/pubs/2012/3188},
             publication_type = {article},
                submission_id = {6126_1323099527},
                         ISSN = {0920-5489},
                      journal = {Computer Standards and Interfaces},
                    publisher = {Elsevier}
}

@article{3199,
    month                     = {July},
    year                      = {2013},
    pages                     = {182-196},
    title                     = {Programming errors in traversal programs over structured data},
    author                    = {Ralf Laemmel and Simon Thompson and Markus Kaiser},
    keywords                  = {determinacy analysis, Craig interpolants},
    note                      = {Available at http://arxiv.org/abs/1201.6057},
    doi                       = {},
    url                       = {http://www.cs.kent.ac.uk/pubs/2013/3199},
             publication_type = {article},
                submission_id = {17921_1328003577},
                         ISSN = {0167-6423},
                      journal = {Science of Computer Programming},
                       volume = {to appear},
                    publisher = {Elsevier}
}