@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{3240, month = {December}, year = {2010}, pages = {29-47}, title = {Motivating our top students}, author = {Janet Carter and Su White and Karen Fraser and Stanislav Kurkovsky and Colette McCreesh and Malcolm Wieck}, keywords = {motivation, teaching, programming}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2010/3240}, publication_type = {article}, submission_id = {29316_1343211067}, ISSN = {978-1-4503-0677-5}, journal = {ITiCSE-WGR '10: Proceedings of the 2010 ITiCSE working group reports}, publisher = {ACM} } @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}, ISSN = {1545-5963}, publication_type = {article}, submission_id = {24764_1303143270}, 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}, ISSN = {1432-7643}, journal = {Soft Computing}, volume = {15}, publication_type = {article}, submission_id = {25869_1316451502}, 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 = {Mosabber Uddin Ahmed and Ling Li and Jianting Cao and Danilo 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}, publisher = {IEEE EMBS}, booktitle = {Engineering in Medicine and Biology Society, EMBC, 2011 Annual International Conference of the IEEE} } @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} } @article{3226, month = {November}, year = {2011}, pages = {}, title = {A novel and versatile computational tool to model translation}, author = {Dominique Chu and Radu Zabet and Tobias von der Haar}, keywords = {}, note = {http://dx.doi.org/10.1093/bioinformatics/btr650}, doi = {10.1093/bioinformatics/btr650}, url = {http://www.cs.kent.ac.uk/pubs/2011/3226}, publication_type = {article}, submission_id = {9292_1339527339}, ISSN = {1367-4803}, journal = {Bioinformatics}, volume = {28}, number = {2}, publisher = {Oxford University Press} } @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{3235, month = {December}, year = {2011}, pages = {4}, title = {Delayed switching applied to memristor neural networks}, author = {Frank Z. Wang and Na Helian and Yike Guo and Sining Wu and Xiao Yang and Guan Lim and Md Mamunur Rashid}, keywords = {Delayed switching memristor neural network}, note = {}, doi = {10.1063/1.3672409}, url = {http://www.cs.kent.ac.uk/pubs/2011/3235}, publication_type = {article}, submission_id = {9796_1342535806}, ISSN = {1089-7550}, journal = {Journal of Applied Physics}, volume = {111}, number = {7}, publisher = {Journal of Applied Physics} } @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} } @inproceedings{3228, month = {November}, year = {2011}, pages = {560-563}, title = {Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions}, author = {Kristopher Welsh and Pete Sawyer and Nelly Bencomo}, keywords = {requirements awareness; self adaptive systems; goals; claims}, note = {}, doi = {10.1109/ASE.2011.6100125}, url = {http://www.cs.kent.ac.uk/pubs/2011/3228}, publication_type = {inproceedings}, submission_id = {22381_1339761560}, ISBN = {978-1-4577-1639-3}, booktitle = {26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)}, editor = {Perry Alexander and Corina Pasareanu and John Hosking}, publisher = {IEEE} } @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} } @incollection{3242, month = {December}, year = {2011}, pages = {27}, title = {Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems}, author = {H. Bowman and Su Li}, keywords = {Cognitive Neuroscience, Process Calculi, Neural Networks}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2011/3242}, publication_type = {incollection}, submission_id = {25918_1343675534}, booktitle = {Higher-Order Workshop on Automated Runtime Verification and Debugging, EasyChair Proceedings, Festschrift celebrating Howard Barringer's 60th Birthday}, publisher = {EasyChair}, editor = {Andrei Voronkov and Margarita Korovina}, volume = {1}, edition = {first edition} } @inproceedings{3182, month = {August}, year = {2011}, pages = {182-196}, title = {Power Independent {EMG} Based Gesture Recognition for Robotics}, author = {Ling Li and D. Looney and C. Park and N.U. 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}, publisher = {IEEE EMBS}, booktitle = {Engineering in Medicine and Biology Society, EMBC, 2011 Annual International Conference of the IEEE} } @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} } @article{3237, month = {April}, year = {2011}, pages = {30}, title = {What is the future of disk drives, death or rebirth?}, author = {Yuhui Deng}, keywords = {disk drive;storage;hybrid disk;solid state disk}, note = {}, doi = {10.1145/1922649.1922660}, url = {http://www.cs.kent.ac.uk/pubs/2011/3237}, publication_type = {article}, submission_id = {22180_1342542345}, journal = {ACM Computing Surveys (CSUR)}, volume = {43}, number = {3}, publisher = {ACM} } @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{3256, month = {November}, year = {2012}, pages = {3615-3626}, title = {Inducing decision trees with an ant colony optimization algorithm}, author = {F.E.B. Otero and A.A. Freitas and C.G. Johnson. }, keywords = {data mining, classification, swarm intelligence}, note = {}, doi = {10.1016/j.asoc.2012.05.028.}, url = {http://www.cs.kent.ac.uk/pubs/2012/3256}, publication_type = {article}, submission_id = {9096_1347380157}, ISSN = {1568-4946}, journal = {Applied Soft Computing}, volume = {12}, number = {11} } @article{3238, month = {July}, year = {2012}, pages = {37}, title = {Transfer {F}unction {S}ynthesis without {Q}uantifier {E}limination}, author = {J"{o}rg Brauer and Andy King}, keywords = {abstract interpretation, best transform, transfer functions, binary analysis}, note = {Available as http://arxiv.org/abs/1207.4286}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3238}, publication_type = {article}, submission_id = {110_1342688269}, journal = {Logical Methods in Computer Science}, volume = {8}, number = {2012} } @inproceedings{3239, month = {September}, year = {2012}, pages = {}, title = {Practical Typed Lazy Contracts}, author = {Olaf Chitil}, keywords = {purely functional, lazy, library, Haskell}, note = {Version with proof appendix and minor corrections.}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3239}, publication_type = {inproceedings}, submission_id = {16788_1343048070}, booktitle = {Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012)}, publisher = {ACM}, refereed = {yes} } @article{3241, month = {December}, year = {2012}, pages = {}, title = {{A}ssessing the {E}ffect of {V}isualizations on {B}ayesian {R}easoning {T}hrough {C}rowdsourcing}, author = {Luana Micallef and Pierre Dragicevic and Jean-Daniel Fekete}, keywords = {Bayesian reasoning, base rate fallacy, probabilistic judgment, Euler diagrams, glyphs, crowdsourcing}, note = {Refer to http://www.eulerdiagrams.org/eulerGlyphs. Received an Honorable Mention at VisWeek 2012}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3241}, publication_type = {article}, submission_id = {25460_1343674787}, journal = {IEEE Transactions on Visualization and Computer Graphics (Proceedings Scientific Visualization / Information Visualization 2012)}, volume = {18}, number = {12} } @inproceedings{3218, month = {June}, year = {2012}, pages = {32-39}, title = {Let's {M}ake {R}efactoring {T}ools {U}ser-extensible!}, author = {Huiqing Li and Simon Thompson}, keywords = {Refactoring, API, DSL, Wrangler}, note = {}, doi = {10.1145/2328876.2328881}, url = {http://www.cs.kent.ac.uk/pubs/2012/3218}, publication_type = {inproceedings}, submission_id = {26927_1339054469}, ISBN = {978-1-4503-1500-5}, booktitle = {The Fifth ACM Workshop on Refactoring Tools}, editor = {Peter Sommerlad}, refereed = {yes}, externalurl = {Available from ACM Digital Library} } @article{3251, month = {September}, year = {2012}, pages = {26}, title = {Relational Concurrent Refinement Part {III}: Traces, partial relations and automata}, author = {J. Derrick and E.A. Boiten}, keywords = {Data refinement, Z, simulations, automata-based refinements, concurrency, traces, completed traces, failures, failure traces, extension.}, note = {Accepted for publication.}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3251}, publication_type = {article}, submission_id = {14499_1345418883}, ISSN = {0934-5043}, journal = {Formal Aspects of Computing}, publisher = {Springer} } @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} } @misc{3234, month = {March}, year = {2012}, pages = {323-324}, title = {Building an Open, Large-Scale Research Data Repository of Initial Programming Student Behaviour}, author = {Michael Kölling and Ian Utting}, keywords = {education research, blackbox}, note = {Special session, Proceedings of SIGCSE 2012, Raleigh, NC, ISBN: 978-1-4503-1098-7}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3234}, publication_type = {misc}, submission_id = {6178_1341743928} } @article{3217, month = {April}, year = {2012}, pages = {1-27}, title = {{T}o {B}oldly {G}o: an occam-π mission to engineer emergence.}, author = {Peter H. Welch and Kurt Wallnau and Adam T. Sampson and Mark Klein}, keywords = {complex systems, emergent behaviour, emergent relations, emergent discovery, process orientation, mobile processes, occam-pi}, note = {[The PDF content here is the "accepted author's version" of the paper published by Springer. It is a prior draft of the official publication.]}, doi = {10.1007/s11047-012-9304-2}, url = {http://www.cs.kent.ac.uk/pubs/2012/3217}, publication_type = {article}, submission_id = {12412_1338548355}, ISSN = {1567-7818}, journal = {Natural Computing}, publisher = {Springer} } @techreport{3233, month = {June}, year = {2012}, pages = {55}, title = {Quantifying Performance Changes with Effect Size Confidence Intervals}, author = {Tomas Kalibera and Richard Jones}, keywords = {statistical methods, random effects, effect size}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3233}, publication_type = {techreport}, submission_id = {15418_1341314459}, institution = {University of Kent}, type = {Technical Report}, number = {4--12} } @article{3248, month = {October}, year = {2012}, pages = {711-720}, title = {The impact of training set data distributions for modelling of passive intestinal absorption.}, author = {T. Ghafourian and A.A. Freitas and D. Newby}, keywords = {pharmaceutical sciences, data mining, classification}, note = {}, doi = {10.1016/j.ijpharm.2012.07.041}, url = {http://www.cs.kent.ac.uk/pubs/2012/3248}, publication_type = {article}, submission_id = {16916_1344940751}, ISSN = {0378-5173}, journal = {International Journal of Pharmaceutics}, volume = {436}, number = {1-2}, publisher = {Elsevier} } @article{3245, month = {July}, year = {2012}, pages = {}, title = {Abstract {I}nterpretation of {M}icrocontroller {C}ode: {I}ntervals meet {C}ongruences}, author = {J"{o}rg Brauer and Andy King and Stefan Kowalewski}, keywords = {}, note = {}, doi = {10.1016/j.scico.2012.06.001}, url = {http://www.cs.kent.ac.uk/pubs/2012/3245}, publication_type = {article}, submission_id = {3943_1343824912}, journal = {Science of Computer Programming}, volume = {77}, publisher = {Elsevier} } @proceedings{3227, month = {July}, year = {2012}, pages = {}, title = {Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012}, author = {}, keywords = {diagrams}, note = {}, doi = {10.1007/978-3-642-31223-6}, url = {http://www.cs.kent.ac.uk/pubs/2012/3227}, publication_type = {proceedings}, submission_id = {29757_1339583735}, editor = {Philip Cox and Beryl Plimmer and Peter Rodgers}, ISBN = {978-3-642-31222-9}, volume = {7352}, series = {LNCS (LNAI)}, publisher = {Springer}, ISSN = {0302-9743} } @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} } @inbook{3255, month = {July}, year = {2012}, pages = {357-370}, title = {A beam search based decision tree induction algorithm}, author = {M.P. Basgalupp and R.C. Barros and A.C.P.L.F. de Carvalho and A.A. Freitas}, keywords = {classification, data mining, decision tree}, note = {}, doi = {10.4018/978-1-4666-1833-6.ch020}, url = {http://www.cs.kent.ac.uk/pubs/2012/3255}, publication_type = {inbook}, submission_id = {23798_1347361013}, ISBN = {978-1-4666-1835-0}, editor = {S. Kulkarni}, chapter = {20}, publisher = {IGI Global}, volume = {Machine Learning Algorithms for Problem Solving in Computational Applications: Intelligent Techniques} } @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} } @inproceedings{3230, month = {September}, year = {2012}, pages = {214-230}, title = {Loop {L}eaping with {C}losures}, author = {Sebastian Biallas and J"{o}rg Brauer and Andy King and Stefan Kowalewski}, keywords = {abstract interpretation, predicate abstraction, bottom-up, compositional analysis}, note = {ARCoSS subline}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3230}, publication_type = {inproceedings}, submission_id = {2028_1340019206}, booktitle = {Nineteenth Static Analysis Symposium}, editor = {Antoine Min'e and David A. Schmidt}, volume = {7460}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, refereed = {yes} } @inproceedings{3250, month = {August}, year = {2012}, pages = {185-190}, title = {Does the Orientation of an Euler Diagram Affect User Comprehension?}, author = {Andrew Blake and Gem Stapleton and Peter Rodgers and Liz Cheek and John Howse}, keywords = {Euler Diagrams, Venn Diagrams}, note = {Awarded Best Paper}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3250}, publication_type = {inproceedings}, submission_id = {7240_1345283107}, booktitle = {Proceedings of the 18th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (VLC 2012)}, volume = {18}, publisher = {Knowledge Systems Institute}, refereed = {yes} } @techreport{3231, month = {June}, year = {2012}, pages = {}, title = {Proof {A}ppendix for {L}oop {L}eaping with {C}losures}, author = {Sebastian Biallas and J"{o}rg Brauer and Andy King and Stefan Kowalewski}, keywords = {}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3231}, publication_type = {techreport}, submission_id = {18776_1340115444}, institution = {University of Kent}, number = {3-12}, address = {School of Computing} } @inproceedings{3216, month = {July}, year = {2012}, pages = {92-106}, title = {Introducing {3D} {V}enn and {E}uler Diagrams}, author = {Peter Rodgers and Jean Flower and Gem Stapleton}, keywords = {Euler Diagrams, Venn Diagrams}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3216}, publication_type = {inproceedings}, submission_id = {12081_1338547835}, booktitle = {Proceedings of the 3rd International Workshop on Euler Diagrams 2012}, editor = {Peter Chapman and Luana Micallef}, volume = {854}, series = {CEUR-WS}, publisher = { CEUR-WS.org}, refereed = {yes} } @inproceedings{3222, month = {September}, year = {2012}, pages = {}, title = {Polyhedral {A}nalysis using {P}arametric {O}bjectives}, author = {Jacob M. Howe and Andy King}, keywords = {abstract interpretation, linear constraints, projection}, note = {ARCoSS subline}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3222} } @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} } @inproceedings{3247, month = {July}, year = {2012}, pages = {1237-1244}, title = {A hyper-heuristic evolutionary algorithm for automatically designing decision-tree algorithms}, author = {R.C. Barros and M.P. Basgalupp and A.C.P.L.F. de Carvalho and A.A. Freitas}, keywords = {data mining, hyper-heuristics, classification}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3247}, publication_type = {inproceedings}, submission_id = {7232_1344525197}, ISBN = {978-1-4503-1177-9}, booktitle = {Proceedings of 2012 Genetic and Evolutionary Computation Conference (GECCO)}, editor = {J.H. Moore and T. Soule and W. Banzhaf and X. Llora and A. Auger and M. Ritchie and G. Ochoa and W. Rand and J. Bongard and D. Loiacono and K. Rodriguez-Vazquez and J. Mehnen and T. D. Davis}, publisher = {ACM Press}, refereed = {yes} } @inproceedings{3223, month = {September}, year = {2012}, pages = {41-57}, title = {Polyhedral {A}nalysis using {P}arametric {O}bjectives}, author = {Jacob M. Howe and Andy King}, keywords = {abstract interpretation, linear constraints, projection}, note = {ARCoSS subline}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3223}, publication_type = {inproceedings}, submission_id = {18181_1339156536}, booktitle = {Nineteenth Static Analysis Symposium}, editor = {Antoine Min'e and David A. Schmidt}, volume = {7460}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, refereed = {yes} } @inproceedings{3244, month = {July}, year = {2012}, pages = {49--55}, title = {{A} {S}tudy of {D}ifferent {Q}uality {E}valuation {F}unctions in the c{A}nt-{M}iner{PB} {C}lassification {A}lgorithm}, author = {M. Medland and F.E.B. Otero}, keywords = {ant colony optimization, classification, sequential covering, rule quality functions, list quality functions}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3244}, publication_type = {inproceedings}, submission_id = {2654_1343729039}, booktitle = {Proceedings of the 2012 Genetic and Evolutionary Conference (GECCO 2012)}, publisher = {ACM Press} } @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{3254, month = {September}, year = {2012}, pages = {}, title = {A Prototype Structured but Low-viscosity Editor for Novice Programmers}, author = {F McKay}, keywords = {Greenfoot, Alice, Scratch, CogTool, viscosity, cognitive dimensions}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3254}, publication_type = {inproceedings}, submission_id = {21818_1347357812}, booktitle = {Proceedings of BCS HCI 2012- People and Computers XXVI, Birmingham, UK.}, organization = {BCS Interaction Specialist Group}, publisher = {BCS}, refereed = {Yes} } @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 = {1-12}, publication_type = {techreport}, submission_id = {17571_1330454894} } @proceedings{3232, month = {July}, year = {2012}, pages = {143}, title = {3rd {I}nternational {W}orkshop on {E}uler {D}iagrams ({E}uler {D}iagrams 2012)}, author = {}, keywords = {diagrams, information visualization, reasoning, cognition}, note = {online http://ceur-ws.org/Vol-854}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3232}, publication_type = {proceedings}, submission_id = {13312_1340108053}, editor = {{P}eter {C}hapman and {L}uana {M}icallef}, address = {Canterbury, UK}, publisher = {CEUR-WS.org} } @inproceedings{3224, month = {June}, year = {2012}, pages = {1641--1647}, title = {Search-based Evolutionary Operators for Extensionally-defined Search Spaces: Applications to Image Search}, author = {Colin G. Johnson}, keywords = {Genetic algorithms, Evolutionary computation, Images, Web services}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3224}, publication_type = {inproceedings}, submission_id = {10535_1339378173}, booktitle = {Proceedings of the 2012 IEEE World Congress on Computational Intelligence}, refereed = {Yes} } @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{3243, month = {October}, year = {2012}, pages = {}, title = {{V}isualizations with {V}enn and {E}uler {D}iagrams}, author = {Luana Micallef}, keywords = {Euler diagrams, Venn diagrams, diagram layout, area-proportional, force-directed, information visualization, visualization methodology and software}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3243}, publication_type = {inproceedings}, submission_id = {26296_1343676216}, booktitle = {Proceedings of the 2012 Grace Hopper Celebration of Women in Computing, PhD Forum}, address = {Baltimore, MD} } @inproceedings{3246, month = {October}, year = {2012}, pages = {}, title = {A Black-box Approach to Understanding Concurrency in {D}a{C}apo}, author = {Tomas Kalibera and Matthew Mole and Richard Jones and Jan Vitek}, keywords = {Benchmarks, DaCapo, concurrency, scalability}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3246}, publication_type = {inproceedings}, submission_id = {24647_1344428080}, booktitle = {Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)}, editor = {Matthew Dwyer and Gary Leavens}, address = {Tucson, AZ, USA}, publisher = {ACM}, refereed = {yes} } @inproceedings{3253, month = {July}, year = {2012}, pages = {149-157}, title = {A multi-label correlation-based feature selection method for the classification of neuroblastoma microarray data.}, author = {S. Jungjit and A.A. Freitas and M. Michaelis and J. Cinatl.}, keywords = {multi-label classification, data mining, bioinformatics, microarray data}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3253}, publication_type = {inproceedings}, submission_id = {23209_1347360135}, ISBN = {978-3-942952-16-3}, booktitle = {Advances in Data Mining: 12th Industrial Conference (ICDM 2012) Workshop Proceedings – Workshop on Data Mining in Life Sciences (DMLS 2012).}, editor = {I. Bichindaritz and P. Perner and G. Rub and R. Schmidt }, publisher = {IBAI Publishing}, 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{3215, month = {May}, year = {2012}, pages = {291-312}, title = {A survey of evolutionary algorithms for decision-tree induction}, author = {R.C. Barros and M.P. Basgalupp and A.C.P.L.F. de Carvalho and A.A. Freitas}, keywords = {evolutionary algorihtms, decision tree, classification, regression, data mining}, note = {}, doi = {10.1109/TSMCC.2011.2157494}, url = {http://www.cs.kent.ac.uk/pubs/2012/3215}, publication_type = {article}, submission_id = {7336_1338293483}, ISSN = {1094-6977}, journal = {IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews}, volume = {42}, number = {3}, publisher = {IEEE} } @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} } @inproceedings{3229, month = {September}, year = {2012}, pages = {}, title = {Loop {L}eaping with {C}losures}, author = {Sebastian Biallas and J"{o}rg Brauer and Andy King and Stefan Kowalewski}, keywords = {abstract interpretation, predicate abstraction, bottom-up, compositional analysis}, note = {ARCoSS subline}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3229} } @inproceedings{3220, month = {September}, year = {2012}, pages = {}, title = {Polyhedral {A}nalysis using {P}arametric {O}bjectives}, author = {Jacob M. Howe and Andy King}, keywords = {abstract interpretation, linear constraints, projection}, note = {ARCoSS subline}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3220} } @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} } @inproceedings{3257, month = {September}, year = {2012}, pages = {73--84}, title = {Improving the c{A}nt-{M}iner{PB} {C}lassification {A}lgorithm}, author = {Matthew Medland and Fernando E.B. Otero and Alex A. Freitas}, keywords = {}, note = {}, doi = {10.1007/978-3-642-32650-9_7}, url = {http://www.cs.kent.ac.uk/pubs/2012/3257}, publication_type = {inproceedings}, submission_id = {475_1348059439}, booktitle = {Swarm Intelligence}, volume = {7461}, series = {Lecture Notes in Computer Science}, publisher = {Springer Berlin Heidelberg}, refereed = {Yes}, editor = {Dorigo, Marco and Birattari, Mauro and Blum, Christian and Christensen, Anders Lyhne and Engelbrecht, Andries P. and Gro{\ss}, Roderich and St{\"u}tzle, Thomas} } @inproceedings{3249, month = {June}, year = {2012}, pages = {2560-2566}, title = {AutoClustering: an estimation of distribution algorithm for the automatic generation of clustering algorithms.}, author = {A.S.G. Meiguins and R.C. Limao and B.S. Meiguins and S.F.S. Junior and A.A. Freitas}, keywords = {data mining, clustering, evolutionary algorithms}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3249}, publication_type = {inproceedings}, submission_id = {17180_1344941173}, booktitle = {Proceedings of WCCI 2012 – IEEE World Congress on Computational Intelligence (Congress on Evolutionary Computation)}, publisher = {IEEE Press}, refereed = {yes} } @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{3252, month = {July}, year = {2012}, pages = {1089-1100}, title = {Wellformedness Properties in {E}uler Diagrams: Which Should Be Used?}, author = {Peter Rodgers and Leishi Zhang and Helen Purchase}, keywords = {Euler Diagrams, Venn Diagrams}, note = {}, doi = {10.1109/TVCG.2011.143}, url = {http://www.cs.kent.ac.uk/pubs/2012/3252}, publication_type = {article}, submission_id = {20576_1345462117}, journal = {Transactions on Visualization and Computer Graphics}, volume = {18}, number = {7}, publisher = {IEEE } } @inproceedings{3225, month = {June}, year = {2012}, pages = {1596--1603}, title = {Evolving Recursive Programs using Non-recursive Scaffolding}, author = {Alberto Moraglio and Fernando E.B. Otero and Colin G. Johnson and Simon Thompson and Alex A. Freitas}, keywords = {Genetic Programming; Evolutionary Algorithms; Recursion}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2012/3225}, publication_type = {inproceedings}, submission_id = {11503_1339378919}, booktitle = {Proceedings of the 2012 IEEE World Congress on Computational Intelligence}, refereed = {Yes} } @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 online at http://dx.doi.org/10.1016/j.scico.2011.11.006}, 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} }