Computer Science: Publication Index 2008

Tca: Topology change attack in peer-to-peer networks. M. Abdelouahab, H. Ragab Hassen, A. Bouabdallah, M. Achemlal, and S. Laniepce. In Mobile and Wireless Networks Security workshop (MWNS), March 2008.
Multi-label hierarchical classification of protein functions with artificial immune systems. R.T. Alves, M.R. Delgado, and A.A. Freitas. In A.L.C. Bazzan, M. Craven, and N.F. Martins, editors, Advances in Bioinformatics and Computational Biology (Proc. 2008 Brazilian Symposium in Bioinformatics (BSB-2008)), Lecture Notes in Bioinformatics 5167, pages 1-12. Springer, August 2008.
Simulating biology: towards understanding what the simulation shows. Paul S. Andrews, Fiona Polack, Adam T. Sampson, Lisa Scott, and Mark Coles. In Susan Stepney, Fiona Polack, and Peter Welch, editors, Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008, pages 93-123. Luniver Press, September 2008.
Semantically driven crossover in genetic programming. Lawrence Beadle and Colin G Johnson. In IEEE World Congress on Computational Intelligence, pages 111-116. IEEE, January 2008.
Reflections on the Teaching of Programming. Jens Bennedsen, Michael E Caspersen, and Michael K�lling (Eds.). Lecture Notes in Computer Science , Vol. 4821. Springer, April 2008. (Book web site: http://www.springer.com/computer/general/book/978-3-540-77933-9).
Artificial immune systems in bioinformatics. V. Bevilacqua, F. Menolascina, R.T. Alves, S. Tommasi, G. Mastronardi, M. Delgado, A. Paradiso, G. Nicosia, and A.A. Freitas. In T.G. Smolinski, M.G. Milanova, and A.-E. Hassanien, editors, Computational Intelligence in Biomedicine and Bioinformatics: current trends and applications, pages 271-296. Springer, October 2008.
Process-oriented collective operations. John Markus Bj�rndalen and Adam T. Sampson. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 309-328, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007). E.A. Boiten, J. Derrick, and G. Smith. Electronic Notes in Theoretical Computer Science, 201:1, February 2008.
Preface: Refine 2008 proceedings. Eerke A. Boiten, John Derrick, and Gerhard Schellhorn. Electronic Notes in Theoretical Computer Science, 214:1, June 2008.
Reduction and refinement. Eerke Boiten and Dan Grundy. Electronic Notes in Theoretical Computer Science, 201C:31-44, February 2008. Proceedings of the BCS-FACS Refinement Workshop, Oxford, 2007. doi 10.1016/j.entcs.2008.02.014.
From ABZ to cryptography (abstract). Eerke A. Boiten. In E. B�rger, M. Butler, J.P. Bowen, and P. Boca, editors, ABZ 2008, volume 5238 of LNCS, page 353. Springer, September 2008.
A reciprocal relationship between bottom-up trace strength and the attentional blink bottleneck: Relating the LC-NE and ST² models. H. Bowman, B. Wyble, S. Chennu, and P. Craston. Brain Research, 1202:25-42, April 2008.
Matching and modifying with generics. Neil C. C. Brown and Adam T. Sampson. In Peter Achten, Pieter Koopman, and Marco T. Moraz�n, editors, Trends in Functional Programming (TFP) 2008, pages 304-318, May 2008. Draft Proceedings.
Representation and implementation of csp and vcr traces. Neil C.C. Brown and Marc L. Smith. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 329-345, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
Communicating haskell processes: Composable explicit concurrency using monads. Neil C.C. Brown. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 67-83, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
Taxing our best students. Janet Carter, Nick Efford, Stefan Jamieson, Tony Jenkins, and Su White. ITALICS, 7(1):120-127, June 2008.
Adding authorisation to eduroam. David Chadwick, George Beitis, and Gareth Owen. In TERENA Networking Conference, Brugge, Belgium, May 2008.
Coordinating Access Control in Grid Services. David W Chadwick, Linying Su, and Romain Laborde. Concurrency and Computation: Practice and Experience, 20(9):1071-1094, June 2008. Online version available from http://www3.interscience.wiley.com/cgi-bin/abstract/117347062/ABSTRACT.
PERMIS: a modular authorization infrastructure. David W Chadwick, Gansen Zhao, Sassa Otenko, Romain Laborde, Linying Su, and Tuan Anh Nguyen. Concurrency and Computation: Practice and Experience, 20(11):1341-1357, August 2008. Online ISSN: 1532-0634.
Dynamic delegation of authority in web services. D.W. Chadwick. In Panayiotis Periorellis, editor, Securing Web Services: Practical Usage of Standards and Specifications, pages 111-137. Idea Group Inc, October 2008. Information about the book can be found at http://www.igi-global.com/reference/details.asp?id=6976.
Transient attentional enhancement during the attentional blink: ERP correlates of the ST² model. Srivas Chennu, Patrick Craston, Brad Wyble, and Howard Bowman. In Robert M. French and Elizabeth Thomas, editors, FROM ASSOCIATIONS TO RULES: Connectionist Models of Behavior and Cognition, volume 17 of Progress in Neural Processing, World Scientific Publishing (UK) Ltd., 57 Shelton Street, London WC2H 9HE, U.K., January 2008. World Scientific.
Implementation and application of functional languages: 19th international workshop, ifl 2007, freiburg, germany, september 27-29, 2007. revised selected papers. Olaf Chitil, Zolt�n Horv�th, and Vikt�ria Zs�k, editors, LNCS 5083, Berlin, Heidelberg, July 2008. Springer-Verlag.
Comprehending finite maps for algorithmic debugging of higher-order functional programs. Olaf Chitil and Thomas Davie. In PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, pages 205-216. ACM, July 2008.
A theoretical interpretation of the transient sialic acid toxicity of a NanR mutant of Escherichia coli. D. Chu, J. Roobol, and I. Blomfield. Journal of Molecular Biology, 375:875-889, January 2008.
A Theoretical Interpretation of the Transient Sialic Acid Toxicity of a nanR Mutant of Escherichia coli. D Chu, J Roobol, and I C Blomfield. Journal of Molecular Biology, 375:875-889, January 2008.
Crossover operators to control size growth in linear gp and variable length gas. D. Chu. In IEEE Congress on Evolutionary Computation (IEEE CEC 2008), pages 336 - 343, June 2008.
The evolution of group-level pathogenic traits. D. Chu. Journal of Theoretical Biology, 253(2):355-362, January 2008.
Modes of evolution in a parasite�host interaction: Dis-entangling factors determining the evolution of regulated fimbriation in e. coli. D. Chu. Biosystems, 95(1):67-74, December 2008.
Criteria for conceptual and operational notions of complexity. Dominique Chu. Artificial Life, 14(3):313-323, August 2008. forthcoming.
Particle swarm for attribute selection in bayesian classification: an application to protein function prediction. Elon S Correa, Alex A Freitas, and Colin G Johnson. Journal of Artificial Evolution and Applications, 2008:12 pages, May 2008.
Top-down hierarchical ensembles of classifiers for predicting g-protein-coupled-receptor functions. E.P. Costa, A.C. Lorena, A.C.P.L.F. Carvalho, and A.A. Freitas. In A.L.C. Bazzan, M. Craven, and N.F. Martins, editors, Advances in Bioinformatics and Computational Biology (Proc. 2008 Brazilian Symposium in Bioinformatics (BSB-2008)), Lecture Notes in Bioinformatics 5167, pages 35-46. Springer, August 2008.
Applying cognitive electrophysiology to neural modelling of the attentional blink. Patrick Craston. PhD thesis, Computing, University of Kent, CT2 7NF, July 2008.
Optimizing amino acid groupings for GPCR classification. M.N. Davies, A. Secker, A.A. Freitas, E. Clark, J. Timmis, and D.R. Flower. Bioinformatics, 24(18):1980-1986, September 2008.
Alignment-independent techniques for protein classification. M.N. Davies, A. Secker, A.A. Freitas, J. Timmis, E. Clark, and D.R. Flower. Current Proteomics, 5(4):217-223, December 2008.
GPCRTree: online hierarchical classification of GPCR function. M.N. Davies, A. Secker, M. Halling-Brown, D.S. Moss, A.A. Freitas, J. Timmis, E. Clark, and D.R. Flower. BMC Research Notes, 1(67):5 pages, August 2008.
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. Aidan Delaney, John Taylor, and Simon Thompson. In Gem Stapleton, John Howse, and John Lee, editors, Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, number 5223 in Lecture Notes in Computer Science, pages 172-187, September 2008.
Dynamic and scalable storage management architecture for grid oriented storage devices. Yuhui Deng, Frank Wang, Na Helian, Sining Wu, and Chenhan Liao. Parallel Computing, 34:17-31, January 2008.
More relational refinement: traces and partial relations. J. Derrick and E.A. Boiten. Electronic Notes in Theoretical Computer Science, 214:255-276, May 2008. Proceedings of REFINE 2008 (Turku, May 2008).
Towards a competitive learning model of mirror effects in yes/no recognition memory tests. K. C. Dietz, H. Bowman, and J. C. van Hooff. In J. Mayor, N. Ruh, and K. Plunkett, editors, Connectionist models of behaviour and cognition II, number 18 in Progress in Neural Processing, pages 129-140. World Scientific: London, July 2008. Proceedings of the 11th Neural Computation and Psychology Workshop (NCPW11), University of Oxford, UK, 16-18 July 2008.
Security of Electronic Medical Records. Ana Ferreira, Ricardo Cruz-Correia, Lu�s Antunes, and David Chadwick. In Athina A. Lazakidou and Konstantinos M. Siassiakos, editors, Handbook of Research on Distributed Medical Informatics and E-Health, chapter III. September 2008.
Group work support for the BlueJ IDE. Kasper Fisker, Davin McCall, Michael K�lling, and Bruce Quig. In Proceedings of the 13th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE '08), Madrid, Spain, June 2008. ACM.
Providing effective feedback on whole-phrase input in computer-assisted language learning. Alison M. L. Fowler. In Farzana Khandia, editor, Proceedings of the 12th International Computer Assisted Assessment Conference 2008, pages 137-150, Professional Development, Loughborough University, Loughborough, Leicestershire, LE11 3TU, UK, July 2008. Loughborough University, Professional Development. Winner: best paper - 12th International Computer Assisted Assessment Conference, Loughborough, 2008.
Ant colony algorithms for data classification. A.A. Freitas, R.S. Parpinelli, and H.S. Lopes. In M. Khosrow-Pour, editor, Encyclopedia of Information Science and Technology, pages 154-159. Information Science Reference, 2nd edition, December 2008.
Genetic programming for automatically constructing data mining algorithms. A.A. Freitas and G.L. Pappa. In J. wang, editor, Encyclopedia of Data Warehousing and Mining, pages 932-936. Information Science Reference, 2nd edition, December 2008.
Assessing students' practice of professional values. Ursula Fuller and Bob Keim. In ITiCSE '08: Proceedings of the 13th annual conference on Innovation and technology in computer science education, pages 88-92, Madrid, Spain, July 2008. ACM.
Inferring Non-Suspension Conditions for Logic Programs with Dynamic Scheduling. Samir Genaim and Andy King. ACM Transactions on Computational Logic, November 2008. To appear.
Autonomously detecting the defective pixels in an imaging sensor array using a robust statistical technique. S. Ghosh, I. Marshall, and A.A. Freitas. In Image Quality and Systems Performance V � Proc. of SPIE-IS&T Electronic Imaging, SPIE Vol. 6808, page 12 pages, April 2008.
Robust autonomous detection of the defective pixels in detectors using a probabilistic technique. Siddhartha Ghosh, Dirk Froebrich, and Alex Freitas. Applied Optics, 47(36):6904-6924, December 2008.
Verification of Timed Automata with Deadlines in Uppaal. Rodolfo Gomez. Technical Report 2-08, Computing Laboratory, University of Kent, June 2008.
Adaptive Task Selection using Threshold-based Techniques in Dynamic Sensor Networks. Wesam S Haboush. PhD thesis, Computing Laboratory, June 2008.
Evolving a Dynamic Predictive Coding Mechanism for Novelty Detection. S Haggett, D Chu, and I Marshall. Knowledge-Based Systems, 21:217-224, January 2008.
Towards a multipurpose neural network approach to novelty detection. Simon J Haggett. PhD thesis, Computing, University of Kent, CT2 7NF, October 2008.
A hybrid pso/aco algorithm for discovering classification rules in data mining. N. Holden and A.A. Freitas. Journal of Artificial Evolution and Applications, 2008:11 pages, May 2008.
Improving the performance of hierarchical classification with swarm intelligence. N. Holden and A.A. Freitas. In E. Marchiori and J.H. Moore, editors, Proc. Sixth European Conf. on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics (EvoBio-2008), Lecture Notes in Computer Science 4973, pages 48-60. Springer, March 2008.
Defect patterns and structural properties in a mature well-specified software system. Tim Hopkins and Les Hatton. Technical Report 5-08, Computing Laboratory, University of Kent, Canterbury, Kent, UK, December 2008. Submitted for publication to "ACM Transactions on Software Engineering and Methodology" (Oct 2008).
The collected algorithms of the ACM. Tim Hopkins. Technical Report 4-08, Computing Laboratory, University of Kent, Canterbury, Kent, UK, December 2008. Submitted to "Wiley Interdisciplinary Reviews: Computational Statistics" (Oct 2008).
Expressions of Expertness: The Virtuous Circle of Natural Language for Access Control Policy Specification. Philip Inglesant, M Angela Sasse, David Chadwick, and Lei Lei Shi. In Symposium on Usable Privacy and Security (SOUPS), July 2008, Pittsburgh, PA, July 2008.
Protein interaction inference using particle swarm optimization algorithm.. M. Iqbal, A.A. Freitas, and C.G. Johnson. In E. Marchiori and J.H. Moore, editors, Proc. Sixth European Conf. on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics (EvoBio-2008), Lecture Notes in Computer Science 4973, pages 61-70. Springer, March 2008.
Message-passing algorithms for the prediction of protein domain interactions from protein�protein interaction data. Mudassar Iqbal, Alex A. Freitas, Colin G. Johnson, and Massimo Vergassola. Bioinformatics, 24(18):2064-2070, September 2008.
Safe parallelism for behavioral control. Matthew C. Jadud, Christian L. Jacobsen, Carl G. Ritson, and Jonathan Simpson. In 2008 IEEE International Conference on Technologies for Practical Robot Applications (TePRA), pages 137-142. IEEE, November 2008.
Patterns for programming in parallel, pedagogically. Matthew C. Jadud, Jonathan Simpson, and Christian L. Jacobsen. In SIGCSE '08: Proceedings of the 39th SIGCSE technical symposium on Computer science education, pages 231-235, New York, NY, USA, March 2008. ACM.
A design framework for metaheuristics. Colin G. Johnson. Artificial Intelliigence Review, 29(2):163-178, April 2008.
Multi-level neutrality in optimization. Colin G. Johnson. In Proceedings of the 2008 IEEE World Congress on Computational Intelligence, pages 2604-2609. IEEE Press, June 2008.
International symposium on memory management (ISMM 2008) summary. Richard Jones and Steve Blackburn. ACM SIGPLAN Notices, 43(8):12-14, August 2008. This article summaries the 2008 International Symposium on Memory Management and the innovations introduced into the reviewing process.
A study of Java demographics. Richard Jones and Chris Ryder. In Steve Blackburn, editor, Proceedings of the 2008 International Symposium on Memory Management (ISMM'08), pages 121-130, Tucson, AZ, June 2008. ACM Press.
Feature selection in automatic music genre classification. Carlos N. Silla Jr., Alessandro L. Koerich, and Celso A. A. Kaestner. In Tenth IEEE International Symposium on Multimedia, pages 39-44, December 2008.
An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. Neil Kettle and Andy King. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27(4):764-777, April 2008. Digital Object Identifier 10.1109/TCAD.2008.917592.
Bit-Precise Reasoning with Affine Functions. Neil Kettle and Andy King. Electronic Notes in Theoretical Computer Science, page 12, July 2008. Revised, Selected papers from the Bit-Precise Reasoning (BPR'08) workshop in Princetown.
Anytime algorithms for robdd symmetry detection and approximation. Neil J Kettle. PhD thesis, Computing Laboratory, University of Kent, September 2008.
Inferring Congruence Equations using SAT. Andy King and Harald Sondergaard. In Aarti Gupta and Sharad Malik, editors, Twentieth International Conference on Computer-Aided Verification, Lecture Notes in Computer Science. Springer-Verlag, July 2008.
Inferring Congruence Equations with SAT. Andy King and Harald Sondergaard. Technical Report 1-08, Computing Laboratory, University of Kent, January 2008.
Logic-based program synthesis and transformation, kongens lyngby, denmark, august 23-24, 2007, revised selected papers. Andy King. Number 4915 in Lecture Notes in Computer Science. Springer-Verlag, March 2008.
Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry. Andy King. In Puri Arenas and Damiano Zanardini, editors, Proceedings on Logic-Based Methods in Programming Envrionments, pages 1-7, Udine, December 2008. Invited paper.
Apprentice-based learning. Michael K�lling and David Barnes. In Jens Bennedsen, Michael E Caspersen, and Michael K�lling, editors, Reflections on the Teaching of Programming, Lecture Notes in Computer Science , Vol. 4821, pages 29-43. Springer, April 2008.
Greenfoot: a highly graphical ide for learning object-oriented programming. Michael K�lling. ACM SIGCSE Bulletin, Volume 40, Issue 3 (September 2008), ITiCSE '08, ACM, New York, NY, USA, ISSN:0097-8418, September 2008. DEMONSTRATION SESSION: Tips and techniques/demonstrations.
Using BlueJ to Introduce Programming. Michael K�lling. In Jens Bennedsen, Michael E Caspersen, and Michael K�lling, editors, Reflections on the Teaching of Programming, Lecture Notes in Computer Science , Vol. 4821, pages 121-140. Springer, April 2008.
Programming errors in traversal programs over structured data. Ralf Laemmel, Simon Thompson, and Markus Kaiser. In Jurgen Vinju and Adrian Johnstone, editors, 8th Workshop on Language Description, Tools and Applications, volume 238 of ENTCS, pages 135-153. Springer, April 2008.
Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse. Huiqing Li, Simon Thompson, George Orosz, and Melinda Toth. In Zoltan Horvath and Tee Teoh, editors, Proceedings of the Seventh ACM SIGPLAN Erlang Workshop, page 12pp. ACM Press, September 2008.
Refactoring with Wrangler, updated. Huiqing Li, Simon Thompson, Gy"orgy Orosz, and Melinda T"oth. In ACM SIGPLAN Erlang Workshop 2008, Victoria, British Columbia, Canada, September 2008.
Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. Huiqing Li and Simon Thompson. In P. Achten, P. Koopman, and M. T. Moraz�n, editors, Draft Proceedings of the Ninth Symposium on Trends in Functional Programming(TFP), The Netherlands, May 2008.
Tool Support for Refactoring Functional Programs. Huiqing Li and Simon Thompson. In Danny Dig, Robert Fuhrer, and Ralph Johnson, editors, Proceedings of the Second ACM SIGPLAN Workshop on Refactoring Tools, page 4pp, Nashville, Tennessee, USA, October 2008.
Tool Support for Refactoring Functional Programs. Huiqing Li and Simon Thompson. In Partial Evaluation and Program Manipulation, San Francisco, California, USA, January 2008.
How viewpoints relate to model transformations, configurations and conformance. Peter F. Linington. In Enterprise Distributed Object Computing Conference Workshops - WODPEC 2008, January 2008.
Ocular artifacts removal from EEG using EMD. D. Looney, L. Li, T. M. Rutkowski, D. P. Mandic, and A. Cichocki. In Advances in cognitive neurodynamics ICCN 2007, pages 831 - 835. Springer, January 2008.
An Embedded Domain Specific Language to Model, Transform and Quality Assure Business Processes in Business-Driven Development. Luana Micallef and Gordon J. Pace. In WICT 2008: 1st National ICT Conference, Valletta, Malta, November 2008. Faculty of ICT, University of Malta.
FuncBPML: An Embedded Domain Specific Language to Model, Transform and Quality Assure Business Processes in Business-Driven Development. Luana Micallef and Gordon J. Pace. Poster Session at the Students' Annual Project Exhibition 2008, Faculty of ICT, University of Malta, July 2008. Technical report at www.cs.kent.ac.uk/people/rpg/lm304/ELsforBPMTransformQAinBDD-techreport.pdf.
cAnt-Miner: an ant colony classification algorithm to cope with continuous attributes. F.E.B. Otero, A.A. Freitas, and C.G. Johnson. In M. Dorigo et al., editor, Ant Colony Optimization and Swarm Intelligence (Proc. ANTS 2008), LNCS 5217, pages 48-59. Springer, September 2008.
Storing data in ad hoc networks. G Owen and M. Adda. In Challenges in Higher Education & Research, volume 6. Heron Press Sofia, August 2008.
Storing data in ad hoc networks. Gareth Owen and Mo Adda. In International Conference on Challenges in Higher Education and Research in the 21st Century, Bulgaria, June 2008.
Stepping stones: Capacity building in engineering education. Arnold Pears, Sally Fincher, Robin Adams, and Mats Daniels. In 38th Annual Frontiers in Education (FIE) Conference, page T3F, October 2008.
Complex systems models: engineering simulations. Fiona A.C. Polack, Tim Hoverd, Adam T. Sampson, Susan Stepney, and Jon Timmis. In S. Bullock, J. Noble, R. Watson, and M. A. Bedau, editors, Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems, pages 482-489, Cambridge, MA, USA, August 2008. MIT Press.
Special issue editorial: Particle swarms: the second decade. Riccardo Poli, Jim Kennedy, Tim Blackwell, and Alex Freitas. Journal of Artificial Evolution and Applications, 2008:3 pages, May 2008.
Virtual Machine Based Debugging for occam-pi. Carl G. Ritson and Jonathan Simpson. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering Series, pages 293-307, Amsterdam, The Netherlands, September 2008. IOS Press.
Embedding wellformed euler diagrams. P. Rodgers, L. Zhang, G. Stapleton, and A. Fish. In Information Visualisation, 2008. IV '08. 12th International Conference, pages 585 - 593. IEEE Computer Society, IEEE, July 2008.
General Euler Diagram Generation. Peter Rodgers, Leishi Zhang, and Andrew Fish. In Proceeding Diagrams 2008, LNCS (LNAI) 5223, pages 13-27. Springer, September 2008.
CXXR: Refactoring the R interpreter into C++. Andrew R. Runnalls. useR!2008 conference, Dortmund, Germany, August 2008.
Rchive: Towards provenance tracking in R. Andrew R. Runnalls. Royal Statistical Society Conference RSS2008, Nottingham, UK., September 2008.
Interoperable multimedia mobile services in cultural heritage sites. N. Ryan, P. Mohr, D. Manzaroli, G. Mantovani, S. Bartolini, A. D�Elia, M. Pettinari, L. Roffia, L. Sklenar, F. Garzotto, and T. Salmon. In David Arnold, Franco Niccolucci, Daniel Pletinckx, and Luc Van Gool, editors, EPOCH Conference on Open Digital Cultural Heritage Systems (2008), June 2008.
Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. A.T. Sampson, P.H. Welch, D.N. Warren, P.S. Andrews, J.M. Bj�rndalen, S.Stepney, and J. Timmis. In S. Bullock, J. Noble, R. Watson, and M. A. Bedau, editors, Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems, pages 17-24, Cambridge, MA, USA., August 2008. MIT Press.
Process-oriented patterns for concurrent software engineering. Adam Sampson. PhD thesis, Computing, University of Kent, CT2 7NF, September 2008.
Two-way protocols for occam-pi. Adam T. Sampson. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 85-97, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
Dcer: sharing empirical computer science education data. Kate Sanders, Brad Richards, Jan Erik Mostr�m, Vicki Almstrum, Stephen Edwards, Sally Fincher, Kat Gunion, Mark Hall, Brian Hanks, and Stephen Lonergan. In Proceedings of the fourth international workshop on Computing Education Research (ICER), pages 137-148. ACM, August 2008.
An artificial immune system for evolving amino acid clusters tailored to protein function prediction. A. Secker, M.N. Davies, A.A. Freitas, J. Timmis, E. Clark, and D.R. Flower. In P.J. Bentley, D. Lee, and S. Jung, editors, Proc. 2008 Int. Conf. on Artificial Immune Systems (ICARIS-2008). Lecture Notes in Computer Science 5132, pages 242-253. Springer, August 2008.
Aisiid: an artificial immune system for interesting information discovery on the web. Andrew Secker, Alex A. Freitas, and Jon Timmis. Applied Soft Computing, 8(2):885-905, March 2008.
A Machine Learning Approach to Automatic Music Genre Classification. C. N. Silla Jr., A. L. Koerich, and C. A. A. Kaestner. Journal of the Brazilian Computer Society, 14(3):7-18, September 2008.
The Latin Music Database. Carlos Nascimento Silla Jr., Alessandro Lameiras Koerich, and Celso Antonio Alves Kaestner. In Proceedings of the 9th International Conference on Music Information Retrieval, pages 451-456. Lulu.com, September 2008.
Visual process-oriented programming for robotics. Jonathan Simpson and Christian L. Jacobsen. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 365-380, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
An information theoretic evaluation of software metrics for object lifetime prediction. Jeremy Singer, Sebastien Marion, Gavin Brown, Richard Jones, Mikel Lujan, Chris Ryder, and Ian Watson. In 2nd Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion (SMART'08), page 15, Goteborg, Sweden, January 2008.
Advanced Security for Virtual Organizations: The Pros and Cons of Centralized vs Decentralized Security Models. R O Sinnott, D W Chadwick, T Doherty, D Martin, A Stell, G Stewart, L Su, and J Watt. In Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 08), pages 106-113, Ecole Normale Superieure de Lyon, Lyon, France, May 2008. Institute of Electrical and Electronics Engineers.
Abstract Euler Diagram Isomorphism. G. Stapleton, A. Fish, and P.Rodgers. In 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing. Knowledge Systems Institute, September 2008.
Generating Euler Diagrams from Existing Layouts. G. Stapleton, J. Howse, P. Rodgers, and L. Zhang. In Proceedings of Layout of (Software) Engineering Diagrams, volume 13. Electronic Communications of the EASST, September 2008.
Proceedings of the 2008 workshop on complex systems modelling and simulation, york, uk, september 2008. Susan Stepney, Fiona Polack, and Peter Welch, editors. Luniver Press, September 2008.
A Certified Refactoring Engine. Nik Sultana and Simon Thompson. In P. Achten, P. Koopman, and M. T. Moraz�n, editors, Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP), May 2008.
Mechanical Verification of Refactorings. Nik Sultana and Simon Thompson. In Workshop on Partial Evaluation and Program Manipulation. ACM SIGPLAN, January 2008.
Verification of Refactorings in Isabelle/HOL. Nik Sultana. Master's thesis, Computing Laboratory, University of Kent, April 2008.
Regular expression matching with input compression and next state prediction.. Gerald Tripp. Technical Report 3-08, Computing Laboratory, University of Kent, October 2008.
Neural correlates of intrusion of emotion words in a modified Stroop task. J. C. van Hooff, K. C. Dietz, D. Sharma, and H. Bowman. International Journal of Psychophysiology, 67(1):23-34, January 2008.
A Case for Redundant Arrays of Hybrid Disks (RAHD). F. Wang, N. Helian, Sining Wu, Yike Guo, Derek Deng, V. Khare, C. Liao, M. Rashidi, and A. Parker. Magnetics, IEEE Transactions on, 44 Issue:11:3738-3741, November 2008.
Communicating process architectures 2008. Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, volume 66 of Concurrent Systems Engineering, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
A CSP Model for Mobile Channels. P.H. Welch and Frederick R.M. Barnes. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 17-33, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
Santa Claus - with Mobile Reindeer and Elves. P.H. Welch and Jan B. Pedersen. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 455-456, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.
Strategic regulation of cognitive control by emotional salience: A neural network model. B. Wyble, D. Sharma, and H. Bowman. Cognition & Emotion, 22(6), 2008.
Information visualization for dna microarray data analysis: a critical review. Leishi Zhang, Jasna Kuljis, and Xiaohui Liu. IEEE Transactions on Systems, Man, and Cybernetics�Part C: Applications and Reviews, 38(1):42 - 54, January 2008.
On the Modeling of Bell-LaPadula Security Policies using RBAC. Gansen Zhao and David W Chadwick. In Proceedings of 17th IEEE International workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2005), Rome, June 2008.

Navigation menu

School of Computing

Studying

Activities

Local users

About us

Search

School of Computing

Computer Science: Publication Index 2008