• Contact
• Maps
• Departments

Navigation menu

School of Computing

• Home
• Research
  • Publications
  • Groups
  • Research staff
  • Projects
  • Research admissions
  • Research at Kent
• Teaching

Studying

• Becoming a postgraduate
• Becoming an undergraduate

Activities

• News
• National & International services
• Seminars
• Schools Liaison
• Outreach
• Kent IT Clinic
• Kent enterprise

Local users

• For current students and staff
• Systems Support

About us

• Contacts - How to find us
• People

Search

School of Computing

Computer Science: Publication Index 2010

• Knowledge discovery with artificial immune systems for hierarchical multi-label classification of protein functions. R.T. Alves, M.R. Delgado, and A.A. Freitas. In P. Sobrevilla, J. Aranda, and S. Xambo, editors, Proceedings of the 2010 World Congress on Computational Intelligence (WCII/FUZZ-IEEE 2010), pages 2098-2105, July 2010.
• From Test Cases to FSMs: Augmented Test-driven Development and Property Inference. Thomas Arts and Simon Thompson. In Scott Lystig Fritchie and Konstantinos Sagonas, editors, Erlang’10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop, pages 2-12. ACM SIGPLAN, September 2010.
• An efficient model for investigating specific site binding of transcription factors. David Barnes and Dominique Chu. In Proceedings of the 4th International Conference on Bioinformatics and Biomedical Engineering, June 18-20, Chengdu, China, 2010, page 4. IEE Xplore, June 2010.
• Introduction to modeling for biosciences. David J. Barnes and Dominique Chu. Springer, August 2010.
• Process-oriented device driver development. F.R.M. Barnes and C.G. Ritson. Concurrency and Computation: Practice and Experience, 22(8):995-1006, June 2010.
• Range and Set Abstraction using SAT. Edd Barrett and Andy King. Electronic Notes in Theoretical Computer Science, 267(1):17-27, October 2010.
• Evolutionary model tree induction. R.C. Barros, M.P. Basgalupp, D.D. Ruiz, A.C.P.L.F. de Carvalho, and A.A. Freitas. In D. Shin, editor, Applied Computing 2010: Proc. 25th Annual ACM Symposium on Applied Computing (SAC-2010), volume Vol. 2, pages 1131-1137. ACM Press, March 2010.
• Pux: Patterns of user experience. Alan Blackwell and Sally Fincher. Inteactions, XVII(2):27-32, March 2010.
• Editorial: Special issue on REFINE 2007. Eerke Boiten, Michael Butler, John Derrick, and Graeme Smith. Formal Aspects of Computing, 22(1):1, January 2010.
• Incompleteness of relational simulations in the blocking paradigm. Eerke Boiten and John Derrick. Science of Computer Programming, 75:1262-1269, December 2010.
• The logic of large enough. Eerke Boiten and Dan Grundy. In C. Bolduc, J. Desharnais, and B. Ktari, editors, MPC 2010: Mathematics of Program Construction, 10th International Conference, volume 6120 of Lecture Notes in Computer Science, pages 42-57, Heidelberg, June 2010. Springer.
• Security specification: completeness, feasibility, refinement. Eerke A. Boiten. In Jean-Raymond Abrial, Michael Butler, Rajeev Joshi, Elena Troubitsyna, and Jim C. P. Woodcock, editors, Refinement Based Methods for the Construction of Dependable Systems, number 09381 in Dagstuhl Seminar Proceedings, pages 21-25, Dagstuhl, Germany, January 2010. Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Germany. http://drops.dagstuhl.de/opus/volltexte/2010/2374.
• Range Analysis of Microcontroller Code Using Bit-Level Congruences. Jorg Brauer, Andy King, and Stefan Kowalewski. In Stefan Kowalewski and Marco Roveri, editors, Formal Methods for Industrial Critical Systems, volume 6371 of Lecture Notes in Computer Science, pages 82-98. Springer-Verlag, September 2010.
• Automatic Abstraction for Intervals using Boolean Formulae. Jorg Brauer and Andy King. In Radhia Cousot and Matthieu Martel, editors, Seventeenth International Static Analysis Symposium, Lecture Notes in Computer Science. Springer-Verlag, September 2010.
• An Expression Processor: A Case Study in Refactoring Haskell Programs. Christopher Brown, Huiqing Li, and Simon Thompson. In Rex Page, editor, Eleventh Symposium on Trends in Functional Programming, page 15pp, May 2010.
• Greenroom: a teacher community for collaborative resource development. Neil Brown, Phil Stevens, and Michael Kölling. 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, June 2010.
• Clone Detection and Elimination for Haskell. Christopher Brown and Simon Thompson. In John Gallagher and Janis Voigtlander, editors, PEPM'10: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pages 111-120. ACM Press, January 2010.
• The problems of teaching programming: Do they change with time?. Janet Carter and Tony Jenkins. In Hazel White, editor, Proceedings of 11th Annual HEA-ICS conference, Durham, August 2010. HEA subject centre for ICS.
• What are the important gender related issues in computing at present?. Janet Carter. Computer Science Education, 20(4), December 2010. Special issue: Gender-related issues in computing. Guest editor: Janet Carter.
• Positional effect of crossover and mutation in Grammatical Evolution. Tom Castle and C. G. Johnson. In Anna I. Esparcia-Alcazar, Aniko Ekart, Sara Silva, Stephen Dignum, and Sima Uyar, editors, Proceedings of the 13th European Conference on Genetic Programming, EuroGP 2010, volume 6021 of LNCS, Istanbul, April 2010. EvoStar, Springer.
• ME-CGP: Multi expression Cartesian genetic programming.. Phil T. Cattani and Colin G. Johnson. In Proceedings of the 2010 IEEE World Congress on Computational Intelligence, July 2010.
• Erlang behaviours: Programming with process design patterns. Francesco Cesarini and Simon Thompson. In Zoltán Horváth, Rinus Plasmeijer, and Vikória Zóka, editors, Central European Functional Programming School, CEFP 2009, volume 6299 of Lecture Notes in Computer Science, pages 19-41. Springer, November 2010.
• Modeling fimbriae mediated parasite-host interactions. D. Chu and D. Barnes. Journal of Theoretical Biology, 264(4), May 2010.
• Recognizing Sketches of Euler Diagrams Drawn with Ellipses. Aidan Delaney, Beryl Plimmer, Gem Stapleton, and Peter Rodgers. volume 16 of International Conference on Distributed Multimedia Systems, pages 305-310, October 2010.
• Fragments of Spider Diagrams of Order and their Relative Expressiveness. Aidan Delaney, Gem Stapleton, John Taylor, and Simon Thompson. In Ashok K. Goel, Mateja Jamnik, and N. Hari Narayanan, editors, Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010, volume 6170 of Lecture Notes in Computer Science, pages 69-83. Springer, August 2010.
• Using event-related potentials to distinguish mirror effect types: Evidence from a modified directed forgetting procedure (item-method) [Abstract].. K. C. Dietz, J. C. van Hooff, and H Bowman. Beiträge zur 52. Tagung experimentell arbeitender Psychologen (TeaP): 22-24th March 2010, Universität des Saarlandes, Saarbrücken, Germany. Lengerich, Westphalia, Germany: Pabst Science Publishers, March 2010. This is the German equivalent of the annual Experimental Psychology Society [EPS] meeting in the UK.
• QuickChecking Refactoring Tools. Daniel Drienyovszky, Daniel Horpacsi, and Simon Thompson. In Scott Lystig Fritchie and Konstantinos Sagonas, editors, Erlang’10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop, pages 75-80. ACM SIGPLAN, September 2010.
• Grounding information security in healthcare. Ana Ferreira, Luis Antunes, David Chadwick, and Ricardo Correi. International Journal of Medical Informatics, 79(4):268–283, April 2010.
• Modelling access control for healthcare information systems:how to control access through policies, human processes and legislation. Ana Ferreira. PhD thesis, Computing, University of Kent, CT2 7NF, October 2010.
• Repositories of teaching material and communities of use: nifty assignments and the greenroom. Sally Fincher, Michael Kölling, Ian Utting, Neil Brown, and Phil Stevens. In Proceedings of the Sixth international workshop on Computing education research, pages 107-114. ACM SIGCSE, August 2010.
• The Scholarship of Cockfighting. Sally Fincher and Josh Tenenberg. In The London Scholarship of Teaching and Learning (SoTL) 8th International Conference, May 2010.
• Machines for Thinking. Sally Fincher and Ian Utting. ACM Transactions on Computing Education (TOCE), 10(4), November 2010.
• On the importance of comprehensible classification models for protein function prediction. A.A. Freitas, D.C. Wieser, and R. Apweiler. IEEE/ACM Trans. on Computational Biology and Bioinformatics, 7(1):172-182, January 2010.
• The locality of concurrent write barriers. Laurence Hellyer, Richard Jones, and Antony Hosking. In Jan Vitek and Doug Lea, editors, Proceedings of the 2010 International Symposium on Memory Management, pages 83-92, Toronto, Canada, June 2010. ACM. The full technical report can be found at http://www.cs.kent.ac.uk/pubs/2010/3011/.
• The locality of concurrent write barriers (extended version). Laurence Hellyer, Richard Jones, and Antony L. Hosking. Technical Report 3-10, School of Computing, University of Kent, Canterbury, Kent CT2 7NF, UK, June 2010.
• Proceedings of the 2010 School of Computing Postgraduate Conference. Laurence Hellyer, Carl G. Ritson, and Jonathan Simpson. Technical Report 2-10, School of Computing, University of Kent, Canterbury, Kent CT2 7NF, UK, April 2010.
• Motivating programmers via an online community. Poul Henriksen, Michael Kölling, and Davin McCall. Journal of Computing Sciences in Colleges, 25(3):82-93, January 2010.
• Reducing performance non-determinism via cache-aware page allocation strategies. Michal Hocko and Tomas Kalibera. In Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering. ACM, January 2010.
• A transactional architecture for simulation. Tim Hoverd and Adam T. Sampson. In Radu Calinescu, Richard Paige, and Marta Kwiatkowska, editors, ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems, pages 286-290. IEEE Press, March 2010.
• Quadtrees as an Abstract Domain. Jacob M. Howe, Andy King, and Charles Lawrence-Jones. Electronic Notes in Theoretical Computer Science, 267(1):89-100, October 2010.
• A Pearl on SAT Solving in Prolog. Jacob M. Howe and Andy King. In Matthias Blume and German Vidal, editors, Tenth International Symposium on Functional and Logic Programming, Lecture Notes in Computer Science, page 10. Springer-Verlag, April 2010.
• A privacy preserving attribute aggregation model for federated identity managements systems. George Inman and David Chadwick. Upgrade, XI(1):21-26, February 2010. Available from http://www.upgrade-cepis.org/issues/2010/1/upgrade-vol-XI-1.pdf.
• Infinitary rewriting: Foundations revisited. Stefan Kahrs. In Christopher Lynch, editor, Proceedings of the 21st International Conference on Rewriting Techniques and Applications, volume 6 of Leibniz International Proceedings in Informatics (LIPIcs), pages 161-176, Dagstuhl, Germany, July 2010. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
• Infinitary rewriting: Foundations revisited. Stefan Kahrs. In Christopher Lynch, editor, Proceedings of the 21st International Conference on Rewriting Techniques and Applications, volume 6 of Leibniz International Proceedings in Informatics (LIPIcs), pages 161-176, Dagstuhl, Germany, July 2010. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
• Modularity of convergence and strong convergence in infinitary rewriting. Stefan Kahrs. Logical Methods in Computer Science, 6(3):27, January 2010.
• Challenge benchmarks for verification of real-time programs. Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, and Jan Vitek. In Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification (PLPV). ACM, January 2010.
• Exhaustive testing of safety critical java. Tomas Kalibera, Pavel Parizek, Michal Malohlava, and Martin Schoeberl. In Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). ACM, August 2010.
• Automatic Abstraction for Congruences. Andy King and Harald Sondergaard. In Gilles Barthe and Manuel Hermenegildo, editors, Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation, number 5944 in Lecture Notes in Computer Science, pages 197-213. Springer-Verlag, January 2010.
• The Greenfoot Programming Environment. Michael Kölling. ACM Transactions on Computing Education (TOCE), 10(4):21, November 2010.
• Introduction to Programming with Greenfoot - Object-Oriented Programming in Java with Games and Simulations. Michael Kölling. Pearson Education, 1st edition, January 2010.
• Learning hybridization strategies in evolutionary algorithms. A. LaTorre, J.M. Pena, S. Muelas, and A.A. Freitas. Intelligent Data Analysis, 14(3):333-354, July 2010.
• Data fusion via fission for the analysis of brain death. L. Li, Y. Saito, D. Looney, T. Tanaka, J. Cao, and D. Mandic. Wiley, 1 edition, April 2010.
• Improved Testing Through Refactoring: Experience from the ProTest project. Huiqing Li and Simon Thompson. In Leonardo Bottaci and Gordon Fraser, editors, Testing - Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010, volume 6303 of Lecture Notes in Computer Science, pages 198-202. Springer, September 2010.
• Refactoring Support for Modularity Maintenance in Erlang. Huiqing Li and SImon Thompson. In Jurgen Vunju and Cristina Marinescu, editors, Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, pages 157-166. IEEE Computer Society, September 2010.
• Similar Code Detection and Elimination for Erlang Programs. Huiqing Li and Simon Thompson. In Manuel Carro and Ricardo Pena, editors, Practical Aspects of Declarative languages 2010, number 5937 in Lecture Notes in Computer Science, pages 104-118. Springer, January 2010.
• The stereochemistry of enterprise objects. Peter F. Linington. In Enterprise Distributed Object Computing Conference Workshops - WODPEC 2010, October 2010.
• The aco encoding. A. Moraglio, F.E.B. Otero, and C.G. Johnson. In M. Dorigo et al., editor, Swarm Intelligence - 7th International Conference (ANTS 2010), Lecture Notes in Computer Science 6234, pages 528-535, September 2010.
• Geometric differential evolution for combinatorial and programs spaces. Alberto Moraglio, Julian Togelius, and Sara Silva. Technical Report 1-10, School of Computing, University of Kent, University of Kent, Canterbury, Kent CT9 7NF, UK, March 2010.
• The Effect of Level of Rationality on Macro-Activities of the Lucas-Island Model. Ahmed Okasha and Colin G. Johnson. In 2010 IEEE Congress on Evolutionary Computation. IEEE Press, July 2010.
• A hierarchical multi-label classification ant colony algorithm for protein function prediction. F.E.B. Otero, A.A. Freitas, and C.G. Johnson. Memetic Computing, 2(3):165-181, September 2010.
• A hierarchical multi-label classification ant colony algorithm for protein function prediction. F.E.B. Otero, A.A. Freitas, and C.G. Johnson. Memetic Computing, 2(3):165-181, January 2010.
• New ant colony optimisation algorithms for hierarchial classification of protein functions. Fernando Otero. PhD thesis, Computing, University of Kent, CT2 7NF, January 2010.
• Hitproto: a tool for the rapid prototyping of haptic interactions for haptic data visualization. Sabrina Paneels, Jonathan C. Roberts, and Peter J. Rodgers. In Haptics Symposium, pages 261-268. IEEE Computer Society Press, March 2010.
• Review of Designs for Haptic Data Visualization. Sabrina Paneels and Jonathan C. Roberts. IEEE Transactions on Haptics, 3(2):119-137, April 2010.
• Automating the design of data mining algorithms: an evolutionary computation approach. G.L. Pappa and A.A. Freitas. Natural Computing Series. Springer, January 2010.
• Creating rule ensembles from automatically-evolved rule induction algorithms. G.L. Pappa and A.A. Freitas. In Advances in Machine Learning I: Dedicated to the memory of Prof. Ryszard S. Michalski, pages 257-273. Springer, July 2010.
• Efficient detection of errors in java components using random environment and restarts. Pavel Parizek and Tomas Kalibera. In Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer, March 2010.
• Hypervelocity Impact Detection: An Investigation into Piezoelectric Response of PVDF Films. Samuel Perkins. Master's thesis, School of Physical Sciences, University of Kent, August 2010.
• Developing safety critical java applications with oscj/l0. Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, and Jan Vitek. In Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES). ACM, August 2010.
• Reflections on the simulation of complex systems for science. Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, and Adam T. Sampson. In Radu Calinescu, Richard Paige, and Marta Kwiatkowska, editors, ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems, pages 276-285. IEEE Press, March 2010.
• A process-oriented architecture for complex system modelling. Carl G. Ritson and Peter H. Welch. Concurrency and Computation: Practice and Experience, 22:965-980, March 2010.
• Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons. Peter Rodgers, Jean Flower, Gem Stapleton, and John Howse. In Diagrams 2010, LNCS (LNAI) 6170, pages 54-68. Springer, August 2010.
• Euler Graph Transformations for Euler Diagram Layout. Peter Rodgers, Gem Stapleton, John Howse, and Leishi Zhang. In Christopher Hundhausen, Emmanuel Pietriga, Paloma Diaz, and Mary Beth Rosson, editors, IEEE Symposium on Visual Languages and Human Centric Computing 2010, pages 111-118. IEEE, IEEE, September 2010.
• Aspects of CXXR internals. Andrew R. Runnalls. Computational Statistics, September 2010. Based on a paper delivered at the Directions in Statistical Computing conference (DSC2009), Copenhagen, 2009.
• CXXR and add-on packages. Andrew R. Runnalls. Presented at useR! 2010, Gaithersburg, MD., July 2010.
• Nav++: Vanet traffic detection and dissemination using mobile agents. Mariusz Saternus and Gareth Owen. International Journal of Latest Trends in Computing, 1(1), September 2010.
• Hierarchical classification of g-protein-coupled receptors with data-driven selection of attributes and classifiers. A. Secker, M.N. Davies, A.A. Freitas, E. Clark, J. Timmis, and D.R. Flower. International Journal of Data Mining and Bioinformatics, 4(2):191-210, January 2010.
• The Two Variable Per Inequality Abstract Domain. Axel Simon, Andy King, and Jacob M. Howe. Higher-Order and Symbolic Computation, 31(1):87-143, March 2010. 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.
• The economics of garbage collection. Jeremy Singer and Richard Jones. In Jan Vitek and Doug Lea, editors, Proceedings of the 2010 International Symposium on Memory Management, pages 103-112, Toronto, Canada, June 2010. ACM.
• A Graph Theoretic Approach to General Euler Diagram Drawing. Gem Stapleton, John Howse, and Peter Rodgers. Theoretical Computer Science, 411(1):91-112, January 2010.
• Drawing Euler Diagrams with Circles. Gem Stapleton, Leishi Zhang, John Howse, and Peter Rodgers. In Diagrams 2010, LNCS (LNAI) 6170, pages 23-38. Springer, August 2010.
• On the fringe of awareness: The glance-look model of attention-emotion interactions. Li Su, Philip Barnard, and Howard Bowman. In K. Diamantaras, W. Duch, and L.S. Iliadis, editors, International Conference on Artificial Neural Networks, volume 6354 of Lecture Notes in Computer Science, page 504–509. Springer-Verlag, July 2010.
• Regular expression matching using associative memory. Gerald Tripp. Technical Report 4-10, School of Computing, University of Kent., Canterbury, Kent. CT2 7NF. UK., October 2010.
• Alice, Greenfoot, and Scratch – A Discussion. Ian Utting, Stephen Cooper, Michael Kölling, John Maloney, and Mitchel Resnick. ACM Transactions on Computing Education (TOCE), 10(4):11, November 2010.
• Delayed switching in memristors and memristive systems. Frank Wang, Na Helian, Sining Wu, and Mian-Guan Lim. IEEE Device Letters, 31 (7) art. no. 5482202 pp.755-757(7):3, July 2010.
• Alting Barriers: Synchronisation with Choice in Java using JCSP. Peter H. Welch, Neil C. C. Brown, James Moores, Kevin Chalmers, and Bernhard H. C. Sputh. Concurrency and Computation: Practice and Experience, 22:1049-1062, March 2010. The DOI should redirect to http://onlinelibrary.wiley.com.chain.kent.ac.uk/doi/10.1002/cpe.1471/abstract .
• Santa claus: Formal analysis of a process-oriented solution.. Peter H. Welch and Jan B. Pedersen. ACM Transactions on Programming Languages and Systems, 32(4):14:1-14:37, April 2010.
• Web log data clustering for a multi-agent recommendation system. J.C. Xavier, A.A. Freitas, A.M.P. Canuto, and L.M.G. Goncalves. In Machine Learning and Cybernetics (ICMLC): 2010 International Conference on, pages 471-476, July 2010.
• Design principles of transcriptional logic circuits. Nicolae Radu Zabet, Andrew N. W. Hone, and Dominique F. Chu. In Artificial Life XII Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, pages 186-193. MIT Press, August 2010. Freely available for download at: http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=12433.
• Computational limits to binary genes. Nicolae Radu Zabet and Dominique F. Chu. J. R. Soc. Interface, 7:945-954, June 2010.
• Stochasticity and robustness in bi-stable systems. Nicolae Radu Zabet and Dominique F. Chu. pages 1-4. IEEE Xplore, June 2010. http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5518099&isnumber=5514659.
• Towards modular, scalable and optimal design of transcriptional logic systems. Nicolae Radu Zabet. PhD thesis, School of Computing, University of Kent, UK, October 2010.
• Towards modular, scalable and optimal design of transcriptional logic systems. Nicolae Radu Zabet. PhD thesis, Computing, University of Kent, CT2 7NF, October 2010.