Computer Science: Publication Index 2007

• Editorial: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006. B. Aichernig, E.A. Boiten, J. Derrick, and L. Groves. Electronic Notes in Theoretical Computer Science, 187:1, July 2007.
• Discovering multi-label hierarchical classification rules for protein function prediction. R. Alves, M. Delgado, F. Camargo, E. Benelli, and A.A. Freitas. In A. Plastino, A.P.L.F. de Carvalho, R. Ramos, and W.M. Junior, editors, Proc. II Workshop em Algoritmos e Aplicacoes de Mineracao de Dados (Workshop on Algorithms and Applications of Data Mining), pages 87-90. Sociedade Brasileira de Computacao, October 2007.
• Information visualization in augmentative and alternative communication interface for non-speaking people. John Arnott, Leishi Zhang, David O'Mara, Norman Alm, and Andrew Taylor. Technology and Disability, 18(3):147 - 161, January 2007.
• Improving test coverage of Lapack. David Barnes and Tim Hopkins. AAECC, 18(3):209-222, May 2007.
• Perhirhinal cortex resolves feature ambiguity in configural object recognition and perceptual oddity tasks. S. J. Bartko, B.D. Winters, R.A. Cowell, L.M. Saksida, and T.J. Bussey. Learning and Memory, 14(12):821-832, December 2007.
• Perceptual functions of perirhinal cortex in rats: zero-delay object recognition and simultaneous oddity discriminations. S.J. Bartko, B.D. Winters, R.A. Cowell, L.M. Saksida, and T.J. Bussey. Journal of Neuroscience, 27(10):2548-2559, March 2007.
• Evaluating the Comprehension of Euler Diagrams. Florence Benoy and Peter Rodgers. In 11th International Conference on Information Visualization (IV 2007), pages 771-778. IEEE Computer Society, IEEE, July 2007. Typos corrected from published version.
• Refine 2007 participants' proceedings. Eerke A. Boiten, John Derrick, and Graeme Smith. Technical Report 4-07, University of Kent, Computing Laboratory, July 2007.
• A Method for Testing Graph Visualizations Using Games. John Bovey and Peter Rodgers. In Visualization and Data Analysis 2007, volume 6495 of Proceedings Electronic Imaging. SPIE, January 2007.
• The simultaneous type, serial token model of temporal attention and working memory. H. Bowman and B. Wyble. Psychological Review, 114(1):38-70, January 2007.
• Verification and validation of a fault-tolerant architectural abstraction. P. H. S. Brito, R. de Lemos, E. Martins, and C. M. F. Rubira. In Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), Workshop on Architecting Dependable Systems (WADS 2007), pages 166-171, June 2007.
• C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. Neil C. C. Brown. In Alistair A. McEwan, Wilson Ifill, and Peter H. Welch, editors, Communicating Process Architectures 2007, pages 183-205, July 2007.
• The TOPS project - teaching our over-performing students. Janet Carter, Nick Efford, Stephan Jamieson, Tony Jenkins, and Su White. In Proceedings of the 8th Annual HE Academy - ICS conference, Southampton, August 2007. HEA ICS.
• KIKI - A Key to the Integration of Knowledge and Innovation. Abigail Cauchi, Jennifer Fenech, Karl Fenech, and Luana Micallef. In Claudia Borg, Sandro Spina, and Charlie Abela, editors, CSAW 2007: 5th Computer Science Annual Workshop, pages 130-139, Malta, November 2007. Departments of Computer Science and Artificial Intelligence, University of Malta. All authors contributed equally. Names are sorted in alphabetical order.
• Multi-Session Separation of Duties (MSoD) for RBAC. David W Chadwick, Wensheng Xu, Sassa Otenko, Romain Laborde, and Bassem Nasser. In First International Workshop on Security Technologies for Next Generation Collaborative Business Applications (SECOBAP'07), Istanbul, Turkey, April 2007.
• Using WebDAV for Improved Certificate Revocation and Publication. David Chadwick and Sean Anthony. In LNCS 4582. Public Key Infrastructure, Proceedings of 4th European PKI Workshop, Palma de Mallorca, Spain, pages 265-279, June 2007.
• Coordinated decision making in distributed applications. David W. Chadwick. Information Security Technical Report, Elsevier, 12(3):147-154, January 2007.
• Dynamic delegation of authority in web services. D.W. Chadwick. In Panayiotis Periorellis, editor, Securing Web Services: Practical Usage of Standards and Specifications. Idea Group Inc, October 2007.
• Unifying grid and organisational security mechanisms. D.W. Chadwick. In Yang Xiao, editor, Security in Distributed, Grid, and Pervasive Computing. Auerbach Publications, CRC Press, April 2007.
• Monadic prompt lazy assertions in Haskell. Olaf Chitil and Frank Huch. In Zhong Shao, editor, Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, LNCS 4807, pages 38-53. Springer, November 2007.
• A pattern logic for prompt lazy assertions. Olaf Chitil and Frank Huch. In Implementation and Application of Functional Languages, 18th International Workshop, IFL 2006, LNCS 4449, pages 126-144, April 2007.
• Structure and properties of traces for functional programs. Olaf Chitil and Yong Luo. In Ian Mackie, editor, Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006, ENTCS, pages 39-63. Elsevier, April 2007.
• Refactorings that Split and Merge Programs. Christopher Brown and Simon Thompson. In Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany., September 2007.
• Orientational Control is an Efficient Control Mechanism for Phase Switching in the E coli fim System. D Chu and I C Blomfield. Journal of Theoretical Biology, 244(3):541-551, January 2007.
• Computational realizations of living systems. D Chu and W Ho. Artificial Life, 13(4):369-381, October 2007.
• The Localization Hypothesis and Machines. D Chu and W Ho. Artificial Life, 13(3):299-302, January 2007.
• Evolving Genetic Regulatory Networks for Systems Biology. D Chu. In Proceedings of Congress on Evolutionary Computation 2007, Singapore Sept 25-27 2007. IEEE Explore, September 2007.
• Particle swarm and bayesian networks applied to attribute selection for protein functional classification.. E.S. Correa, A.A. Freitas, and C.G. Johnson. In T. Yu, editor, Proc. of the GECCO-2007 Workshop on Particle Swarms: The Second Decade, pages 2651-2658. ACM, July 2007.
• A review of performance evaluation measures for hierarchical classifiers.. E.P. Costa, A.C. Lorena, A.C.P.L.F. Carvalho, and A.A. Freitas. In C. Drummond, W. Elazmeh, N. Japkowicz, and S.A. Macskassy, editors, Evaluation Methods for Machine Learning II: papers from the AAAI-2007 Workshop, AAAI Technical Report WS-07-05, pages 1-6. AAAI Press, July 2007.
• Comparing several approaches for hierarchical classification of proteins with decision trees. E.P. Costa, A.C. Lorena, A.C.P.L.F. Carvalho, A.A. Freitas, and H. Holden. In M.-F. Sagot and M.E.M.T. Walter, editors, Advances in Bioinformatics and Computational Biology (Proc. of the Second Brazilian Symposium on Bioinformatics, BSB-2007), Lecture Notes in Bioinformatics 4643, pages 126-137. Springer, August 2007.
• An unsupervised dual-network connectionist model of rule emergence in category learning. R.A. Cowell and R.M. French. In Stella Vosniadou, Daniel Kayser, and Athanassios Protopapas, editors, Proceedings of the European Cognitive Science Conference 2007. Taylor and Francis, May 2007.
• Channel Communications on the Cell Broadband Engine. Damian J. Dimmich. In Post Graduate Conference Proceedings, number 06-07, University of Kent, Canterbury, Kent, CT2 7NF, UK, June 2007. University of Kent.
• On the hierarchical classification of g protein-coupled receptors. Matthew N. Davies, Andrew Secker, Alex A. Freitas, Miguel Mendao, Jon Timmis, and Darren R. Flower. Bioinformatics, 23(23):3113-3118, December 2007.
• Proteomic applications of automated gpcr classification. M.N. Davies, D.E. Gloriam, A. Secker, A.A. Freitas, M. Mendao, J. Timmis, and D.R. Flower. Proteomics, 7(16):2800-2814, August 2007.
• Reconfiguration of software systems using atomic actions. R. de Lemos. In Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006), Fast Abstracts, pages 174-175, June 2007.
• An evolutionary density and grid-based clustering algorithm.. C.S. de Oliveira, A.S.G. Meiguins, B.S. Meiguins, P.I. Godinho, and A.A. Freitas. In A.S. da Silva, V.G. Soares, and G. Elias, editors, Proc. of the XXIII Brazilian Symposium on Databases (SBBD-2007), pages 175-189. Sociedade Brasileira de Computacao, October 2007.
• Relational concurrent refinement with internal operations. J. Derrick and E.A. Boiten. Electronic Notes in Theoretical Computer Science, 187:35-53, July 2007. Proceedings of Refine 2007, the 11th BCS-FACS Refinement Workshop. Editors: B. Aichernig, E.A. Boiten, J. Derrick and L. Groves.
• Modelling access control for healthcare information systems. Ana FERREIRA, David CHADWICK, and Luís ANTUNES. In doctoral consortium at 9th International Conference on Enterprise Information Systems (ICEIS2007), June 2007.
• Access control: how can it improve patients' healthcare?. Ana Ferreira, Ricardo Cruz-Correia, Luis Antunes, and David Chadwick. Studies in Health Technology and Informatics, 127, June 2007.
• Access Control: how can it improve patients' healthcare?. Ana Ferreira, Ricardo Cruz-Correia, Luis Antunes, and David Chadwick. In International Council on Medical and Care Compunetics (ICMCC 2007), Amsterdam, June 2007.
• Re-shaping practices of academic development: The disciplinary commons. Sally Fincher and Josh Tenenberg. Society for Research into Higher Education, December 2007.
• Warren's question. Sally Fincher and Josh Tenenberg. In Proccedings of third International Computing Education Research Workshop (ICER), pages 51-60. SIGCSE, ACM, September 2007.
• Integrating bayesian networks and simpson’s paradox in data mining. A.A. Freitas, K. McGarry, and E.S. Correa. In F. Russo and J. Williamson, editors, Causality and Probability in the Sciences, pages 43-62. College Publications, January 2007.
• A tutorial on hierarchical classification with applications in bioinformatics.. A.A. Freitas and Andre C.P.F.L. de Carvalho, volume Research and Trends in Data Mining Technologies and Applications, chapter VII, pages 175-208. Idea Group, January 2007.
• Revisiting the foundations of artificial immune systems for data mining. A.A. Freitas and J. Timmis. IEEE Transactions on Evolutionary Computation, 11(4):521-540, August 2007.
• A review of evolutionary algorithms for data mining. A.A. Freitas. In O. Maimon and L. Rokach, editors, Soft Computing for Knowledge Discovery and Data Mining, pages 61-93. Springer, November 2007.
• Developing a computer science-specific learning taxonomy. U. Fuller, C.G. Johnson, T. Ahoniemi, D. Cukierman, I. Hernán-Losada, J. Jackova, E. Lahtinen, T.L. Lewis, D. McGee Thompson, C. Riesdel, and E. Thompson. ACM SIGCSE Bulletin, 39(4):152-170, December 2007.
• Should we assess our students’ attitudes?. Ursula Fuller and Bob Keim. In Raymond Lister and Simon, editors, Seventh Baltic Sea Conference on Computing Education Research (Koli Calling 2007), volume 88 of CRPIT, pages 187-190, Koli National Park, Finland, November 2007. ACS.
• Robust Autonomous Detection of the Faulty Sensors of a Sensor Array. Siddhartha Ghosh, Ian Marshall, and Alex Freitas. In 2nd IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, 2007, CAMPSAP 2007. IEEE Signal Processing Society, December 2007.
• Expressiveness of temporal query languages: On the modelling of intervals, interval relationships and states. R.S. Gomez and J.C. Ausguto. Artificial Intelligence Review, November 2007. Electronic version available online (http://www.springerlink.com/content/r3347p646152351m).
• Efficient Detection of Zeno Runs in Timed Automata. Rodolfo Gomez and Howard Bowman. In J.-F. Raskin and P.S. Thiagarajan, editors, 5th International Conference FORMATS 2007 (Formal Modelling and Analysis of Timed Systems), volume 4763 of LNCS, pages 195-210, Salzburg, Austria, October 2007. Springer.
• Intrusion tolerance in ad hoc networks through swarms of fragments replicas. J. Grant and J. So. In Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), pages 386-387, June 2007.
• A new and efficient key management scheme for content access control within tree hierarchies. H. Ragab Hassan, A. Bouabdallah, and H. Bettahar. In The IEEE 21st International Conference on Advanced Information Networking and Applications (IEEE AINA-07), May 2007.
• Key management for content access control in a hierarchy. H. Ragab Hassan, A. Bouabdallah, H. Bettahar, and Y. Challal. Computer Networks: The International Journal of Computer and Telecommunications Networking, 51(11):3197-3219, August 2007.
• A hybrid pso/aco algorithm for classification. N. Holden and A.A. Freitas. In T. Yu, editor, Proc. of the GECCO-2007 Workshop on Particle Swarms: The Second Decade, pages 2745-2750. ACM Press, July 2007.
• Testing Erlang Refactorings with QuickCheck. {Huiqing Li and Simon Thompson. In Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, September 2007.
• Authorisation using attribute from multiple authorities - a study of requirements. George Inman, David Chadwick, and Nate Klingenstein. In Proceedings of HCSIT Summit - ePortfolio International Conference, Maastricht, The Netherlands, October 2007.
• Authorisation Using Attributes from Multiple Authorities: A Study of Requirements. George Inman, David Chadwick, and Nate Klingenstein. In HCIT Summit - ePortfolio International Conference, Maastricht, The Netherlands, October 2007.
• Concurrency, Robotics, and RoboDeb. Christian L. Jacobsen and Matthew C. Jadud. In Proceedings of AAAI Robotics and Education, Palo Alto, CA, USA, March 2007. American Association for Artificial Intelligence.
• An exploration of novice compilation behaviour in bluej. Matthew C Jadud. PhD thesis, Computing Laboratory, University of Kent, January 2007.
• Using Policy to Control Data Synchronisation in Middleware for an Ad-hoc Mobile Network. Vorapol Jittamas. PhD thesis, Computing Laboratory, May 2007.
• Is Bloom's taxonomy appropriate for computer science?. Colin G. Johnson and Ursula Fuller. In Anders Berglund and Mattias Wiggberg, editors, Proceedings of the Sixth Baltic Sea Conference on Computing Education Research, volume 2007-006 of Uppsala University Department of Information Technology Technical Reports, pages 120-123. Uppsala University, February 2007.
• A genetic algorithm for coverage problems. Colin G. Johnson. In Dirk Thierens et al., editor, Proceedings of the 2007 Genetic and Evolutionary Computation Conference, volume II, page 1521. ACM Press, July 2007.
• Genetic programming with fitness based on model checking. Colin G. Johnson. In Marc Ebner and et al., editors, Genetic Programming, volume 4445 of Lecture Notes in Computer Science, pages 114-124. Springer-Verlag, April 2007.
• The non-classical mind: Cognitive science and non-classical computing. Colin G. Johnson. In Alfons Schuster, editor, Intelligent Computing Everywhere, pages 45-59. Springer, October 2007.
• Dynamic memory management: Challenges for today and tomorrow. Richard Jones. In International Lisp Conference, pages 115-124, Cambridge, April 2007. Association of Lisp Users. Invited presentation.
• The latin music database: Uma base de dados para a classificacao automatica de generos musicais. Carlos N. Silla Jr., Celso A. A. Kaestner, and Alessandro L. Koerich. In 11th Brazilian Symposium on Computer Music, pages 167-174, July 2007.
• Infinitary rewriting: meta-theory and convergence. Stefan Kahrs. Acta Informatica, 44(2):91-121, May 2007.
• Using e-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the iowa gambling task. Kiran Kalidindi and Howard Bowman. Neural Networks, 20:676-689, April 2007.
• Proceedings IS-TSPQ2007: Interoperability Solutions on Trust, Security, Policies and QoS for Enhanced Enterprise Systems. L. Kutvonen, P.F. Linington, J-H. Morin, and S. Ruohomaa, editors, number B-2007-3 in Department of Computer Science Publications, Series B. Helsinki University Printing House, March 2007.
• An Aspect-oriented Approach to Manage QoS Dependability Dimensions in Model Driven Development. C Köllmann, L Kutvonen, PF Linington, and A Solberg. In L. Ferreira Pires and S. Hammoudi, editors, Model-Driven Enterprise Information Systems Proceedings of the 3rd International Workshop on Model-Driven Enterprise Information Systems - MDEIS 2007 Funchal, Portugal, pages 85-94. INSTICC Press, June 2007.
• Detecting suspicious intrusions into next-generation networks. Andrew Lehane and Gerald Tripp. Agilent Measurement Journal, Issue 2. Second Quarter 2007:58-63, May 2007.
• Testing Erlang Refactorings with QuickCheck. Huiqing Li and Simon Thompson. In the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007, LNCS, Freiburg, Germany, September 2007.
• Incorporating security behaviour into business models using a model driven approach. Peter F. Linington and Pulitha Liyanagama. In 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pages 405-415. IEEE Press, October 2007.
• Black cats and yellow birds - what do viewpoint correspondences do?. Peter F. Linington. In João Paulo Almeida, Peter F. Linington, Antonio Vallecillo, and Bryan Wood, editors, Workshop on ODP for Enterprise Computing (WODPEC2007). IEEE Digital Library, October 2007.
• Algorithmic debugging and trusted functions. Yong Luo and Olaf Chitil. Technical report 10-07, University of Kent, Computing Laboratory, UK, August 2007.
• Algorithmic debugging for locally defined functions. Yong Luo and Olaf Chitil. Technical report 8-07, University of Kent, Computing Laboratory, UK, August 2007.
• Algorithmic debugging with cyclic traces of lazy functional programs. Yong Luo and Olaf Chitil. Technical report 9-07, University of Kent, Computing Laboratory, UK, August 2007.
• Proving the correctness of algorithmic debugging for functional programs. Yong Luo and Olaf Chitil. In Trends in Functional Programming, volume 7, pages 19-34. Intellect Books, January 2007.
• Replacing unevaluated parts in the traces of functional programs. Yong Luo and Olaf Chitil. Technical report 7-07, University of Kent, Computing Laboratory, UK, August 2007.
• Decrypting the Java gene pool: Predicting objects' lifetimes with micro-patterns. Sebastien Marion, Richard Jones, and Chris Ryder. In International Symposium on Memory Management (ISMM07), Montreal, Canada, October 2007. ACM.
• Test Data Generation: Two Evolutionary Approaches to Mutation Testing. Peter S May. PhD thesis, Computing Laboratory, May 2007.
• Obligations for privacy and confidentiality in distributed transactions. U.M. Mbanaso, G.S. Cooper, David Chadwick, and Anne Anderson. In Mieso K Denko and et al., editors, Proceedings of Second Int. Workshop on Trustworthiness, Reliability and Services in Ubiquitous and Sensor Networks, Emerging Directions in Embedded and Ubiquitous Computing, pages 69-81, December 2007.
• Sonification of Spatial Data. Tooba Nasir and Jonathan C. Roberts. In William L. Martens, Rene Quesnel, and Gary Scavone, editors, The 13th International Conference on Auditory Display (ICAD 2007), pages 112-119, Schulich School of Music McGill University, Canada, June 2007. ICAD.
• Recognition of Authority in Virtual Organisations. Tuan-Anh Nguyen, David Chadwick, and Bassem Nasser. In A Min Tjoa Costas Lambrinoudakis, Gunther Pernul, editor, LNCS 4657. Trust, Privacy and Security in Digital Business, pages 3-13, September 2007.
• Recognition of authority in virtual organisations. Tuan-Anh Nguyen, David Chadwick, and Bassem Nasser. In The 4th International Conference on Trust, Privacy and Security in Digital Business (TrustBus07), September 2007.
• Flexible and Manageable Delegation of Authority in RBAC. Tuan-Anh Nguyen, Linying Su, George Inman, and David Chadwick. In 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07), Niagra Falls, Canada, May 2007.
• Flexible and manageable delegation of authority in rbac. Tuan-Anh Nguyen, Linying Su, George Inman, and David Chadwick. In The 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07), Niagara Falls, Canada, May 2007.
• A privacy enhancing infrastructure for context-awareness. Patrik Osbakk. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, July 2007.
• A fault and mobility tolerant location server for large-scale ad-hoc networks. Gareth Owen and Mo Adda. In IST Mobile and Wireless Communications Summit, May 2007.
• A self-organising distributed location server for ad hoc networks. Gareth Owen. PhD thesis, University of Portsmouth, November 2007.
• Discovering new rule induction algorithms with grammar-based genetic programming. G.L. Pappa and A.A. Freitas. In O. Maimon and L. Rokach, editors, Soft Computing for Knowledge Discovery and Data Mining, pages 177-196. Springer, November 2007.
• A process oriented approach to USB driver development. Carl G. Ritson and Frederick R.M. Barnes. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 323-338, Amsterdam, The Netherlands, July 2007. IOS Press.
• A process-oriented architecture for complex system modelling. Carl G. Ritson and Peter H. Welch. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 249-266, Amsterdam, The Netherlands, July 2007. IOS Press.
• Where are we with haptic visualization?. Jonathan C. Roberts and Sabrina Panëels. In WorldHaptics 2007, Second Joint EuroHaptics Conference, 2007 and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, pages 316-321, Tsukuba, Japan, March 2007.
• State of the Art: Coordinated & Multiple Views in Exploratory Visualization. Jonathan C. Roberts. In Gennady Andrienko, Jonathan C. Roberts, and Chris Weaver, editors, Proceedings of the 5th International Conference on Coordinated & Multiple Views in Exploratory Visualization (CMV2007). IEEE Computer Society Press, July 2007.
• Greenfoot: Using computer games to teach introductory programming. John Rosenberg, Michael Kölling, and Bruce Quig. Professional Educator, 6(3), August 2007.
• The IGMARP data fusion algorithm. Andrew R. Runnalls. Technical Report 05-07, University of Kent, Computing Laboratory, Computing Laboratory, The University, Canterbury, Kent CT2 7NF, UK., July 2007.
• Kullback-Leibler approach to Gaussian mixture reduction. Andrew R. Runnalls. IEEE Transactions of Aerospace and Electronic Systems, 43(3):989-999, July 2007.
• An experimental comparison of classification algorithms for hierarchical prediction of protein function. Andrew Secker, Matthew N. Davies, Alex A. Freitas, Jon Timmis, Miguel Mendao, and Darren R. Flower. Expert Update (Magazine of the British Computer Society's Specialist Group on AI), 9(3):17-22, November 2007.
• An experimental comparison of classification algorithms for the hierarchical prediction of protein function. Andrew Secker, Matthew N. Davies, Alex A. Freitas, Jon Timmis, Miguel Mendao, and Darren R. Flower. In Alex A. Freitas, editor, 3rd UK Data mining and Knowledge Discovery Symposium (UKKDD 2007), pages 13-18, April 2007.
• WAIRS: Improving classification accuracy by weighting attributes in the AIRS classifier. Andrew Secker and Alex A. Freitas. In proceedings of the 2007 IEEE Congress on Evolutionary Computation (CEC 2007), pages 3759-3765, Singapore, September 2007. IEEE press.
• Automatic music genre classification using ensemble of classifiers. Carlos Nascimento Silla Jr., Celso Antonio Alves Kaestner, and Alessandro Lameiras Koerich. In IEEE International Conference on Systems, Man, and Cybernetics, pages 1687-1692, October 2007.
• Taming the Wrapping of Integer Arithmetic. Axel Simon and Andy King. In Gilberto File and Hanne Riis Nielson, editors, Fourteenth International Static Analysis Symposium, Lecture Notes in Computer Science. Springer, August 2007. To Appear, see http://www.springer.de/comp/lncs/index/html.
• A Native Transterpreter for the LEGO Mindstorms RCX. Jonathan Simpson, Christian L. Jacobsen, and Matthew C. Jadud. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 339-348, Amsterdam, The Netherlands, September 2007. IOS Press.
• Properties of Euler Diagrams. Gem Stapleton, Peter Rodgers, John Howse, and John Taylor. In Proceedings of layout of (software) engineering diagrams, volume 7 of Electronic communications of the EASST, January 2007.
• Attentional capture by meaning: A multi-level modelling study. Li Su, Howard Bowman, and Philip Barnard. In Proceedings of the 29th Annual meeting of the cognitive science society (CogSci 2007), page 6. To appear, August 2007.
• Performance of reactive interfaces in stimulus rich environments, applying formal methods and cognitive frameworks. Li Su, Howard Bowman, and Philip Barnard. In The 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007). Workshop held in conjunction with HCI 2007, page 17. To appear in Electronic Notes in Theoretical Computer Science, September 2007.
• Visualizing Evolving Searches with EvoBerry. Edward Suvanaphen and Jonathan C. Roberts. In Ebad Banissi and et al., editors, Proceedings of the 11th International Conference on Information Visualization (IV07), page 7. IEEE Computer Society Press, July 2007.
• Opening the door of the computer science classroom: The Disciplinary Commons. Josh Tenenberg and Sally Fincher. In Proceedings of the 38th SIGCSE Symposium on Computer Science Education, pages 514-518, March 2007.
• Declarative extensions of XML languages. Simon Thompson, Peter R. King, and Patrick Schmitz. In Peter R. King and Steven Simske, editors, Proceedings of the 2007 ACM symposium on Document engineering, pages 89-91. ACM, ACM Press, August 2007.
• Declarative extensions of xml languages. Simon Thompson and Peter King. Technical Report 3-07, University of Kent, Computing Laboratory, May 2007.
• Regular expression matching with input compression: a hardware design for use within network intrusion detection systems. Gerald Tripp. Journal in Computer Virology, 3(2):125-134, June 2007. - available online from: http://dx.doi.org/10.1007/s11416-007-0047-z.
• Exploratory simulation for astrophysics. Rick Walker, Peter Kenny, and Jingqi Miao. In Robert F. Erbacher, Jonathan C. Roberts, Matti T. Grohn, and Katy Borner, editors, Visualization and Data Analysis 2007, volume 6495, page 649509. SPIE, January 2007.
• Simulation trails improve accuracy and efficiency in astrophysical simulations. Rick Walker, Peter Kenny, and Jingqi Miao. SPIE Newsroom, 2007:1-3, April 2007.
• Communicating process architectures 2007. Peter H. Welch, Alistair A. McEwan, Steve Schneider, and Wilson Ifill, editors, volume 65 of Concurrent Systems Engineering, Amsterdam, The Netherlands, July 2007. WoTUG, IOS.
• Integrating and Extending JCSP. P.H. Welch, N.C.C. Brown, J. Moores, K. Chalmers, and B. Sputh. In Steve Schneider, Alistair A. McEwan, Wilson Ifill, and Peter H. Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering, pages 349-370, Amsterdam, The Netherlands, July 2007. WoTUG, IOS.
• Tops - Collaboration and Competition to Stretch our Most Able Programming Novices. Su White, Janet Carter, Stephan Jamieson, Nick Efford, and Tony Jenkins. In Proceedings of 37th Frontiers in education Conference, Milwaukee, WI, October 2007. ASEE/IEEE.
• Achieving Fine-grained Access Control in Virtual Organisations. N. Zhang, L. Yao, A. Nenadic, J. Chin, C. Goble, A. Rector, D. Chadwick, S. Otenko, and Q. Shi. Concurrency and Computation: Practice and Experience, 19(9):1333-1352, June 2007. Available from http://www3.interscience.wiley.com/cgi-bin/fulltext/113392827/PDFSTART.
• Obligation for Role Based Access Control. Gansen Zhao, David Chadwick, and Sassa Otenko. In IEEE International Symposium on Security in Networks and Distributed Systems (SSNDS07), May 2007.
• Bifocal Radial Visualization of Intranet Search Results using Image Caching. Andreas J. Zschimmer and Jonathan C. Roberts. In David Duce and Ik Soo Lim, editors, Proceedings of the fifth Theory and Practice of Computer Graphics, pages 115-122. Eurographics, June 2007.