Computer Science: Publication Index 2006

• Local-G}lobal visual deficits in Williams Syndrome: Stimulus presence contributes to diminished performance on image-reproduction. A. Abreu, R.M. French, R.A. Cowell, and S. de Schonen. Psychologica Belgica, 46(4):269-281, December 2006.
• Simultion of a wireless senor network for image processing. M. Adda, Jean-Baptise Martin, Gareth Owen, and A. Peart. IADAT-tcn, pages 35-37, September 2006.
• International Conference on Coordinated and Multiple Views in Exploratory Visualization 2006. Gennady Andrienko, Jonathan C. Roberts, and Chris Weaver, editors. IEEE Computer Society, July 2006.
• Codon usage domains over bacterial chromosomes. Marc Bailly-Bechet, Antoine Danchin, Mudassar Iqbal, Matteo Marsili, and Massimo Vergassola. PLoS Computational Biology, 2(4):e37, April 2006.
• Dependable and secure storage in pervasive peer-to-peer systems. Rudi Ball, Vicki Spurrett, and Rogério de Lemos. Technical report, University of Kent, Computing Laboratory, September 2006.
• Objects first with java - a practical introduction using bluej. David J. Barnes and Michael Kölling. Prentice Hall / Pearson Education, third edition, April 2006.
• Compiling CSP. F.R.M. Barnes. In P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, Proceedings of Communicating Process Architectures 2006 (CPA-2006), volume 64 of Concurrent Systems Engineering Series, pages 377-388. IOS Press, September 2006.
• Editorial: Special issue on Refine 2005. Eerke A. Boiten and Michael Butler. Formal Aspects of Computing, 18(3):263, August 2006.
• Adding user-editing to a catalogue of cartoon drawings. John Bovey. In Julio Gonzalo, Constantino Thanos, M. Felisa Verdejo, and Rafael C. Carrasco, editors, Proceedings of the 10th European Conference on Digital Libraries, number 4172 in Lecture Notes in Computer Science, pages 457-460, Berlin, September 2006. Springer-Verlag.
• Semantic modulation of temporal attention: Distributed control and levels of abstraction in computational modelling. H. Bowman, Su Li, and P.J. Barnard. Technical Report 9-06, University of Kent, Computing Laboratory, September 2006.
• Performance of reactive interfaces in stimulus rich environments, applying formal methods and cognitive frameworks. H. Bowman, Su Li, and Brad Wyble. Technical Report 6-06, University of Kent, Computing Laboratory, September 2006.
• A neural network model of inhibitory processing in subliminal priming. H. Bowman, F. Schlaghecken, and M. Eimer. Visual Cognition, 13(4):401-480, February 2006.
• How to stop time stopping. H. Bowman and R. Gomez. Formal Aspects of Computing, 18(4):459-493, December 2006.
• Concurrency theory, calculi and automata for modelling untimed and timed concurrent systems. H. Bowman and R.S. Gomez. Springer, January 2006.
• E-learning - the Students' Choice?. Janet Carter, Ian Benest, and Jane Chandler. In Proceedings of 7th Annual HE Academy - ICS conference, Dublin, August 2006. HE Academy ICS.
• A novice's process of object-oriented programming. Michael E. Caspersen and Michael Kölling. In Companion To the 21st ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '06), pages 892 - 900. ACM, October 2006.
• Building a Modular Authorization Infrastructure. David Chadwick, Gansen Zhao, Sassa Otenko, Romain Laborde, Linying Su, and Tuan Anh Nguyen. In All Hands Meeting, Nottingham, September 2006. .Available from : http://www.allhands.org.uk/2006/proceedings/papers/677.pdf.
• Adding Support to XACML for Dynamic Delegation of Authority in Multiple Domains. David W Chadwick, Sassa Otenko, and Tuan Anh Nguyen. In Proc of 10th IFIP TC-6 TC-11 Int Conf, CMS 2006, pages 67-86, Heraklion, Crete, Greece, October 2006. Springer LNCS Volume 4237/2006.
• Providing Secure Coordinated Access to Grid Services. David W Chadwick, Linying Su, and Romaine Laborde. In Proceedings of 4th International Workshop on Middleware for Grid Computing - MGC 2006, In conjunction with ACM/IFIP/USENIX 7th International Middleware Conference 2006, Melbourne, Australia, November 2006.
• GridShib and PERMIS Integration. D.W. Chadwick, A. Novikov, and A. Otenko. Campus-Wide Information Systems, 23(4):297-308, October 2006.
• Co-ordination between Distributed PDPs. D.W. Chadwick, L. Su, O. Otenko, and R. Laborde. In Proceedings of the 7th IEEE International Workshop on Policies for Didstributed Systems and Networks, pages 163-172, June 2006.
• The Virtuous Circle of Expressing Authorisation Policies. David Chadwick and Angela Sasse. In Proceedings of the ISWC'06 Workshop on Semantic Web Policy (SWPW'06), Georgia, USA, November 2006. . Available from: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-207/.
• Authorisation using Attributes from Multiple Authorities. D.W. Chadwick. In Proceedings of Workshops on Enabling Technologies (WET-ICE 2006), June 2006. Winner of Best Paper Award.
• A new ant colony algorithm for multi-label classification with applications in bioinformatics. A. Chan and A.A. Freitas. In M. Keijzer, editor, Proc. Genetic and Evolutionary Computation Conference (GECCO-2006), pages 27-34. ACM Press, July 2006.
• Protected Ethernet Rings for Optical Access Networks. Srivas Chennu, Kai Habel, and Klaus-Dieter Langer. In Proceedings of the 7th ITG Symposium on Photonic Networks, pages 29-36. Informationstechnische Gesellschaft, April 2006.
• Qos-aware Traffic Protection for Access Rings. Srivas Chennu, Kai Habel, and Klaus-Dieter Langer. In Proceedings of the 11th European Conference on Networks & Optical Communications, July 2006.
• A Pattern Logic for Prompt Lazy Assertions in Haskell. Olaf Chitil and Frank Huch. In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, Budapest, Hungary, September 2006. Eotvos Lorand University.
• Proving the correctness of algorithmic debugging for functional programs. Olaf Chitil and Yong Luo. In Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006. University of Nottingham, April 2006.
• Towards a theory of tracing for functional programs based on graph rewriting. Olaf Chitil and Yong Luo. In Ian Mackie, editor, Draft Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006, page 10, April 2006.
• Pretty printing with delimited continuations. Olaf Chitil. Technical report 4-06, University of Kent, Computing Laboratory, June 2006.
• Promoting non-strict programming. Olaf Chitil. In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, pages 512-516, Budapest, Hungary, September 2006. Eotvos Lorand University.
• Evaluation of the current models for the evolution of bacterial DNA uptake signal sequences. D. Chu, J. Rowe, and H-C. Lee. Journal of Theoretical Biology, 238(1):157-166, January 2006.
• Models of the Evolution of Uptake Signal Sequences. D Chu, J Rowe, and H C Lee. Journal of Theoretical Biology, 238:157-166, January 2006.
• A Category Theoretical Argument Against the Possibility of Artificial Life. D Chu and W Ho. Artificial Life, 12(4):117-135, January 2006.
• A new discrete particle swarm algorithm applied to attribute selection in a bioinformatics data set.. E.S. Correa, A.A. Freitas, and C.G. Johnson. In M. Keijzer and et. al., editors, Proc. Genetic and Evolutionary Computation Conference (GECCO-2006), pages 35-42. ACM Press, July 2006.
• Why does brain damage impair memory? A connectionist model of object recognition memory in perirhinal cortex. R.A. Cowell, T.J. Bussey, and L.M. Saksida. The Journal of Neuroscience, 26(47):12186-97, November 2006.
• An EEG study of masking effects in RSVP [Abstract]. Patrick Craston, Brad Wyble, and Howard Bowman. Journal of Vision, 6(6):1016-1016, June 2006. http://journalofvision.org/6/6/1016/.
• Laboratory exams in first programming courses. Quintin Cutts, David Barnes, Pete Bibby, James Bown, Vicky Bush, Phil Campbell, Sally Fincher, Stephan Jamieson, and Tony Jenkins. In Proceedings of 7th Annual Conference of the ICS HE Academy, pages 224-229, August 2006.
• Um modelo de segurança para o canal de interatividade da tv digital: Arquitetura e implementação. Erick Lopes da Silva, Rodrigo Elia Assad, Carlos André Guimarães Ferraz, and Mario Fried. In Proceeding of the 8th International Symposium on System and Information Security (SSI 2006), page 9, São Paulo/SP- Brazil, November 2006. Title in English: A Security Model for the Digital TV Interactive Channel: Architecture and Implementation.
• Um Modelo de Segurança Para o Canal de Interatividade do Sistema Brasileiro de TV Digital: Arquitetura e Implementação. Erick Lopes da Silva. Msc thesis, Federal University of Pernambuco, Recife, Pernambuco, Brazil, September 2006. Title in English: A Security Model for the Interactive Channel of the Brazilian Digital TV System: Design and Implementation.
• Display of functional values for debugging. Thomas Davie and Olaf Chitil. In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, pages 326-337, Budapest, Hungary, September 2006. Eotvos Lorand University.
• One right does make a wrong. Thomas Davie and Olaf Chitil. In Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006, April 2006.
• A fault-tolerant architectural approach for dependable systems. R. de Lemos, P. A. de C. Guerra, and C. Rubira. IEEE Software, 23(2):80-87, March 2006.
• Architectural reconfiguration using coordinated atomic actions. R. de Lemos. In Proceedings of the ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2006), pages 44-50, May 2006.
• Idealised fault tolerant architectural element. R. de Lemos. In Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006), Workshop on Architecting Dependable Systems (WADS 2006), pages 76-81, June 2006.
• Concurrency: The Next Generation. Damian J. Dimmich, Christian L. Jacobsen, and Matt C. Jadud. In Postgraduate Conference 2006, volume 1, page 3. University of Kent, June 2006.
• A cell transterpreter. Damian J. Dimmich, Christian L. Jacobsen, and Matthew C. Jadud. In P. H. Welch, J. Kerridge, and F.R.M Barnes, editors, Communicating Process Architectures 2006: WoTUG-29, volume 29 of Concurrent Systems Engineering, pages 215-224, Amsterdam, The Netherlands, September 2006. WoTug, IOS Press.
• How to break access control in a controlled manner. A. Ferreira, R. Cruz-Correia, L. Antunes, P. Farinha, E. Oliveira-Palhares, D.W. Chadwick, and A. Costa-Pereira. In Proceedings of the 19th IEEE International Symposium on Computer-Based Medical Systems, pages 847-851, June 2006.
• Some good ideas from the disciplinary commons. Sally Fincher, David Barnes, Pete Bibby, James Bown, Vicky Bush, Phil Campbell, Quintin Cutts, Stephan Jamieson, Tony Jenkins, and Michael Jones. In Proceedings of 7th Annual Conference of the ICS HE Academy, pages 153-158, August 2006.
• Multi-institutional teaching communities in computing education. Sally Fincher, Raymond Lister, Arnold Pears, Judy Sheard, Josh Tenenberg, and Alison Young. In Denise Tolhurst and Samuel Mann, editors, Proceedings of the Eighth Australiasian Computing Education Confernece (ACE 2006), pages 7-10, January 2006.
• Using theory to inform capacity-building: Bootstrapping communities of practice in computer science education research. Sally Fincher and Josh Tenenberg. Journal of Engineering Education, 95(4):265-278, October 2006.
• Studying programming. Sally Fincher and the Computing Education Research Group. Palgrave Study Guides. Palgrave Macmillan, January 2006.
• Logging student answer data in call exercises to gauge feedback efficacy. Alison M. L. Fowler. In Jozef Colpaert, Wilfried Decoo, Saskia van Beuren, and Aline Godfroid, editors, CALL & Monitoring the Learner - Proceeedings of the 12th International CALL Conference, pages 83-91, Universiteit Antwerpen, Universiteitsplein 1, B-2610 Wilrijk, Antwerpen, Belgium, August 2006. LINGUAPOLIS, Universiteit Antwerpen.
• Are we really discovering "interesting" knowledge from data?. A.A. Freitas. Expert Update (the BCS-SGAI Magazine), 9(1):41-47, October 2006.
• A Computing Perspective on the Bologna Process. Ursula Fuller, Arnold Pears, June Amillo, Chris Avram, and Linda Mannila. ACM SIGCSE Bulletin, 38(4):142-158, December 2006.
• Architectural description of dependable software systems. C. Gacek and R. de Lemos. In D. Besnard, C. Gacek, and C. Jones, editors, Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, pages 127-142. Springer-Verlag, January 2006.
• Radio Range Adjustment for Energy Efficient Wireless Sensor Networks. Q Gao, K J Blow, D J Holding, I Marshall, and X H Peng. Ad-Hoc Networks, pages 75-82, January 2006.
• Compositional detection of Zeno behaviour in Timed Automata. R. Gomez and H. Bowman. Technical Report 12-06, University of Kent, Computing Laboratory, CT2 7NF Canterbury, Kent, UK, December 2006.
• Verification of real-time systems: Improving tool support. Rodolfo Sabas Gomez. PhD thesis, Computing Laboratory, University of Kent, October 2006.
• Synthesising timbres and timbre-changes from adjectives/adverbs. Alex Gounaropoulos and Colin Johnson. In F. Rothlauf and et al, editors, Applications of Evolutionary Computing, volume 3907 of Lecture Notes in Computer Science, pages 664-675. Springer-Verlag, April 2006.
• Optimising the integration of terrain referenced navigation with ins and gps. Paul D. Groves, Robin J. Handley, and Andrew R. Runnalls. Journal of Navigation, 59(1):71-89, January 2006.
• Optimising the integration of terrain-referenced navigation with INS and GPS. P.D. Groves, R.J. Handley, and A.R. Runnalls. Journal of Navigation, 59(1):71-89, January 2006.
• Hierarchical classification of g-protein-coupled receptors with a pso/aco algorithm. N. Holden and A.A. Freitas. In Proc. IEEE Swarm Intelligence Symposium (SIS-06), pages 77-84. IEEE Press, June 2006.
• Euler diagram-based notations. John Howse, Richard Bosworth, Andrew Fish, Gem Stapleton, John Taylor, Peter Rodgers, and Simon Thompson. Technical report, University of Brighton, School of Computing, Mathematical and Information Sciences, January 2006.
• An estimation of distribution particle swarm optimization algorithm. Mudassar Iqbal and Marco A. Montes de Oca. In Dorigo M. and et al, editors, Ant Colony Optimization and Swarm Intelligence. 5th International Workshop, ANTS 2006, Brussels, volume 4150/2006 of LNCS, pages 72-83, Berlin, Germany, August 2006. Springer Verlag.
• Native code generation using the transterpreter. Christian L. Jacobsen, Damian J. Dimmich, and Matthew C. Jadud. In P. H. Welch, J. Kerridge, and F.R.M Barnes, editors, Communicating Process Architectures 2006: WoTUG-29, volume 29 of Concurrent Systems Engineering Series, pages 269-281, Amsterdam, The Netherlands, September 2006. Communicating Process Architectures 2006, IOS Press.
• Using a policy language to control tuple-space synchronization in a mobile environment. Vorapol Jittamas and Peter F. Linington. In Mark Burgess and Duminda Wijesekera, editors, Seventh IEEE International Workshop on Policies for Distributed Systems and Networks, pages 239-242. IEE Computer Society, June 2006.
• Timbre interfaces using adjectives and adverbs. Colin G. Johnson and Alex Gounaropoulos. In Norbert Schnell and et al, editors, New Interfaces for Musical Expression, pages 101-102, Paris, June 2006. IRCAM.
• Abstract interpretation of student programs as a strategy for courseware development. Colin G. Johnson. In Methods, Materials and Tools for Programming Education, volume 5 of Tampere Polytechnic Series A. Research Reports, pages 14-19, Tampere, Finland, May 2006. Tampere Polytechnic University of Applied Sciences.
• A design framework for metaheuristics: Problem types and avoiding bottlenecking. Colin G. Johnson. In Konstantinos Sirlantzis, editor, Proceedings of the Sixth International Conference on Recent Advances in Soft Computing. University of Kent, July 2006.
• Garbage collection should be lifetime aware. Richard Jones and Chris Ryder. In Olivier Zendra, editor, Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006), page 8, Nantes, France, July 2006.
• Editorial: Five perspectives on modern memory management: Systems, hardware and theory. Richard Jones. Science of Computer Programming, 62(2):95-97, October 2006. Special Issue on Memory Management.
• Automatic genre classification of latin music using ensemble of classifiers. Carlos N. Silla Jr., Celso A. A. Kaestner, and Alessandro L. Koerich. In Anais do XXVI Congresso da Sociedade Brasileira de Computação - XXXIII Seminário Integrado de Software e Hardware, page 7. Brazilian Computer Society, July 2006.
• Time-space ensemble strategies for automatic music genre classification. Carlos N. Silla Jr., Celso A. A. Kaestner, and Alessandro L. Koerich. In Advances in Artificial Intelligence - IBERAMIA-SBIA 2006, volume 4140 of Lecture Notes in Computer Science, pages 339-348. Springer, October 2006.
• Gene expression programming with pre-order traversals. Stefan Kahrs. In Konstantinos Sirlantzis, editor, 6th International Conference on Recent Advances in Soft Computing, pages 84-89. RASC 2006, July 2006.
• Genetic programming with primitive recursion. Stefan Kahrs. In Maarten Keijzer and et. al., editors, 8th annual conference on Genetic and evolutionary computation, volume 1, pages 941-942. ACM SIGEVO, ACM Press, July 2006.
• Widening ROBDDs with Prime Implicants. Neil Kettle, Andy King, and Tadeusz Strzemecki. In Holger Hermanns and Jens Palsberg, editors, Twelfth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 3920 of Lecture Notes in Computer Science, pages 105-119. Springer-Verlag, March 2006. Also see http://www.springer.de/comp/lncs/index.html.
• An Anytime Symmetry Detection Algorithm for ROBDDs. Neil Kettle and Andy King. In Hidetoshi Onodera, editor, Eleventh Asia and South Pacific Design Automation Conference, pages 243-248. IEEE, January 2006. Copyright held by IEEE 2006.
• Proof of New Decompositional Results for Generalized Symmetries. Neil Kettle and Andy King. Technical Report 05-06, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, August 2006.
• Proof of New Implicational Relationships between Generalized Symmetries. Neil Kettle and Andy King. Technical Report 13-05, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, February 2006.
• Detecting Determinacy in Prolog Programs. Andy King, Lunjin Lu, and Samir Genaim. In Sandro Etalle and Mirek Truszczynski, editors, Twenty Second International Conference on Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 132-147. Springer-Verlag, August 2006.
• Control Generation by Program Transformation. Andy King and Jonathan C. Martin. Fundamenta Informaticae, 69(1-2):179-218, 2006.
• Proceedings IS-TSPQ2006: Interoperability Solutions to Trust, Security, Policies and QoS for Enhanced Enterprise Systems. L. Kutvonen, P.F. Linington, and J-H. Morin, editors, Interoperability for Enterprise Software and Applications. ISTE, March 2006.
• Refactoring erlang programs. Huiqing Li, Simon Thompson, László Lövei, Zoltán Horváth, Tamás Kozsik, Anikó Víg, and Tamás Nagy. In The Proceedings of 12th International Erlang/OTP User Conference, Stockholm, Sweden, November 2006.
• Emotional modulation of temporal attention, an approach based upon distributed control and formal methods. Su Li, H. Bowman, and P.J. Barnard. Technical Report 10-06, University of Kent, Computing Laboratory, September 2006.
• Collapsing Closures. Xuan Li, Andy King, and Lunjin Lu. In Sandro Etalle and Mirek Truszczynski, editors, Twenty Second International Conference on Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 148-162. Springer-Verlag, August 2006. Also see http://www.springer.de/comp/lncs/index.html.
• Correctness of Closure Collapsing. Xuan Li, Andy King, and Lunjin Lu. Technical Report 2-06, University of Kent, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, April 2006.
• Lazy Set-Sharing Analysis. Xuan Li, Andy King, and Lunjin Lu. In Philip Wadler and Masimi Hagiya, editors, Eighth International Symposium on Functional and Logic Programming, volume 3945 of Lecture Notes in Computer Science, pages 177-191. Springer-Verlag, April 2006. Also see http://www.springer.de/comp/lncs/index.html.
• A comparative study of refactoring haskell and erlang programs. Huiqing Li and Simon Thompson. In Massimiliano Di Penta and Leon Moonen, editors, Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), pages 197-206. IEEE, September 2006.
• Refactoring haskell programs. Huiqing Li. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, September 2006.
• Policy specification: Meeting changing requirements without breaking the system design contract. Peter F. Linington. In João Paulo A. Almeida, Peter F. Linington, Akira Tanaka, and Bryan Wood, editors, Workshop on ODP for Enterprise Computing (WODPEC06). IEEE Digital Library, October 2006.
• Um Modelo de Metacomponentes para Suporte à Adaptação Dinâmica em um Middleware para Sistemas de Televisão Interativa. Adilson Lopes, Carlos Silva, Gledson Elias, and Maurício F. Magalhães. In WebMedia '06: Proceedings of the 12th Brazilian symposium on Multimedia and the web, pages 193-202. ACM, October 2006. title in English: A meta-component model for dynamic adaptation support in a middleware system for interactive tv.
• Replacing unevaluated parts in the traces of functional programs. Yong Luo and Olaf Chitil. In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, pages 304-325, Budapest, Hungary, September 2006. Eotvos Lorand University.
• Privacy Preserving Trust Authorization Framewrok using XACML. U.M. Mbanaso, G.S. Cooper, D.W. Chadwick, and S. Proctor. In IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2006), pages 673-678. IEEE Computer Society, June 2006. Presented in Workshop on Trust, Security and Privacy for Ubiquitous Computing (TSPUC'06).
• Can self-managed systems be trusted? some views and trends. J. A. McCann, R. de Lemos, M. Huebscher, O. F. Rana, and A. Wombacher. Knowledge Engineering Review, 21(3):239-248, September 2006.
• The integration of heterogeneous biological data using bayesian networks. K. McGarry, Nick Morris, and A.A. Freitas. In R. Ellis, R. Allen, and A. Tuson, editors, Applications and innovations in intelligent systems XIV - Proc. of AI-2006, pages 44-57. Springer, December 2006.
• Estimating photometric redshifts using genetic algorithms. N. Miles, A.A. Freitas, and S. Serjeant. In R. Ellis, R. Allen, and A. Tuson, editors, Applications and innovations in intelligent systems XIV - Proc. of AI-2006, pages 75-87. Springer, December 2006.
• Capturing regular human activity through a learning context memory. Philipp H. Mohr, Nick Ryan, and Jon Timmis. In Proceedings of the 3rd International Workshop of Modelling and Retrieval of Context (MRC 2006) in conjunction with AAAI-06, page 6, Boston,USA, July 2006.
• Discovering knowledge nuggets with a genetic algorithm. E. Noda and A.A. Freitas, volume Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques, chapter 12, pages 395-432. Springer, July 2006.
• Mechanising a Unifying Theory. Gift Nuka and Jim Woodcock. In UTP'06: First International Symposium on Unifying Theories of Programming, Middlesbrough (UK), February 2006. To be published in Lecture Notes in Computer Science 2006.
• Geographically static quorums in ad-hoc networks and their performance as location servers. Gareth Owen and Mo Adda. In 3rd International conference on Telecommunications and Computer networks, July 2006.
• Modulo and grid based channel selection in ad hoc networks. Gareth Owen and Mo Adda. In 3rd International conference on Telecommunications and Computer networks, July 2006.
• Quorum based geographically static data storage in ad-hoc networks. Gareth Owen and Mo Adda. In 6th International Network Conference, July 2006.
• Self organizing quorum systems for ad hoc networks. Gareth Owen and Mo Adda. In International Conference on Communication, Network, and Information Security, October 2006.
• Simulation of quorum systems in ad hoc networks. Gareth Owen and Mo Adda. In 3rd International Conference on Artificial Intelligence in Engineering and Technology, November 2006.
• Automatically evolving rule induction algorithms. G. L. Pappa and A. A. Freitas. In Johannes Fuernkranz, Tobias Scheffer, and Myra Spiliopoulou, editors, Proc. of the 17th European Conference on Machine Learning, volume 4212/2006 of Lecture Notes in Computer Science, pages 341-352, Berlin, September 2006. Springer Berlin / Heidelberg.
• Presenting multi-language XML documents: An adaptive transformation and validation approach. Michael Pediaditakis. PhD thesis, September 2006.
• Visualization and data analysis 2006. Erbacher R, P.Chen, J.Roberts, M.Grohn, and K.Borner, editors, volume 6060. SPIE, January 2006.
• Video Processing in occam-pi. Carl G. Ritson, Adam T. Sampson, and Frederick R.M. Barnes. In P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 311-329, Amsterdam, The Netherlands, September 2006. IOS Press.
• Towards Ubiquitous Brushing for Information Visualization. Jonathan C. Roberts and Michael A. E. Wright. In Ebad Banissi, Remo Aslak Burkhard, Anna Ursyn, Jian J. Zhang, Mark Bannatyne, Carsten Maple, Andrew J. Cowell, Gui Yun Tan, and Ming Hou, editors, Information Visualization, pages 151-156. IEEE Computer Society, July 2006.
• The IGMARP data fusion algorithm. Andrew R. Runnalls. In Nonlinear Statistical Signal Processing Workshop (NSSPW2006), page 4. IEEE, September 2006.
• Likelihood function for a simple cardioid sonobuoy. Andrew R. Runnalls. IEE Proceedings Radar, Sonar and Navigation, 153(5):417-26, October 2006.
• Dissociating local and global levels of perceptuo-motor control in masked priming. F. Schlaghecken, H. Bowman, and M. Eimer. Journal of Experimental Psychology, Human Perception and Performance, 32(3):618-632, June 2006.
• pony - The occam-pi Network Environment. Mario Schweigler and Adam Sampson. In Peter Welch, Jon Kerridge, and Fred Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 77-108, Amsterdam, The Netherlands, September 2006. IOS Press.
• A Unified Model for Inter- and Intra-processor Concurrency. Mario Schweigler. PhD thesis, Computing Laboratory, University of Kent, Canterbury, UK, Canterbury, Kent, CT2 7NF, United Kingdom, August 2006.
• Artificial immune systems for web content mining: Focusing on the discovery of interesting information. Andrew Secker. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, June 2006.
• A Component Interconnection Model for Interactive Digital Television Systems. Carlos Silva, Adilson B. Lopes, Gledson Elias, Guido Lemos, and Mauricio F. Magalhaes. In AINA '06: Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA'06), volume 1, pages 263-268. IEEE Computer Society, April 2006. DOI 10.1109/AINA.2006.14.
• Combining algorithmic debugging and program slicing. Josep Silva and Olaf Chitil. In Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming , PPDP 2006, pages 157-166. ACM Press, July 2006.
• The ability to articulate strategy as a predictor of programming skill. Simon, Quintin Cutts, Sally Fincher, Patricia Haden, Anthony Robins, Ken Sutton, Bob Baker, Ilona Box, Michael de Raadt, John Hamer, Margaret Hamilton, and Raymond Lister. In Denise Tolhurst and Samuel Mann, editors, Proceedings of the Eighth Australasian Computing Education Conference (ACE 2006), pages 181-188, January 2006.
• Predictors of success in a first programming course. Simon, Sally Fincher, Anthony Robins, Bob Baker, Ilona Box, Quintin Cutts, Michael de Raadt, Patricia Haden, John Hamer, Margaret Hamilton, and Raymond Lister. In Denise Tolhurst and Samuel Mann, editors, Proceedings of the Eighth Australasian Computing Education Conference (ACE 2006), pages 189-197, January 2006.
• Multi-institutional computer science educational research: A review of recent studies of novice understanding. Beth Simon, Raymond Lister, and Sally Fincher. In in Proceedings of the 36th Annual Frontiers in Education Conference, pages SE412-17, October 2006.
• Widening Polyhedra with Landmarks. Axel Simon and Andy King. In Naoki Kobayashi, editor, Fourth Asian Symposium on Programming Languages and Systems, volume 4279 of Lecture Notes in Computer Science, pages 166-182. Springer Verlag, November 2006. See also http://www.springer.de/comp/lncs/index.html.
• Mobile Robot Control: The Subsumption Architecture and occam-pi. Jonathan Simpson, Christian L. Jacobsen, and Matthew C. Jadud. In Peter H. Welch, Jon M. Kerridge, and Frederick R. M. Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 225-236, Amsterdam, The Netherlands, September 2006. IOS Press.
• Supporting Decentralized, Security focused Dynamic Virtual Organizations across the Grid. R.O. Sinnott, D.W. Chadwick, J. Koetsier, O. Otenko, J. Watt, and T.A. Nguyen. In 2nd IEEE International Conference on e-Science and Grid Computing, Amsterdam, December 2006.
• Advanced Security Infrastructures for Grid Education. R.O. Sinnott, A.J. Stell, J. Watt, and D.W. Chadwick. In 10th World Multi-Conference on Systemics,Cybernetics and Informatics (WMSCI 2006), Orlando, Florida, July 2006.
• Improving the interpretability of classification rules in sparse bioinformatics datasets. J. Smaldon and A.A. Freitas. In M. Bramer, F. Coenen, and A. Tuson, editors, Research and Development in Intelligent Systems XXIII - Proc. AI-2006, pages 377-381. Springer, December 2006.
• A new version of the ant-miner algorithm discovering unordered rule sets. J. Smaldon and A.A. Freitas. In M. Keijzer and et. al., editors, Proc. Genetic and Evolutionary Computation Conference (GECCO-2006), pages 43-50. ACM Press, July 2006.
• Acoustic environment as an indicator of social and physical context. Dan Smith, Ling Ma, and Nick Ryan. Personal and Ubiquitous Computing, 10:241-254, March 2006.
• Journeys in non-classical computation II: Initial journeys and waypoints. S Stepney, SL Braunstein, JA Clark, A Tyrrell, A Adamatzky, RE Smith, T Addis, C Johnson, J Timmis, P Welch, R Milner, and D Partridge. International Journal of Parallel, Emergent and Distributed Systems, 21(2):97-125, April 2006.
• A comparative evaluation of a new unsupervised sentence boundary detection approach on documents in english and portuguese. Jan Strunk, Carlos N. Silla Jr., and Celso A. A. Kaestner. In Computational Linguistics and Intelligent Text Processing, volume 3878 of Lecture Notes in Computer Science, pages 132-143. Springer, February 2006.
• Formal modeling of connectionism using concurrency theory, an approach based on automata and model checking. Li Su, Howard Bowman, and Brad Wyble. Technical Report 1-06, University of Kent, Computing Laboratory, January 2006.
• The Visualization of Evolving Searches. Edward Suvanaphen. PhD thesis, Computing Laboratory, December 2006.
• A performance comparison of self-organising application layer multicast overlay construction techniques. Su-Wei Tan, Gill Waters, and John Crawford. Computer Communications, Volume 29(Issue 12):2169-2446, August 2006.
• A Framework for Interoperability and Decision Support in Marine Environmental Information Systems. Lei Tan. Master's thesis, Computing Laboratory, January 2006.
• A Framework for Interoperability and Decision Support in Marine Environmental Information Systems. Lei Tan. Master's thesis, Computing Laboratory, January 2006.
• Building and assessing capacity in engineering education research: the bootstrapping model. Josh Tenenberg and Sally Fincher. In ASEE Annual conference and exposition, June 2006.
• Do map drawing styles of novice programmers predict success in programming? A multi-national, multi-institutional study. Denise Tolhurst, Bob Baker, John Hamer, Ilona Box, Quintin Cutts, Michael de Raadt, Sally Fincher, Patricia Haden, Margaret Hamilton, and Raymond Lister. In Denise Tolhurst and Samuel Mann, editors, Proceedings of the Eighth Australasian Computing Education Conference (ACE 2006), pages 213-228, January 2006.
• A parallel 'String Matching Engine' for use in high speed network intrusion detection systems. Gerald Tripp. In Vlasti Broucek and Paul Turner, editors, 15th EICAR Annual Conference Proceedings, pages 9-25. EICAR, April 2006.
• A parallel “string matching engine” for use in high speed network intrusion detection systems. Gerald Tripp. Journal in Computer Virology, 2(1):21-34, August 2006. - available online from: http://dx.doi.org/10.1007/s11416-006-0010-4.
• Problems in the Initital Teaching of Programming using Java: the case for replaceing J2SE with J2ME. I. Utting. In Michael Goldweber and Paola Salomoni, editors, Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, pages 193-196. ACM Press, January 2006.
• Communicating complex systems. P.H. Welch, F.R.M. Barnes, and F.A.C. Polack. In Michael G Hinchey, editor, Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2006), pages 107-117, Stanford, California, August 2006. IEEE. ISBN: 0-7695-2530-X.
• Communicating process architectures 2006. P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, volume 64 of Concurrent Systems Engineering Series. IOS Press, September 2006.
• The TrustCoM approach to enforcing agreements between interoperating enterprises. Michael Wilson, Alvaro Arenas, David Chadwick, Theo Dimitrakos, Jurgen Doser, Pablo Giambiagi, David Golby, Christian Geuer-Pollman, Jochen Haller, Stølen Ketil, and ... In Interoperability for Enterprise Software and Applications Conference (I-ESA'06), Bordeaux, France, March 2006. Available from : http://epubs.cclrc.ac.uk/bitstream/898/Trustcom_Interoperability_France.pdf.
• Attentional capture in stimulus rich computer interfaces. B. Wyble, H. Bowman, and P. Craston. Technical Report 7-06, University of Kent, Computing Laboratory, September 2006.
• Electrophysiological feedback in adaptive human computer interfaces. B. Wyble, P. Craston, and H. Bowman. Technical Report 8-06, University of Kent, Computing Laboratory, September 2006.
• A neural network account of binding discrete items into working memory using a distributed pool of flexible resources. [abstract & online presentation]. B. Wyble and H. Bowman. Journal of Vision, 6(6):33a-33a, June 2006.
• 3d visualization of gene clusters. Leishi Zhang, Xiaohui Liu, and Weiguo Sheng. In Computational Imaging and Vision: Computer Vision and Graphics, volume 32, pages 349-354, Warsaw, Poland, March 2006. Springer Netherlands.
• Distributed key management for secure role based messaging. Gansen Zhao, Sassa Otenko, and David Chadwick. In Proceeding of The IEEE 20th International Conference on Advanced Information Networking and Applications (AINA2006), Vienna University of Technology, Vienna, Austria, April 2006.