© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Computer Science: Publication Index 2012
- A hyper-heuristic evolutionary algorithm for automatically designing decision-tree algorithms. R.C. Barros, M.P. Basgalupp, A.C.P.L.F. de Carvalho, and A.A. Freitas. In J.H. Moore, T. Soule, W. Banzhaf, X. Llora, A. Auger, M. Ritchie, G. Ochoa, W. Rand, J. Bongard, D. Loiacono, K. Rodriguez-Vazquez, J. Mehnen, and T. D. Davis, editors, Proceedings of 2012 Genetic and Evolutionary Computation Conference (GECCO), pages 1237-1244. ACM Press, July 2012.
- A survey of evolutionary algorithms for decision-tree induction. R.C. Barros, M.P. Basgalupp, A.C.P.L.F. de Carvalho, and A.A. Freitas. IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, 42(3):291-312, May 2012.
- A beam search based decision tree induction algorithm. M.P. Basgalupp, R.C. Barros, A.C.P.L.F. de Carvalho, and A.A. Freitas, volume Machine Learning Algorithms for Problem Solving in Computational Applications: Intelligent Techniques, chapter 20, pages 357-370. IGI Global, July 2012.
- Loop Leaping with Closures. Sebastian Biallas, J"org Brauer, Andy King, and Stefan Kowalewski. September 2012. ARCoSS subline.
- Loop Leaping with Closures. Sebastian Biallas, J"org Brauer, Andy King, and Stefan Kowalewski. In Antoine Min'e and David A. Schmidt, editors, Nineteenth Static Analysis Symposium, volume 7460 of Lecture Notes in Computer Science, pages 214-230. Springer, September 2012. ARCoSS subline.
- Proof Appendix for Loop Leaping with Closures. Sebastian Biallas, J"org Brauer, Andy King, and Stefan Kowalewski. Technical Report 3-12, University of Kent, School of Computing, June 2012.
- Does the orientation of an euler diagram affect user comprehension?. Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, and John Howse. In Proceedings of the 18th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (VLC 2012), volume 18, pages 185-190. Knowledge Systems Institute, August 2012. Awarded Best Paper.
- Editorial: Special issue on Refine 2009. Eerke Boiten, John Derrick, Jin Song Dong, and Steve Reeves. Formal Aspects of Computing, 24(1):182-196, January 2012.
- From ODP Viewpoint Consistency to Integrated Formal Methods. Eerke A. Boiten and John Derrick. Computer Standards and Interfaces, pages 182-196, January 2012.
- Book review: Modeling in Event-B by Jean-Raymond Abrial. Eerke A. Boiten. Journal of Functional Programming, 22(2):217-221, March 2012.
- Abstract Interpretation of Microcontroller Code: Intervals meet Congruences. J"org Brauer, Andy King, and Stefan Kowalewski. Science of Computer Programming, 77, July 2012.
- Transfer Function Synthesis without Quantifier Elimination. J"org Brauer and Andy King. Logical Methods in Computer Science, 8(2012):37, July 2012. Available as http://arxiv.org/abs/1207.4286.
- Evolving high-level imperative program trees with strongly formed genetic programming. Tom Castle and Colin G. Johnson. In Alberto Moraglio, Sara Silva, Krzysztof Krawiec, Penousal Machado, and Carlos Cotta, editors, Proceedings of the 15th European Conference on Genetic Programming, EuroGP 2012, volume 7244 of LNCS, pages 182-196, Malaga, April 2012. Springer.
- Evolving program trees with limited scope variable declarations. Tom Castle and Colin G. Johnson. In Proceedings of the 2012 IEEE Congress on Evolutionary Computation, Brisbane, Australia, June 2012. IEEE Press.
- Practical typed lazy contracts. Olaf Chitil. In Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012). ACM, September 2012. Version with proof appendix and minor corrections.
- Diagrammatic representation and inference: 7th international conference, diagrams 2012. Philip Cox, Beryl Plimmer, and Peter Rodgers, editors, volume 7352 of LNCS (LNAI). Springer, July 2012.
- Relational concurrent refinement part III: Traces, partial relations and automata. J. Derrick and E.A. Boiten. Formal Aspects of Computing, page 26, September 2012. Accepted for publication.
- Change stories. Sally Fincher, Janet Finlay, Helen Sharp, Isobel Falconer, and Brad Richards. Technical Report 1-12, February 2012.
- The impact of training set data distributions for modelling of passive intestinal absorption.. T. Ghafourian, A.A. Freitas, and D. Newby. International Journal of Pharmaceutics, 436(1-2):711-720, October 2012.
- A Pearl on SAT and SMT Solving in Prolog. Jacob M. Howe and Andy King. Theoretical Computer Science, 435:43-55, June 2012. Special Issue for the Tenth International Symposium on Functional and Logic Programming, edited by Matthias Blume and German Vidal.
- Polyhedral Analysis using Parametric Objectives. Jacob M. Howe and Andy King. September 2012. ARCoSS subline.
- Polyhedral Analysis using Parametric Objectives. Jacob M. Howe and Andy King. September 2012. ARCoSS subline.
- Polyhedral Analysis using Parametric Objectives. Jacob M. Howe and Andy King. In Antoine Min'e and David A. Schmidt, editors, Nineteenth Static Analysis Symposium, volume 7460 of Lecture Notes in Computer Science, pages 41-57. Springer, September 2012. ARCoSS subline.
- Quality quantity and repellent scent aware artificial bee colony algorithm for clustering. Unekwu Idachaba and Frank Wang. pages 182-196. University of Kent, EDA, January 2012.
- Search-based evolutionary operators for extensionally-defined search spaces: Applications to image search. Colin G. Johnson. In Proceedings of the 2012 IEEE World Congress on Computational Intelligence, pages 1641-1647, June 2012.
- The garbage collection handbook: The art of automatic memory management. Richard Jones, Antony Hosking, and Eliot Moss. Chapman and Hall, January 2012.
- A multi-label correlation-based feature selection method for the classification of neuroblastoma microarray data.. S. Jungjit, A.A. Freitas, M. Michaelis, and J. Cinatl. In I. Bichindaritz, P. Perner, G. Rub, and R. Schmidt, editors, Advances in Data Mining: 12th Industrial Conference (ICDM 2012) Workshop Proceedings Workshop on Data Mining in Life Sciences (DMLS 2012)., pages 149-157. IBAI Publishing, July 2012.
- A black-box approach to understanding concurrency in DaCapo. Tomas Kalibera, Matthew Mole, Richard Jones, and Jan Vitek. In Matthew Dwyer and Gary Leavens, editors, Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), Tucson, AZ, USA, October 2012. ACM.
- Quantifying performance changes with effect size confidence intervals. Tomas Kalibera and Richard Jones. Technical Report 4-12, University of Kent, June 2012.
- Mutual Exclusion by Interpolation. Jael Kriener and Andy King. In Tom Schrijvers and Peter Thiemann, editors, Eleventh International Symposium on Functional and Logic Programming, volume 7294 of Lecture Notes in Computer Science, pages 182-196, Kobe, Japan, May 2012. Springer.
- Building an open, large-scale research data repository of initial programming student behaviour. Michael Klling and Ian Utting, March 2012. Special session, Proceedings of SIGCSE 2012, Raleigh, NC, ISBN: 978-1-4503-1098-7.
- Using cloud computing to accelerate large spatial data sharing. Jiyuan Li, Frank Z Wang, and Lingkui Meng. pages 182-196. University of Kent, University of Kent, January 2012.
- Modelling of brain consciousness based on collaborative adaptive filters. L. Li, Y. Xia, B.Jelfs, J. Cao, and D. P. Mandic. Neurocomputing, 76(1):182-196, January 2012.
- A Domain-Specific Language for Scripting Refactorings in Erlang. Huiqing Li and Simon Thompson. In Juan de Lara and Andrea Zisman, editors, 15th Fundamental Approaches to Software Engineering(FASE2012), page 15pp, Tallinn, Estonia, March 2012. Lecture Notes in Computer Science. Springer.
- Let's Make Refactoring Tools User-extensible!. Huiqing Li and Simon Thompson. In Peter Sommerlad, editor, The Fifth ACM Workshop on Refactoring Tools, pages 32-39, June 2012.
- Automatic association of personal documents on the cloud. Jimmy Mian-Guan Lim and Frank Wang. pages 182-196. University of Kent, January 2012.
- A prototype structured but low-viscosity editor for novice programmers. F McKay. In Proceedings of BCS HCI 2012- People and Computers XXVI, Birmingham, UK.. BCS Interaction Specialist Group, BCS, September 2012.
- Improving the cAnt-MinerPB Classification Algorithm. Matthew Medland, Fernando E.B. Otero, and Alex A. Freitas. In Marco Dorigo, Mauro Birattari, Christian Blum, Anders Lyhne Christensen, Andries P. Engelbrecht, Roderich Gross, and Thomas Stützle, editors, Swarm Intelligence, volume 7461 of Lecture Notes in Computer Science, pages 73-84. Springer Berlin Heidelberg, September 2012.
- A Study of Different Quality Evaluation Functions in the cAnt-MinerPB Classification Algorithm. M. Medland and F.E.B. Otero. In Proceedings of the 2012 Genetic and Evolutionary Conference (GECCO 2012), pages 49-55. ACM Press, July 2012.
- Autoclustering: an estimation of distribution algorithm for the automatic generation of clustering algorithms.. A.S.G. Meiguins, R.C. Limao, B.S. Meiguins, S.F.S. Junior, and A.A. Freitas. In Proceedings of WCCI 2012 IEEE World Congress on Computational Intelligence (Congress on Evolutionary Computation), pages 2560-2566. IEEE Press, June 2012.
- Assessing the Effect of Visualizations on Bayesian Reasoning Through Crowdsourcing. Luana Micallef, Pierre Dragicevic, and Jean-Daniel Fekete. IEEE Transactions on Visualization and Computer Graphics (Proceedings Scientific Visualization / Information Visualization 2012), 18(12), December 2012. Refer to http://www.eulerdiagrams.org/eulerGlyphs. Received an Honorable Mention at VisWeek 2012.
- Visualizations with Venn and Euler Diagrams. Luana Micallef. In Proceedings of the 2012 Grace Hopper Celebration of Women in Computing, PhD Forum, Baltimore, MD, October 2012.
- Evolving recursive programs using non-recursive scaffolding. Alberto Moraglio, Fernando E.B. Otero, Colin G. Johnson, Simon Thompson, and Alex A. Freitas. In Proceedings of the 2012 IEEE World Congress on Computational Intelligence, pages 1596-1603, June 2012.
- Inducing decision trees with an ant colony optimization algorithm. F.E.B. Otero, A.A. Freitas, and C.G. Johnson. Applied Soft Computing, 12(11):3615-3626, November 2012.
- EpochX: Genetic programming in Java with statistics and event monitoring. Fernando E. B. Otero, Tom Castle, and Colin G. Johnson. In Proceedings of the 2012 Genetic and Evolutionary Conference Companion (GECCO 2012), Philadelphia, July 2012. ACM Press.
- 3rd International Workshop on Euler Diagrams (Euler Diagrams 2012). Peter Chapman and Luana Micallef, editors, Canterbury, UK, July 2012. CEUR-WS.org. online http://ceur-ws.org/Vol-854.
- Multicore scheduling for lightweight communicating processes. Carl G. Ritson, Adam T. Sampson, and Frederick R.M. Barnes. Science of Computer Programming, 77(6):727-740, June 2012.
- Introducing 3D Venn and Euler diagrams. Peter Rodgers, Jean Flower, and Gem Stapleton. In Peter Chapman and Luana Micallef, editors, Proceedings of the 3rd International Workshop on Euler Diagrams 2012, volume 854 of CEUR-WS, pages 92-106. CEUR-WS.org, July 2012.
- Wellformedness properties in Euler diagrams: Which should be used?. Peter Rodgers, Leishi Zhang, and Helen Purchase. Transactions on Visualization and Computer Graphics, 18(7):1089-1100, July 2012.
- Automatically drawing Euler diagrams with circles. Gem Stapleton, Jean Flower, Peter Rodgers, and John Howse. Journal of Visual Languages and Computing, 23(3):163-193, June 2012.
- To Boldly Go: an occam-π mission to engineer emergence.. Peter H. Welch, Kurt Wallnau, Adam T. Sampson, and Mark Klein. Natural Computing, pages 1-27, April 2012. [The PDF content here is the "accepted author's version" of the paper published by Springer. It is a prior draft of the official publication.].
- Benchmarking a non-relational database in a wireless environment. Bin Ye, Jimmy Mian-Guan Lim, and Frank Wang. pages 182-196. The University of Kent, January 2012.