© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Computer Science: Publication Index 2012
- 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.
- 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.
- Change stories. Sally Fincher, Janet Finlay, Helen Sharp, Isobel Falconer, and Brad Richards. Technical Report 12-1, February 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.
- 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.
- The garbage collection handbook: The art of automatic memory management. Richard Jones, Antony Hosking, and Eliot Moss. Chapman and Hall, January 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.
- 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.
- Automatic association of personal documents on the cloud. Jimmy Mian-Guan Lim and Frank Wang. pages 182-196. University of Kent, January 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.
- 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.
- 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.
- 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.