Bowles, JKF & Caminati, MB 2017, Correct composition of dephased behavioural models. in Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 10487, Springer, 14th International Conference on Formal Aspects of Component Software, Braga, Portugal, 10-13 October.

Li, J & Arandelovic, O 2017, Intuitive and interpretable visual communication of a complex statistical model of disease progression and risk. in 2017 IEEE 39th Annual International Conference of the Engineering in Medicine and Biology Society. IEEE, pp. 4199-4202, 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2017, Jeju Island, Korea, Democratic People's Republic of, 11-15 July.

Birkett, C, Arandelovic, O & Humphris, GM 2017, Towards objective and reproducible study of patient-doctor interaction: automatic text analysis based VR-CoDES annotation of consultation transcripts. in 2017 IEEE 39th Annual International Conference of the Engineering in Medicine and Biology Society. IEEE, pp. 2638-2641, 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2017, Jeju Island, Korea, Democratic People's Republic of, 11-15 July.

Hutton, L & Henderson, T 2017, Beyond the EULA: Improving consent for data mining. in T Cerquitelli, D Quercia & F Pasquale (eds), Transparent Data Mining for Big and Small Data. Studies in Big Data, vol. 11, Springer, pp. 147-167. DOI: 10.1007/978-3-319-54024-5_7

Bowles, JKF & Caminati, MB 2017, A flexible approach for finding optimal paths with minimal conflicts. in 19th International Conference on Formal Engineering Methods (ICFEM 2017). Lecture Notes in Computer Science, Springer, 19th International Conference on Formal Engineering Methods (ICFEM 2017), Xi’an, China, 13-17 November.

Nigri, E & Arandelovic, O 2017, Light curve analysis from Kepler spacecraft collected data. in International Conference on Multimedia Retrieval, Bucharest, Romania — June 06 - 09, 2017. ACM, New York, pp. 93-98, ACM International Conference on Multimedia Retrieval (ICMR 2017), Bucharest, Romania, 6-9 June. DOI: 10.1145/3078971.3080544

Rahman, F & Bowles, JKF 2017, Formal verification of CNL health recommendations. in Integrated Formal Methods: 13th International Conference on integrated Formal Methods (iFM 2017). Lecture Notes in Computer Science (Programming and Software Engineering), Springer-Verlag, 13th International Conference on integrated Formal Methods (iFM 2017), Torino, Italy, 18-22 September.

Bowles, JKF, Caminati, MB & Cha, S 2017, An integrated framework for verifying multiple care pathways. in Eleventh International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society, Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Nice, France, 13-15 September.

Conn, B & Arandelovic, O 2017, Towards computer vision based ancient coin recognition in the wild — automatic reliable image preprocessing and normalization. in 2017 International Joint Conference on Neural Networks (IJCNN)., 7966024, IEEE, pp. 1457-1464, 2017 International Joint Conference on Neural Networks, IJCNN 2017, Anchorage, United States, 14-19 May. DOI: 10.1109/IJCNN.2017.7966024

Sharma, R & Arandelovic, O 2017, Information and knowing when to forget it. in 2017 IEEE International Joint Conference on Neural Networks (IJCNN)., 7966253, IEEE, pp. 3184-3190, 2017 International Joint Conference on Neural Networks, Anchorage, United States, 14-19 May. DOI: 10.1109/IJCNN.2017.7966253

Redeker, G, Webber, T, Czekster, R, Quickert, S & Bowles, JKF 2017, Estimating capacity and resource allocation in healthcare settings using business process modelling and simulation. in Anais XXXVII Congresso da Sociedade Brasileira de Computação. Sociedade Brasileira de Computação (SBC), Workshop de Informática Médica (WIM), São Paulo, Brazil, 2-6 July.

Fare, C & Arandelovic, O 2017, Ancient Roman coin retrieval: a systematic examination of the effects of coin grade. in JM Jose, C Hauff, IS Altıngovde , D Song, D Albakour, S Watt & J Tait (eds), Advances in Information Retrieval: 39th European Conference on IR Research, ECIR 2017, Aberdeen, UK, April 8-13, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10193, Springer, Cham, pp. 410-423, 39th European Conference on IR Research, Aberdeen, United Kingdom, 9-13 April. DOI: 10.1007/978-3-319-56608-5_32

Umar, H & Arandelovic, O 2017, Learning nuanced cross-disciplinary citation metric normalization using the hierarchical Dirichlet process on big scholarly data. in Proceedings of the Symposium on Applied Computing. Association for Computing Machinery, Inc, pp. 1842-1847, 32nd ACM SIGAPP Symposium On Applied Computing, Marrakech, Morocco, 3-7 April. DOI: 10.1145/3019612.3019842

Li, J & Arandelovic, O 2017, Glycaemic index prediction: a pilot study of data linkage challenges and the application of machine learning. in 2017 IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI)., 7897279, IEEE, pp. 357-360, BHI-2017 International Conference on Biomedical and Health Informatics, Orlando, United States, 16-19 February. DOI: 10.1109/BHI.2017.7897279

Osuala, R & Arandelovic, O 2017, Visualization of patient specific disease risk prediction. in IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI)., 7897250, IEEE, pp. 241-244, BHI-2017 International Conference on Biomedical and Health Informatics, Orlando, United States, 16-19 February. DOI: 10.1109/BHI.2017.7897250

Bowles, JKF, Bordbar, B & Alwanain, M 2017, Weaving true-concurrent aspects using constraint solvers. in 2016 16th International Conference on Application of Concurrency to System Design (ACSD)., 7842499, IEEE Computer Society, pp. 35-44, PN 2016 // ACSD 2016, Toruń, Poland, 19-24 June. DOI: 10.1109/ACSD.2016.19

Norval, C & Henderson, T 2017, Contextual consent: ethical mining of social media for health research. in Proceedings of the WSDM 2017 Workshop on Mining Online Health Reports. WSDM Workshop on Mining Online Health Reports, Cambridge, United Kingdom, 10-10 February.

Bowles, JKF & Caminati, MB 2017, A verified algorithm enumerating event structures. in H Geuvers, M England, O Hasan, F Rabe & O Teschke (eds), Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol. 10383, Springer, Cham, pp. 239-254, 10th Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, United Kingdom, 17-21 July. DOI: 10.1007/978-3-319-62075-6_17

Crowcroft, J, Haddadi, H & Henderson, T 2017, Responsible Research on Social Networks: Dilemmas and Solutions. in B Foucault-Welles & S González-Bailón (eds), Oxford Handbook of Networked Communication. Oxford University Press, Oxford, UK.

Barracliffe, L, Arandelovic, O & Humphris, GM 2017, A pilot study of breast cancer patients: Can machine learning predict healthcare professionals' responses to patient emotions? in O Eulenstein, Q Ding & H Al-Mubaid (eds), Proceedings of the 9th International Conference on Bioinformatics and Computational Biology, BICOB 2017: Honolulu; United States; 20 March 2017 through 22 March 2017. International Society for Computers and Their Applications, pp. 101-106, 9th International Conference on Bioinformatics and Computational Biology, Honolulu, United States, 20-22 March.

Nederhof, MJ & Yli-Jyra, A 2017, A derivational model of discontinuous parsing. in F Drewes, C Martin-Vide & B Truthe (eds), Language and Automata Theory and Applications: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. Lecture Notes in Computer Science (Theoretical Computer Science and General Issues), vol. 10168, Springer, Cham, pp. 299-310, 11th International Conference on Language and Automata Theory and Applications, Umeå, Sweden, 6-9 March. DOI: 10.1007/978-3-319-53733-7_22

Bowles, JKF & Caminati, MB 2016, Mind the gap: addressing behavioural inconsistencies with formal methods. in A Potanin, GC Murphy, S Reeves & J Dietrich (eds), 2016 23rd Asia-Pacific Software Engineering Conference (APSEC)., 7890603, IEEE Computer Society, pp. 313-320, 23rd Asia-Pacific Software Engineering Conference, Hamilton, New Zealand, 6-9 December. DOI: 10.1109/APSEC.2016.051

Zhao, Y, Ye, J & Henderson, T 2016, A robust reputation-based location-privacy recommender system using opportunistic networks. in Proceedings of The 8th EAI International Conference on Mobile Computing, Applications and Services. ACM, 8th EAI International Conference on Mobile Computing, Applications and Services, Cambridge, United Kingdom, 30-1 December. DOI: 10.4108/eai.30-11-2016.2267031

Rieutort-Louis, W & Arandelovic, O 2016, Descriptor transition tables for object retrieval using unconstrained cluttered video acquired using a consumer level handheld mobile device. in 2016 International Joint Conference on Neural Networks (IJCNN)., 7727584, IEEE, pp. 3030-3037, IEEE World Congress on Computational Intelligence, Vancouver, Canada, 24-29 July. DOI: 10.1109/IJCNN.2016.7727584

Pham, D-S, Arandjelovic, O & Venkatesh, S 2016, Achieving stable subspace clustering by post-processing generic clustering results. in 2016 International Joint Conference on Neural Networks (IJCNN). vol. 2016-October, 7727496, IEEE, pp. 2390-2396, IEEE World Congress on Computational Intelligence, Vancouver, Canada, 24-29 July. DOI: 10.1109/IJCNN.2016.7727496

Beykikhoshk, A, Phung, D, Arandelovic, O & Venkatesh, S 2016, Analysing the history of autism spectrum disorder using topic models. in 2016 IEEE International Conference on Data Science and Advanced Analytics (DSAA'2016)., 7796964, IEEE, pp. 762-771, 3rd IEEE International Conference on Data Science and Analytics, Montreal, Canada, 17-19 October. DOI: 10.1109/DSAA.2016.65

Yeo, HS, Flamich, G, Schrempf, P, Harris-Birtill, DCC & Quigley, AJ 2016, RadarCat : Radar Categorization for input & interaction. in Proceedings of the 29th Annual Symposium on User Interface Software and Technology. ACM, pp. 833-841, 29th ACM User Interface Software and Technology Symposium, Tokyo, Japan, 16-19 October. DOI: 10.1145/2984511.2984515

Arandelovic, O 2016, Weighted linear fusion of multimodal data - a reasonable baseline? in Proceedings of the 2016 ACM on Multimedia Conference. Association for Computing Machinery, Inc, New York, pp. 851-857, 24th ACM International Conference on Multimedia (MM), Amsterdam, Netherlands, 15-19 October. DOI: 10.1145/2964284.2964304

Vasiljeva, I & Arandelovic, O 2016, Towards sophisticated learning from EHRs: increasing prediction specificity and accuracy using clinically meaningful risk criteria. in 2016 IEEE 38th Annual International Conference of the Engineering in Medicine and Biology Society (EMBC)., 7591226, IEEE, pp. 2452-2455, 38th International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016, Orlando, United States, 16-20 August. DOI: 10.1109/EMBC.2016.7591226

Andrei, V & Arandjelovic, O 2016, Identification of promising research directions using machine learning aided medical literature analysis. in 2016 IEEE 38th Annual International Conference of the Engineering in Medicine and Biology Society (EMBC)., 7591231, IEEE, pp. 2471-2474, 38th International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016, Orlando, United States, 16-20 August. DOI: 10.1109/EMBC.2016.7591231

Nederhof, MJ 2016, Transition-based dependency parsing as latent-variable constituent parsing. in Proceedings of the SIGFSM Workshop on Statistical NLP and Weighted Automata. Association for Computational Linguistics, Berlin, 54th Annual meeting of the Association for Computational Linguistics, Berlin, Germany, 7-12 August.

Nederhof, MJ 2016, A short proof that O₂ is an MCFL. in 54th Annual meeting of the Association for Computational Linguistics: Proceedings of the Conference. Association for Computational Linguistics, Berlin, 54th Annual meeting of the Association for Computational Linguistics, Berlin, Germany, 7-12 August.

Vasiljeva, I & Arandelovic, O 2016, Automatic knowledge extraction from EHRs. in IJCAI 2016 - Workshop on Knowledge Discovery in Healthcare Data: New York City, USA, 10 July 2016. IJCAI 2016 - Workshop on Knowledge Discovery in Healthcare Data, New York, United States, 10-10 July.

Ghiass, R & Arandelovic, O 2016, Highly accurate gaze estimation using a consumer RGB-depth sensor. in S Kambhampati (ed.), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence: New York City, USA, 9–15 July 2016. AAAI Press/International Joint Conferences on Artificial Intelligence, Palo Alto, pp. 3368-3374, 25th International Joint Conference on Artificial Intelligence, New York, United States, 9-15 July.

Arandelovic, O 2016, Learnt quasi-transitive similarity for retrieval from large collections of faces. in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. IEEE Computer Society, pp. 4883-4892, IEEE Conference on Computer Vision and Pattern Recognition, Las Vegas, United States, 26-1 July. DOI: 10.1109/CVPR.2016.528

Bowles, JKF & Silvina, A 2016, Model checking cancer automata. in IEEE EMBS International Conference on Biomedical and Health Informatics, BHI 2016., 7455913, Institute of Electrical and Electronics Engineers Inc., pp. 376-379, 3rd IEEE EMBS International Conference on Biomedical and Health Informatics, BHI 2016, Las Vegas, United States, 24-27 February. DOI: 10.1109/BHI.2016.7455913

Vasiljeva, I & Arandelovic, O 2016, Prediction of future hospital admissions - what is the tradeoff between specificity and accuracy? in N Haspel & T Ioerger (eds), Proceedings of the 8th International Conference on Bioinformatics and Computational Biology, BICOB 2016: Las Vegas; United States; 4 April 2016 through 6 April 2016. International Society for Computers and Their Applications, pp. 9-14, BICoB-2016, Las Vegas, Nevada, United States, 4-6 April.

Zhao, Y, Ye, J & Henderson, T 2016, The effect of privacy concerns on privacy recommenders. in IUI '16 Proceedings of the 21st International Conference on Intelligent User Interfaces. ACM, New York, pp. 218-227, ACM IUI 2016, Sonoma, United States, 7-10 March. DOI: 10.1145/2856767.2856771

Mortier, R, Haddadi, H, Henderson, T, McAuley, D, Crowcroft, J & Crabtree, A 2016, Human-Data Interaction. in Encyclopedia of Human-Computer Interaction.

Akgün, Ö, Gent, IP, Jefferson, CA, Miguel, IJ & Nightingale, PW 2016, Exploiting short supports for improved encoding of arbitrary constraints into SAT. in M Rueher (ed.), Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9892, Springer, pp. 3-12, 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), Toulouse, France, 5-9 September. DOI: 10.1007/978-3-319-44953-1_1

Dehaye, P-O, Iancu, M, Kohlhase, M, Konovalov, A, Lelièvre, S, Müller, D, Pfeiffer, M, Rabe, F, Thiéry, NM & Wiesling, T 2016, Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach. in M Kohlhase, M Johansson, B Miller, L de Moura & F Tompa (eds), Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9791, Springer, Cham, pp. 117-131, Conference on Intelligent Computer Mathematics 2016, Bialystok, Poland, 25-29 July. DOI: 10.1007/978-3-319-42547-4_9

Kovalov, A & Bowles, JKF 2016, Avoiding medication conflicts for patients with multimorbidities. in E Ábrahám & M Huisman (eds), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-3, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9681, Springer, pp. 376-390, 12th International Conference on integrated Formal Methods, Reykjavík, Iceland, 1-5 June. DOI: 10.1007/978-3-319-33693-0_24

Meedeniya, DA, Perera, GIUS & Bowles, JKF 2015, Transformation and composition of software design models for Model Driven Development. in Proceedings 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS). IEEE, pp. 31-36, 2015 IEEE 10th International Conference on Industrial and Information Systems (ICIIS), Peradeniya, Sri Lanka, 17-20 December. DOI: 10.1109/ICIINFS.2015.7398981

Arandjelovic, O 2015, Prediction of health outcomes using big (health) data. in Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. vol. 2015-November, 7318910, Institute of Electrical and Electronics Engineers Inc., pp. 2543-2546, 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2015, Milan, Italy, 25-29 August. DOI: 10.1109/EMBC.2015.7318910

Ghiass, RS, Arandjelovic, O & Laurendeau, D 2015, Highly accurate and fully automatic head pose estimation from a low quality consumer-level RGB-D sensor. in HCMC 2015 - Proceedings of the 2nd Workshop on Computational Models of Social Interactions: Human-Computer-Media Communication, co-located with ACM MM 2015. Association for Computing Machinery, Inc, pp. 25-34, 2nd Workshop on Computational Models of Social Interactions: Human-Computer-Media Communication, HCMC 2015, Brisbane, Australia, 30 October. DOI: 10.1145/2810397.2810401

Rieutort-Louis, W & Arandelovic, O 2015, Bo(V)W models for object recognition from video. in 2015 22nd International Conference on Systems, Signals and Image Processing - Proceedings of IWSSIP 2015., 7314184, Institute of Electrical and Electronics Engineers Inc., pp. 89-92, 22nd International Conference on Systems, Signals and Image Processing, IWSSIP 2015, London, United Kingdom, 10-12 September. DOI: 10.1109/IWSSIP.2015.7314184

Biadgligne, Y & Arandelovic, O 2015, Face filtering - Insights from real-world data. in 2015 22nd International Conference on Systems, Signals and Image Processing - Proceedings of IWSSIP 2015., 7314178, Institute of Electrical and Electronics Engineers Inc., pp. 65-68, 22nd International Conference on Systems, Signals and Image Processing, IWSSIP 2015, London, United Kingdom, 10-12 September. DOI: 10.1109/IWSSIP.2015.7314178

Arandelovic, O 2015, Automatic vehicle tracking and recognition from aerial image sequences. in AVSS 2015 - 12th IEEE International Conference on Advanced Video and Signal Based Surveillance., 7301725, Institute of Electrical and Electronics Engineers Inc., 12th IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2015, Karlsruhe, Germany, 25-28 August. DOI: 10.1109/AVSS.2015.7301725

Nightingale, P, Spracklen, P & Miguel, IJ 2015, Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row. in G Pesant (ed.), Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. vol. 9255, Lecture Notes in Computer Science, vol. 9255, Springer, pp. 330-350, 21st International Conference on Principles and Practice of Constraint Programming (CP 2015), Cork, Ireland, 31-4 September. DOI: 10.1007/978-3-319-23219-5_23

Arandelovic, O, Pham, DS & Venkatesh, S 2015, The adaptable buffer algorithm for high quantile estimation in non-stationary data streams. in Proceedings of the International Joint Conference on Neural Networks. vol. 2015-September, 7280314, Institute of Electrical and Electronics Engineers Inc., International Joint Conference on Neural Networks, IJCNN 2015, Killarney, Ireland, 12-17 July. DOI: 10.1109/IJCNN.2015.7280314

Wetter, JP, Akgun, O, Barker, AD, Dominik, M, Miguel, IJ & Varghese, B 2015, Cloud-based e-Infrastructure for scheduling astronomical observations. in 2015 IEEE 11th International Conference on e-Science (e-Science) (2015). IEEE Computer Society, pp. 362-370, 11th IEEE International Conference on eScience, Munich, Germany, 31-4 September. DOI: 10.1109/eScience.2015.54

Beykikhoshk, A, Arandelovic, O & Venkatesh, DPS 2015, Overcoming data scarcity of Twitter: Using tweets as bootstrap with application to autism-related topic content analysis. in Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2015. Association for Computing Machinery, Inc, pp. 1354-1361, IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2015, Paris, France, 25-28 August. DOI: 10.1145/2808797.2808908

Eddie, T, Ye, J & Stevenson, G 2015, Are our mobile phones driving us apart? Divert attention from mobile phones back to physical conversation! in MobileHCI 2015 - Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct. Association for Computing Machinery, Inc, pp. 1082-1087, 17th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2015, Copenhagen, Denmark, 24-27 August. DOI: 10.1145/2786567.2794331

Hutton, L & Henderson, T 2015, Some challenges for ethics in social network research. in Proceedings of the 2015 ACM SIGCOMM Workshop on Ethics in Networked Systems Research. ACM, pp. 13-15, Workshop on Ethics in Networked Systems Research, London, United Kingdom, 21-21 August. DOI: 10.1145/2793013.2793023

Wetter, J, Akgun, O & Miguel, I 2015, Automatically generating streamlined constraint models with ESSENCE and CONJURE. in G Pesant (ed.), Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. vol. 9255, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9255, Springer, pp. 480-496, 21st International Conference on the Principles and Practice of Constraint Programming, CP 2015, Cork, Ireland, 31-4 September. DOI: 10.1007/978-3-319-23219-5_34

Arandjelovic, O 2015, Prediction of health outcomes using big (health) data. in Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) . vol. 2015, IEEE, pp. 2543-2546. DOI: 10.1109/EMBC.2015.7318910

Dietze, T & Nederhof, MJ 2015, Count-based state merging for probabilistic regular tree grammars. in Proceedings of the 12th International Conference on Finite State Methods and Natural Language Processing. Association for Computational Linguistics, Duesseldorf, Germany, The 12th International Conference on Finite-State Methods and Natural Language Processing, Düsseldorf, Germany, 22-24 June.

Nederhof, MJ & Rahman, F 2015, A probabilistic model of Ancient Egyptian writing. in Proceedings of the 12th International Conference on Finite State Methods and Natural Language Processing. Association for Computational Linguistics, Duesseldorf, Germany, The 12th International Conference on Finite-State Methods and Natural Language Processing, Düsseldorf, Germany, 22-24 June.

Arandelovic, O 2015, Sample-targeted clinical trial adaptation. in Proceedings of the National Conference on Artificial Intelligence. vol. 3, AI Access Foundation, pp. 1693-1699, 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015, Austin, United States, 25-30 January.

Hutton, L & Henderson, T 2015, Making social media research reproducible. in Proceedings of the ICWSM Workshop on Standards and Practices in Large-Scale Social Media Research. Association for the Advancement of Artificial Intelligence, pp. 2-7, Workshop on Standards and Practices in Large-Scale Social Media Research, Oxford, United Kingdom, 26-29 May.

Hutton, L & Henderson, T 2015, "I didn't sign up for this!": Informed consent in social network research. in Proceedings of the 9th International AAAI Conference on Web and Social Media (ICWSM). pp. 178-187, The 9th International AAAI Conference on Web and Social Media, Oxford, United Kingdom, 26-29 May.

Ye, J, Stevenson, G & Dobson, S 2015, Fault detection for binary sensors in smart home environments. in 2015 IEEE International Conference on Pervasive Computing and Communications (PerCom). IEEE Computer Society, pp. 20-28, IEEE International Conference on Pervasive Computing and Communications (PerCom 2015), St Louis, Missouri, United States, 23-27 March. DOI: 10.1109/PERCOM.2015.7146505

Toniolo, A, Norman, TJ, Etuk, AA, Cerutti, F, Ouyang, RW, Srivastava, M, Oren, N, Dropps, T, Allen, JA & Sullivan, P 2015, Supporting Reasoning with Different Types of Evidence in Intelligence Analysis. in Proceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems. ACM, pp. 781-789.

Beykikhoshk, A, Arandelovic, O, Venkatesh, S & Phung, D 2015, Hierarchical Dirichlet process for tracking complex topical structure evolution and its application to autism research literature. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 9077, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9077, Springer-Verlag, pp. 550-562, 19th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2015, Ho Chi Minh City, Viet Nam, 19-22 May. DOI: 10.1007/978-3-319-18038-0_43

Arandelovic, O, Pham, DS & Venkatesh, S 2015, Groupwise registration of aerial images. in IJCAI International Joint Conference on Artificial Intelligence. vol. 2015-January, International Joint Conferences on Artificial Intelligence, pp. 2133-2139, 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25-31 July.

Kimmerle, W & Konovalov, A 2015, Recent advances on torsion subgroups of integral group rings. in Groups St Andrews 2013. Cambridge University Press, pp. 331-347. DOI: 10.1017/CBO9781316227343.021

Bowles, JKF, Alwanain, M, Bordbar, B & Chen, Y 2015, Matching and merging scenarios automatically with Alloy. in S Hammoudi, L Ferreira Pires, J Filipe & RC das Neves (eds), Model-Driven Engineering and Software Development: Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers. Communications in Computer and Information Science, vol. 506, Springer, Cham, pp. 100-116, International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014), Lisbon, Portugal, 7-9 January. DOI: 10.1007/978-3-319-25156-1_7

Bowles, JKF, Bordbar, B & Alwanain, M 2015, A logical approach for behavioural composition of scenario-based models. in M Butler, S Conchon & F Zaïdi (eds), Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9407, Springer, Cham, pp. 252-269, ICFEM 2015 The 17th International Conference on Formal Engineering Methods, Paris, France, 3-6 November. DOI: 10.1007/978-3-319-25423-4_16

Arandelovic, O 2014, A framework for improving the performance of verification algorithms with a low false positive rate requirement and limited training data. in IJCB 2014 - 2014 IEEE/IAPR International Joint Conference on Biometrics., 6996275, Institute of Electrical and Electronics Engineers Inc., 2nd IEEE/IAPR International Joint Conference on Biometrics, IJCB 2014, Clearwater, United States, 29-2 October. DOI: 10.1109/BTAS.2014.6996275

Varghese, B, Akgun, O, Miguel, I, Thai, L & Barker, A 2014, Cloud benchmarking for performance. in 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014). IEEE, pp. 535-540. DOI: 10.1109/CloudCom.2014.28

Kelsey, T, McCaffery, M & Kotthoff, L 2014, Web-scale distributed eScience AI search across disconnected and heterogeneous infrastructures. in Proceedings - 2014 IEEE 10th International Conference on eScience, eScience 2014. vol. 1, IEEE, pp. 39-46. DOI: 10.1109/eScience.2014.15

Zhao, Y, Ye, J & Henderson, T 2014, Privacy-Aware Location Privacy Preference Recommendations. in Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous). pp. 120-129. DOI: 10.4108/icst.mobiquitous.2014.258017

Thai, L, Barker, A, Varghese, B, Akgun, O & Miguel, I 2014, Optimal deployment of geographically distributed workflow engines on the Cloud. in 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014). IEEE, pp. 811-816. DOI: 10.1109/CloudCom.2014.30

Beykikhoshk, A, Arandelovic, O, Phung, D, Venkatesh, S & Caelli, T 2014, Data-mining Twitter and the autism spectrum disorder: A Pilot study. in ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining., 6921609, Institute of Electrical and Electronics Engineers Inc., pp. 349-356, 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2014, Beijing, China, 17-20 August. DOI: 10.1109/ASONAM.2014.6921609

Xiong, C, Kelsey, T, Linton, SA & Leonhardt, U 2014, Towards the calculation of Casimir forces for inhomogeneous planar media. in R Feng, W Lee & Y Sato (eds), Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks. Springer, pp. 171-180. DOI: 10.1007/978-3-662-43799-5_15

Henderson, T & Kotz, D 2014, Data citation practices in the CRAWDAD wireless network data archive. in Proceedings of the Second Workshop on Linking and Contextualizing Publications and Datasets.

Nightingale, P, Akgun, O, Gent, IP, Jefferson, C & Miguel, I 2014, Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. in B OSullivan (ed.), Principles and Practice of Constraint Programming. Lecture Notes in Computer Science, vol. 8656, Springer, Cham, pp. 590-605, 20th International Conference on the Principles and Practice of Constraint Programming (CP 2014), France, 8-12 September. DOI: 10.1007/978-3-319-10428-7_43

Nederhof, MJ & Vogler, H 2014, Hybrid Grammars for Discontinuous Parsing. in 25th International Conference on Computational Linguistics. Association for Computational Linguistics, Dublin, Ireland, pp. 1370-1381.

Hutton, L, Henderson, T & Kapadia, A 2014, "Here I am, now pay me!": privacy concerns in incentivised location-sharing systems. in Proceedings of the 7th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec). ACM, pp. 81. DOI: 10.1145/2627393.2627416

Parris, I & Henderson, T 2014, Friend or Flood? Social prevention of flooding attacks in opportunistic networks. in Distributed Computing Systems Workshops (ICDCSW), 2014 IEEE 34th International Conference on . Distributed Computing Systems Workshops (ICDCSW), IEEE, pp. 16-21, Sixth International Workshop on Hot Topics in Peer-to-peer computing and Online Social neTworking (HotPOST 2014), Madrid, United Kingdom, 30-3 July. DOI: 10.1109/icdcsw.2014.8

Nederhof, MJ & McCaffery, M 2014, Deterministic Parsing using PCFGs. in 14th Conference of the European Chapter of the Association for Computational Linguistics. Association for Computational Linguistics, Gothenburg, Sweden, pp. 338-347.

Fernandez Marquez, JL, di Marzo Serugendo, G, Stevenson, GT, Ye, J, Dobson, SA & Zamonelli, F 2014, Self-management of self-organising mobile computing applications: a separation of concerns approach. in SAC '14 Proceedings of the 29th ACM Symposium on Applied Computing. ACM, New York, NY, pp. 458-465. DOI: 10.1145/2554850.2555042

Henderson, T 2014, Review: Ethical research standards in a world of big data. in F1000Research. DOI: 10.5256/f1000research.3770.r3876

Harris-Birtill, D, Singh, M, Zhou, Y, Gallina, ME, Cass, T & Elson, DS 2014, Gold Nanorod Reshaping using a Continuous Wave Laser. in CLEO: 2014. Optical Society of American (OSA), pp. JTh2A.95. DOI: 10.1364/CLEO_AT.2014.JTh2A.95

Walton, D, Toniolo, A & Norman, TJ 2014, Missing phases of deliberation dialogue for real applications. in Proceedings of the Eleventh International Workshop on Argumentation in Multi-Agent Systems.

Toniolo, A, Dropps, T, Ouyang, RW, Allen, JA, Norman, TJ, Oren, N, Srivastava, M & Sullivan, P 2014, Argumentation-based collaborative intelligence analysis in CISpaces. in S Parsons, N Oren, C Reed & F Cerutti (eds), COMPUTATIONAL MODELS OF ARGUMENT. Frontiers in Artificial Intelligence and Applications, vol. 266, IOS Press, pp. 481-482, 5th Conference on Computational Models of Argument (COMMA), Pitlochry, 1 September. DOI: 10.3233/978-1-61499-436-7-481

Ghiass, RS, Arandelovic, O, Bendada, H & Maldague, X 2014, A unified framework for thermal face recognition. in Neural Information Processing - 21st International Conference, ICONIP 2014, Proceedings. vol. 8835, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8835, Springer-Verlag, pp. 335-343, 21st International Conference on Neural Information Processing, ICONIP 2014, Kuching, Malaysia, 3-6 November.

Arandelovic, O, Pham, D & Venkatesh, S 2014, Stream quantiles via maximal entropy histograms. in Neural Information Processing - 21st International Conference, ICONIP 2014, Proceedings. vol. 8835, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8835, Springer-Verlag, pp. 327-334, 21st International Conference on Neural Information Processing, ICONIP 2014, Kuching, Malaysia, 3-6 November.

Meedeniya, DA, Bowles, JKF & Perera, I 2014, SD2CPN: a model transformation tool for software design models. in 2014 International Computer Science and Engineering Conference (ICSEC) . IEEE, pp. 354 - 359, The 18th International Computer Science and Engineering Conference, Khon Kaen, Thailand, 30-1 August. DOI: 10.1109/ICSEC.2014.6978222

Alwanain, M, Bordbar, B & Bowles, JKF 2014, Automated composition of sequence diagrams via Alloy. in MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. SciTePress, pp. 384-391, International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014), Lisbon, Portugal, 7-9 January. DOI: 10.5220/0004715003840391

Bowles, JKF & Viana, P 2014, On distributed stochastic logics for mobile systems. in U Kohlenbach, P Barceló & R de Queiroz (eds), Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8652, Springer-Verlag, pp. 195-205, 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, 1-4 September. DOI: 10.1007/978-3-662-44145-9_14

Bowles, J & Kloul, L 2014, A strongly consistent transformation from UML interactions to PEPA nets. in B Murgante, S Misra, AMAC Rocha, C Torre, JG Rocha, MI Falcao, D Taniar, BO Apduhan & O Gervasi (eds), Computational Science and Its Applications – ICCSA 2014: 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V. Lecture Notes in Computer Science, vol. 8583, Springer, Cham, pp. 90-105, 14th International Conference on Computational Science and Its Applications (ICCSA), Portugal, 30-3 July. DOI: 10.1007/978-3-319-09156-3_7

Akgün, Ö, Gent, I, Jefferson, C, Miguel, I & Nightingale, P 2014, Breaking conditional symmetry in automated constraint modelling with CONJURE. in T Schaub, G Friedrich & B O'Sullivan (eds), ECAI 2014. vol. 263, Frontiers in Artificial Intelligence and Applications, vol. 263, IOS Press, pp. 3-8. DOI: 10.3233/978-1-61499-419-0-3

Mortier, R, Haddadi, H, Henderson, T, McAuley, D & Crowcroft, J 2013, Challenges & Opportunities in Human-Data Interaction. in Proceedings of DE2013: Open Digital - The Fourth Annual Digital Economy All Hands Meeting.

Stevenson, GT, Castelli, G, Ye, J, Rossi, A, Dobson, SA & Zambonelli, F 2013, A biochemically-inspired approach to awareness in pervasive systems. in Proceedings of First International Workshop on Sensing and Big Data Mining (SenseMine 2013). Rome, IT.

Pal, S & Henderson, T 2013, MobOCloud: Extending Cloud Computing with Mobile Opportunistic Networks. in Proceedings of ACM CHANTS 2013. ACM. DOI: 10.1145/2505494.2505503

Janjic, V, Brown, CM, Neunhoeffer, M, Hammond, K, Linton, SA & Loidl, H-W 2013, Space exploration using parallel orbits: a study in parallel symbolic computing. in M Bader, A Bode, H-J Bungartz, M Gerndt, GR Joubert & F Peters (eds), Parallel Computing: Accelerating Computational Science and Engineering (CSE). vol. 25, Advances in Parallel Computing, IOS Press, pp. 225-232. DOI: 10.3233/978-1-61499-381-0-225

Stevenson, GT, Viroli, M, Montagna, S, Pianini, D, Ye, J & Dobson, SA 2013, Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks. in Proceedings of the 28th ACM Symposium on Applied Computing. ACM.

McNeilly, S, Hutton, L & Henderson, T 2013, Understanding ethical concerns in social media privacy studies. in Proceedings of the ACM CSCW Workshop on Measuring Networked Social Privacy: Qualitative & Quantitative Approaches.

Xiong, C, Kelsey, T, Linton, SA & Leonhardt, U 2013, Casimir forces for inhomogeneous planar media. in Journal of Physics: Conference Series. 1 edn, vol. 401, Journal of Physics: Conference Series, no. 1, vol. 410. DOI: 10.1088/1742-6596/410/1/012165

Akgun, O, Frisch, AM, Gent, IP, Hussain, BS, Jefferson, CA, Kotthoff, L, Miguel, IJ & Nightingale, PW 2013, An Automated Constraint Modelling and Solving Toolchain. in ARW 2013 - 20th Automated Reasoning Workshop.

Akgun, O, Frisch, AM, Jefferson, CA & Miguel, IJ 2013, Automated Modelling and Model Selection in Constraint Programming. in COSpeL: The first Workshop on Domain Specific Languages in Combinatorial Optimization.

Akgun, O, Frisch, AM, Gent, IP, Hussain, BS, Jefferson, CA, Kotthoff, L, Miguel, IJ & Nightingale, PW 2013, Automated Symmetry Breaking and Model Selection in Conjure. in CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference.

Alles, E, Harris-Birtill, D, Jaeger, M & Bamber, J 2013, Performance characterisation of a new clinical spectroscopic epiphotoacoustic scanner. in 2013 IEEE International Ultrasonics Symposium, IUS 2013., 6724870, pp. 1845-1848, 2013 IEEE International Ultrasonics Symposium, IUS 2013, Prague, Czech Republic, 21-25 July. DOI: 10.1109/ULTSYM.2013.0470

Arandelovic, O 2013, Discriminative k-means clustering. in Proceedings of the International Joint Conference on Neural Networks., 6707038, 2013 International Joint Conference on Neural Networks, IJCNN 2013, Dallas, TX, United States, 4-9 August. DOI: 10.1109/IJCNN.2013.6707038

Ghiass, RS, Arandjelovic, O, Bendada, H & Maldague, X 2013, Infrared face recognition: A literature review. in Proceedings of the International Joint Conference on Neural Networks., 6707096, 2013 International Joint Conference on Neural Networks, IJCNN 2013, Dallas, TX, United States, 4-9 August. DOI: 10.1109/IJCNN.2013.6707096

Ghiass, RS, Arandjelovic, O, Bendada, H & Maldague, X 2013, Illumination-invariant face recognition from a single image across extreme pose using a dual dimension AAM ensemble in the thermal infrared spectrum. in Proceedings of the International Joint Conference on Neural Networks., 6707095, 2013 International Joint Conference on Neural Networks, IJCNN 2013, Dallas, TX, United States, 4-9 August. DOI: 10.1109/IJCNN.2013.6707095

Arandelovic, O 2013, Computer simulation based parameter selection for resistance exercise. in Proceedings of the IASTED International Conference on Modelling and Simulation. pp. 24-33, 24th IASTED International Conference on Modelling and Simulation, MS 2013, Banff, AB, Canada, 17-19 July. DOI: 10.2316/P.2013.802-016

Ghiass, RS, Arandelovic, O, Bendada, H & Maldague, X 2013, Vesselness features and the inverse compositional AAM for robust face recognition sing thermal IR. in Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013. pp. 357-364, 27th AAAI Conference on Artificial Intelligence, AAAI 2013, Bellevue, WA, United States, 14-18 July.

Arandjelovic, O 2013, Making the most of the self-quotient image in face recognition. in 2013 10th IEEE International Conference and Workshops on Automatic Face and Gesture Recognition, FG 2013., 6553708, 2013 10th IEEE International Conference and Workshops on Automatic Face and Gesture Recognition, FG 2013, Shanghai, China, 22-26 April. DOI: 10.1109/FG.2013.6553708

Jefferson, CA & Nightingale, P 2013, Extending Simple Tabular Reduction with Short Supports. in Proceedings of the Twenty-Third International Joint Conference on Artificial Intellegence. pp. 573-579.

Bigwood, G & Henderson, T 2013, Incentive-aware opportunistic network routing. in I Woungang, S Kumar Dhurandher, A Anpalagan & A Vasilakos (eds), Routing in Opportunistic Networks. Springer. DOI: 10.1007/978-1-4614-3514-3_14

Bowles, JKF & Meedeniya, DA 2012, Parametric Transformations for Flexible Analysis. in Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC '12): Hong Kong December 4-7, 2012. vol. 1, IEEE Computer Society, pp. 634-643. DOI: 10.1109/APSEC.2012.61

Henderson, T, Hutton, L & McNeilly, S 2012, Ethics and online social network research - developing best practices. in BCS HCI Workshop on HCI Research in Sensitive Contexts: Ethical Considerations. BCS, BCS HCI Workshop on HCI Research in Sensitive Contexts: Ethical Considerations, Birmingham, United Kingdom, 11-11 September.

Nederhof, MJ & Vogler, H 2012, Synchronous Context-Free Tree Grammars. in Proceedings of the 11th International Workshop on Tree Adjoining Grammars and Related Formalisms. Paris , pp. 55-63.

Bigwood, G, Abdesslem, FB & Henderson, T 2012, Predicting location-sharing privacy preferences in social network applications. in Proceedings of the First Workshop on recent advances in behavior prediction and pro-active pervasive computing (AwareCast).

Hutton, L & Henderson, T 2012, An architecture for ethical and privacy-sensitive social network experiments. in Proceedings of the ACM SIGMETRICS Workshop on Privacy and Anonymity for the Digital Economy. ACM.

Beratarbide, E & Kelsey, T 2012, EHealth governance in Scotland: A cross-sectoral and cross-national comparison. in C George, D Whitehouse & P Duquenoy (eds), eHealth: Legal, Ethical and Governance Challenges. Springer-Verlag, pp. 299-327. DOI: 10.1007/978-3-642-22474-4_13

Toniolo, A, Norman, TJ & Sycara, KP 2012, On the benefits of argumentation schemes in deliberative dialogues (extended abstract). in Proceedings of the Eleventh International Conference on Autonomous Agents and Multiagent Systems. vol. 3, IFAAMAS, pp. 1409-1410.

Toniolo, A, Norman, TJ & Sycara, K 2012, An Empirical Study of Argumentation Schemes for Deliberative Dialogue. in L DeRaedt, C Bessiere, D Dubois, P Doherty, P Frasconi, F Heintz & P Lucas (eds), 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012). Frontiers in Artificial Intelligence and Applications, vol. 242, IOS Press, pp. 756-761, 20th European Conference on Artificial Intelligence (ECAI), Montpellier, France, 27-31 August. DOI: 10.3233/978-1-61499-098-7-756

Arandelovic, O 2012, Matching objects across the textured-smooth continuum. in Australasian Conference on Robotics and Automation, ACRA. 2012 Australasian Conference on Robotics and Automation, ACRA 2012, Wellington, New Zealand, 3-5 December.

Arandelovic, O 2012, Object matching using boundary descriptors. in BMVC 2012 - Electronic Proceedings of the British Machine Vision Conference 2012. British Machine Vision Association, BMVA, 2012 23rd British Machine Vision Conference, BMVC 2012, Guildford, Surrey, United Kingdom, 3-7 September. DOI: 10.5244/C.26.85

Arandelovic, O 2012, Reading ancient coins: Automatically identifying denarii using obverse legend seeded retrieval. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 4 edn, vol. 7575 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 4, vol. 7575 LNCS, pp. 317-330, 12th European Conference on Computer Vision, ECCV 2012, Florence, Italy, 7-13 October. DOI: 10.1007/978-3-642-33765-9_23

Arandelovic, O 2012, Gradient edge map features for frontal face recognition under extreme illumination changes. in BMVC 2012 - Electronic Proceedings of the British Machine Vision Conference 2012. British Machine Vision Association, BMVA, 2012 23rd British Machine Vision Conference, BMVC 2012, Guildford, Surrey, United Kingdom, 3-7 September. DOI: 10.5244/C.26.12

Arandelovic, O 2012, Contextually learnt detection of unusual motion-based behaviour in crowded public spaces. in Computer and Information Sciences II - 26th International Symposium on Computer and Information Sciences, ISCIS 2011. pp. 403-410, 26th Annual International Symposium on Computer and Information Science, ISCIS 2011, London, United Kingdom, 26-28 September. DOI: 10.1007/978-1-4471-2155-8-51

Arandelovic, O 2012, Assessing blinding in clinical trials. in Advances in Neural Information Processing Systems. vol. 1, pp. 521-529, 26th Annual Conference on Neural Information Processing Systems 2012, NIPS 2012, Lake Tahoe, NV, United States, 3-6 December.

HPC-GAP project 2012, Parallel programming support in GAP. in ACM Communications in Computer Algebra. vol. 46, ACM Communications in Computer Algebra, ACM, pp. 162-163, International Symposium on Symbolic and Algebraic Computation (ISSAC 2012), Grenoble, France, 22-25 July. DOI: 10.1145/2429135.2429172

Balasubramaniam, D, Jefferson, CA, Kotthoff, L, Miguel, IJ & Nightingale, P 2012, An Automated Approach to Generating Efficient Constraint Solvers. in 2012 34th international conference on software engineering (ICSE 2012): Zurich, Switzerland 2-9 June 2012. IEEE, pp. 661-671, 34th International Conference on Software Engineering, ICSE 2012, Zurich, Switzerland, 2-9 June. DOI: 10.1109/ICSE.2012.6227151

Slavici, V, Kunkle, D, Cooperman, G & Linton, SA 2012, An efficient programming model for memory-intensive recursive algorithms using parallel disks. in ISSAC 2012: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation . ACM, New York, pp. 327-334, ISSAC 2012, Grenoble, France, 22-25 July. DOI: 10.1145/2442829.2442876

Distler, A, Jefferson, CA, Kelsey, T & Kotthoff, L 2012, The semigroups of order 10. in M Milano (ed.), Principles and Practice of Constraint Programming: 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings. Lecture Notes in Computer Science, vol. 7514, Springer, pp. 883-899, 18th International Conference on Principles and Practice of Constraint Programming, CP 2012, Quebec, Canada, 8-12 October. DOI: 10.1007/978-3-642-33558-7_63

Abdesslem, FB, Parris, I & Henderson, T 2012, Reliable online social network data collection. in A Abraham (ed.), Computational Social Networks: Mining and Visualization. Springer-Verlag, London, UK, pp. 183-210. DOI: 10.1007/978-1-4471-4054-2_8

B¨uchse, M, Nederhof, MJ & Vogler, H 2011, Tree parsing with synchronous tree-adjoining grammars. in Proceedings of the 12th International Conference on Parsing Technologies (IWPT 2011). Association for Computational Linguistics, Stroudsburg, PA, pp. 14-25, 12th International Conference on Parsing Technologies, Dublin, Ireland, 5-7 October.

Nederhof, MJ & Satta, G 2011, Prefix probabilities for linear context-free rewriting systems. in Proceedings of the 12th International Conference on Parsing Technologies (IWPT 2011). Association for Computational Linguistics, Stroudsburg, PA, pp. 151–162, 12th International Conference on Parsing Technologies, Dublin, Ireland, 5-7 October.

Nederhof, MJ & S´anchez-S´aez, R 2011, Parsing of partially bracketed structures for parse selection. in Proceedings of the 12th International Conference on Parsing Technologies (IWPT 2011). Association for Computational Linguistics, Stroudsburg, PA, pp. 231–240, 12th International Conference on Parsing Technologies, Dublin, Ireland, 5-7 October.

Nederhof, MJ & Satta, G 2011, Computation of infix probabilities for probabilistic context-free grammars. in Proceedings of the ACL Conference on Empirical Methods in Natural Language Processing (EMNLP 2011). Association for Computational Linguistics, Stroudsburg, PA, pp. 1213-1221, 2011 Conference on Empirical Methods on Natural Language Processing, Edinburgh, United Kingdom, 27-29 July.

Parris, I & Henderson, T 2011, The impact of location privacy on opportunistic networks. in 2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM). IEEE, The Fifth IEEE WoWMoM Workshop on Autonomic and Opportunistic Communications (AOC), Lucca, Italy, 20-24 June. DOI: 10.1109/WoWMoM.2011.5986149

Bigwood, G & Henderson, T 2011, Bootstrapping opportunistic networks using social roles. in 2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM). IEEE, The Fifth IEEE WoWMoM Workshop on Autonomic and Opportunistic Communications (AOC), Lucca, Italy, 20-24 June. DOI: 10.1109/WoWMoM.2011.5986139

Balasubramaniam, D, De Silva, LR, Jefferson, CA, Kotthoff, L, Miguel, IJ & Nightingale, P 2011, Dominion: an architecture-driven approach to generating efficient constraint solvers. in Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA): Boulder, Colorado, USA 20-24 June 2011. IEEE Computer Society, Los Alamiros, CA, pp. 228-231, 9th Working IEEE/IFIP Conference on Software Architecture, Boulder, United States, 20-24 June. DOI: 10.1109/WICSA.2011.37

Ye, J, Stevenson, GT & Dobson, SA 2011, PI: perceiver and interpreter of smart home datasets. in Proceedings of the 5th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth 2011). Dublin, IE.

Akgun, O, Miguel, IJ & Jefferson, CA 2011, The Open Stacks Problem. in ERCIM Workshop on Constraint Solving and Constraint Logic Programming. pp. 15.

Jaeger, M, Birtill, D, Gertsch, A, O'Flynn, E & Bamber, J 2011, Clinical feasibility of duplex photoacoustic and ultrasound pulse-echo imaging using photoacoustic transmit pulses. in 2011 IEEE International Ultrasonics Symposium, IUS 2011., 6293670, pp. 304-307, 2011 IEEE International Ultrasonics Symposium, IUS 2011, Orlando, FL, United States, 18-21 October. DOI: 10.1109/ULTSYM.2011.0073

Jaeger, M, Birtill, D, Gertsch, A, O'Flynn, E & Bamber, J 2011, Clinical demonstration of epi-mode photoacoustic clutter reduction using palpation scanning. in 2011 IEEE International Ultrasonics Symposium, IUS 2011., 6293707, pp. 2360-2363, 2011 IEEE International Ultrasonics Symposium, IUS 2011, Orlando, FL, United States, 18-21 October. DOI: 10.1109/ULTSYM.2011.0586

Birtill, D, Jaeger, M, Gertsch, AG & Bamber, JC 2011, Optimising the illumination geometry of a clinical reflection mode photoacoustic scanner. in Photons Plus Ultrasound: Imaging and Sensing 2011. vol. 7899, 78993T, Photons Plus Ultrasound: Imaging and Sensing 2011, San Francisco, CA, United States, 23-25 January. DOI: 10.1117/12.875662

Toniolo, A, Norman, TJ & Sycara, KP 2011, Argumentation schemes for policy-driven planning. in Proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation.

Toniolo, A, Norman, TJ & Sycara, K 2011, Argumentation Schemes for Collaborative Planning. in D Kinny, JYJ Hsu, G Governatori & A Ghose (eds), AGENTS IN PRINCIPLE, AGENTS IN PRACTICE. Lecture Notes in Artificial Intelligence, vol. 7047, Springer-Verlag, pp. 323-335, 14th International Conference on Agents in Principles and Agents in Practice, Wollongong, Australia, 16-18 November.

Wollner, P & Arandelovic, O 2011, Freehand 3D scanning in a mobile environment using video. in Proceedings of the IEEE International Conference on Computer Vision., 6130275, pp. 445-452, 2011 IEEE International Conference on Computer Vision Workshops, ICCV Workshops 2011, Barcelona, Spain, 6-13 November. DOI: 10.1109/ICCVW.2011.6130275

Nederhof, MJ & Satta, G 2011, Prefix Probability for Probabilistic Synchronous Context-Free Grammars. in D Lin, Y Matsumoto & R Mihalcea (eds), Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Portland, Oregon, June 19-24 , 2011.. Association for Computational Linguistics, pp. 460–469, 49th Annual Meeting of the Association for Computational Linguistics, Portland, Oregon, United States, 19-24 June.

Jefferson, C, Moncur, W & Petrie, KE 2011, Combination: automated generation of puzzles with constraints. in Proceedings of the 2011 ACM Symposium on Applied Computing. vol. 2011, pp. 907-912. DOI: 10.1145/1982185.1982383

Akgun, O, Miguel, IJ, Jefferson, CA, Frisch, AM & Hnich, B 2011, Extensible Automated Constraint Modelling. in Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. AAAI Press, pp. 4-11, 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, San Francisco, United States, 7-11 August.

Jefferson, C & Petrie, K 2011, Automatic Generation of Constraints for Partial Symmetry Breaking. in J Lee (ed.), Principles and Practice of Constraint Programming - CP 2011. vol. 6876, Lecture Notes in Computer Science, Springer, pp. 729-743. DOI: 10.1007/978-3-642-23786-7_55

Nightingale, P, Gent, IP, Jefferson, CA & Miguel, IJ 2011, Exploiting short supports for generalised arc consistency for arbitrary constraints. in T Walsh (ed.), Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011): Barcelona, Catalonia, Spain, July 16-22, 2011. IJCAI/AAAI, Menlo Park, California, pp. 623-628, Twenty-Second International Joint Conference on Artificial Intelligence, Barcelona, Spain, 16-22 July. DOI: 10.5591/978-1-57735-516-8/IJCAI11-111

Rossi, A, Dobson, SA, Mamei, M, Stevenson, GT, Ye, J & Zambonelli, F 2011, Social sensors and pervasive services: approaches and perspectives. in Proceedings of the Second IEEE Workshop on Pervasive Collaboration and Social Networking (PerCol 2011). IEEE, Seattle, WA.

Kelsey, T & Kotthoff, L 2011, Exact Closest String as a Constraint Satisfaction Problem. in Proceedings of the International Conference on Computational Science, ICCS 2011 . vol. 4, Procedia Computer Science, pp. 1062-1071. DOI: doi:10.1016/j.procs.2011.04.113

Beratarbide, E & Kelsey, T 2011, eHealth Governance, A Key Factor for Better Health Care: Implementation of IT Governance to Ensure Better Care through Better eHealth. in S Brown & M Brown (eds), Ethical Issues and Security Monitoring Trends in Global Healthcare: Technological Advancements. Medical Information Science Reference, pp. 72-92. DOI: 10.4018/978-1-60960-174-4.ch006

Haddadi, H, Hui, P, Henderson, T & Brown, I 2011, Targeted advertising on the handset: Privacy and security challenges. in J Müller, F Alt & D Michelis (eds), Pervasive Advertising. Human-Computer Interaction Series, Springer, Heidelberg, Germany, pp. 119-137. DOI: 10.1007/978-0-85729-352-7_6

Eick, B & Konovalov, A 2011, The modular isomorphism problem for the groups of order 512. in Groups St. Andrews 2009 in Bath. Vol. 2. vol. 388, London Math. Soc. Lecture Note Ser., Cambridge University Press, Cambridge, pp. 375-383.

Kelsey, T & Wallace, WHB 2010, Machine Science in Biomedicine: Practicalities, Pitfalls and Potential. in Proceedings of the First Workshop on Knowledge Engineering, Discovery and Dissemination in Health (KEDDH10): Proc. KEDDH10. IEEE Computer Society, pp. 117-122.

Beratarbide, E & Kelsey, TW 2010, eHealth Governance: A key factor for better health care. in S Brown & M Brown (eds), Ethical Issues and Security Monitoring Trends in Global Healthcare: Technological Advancements. IGI Global. DOI: 10.4018/978-1-60960-174-4

Albert, MH, Linton, SA & Ruskuc, N 2010, On the permutational power of token passing networks. in S Linton, N Ruskuc & V Vatter (eds), Permutation Patterns: St Andrews 2007. LMS Lecture Notes, Cambridge University Press, Cambridge, pp. 317-338. DOI: 10.1017/CBO9780511902499.016

Nederhof, MJ 2010, Transforming lexica as trees. in Workshop on Applications of Tree Automata in Natural Language Processing: Proceedings of a meeting held 16 July 2010, Uppsala, Sweden. Held at ACL 2010. Curran Associates, Inc., Sweden, pp. 37-45.

Hui, P, Mortier, R, Piorkowski, M, Henderson, TNH & Crowcroft, J 2010, Planet-scale human mobility measurement. in Proceedings of the Second ACM International Workshop on Hot Topics in Planet-Scale Measurement (HotPlanet). ACM, New York, 8th Annual International Conference on Mobile Systems, Applications and Services, San Francisco, CA, United States, 15-18 June. DOI: 10.1145/1834616.1834618

Ye, J, Coyle, L, McKeever, S & Dobson, SA 2010, Dealing with activities with diffuse boundaries. in Proceedings of the Workshop on How to do good activity recognition research: Experimental methodologies, evaluation metrics and reproducility issues at PERVASIVE 2010.

Stevenson, GT, Ye, J & Dobson, SA 2010, On the impact of the temporal features of sensed data on the development of pervasive systems. in Proceedings of the International Workshop on Programming Methods for Mobile and Pervasive Systems at PERVASIVE 2010.

Parris, IS, Bigwood, GJ & Henderson, TNH 2010, Privacy-enhanced social network routing in opportunistic networks. in Proceedings of the 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops): IEEE International Workshop on Security and Social Networking (SESOC 2010). IEEE Computer Society, pp. 624-629, 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops), Mannheim, Germany, 29-2 April. DOI: 10.1109/PERCOMW.2010.5470511

Akgün, Ö, Frisch, AM, Hnich, B, Jefferson, CA & Miguel, IJ 2010, Conjure Revisited: Towards Automated Constraint Modelling. in ModRef 2010 - The 9th International Workshop on Constraint Modelling and Reformulation.

Akgun, O 2010, Refining Portfolios of Constraint Models with Conjure. in CP 2010 - Principles and Practice of Constraint Programming, 16th International Conference, Doctoral Program. pp. 1-6.

Gertsch, AG, Bush, NL, Birtill, DCC & Bamber, JC 2010, Toward characterizing the size of microscopic optical absorbers using optoacoustic emission spectroscopy. in Photons Plus Ultrasound: Imaging and Sensing 2010. vol. 7564, 75641M, Photons Plus Ultrasound: Imaging and Sensing 2010, San Francisco, CA, United States, 24-26 January. DOI: 10.1117/12.844188

Arandelovic, O 2010, Unfolding a face: From singular to manifold. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 3 edn, vol. 5996 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 3, vol. 5996 LNCS, pp. 203-213, 9th Asian Conference on Computer Vision, ACCV 2009, Xi'an, China, 23-27 September. DOI: 10.1007/978-3-642-12297-2_20

Arandelovic, O 2010, Recognition from appearance subspaces across image sets of variable scale. in British Machine Vision Conference, BMVC 2010 - Proceedings. British Machine Vision Association, BMVA, 2010 21st British Machine Vision Conference, BMVC 2010, Aberystwyth, United Kingdom, 31-3 September. DOI: 10.5244/C.24.79

Arandelovic, O 2010, Accurate and efficient face recognition from video. in British Machine Vision Conference, BMVC 2010 - Proceedings. British Machine Vision Association, BMVA, 2010 21st British Machine Vision Conference, BMVC 2010, Aberystwyth, United Kingdom, 31-3 September. DOI: 10.5244/C.24.64

Martin, R & Arandelovic, O 2010, Multiple-object tracking in cluttered and crowded public spaces. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 3 edn, vol. 6455 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 3, vol. 6455 LNCS, pp. 89-98, 6th International, Symposium on Visual Computing, ISVC 2010, Las Vegas, NV, United States, 29-1 December. DOI: 10.1007/978-3-642-17277-9_10

Arandelovic, O 2010, Automatic attributon of ancient Roman imperial coins. in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition., 5539841, pp. 1728-1734, 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 2010, San Francisco, CA, United States, 13-18 June. DOI: 10.1109/CVPR.2010.5539841

Linton, S, Propp, J, Roby, T & West, J 2010, Equivalence relations of permutations generated by constrained transpositions. in 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010). Discrete Math. Theor. Comput. Sci. Proc., AN, Assoc. Discrete Math. Theor. Comput. Sci., Nancy, Nancy, pp. 909-920.

Weir, MK & Bott, MP 2010, High Quality Goal Connection For Nonholonomic Obstacle Navigation Allowing For Drift Using Dynamic Potential Fields. in 2010 IEEE International Conference on Robotics and Automation (ICRA). IEEE, pp. 3221-3226, 2010 IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, United States, 3-7 May. DOI: 10.1109/ROBOT.2010.5509519

Behrends, R, Konovalov, A, Linton, S, Lübeck, F & Neunhöffer, M 2010, Towards high-performance computational algebra with GAP. in K Fukada, J van der Hoeven, M Joswig & N Takayama (eds), Proceedings of the Third International Congress on Mathematical Software: Kobe, Japan, September 13-17, 2010. Lecture Notes in Computer Science, vol. 6327, Springer, pp. 58-61, Third International Congress on Mathematical Software (ICMS 2010), Kobe, Japan, 13-17 September. DOI: 10.1007/978-3-642-15582-6_12

Behrends, R, Konovalov, A, Linton, S, Lübeck, F & Neunhöffer, M 2010, Parallelising the computational algebra system GAP. in Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO '10). ACM, New York, NY, pp. 177-178, 4th International Workshop on Parallel and Symbolic Computation (PASCO 2010), Grenoble, France, 21-23 July. DOI: 10.1145/1837210.1837239

Bowles, JKF & Meedeniya, DA 2010, Formal Transformation from Sequence Diagrams to Coloured Petri Nets. in 2010 17th Asia Pacific Software Engineering Conference (APSEC). IEEE Computer Society, pp. 216-225. DOI: 10.1109/APSEC.2010.33

Bowles, JKF & Kloul, L 2010, Synthesising PEPA nets from IODs for performance analysis. in WOSP/SIPEW '10 Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering . ACM. DOI: 10.1145/1712605.1712635

Linton, S, Hammond, K, Konovalov, A, Al Zain, AD, Trinder, P, Horn, P & Roozemond, D 2010, Easy composition of symbolic computation software: a new lingua franca for symbolic computation. in Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. ISSAC '10, ACM, pp. 339-346, International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Munich, Germany, 25-28 July. DOI: 10.1145/1837934.1837999

Moore, NCA, Gent, IP & Miguel, IJ 2010, Lazy Explanations for Constraint Propagators. in M Carro & R Pena (eds), Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages. vol. 5937, Lecture Notes in Computer Science, Springer, pp. 217-233.

Kotthoff, L, Miguel, IJ & Nightingale, PW 2010, Ensemble Classification for Constraint Solver Configuration. in D Cohen (ed.), Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming. vol. 6308, Lecture Notes in Computer Science, Springer, pp. 321-329. DOI: 10.1007/978-3-642-15396-9_27

Gent, IP, Jefferson, CA, Miguel, IJ & Nightingale, PW 2010, Generating Special-Purpose Stateless Propagators for Arbitrary Constraints. in D Cohen (ed.), Principles and Practice of Constraint Programming – CP 2010 : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings. vol. 6308, Lecture Notes in Computer Science, Springer, pp. 206-220, 16th Annual International Conference on the Principles and Practice of Constraint Programming, St Andrews, 6-10 September. DOI: 10.1007/978-3-642-15396-9_19

Gent, IP, Jefferson, CA, Kotthoff, L, Miguel, IJ, Moore, NCA, Nightingale, P & Petrie, K 2010, Learning When to Use Lazy Learning in Constraint Solving. in Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010). Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 873-878. DOI: 10.3233/978-1-60750-606-5-873

Nederhof, MJ & Satta, G 2010, Algorithmic aspects of natural language processing. in M Atallah & M Blanton (eds), Algorithms and Theory of Computation Handbook: Special Topics and Techniques. 2nd edn, vol. 2, Applied algorithms and data structures, CRC Press, pp. Chapter 23.

Konovalov, A & Linton, SA 2010, Parallel computations in modular group algebras. in PASCO 10 : Proceedings of the 4th International Workshop on Parallel and Symbolic Computation, International Workshop 21-23 July 2010, Grenoble, France. ACM, New York, pp. 141-149, 4th International Workshop on Parallel and Symbolic Computation (PASCO 2010), Grenoble, France, 21-23 July. DOI: 10.1145/1837210.1837231

Ben Abdesslem, F, Phillips, A & Henderson, T 2009, Less is more: energy-efficient mobile sensing with SenseLess. in Proceedings of the 1st ACM workshop on Networking, systems, and applications for mobile handhelds (MobiHeld '09). ACM, NEW YORK, pp. 61-62, Special Interest Group on Data Communications (SIGCOMM) 2009, Barcelona, Spain, 17-21 August. DOI: 10.1145/1592606.1592621

Henderson, TNH & Ben Abdesslem, F 2009, Scaling measurement experiments to planet-scale: ethical, regulatory and cultural considerations. in Proceedings of the First ACM International Workshop on Hot Topics of Planet-scale Mobility Measurements (HotPlanet). ACM, New York, 7th Annual International Conference on Mobile Systems, Applications and Services, Krakow, Poland, 22-25 June. DOI: 10.1145/1651428.1651436

Anthony, D, Henderson, TNH & Kitts, J 2009, Trust and privacy in distributed work groups. in H Liu, JJ Salerno & MJ Young (eds), Social Computing and Behavioral Modeling. Springer, New York, pp. 16-23, Second International Workshop on Social Computing, Behavioral Modeling, and Prediction, Phoenix, Arizona, United States, 31-1 April. DOI: 10.1007/978-1-4419-0056-2_4

Ye, J, Coyle, L, Dobson, SA & Nixon, P 2009, Using situation lattices in sensor analysis. in IEEE International Conference on Pervasive Computing and Communications, 2009 (PERCOM). IEEE Computer Society, New York, pp. 1-11, 2009 IEEE International Conference on Pervasive Computing and Communications, Galveston, TX, United States, 9-13 March. DOI: 10.1109/PERCOM.2009.4912762

Nederhof, MJ 2009, Automatic alignment of hieroglyphs and transliteration. in N Strudwick (ed.), Information Technology and Egyptology in 2008: Proceedings of the meeting of the Computer Working Group of the International Association of Egyptologists. Bible in Technology, no. 2, Gorgias Press, pp. 71-92.

McKeever, S, Ye, J, Coyle, L & Dobson, S 2009, A Context Quality Model to Support Transparent Reasoning with Uncertain Context. in K Rothermel, D Fritsch, W Blochinger & F Dürr (eds), Quality of Context: First International Workshop, QuaCon 2009, Stuttgart, Germany, June 25-26, 2009. Revised Papers. Lecture Notes in Computer Science, vol. 5786, Springer, pp. 65-75, 1st International Workshop on Quality of Context (QuaCon 2009), Stuttgart, Germany, 25-26 June. DOI: 10.1007/978-3-642-04559-2_6

Jefferson, C, Kadioglu, S, Petrie, KE, Sellmann, M & Zivny, S 2009, Same-Relation Constraints. in IP Gent (ed.), Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009: Proceedings. Lecture Notes in Computer Science, vol. 5732, Springer, pp. 470-485. DOI: 10.1007/978-3-642-04244-7_38

Gent, IP, McKay, P, Miguel, I, Nightingale, P & Huczynska, S 2009, Modelling Equidistant Frequency Permutation Arrays in Constraints. in V Bulitko & CJ Beck (eds), Eighth Symposium on Abstraction, Reformulation, and Approximation,: SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009. AAAI Press.

Coyle, L, Ye, J, McKeever, S, Knox, S, Stabeler, M, Dobson, SA & Nixon, P 2009, Gathering data sets for activity identification. in Proceedings of the Workshop on Developing Shared Home Behaviour Datasets to Advance HCI and Ubiquitous Computing Research at CHI 2009.

Ye, J, Clear, A, Coyle, L & Dobson, SA 2009, On using temporal semantics to create more accurate human-activity classifiers. in Artificial Intelligence and Cognitive Science. Lecture Notes in Computer Science, vol. 6206, Springer-Verlag, Dublin, IE.

Rendl, A, Miguel, IJ, Gent, IP & Jefferson, CA 2009, Automatically Enhancing Constraint Model Instances during Tailoring. in V Bulitko & C Beck (eds), Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation. AAAI Press, pp. 120-127.

Rendl, A, Miguel, IJ, Gent, IP & Gregory, P 2009, Common Subexpressions in Constraint Models of Planning Problems. in Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation. AAAI Press, pp. 128-135.

Grayland, A, Miguel, IJ & Roney-Dougal, CM 2009, Confluence of reduction rules for lexicographic ordering constraints. in V Bulitko & C Beck (eds), Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation. AAAI Press, pp. 90-96.

Grayland, A, Miguel, IJ & Roney-Dougal, CM 2009, Snake Lex: An Alternative to Double Lex. in Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming. vol. 5732, Lecture Notes in Computer Science, Springer, pp. 391-399. DOI: 10.1007/978-3-642-04244-7_32

Huczynska, S, McKay, P, Miguel, IJ & Nightingale, PW 2009, Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. in I Gent (ed.), Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming. vol. 5732, Lecture Notes in Computer Science, Springer, pp. 50-64. DOI: 10.1007/978-3-642-04244-7_7

Ye, J & Dobson, S 2009, Human-Behaviour Study with Situation Lattices. in IEEE International Conference on Systems, Man and Cybernetics, 2009. IEEE, pp. 343-348. DOI: 10.1109/ICSMC.2009.5346228

McKeever, S, Ye, J, Coyle, L & Dobson, S 2009, Using Dempster-Shafer Theory of Evidence for Situation Inference. in Proceedings of the 4th European Conference on Smart Sensing and Context (EuroSSC). vol. 5741, Lecture Notes in Computer Science, vol. 5741, Springer-Verlag, pp. 149-162.

Kelsey, TW 2009, Radioterapia, factores ambientales y fallo ovárico prematuro. in J Callejo Olmos (ed.), Capítulo 7 de Preservación de la fertilidad en la paciente oncológica. Editorial Glosa.

Bigwood, G, Rehunathan, D, Bateman, M, Henderson, T & Bhatti, S 2008, Exploiting self-reported social networks for routing in ubiquitous computing environments. in 4TH IEEE IInternational Conference on Wireless and Mobile Computing, Networking and Communication (WiMob 2008). IEEE, New York, pp. 484-489, 4th Annual IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WIMOB)/SecPriWiMob/SAUCEWiMob/HWN-RMQWiMob/STWiMob, Avignon, 12-14 October. DOI: 10.1109/WiMob.2008.86

Bhatti, S, Bateman, M, Rehunathan, D, Henderson, T, Bigwood, G & Miras, D 2008, Revisiting inter-flow fairness. in 2008 5TH INTERNATIONAL CONFERENCE ON BROADBAND COMMUNICATIONS, NETWORKS AND SYSTEMS (BROADNETS 2008). IEEE, NEW YORK, pp. 585-592.

Bateman, M, Bhatti, SN, Bigwood, G, Rehunathan, D, Allison, C, Henderson, T & Miras, D 2008, A Comparison of TCP Behaviour at High Speeds Using ns-2 and Linux. in Proceedings of the 11th Communications and Networking Simulation Symposium, CNS'08. ACM, pp. 30-37, 11th Communications and Networking Simulation Symposium, CNS'08, Ottawa, Canada, 14-17 April. DOI: 10.1145/1400713.1400718

Arandjelovíc, O & Cipolla, R 2008, Colour invariants for machine face recognition. in 2008 8th IEEE International Conference on Automatic Face and Gesture Recognition, FG 2008., 4813306, 2008 8th IEEE International Conference on Automatic Face and Gesture Recognition, FG 2008, Amsterdam, Netherlands, 17-19 September. DOI: 10.1109/AFGR.2008.4813306

Arandelovic, O 2008, Crowd detection from still images. in BMVC 2008 - Proceedings of the British Machine Vision Conference 2008. British Machine Vision Association, BMVA, 2008 19th British Machine Vision Conference, BMVC 2008, Leeds, United Kingdom, 1-4 September. DOI: 10.5244/C.22.53

Weir, MK, Lewis, JP & Bott, MP 2008, Enabling nonholonomic smoothness generically allowing for unpredictable drift. in 10th International Conference on Control, Automation, Robotics and Vision, 2008. ICARCV 2008. IEEE, pp. 2072-2077, 2008 10th International Conference on Control, Automation, Robotics and Vision, ICARCV 2008, Hanoi, Viet Nam, 17-20 December. DOI: 10.1109/ICARCV.2008.4795850

Linton, SA 2008, Symmetry and Search --- A Survey. in Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics. Springer-Verlag, Berlin, Heidelberg, pp. 1-1. DOI: 10.1007/978-3-540-85110-3_1

Bowles, JKF & Moschoyiannis, S 2008, When things go wrong: Interrupting Conversations. in Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science edn, vol. 4961, Springer, pp. 131-145. DOI: 10.1007/978-3-540-78743-3_11

Petrie, KE & Jefferson, C 2008, Efficiently Solving Problems Where the Solutions Form a Group. in PJ Stuckey (ed.), Principles and practice of constraint programming: 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008: proceedings. Lecture Notes in Computer Science, vol. 5202, Springer, pp. 529-533. DOI: 10.1007/978-3-540-85958-1_36

Green, MJ & Jefferson, C 2008, Structural Tractability of Propagated Constraints. in PJ Stuckey (ed.), Principles and practice of constraint programming: 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008: proceedings . Lecture Notes in Computer Science, vol. 5202, Springer, pp. 372-386. DOI: 10.1007/978-3-540-85958-1_25

Ye, J, Dobson, SA & Nixon, P 2008, An overview of pervasive computing systems. in Ambient intelligence with microsystems: augmented materials and smart objects. Microsystems, vol. 18, pp. 3--17.

Nederhof, MJ & Satta, G 2008, Probabilistic parsing. in G Bel-Enguix, M Dolores Jiménez-López & C Martín-Vide (eds), New Developments in Formal Languages and Applications. Studies in Computational Intelligence, vol. 113, Springer, pp. 229-258. DOI: 10.1007/978-3-540-78291-9_7

Al Zain, AD, Trinder, PW, Hammond, K, Konovalov, A, Linton, S & Berthold, J 2008, Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. in PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS. IEEE COMPUTER SOC, LOS ALAMITOS, pp. 99-112. DOI: 10.1109/ISPA.2008.19

Ye, J, McKeever, S, Coyle, L, Neely, S & Dobson, SA 2008, Resolving Uncertainty in Context Integration and Abstraction: [Context Integration and Abstraction]. in ICPS '08: Proceedings of the 5th International Conference on Pervasive Services. ACM, pp. 131-140. DOI: 10.1145/1387269.1387292

Kapadia, A, Henderson, T, Fielding, JJ & Kotz, D 2007, Virtual walls: Protecting digital privacy in pervasive environments. in A LaMarca, M Langheinrich & KN Truong (eds), Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings. Lecture Notes in Computer Science, vol. 4480, Springer, pp. 162-179, 5th International Conference on Pervasive Computing Univ Toronto, Toronto, Canada, 13-16 May. DOI: 10.1007/978-3-540-72037-9_10

Gent, IP, Miguel, IJ & Rendl, A 2007, Tailoring Solver-independent Constraint Models: A Case Study with Essence' and Minion. in Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation (SARA). vol. 4612, Lecture Notes in Computer Science, Springer, pp. 184-199. DOI: 10.1007/978-3-540-73580-9_16

Al Zain, A, Hammond, K, Trinder, P, Linton, S, Loidl, H-W & Costanti, M 2007, SymGrid-Par: Designing a framework for executing computational algebra systems on computational grids. in Y Shi, GDV Albada, J Dongarra & PMA Sloot (eds), Computational Science – ICCS 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II. Lecture Notes in Computer Science, vol. 4488, Springer, pp. 617-624. DOI: 10.1007/978-3-540-72586-2_90

Ye, J, Coyle, L, Dobson, SA & Nixon, P 2007, Using situation lattices to model and reason about context. in Proceedings of the Fourth International Workshop Modeling and Reasoning in Context (MRC 2007.

Bagiski, C & Konovalov, A 2007, The modular isomorphism problem for finite $p$-groups with a cyclic subgroup of index $p^2$. in Groups St. Andrews 2005. Vol. 1. vol. 339, London Math. Soc. Lecture Note Ser., Cambridge Univ. Press, Cambridge, pp. 186-193. DOI: 10.1017/CBO9780511721212.009

Bovdi, V & Konovalov, A 2007, Integral group ring of the first Mathieu simple group. in Groups St. Andrews 2005. Vol. 1. vol. 339, London Math. Soc. Lecture Note Ser., Cambridge Univ. Press, Cambridge, pp. 237-245. DOI: 10.1017/CBO9780511721212.016

Ye, J, Coyle, L, Dobson, S & Nixon, P 2007, A unified semantics space model. in Location- and context-awareness. Lecyure Notes in Computer Science, vol. 4718, Springer-Verlag, pp. 103--120.

Jefferson, CA, Kelsey, TW, Linton, SA & Petrie, K 2007, GAPLex: Generalised Static Symmetry Breaking. in F Benhamou, N Jussien & B O'Sullivan (eds), Trends in Constraint Programming. ISTE, pp. 187-201. DOI: 10.1002/9780470612309.ch9

Deshpande, U, Henderson, T & Kotz, D 2006, Channel sampling strategies for monitoring wireless networks. in 2006 4th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, Vols 1 and 2. IEEE, NEW YORK, pp. 423-429. DOI: 10.1109/WIOPT.2006.1666486

Arandelovic, O & Cipolla, R 2006, Face set classification using maximally probable mutual modes. in Proceedings - International Conference on Pattern Recognition. vol. 1, 1698943, pp. 511-514, 18th International Conference on Pattern Recognition, ICPR 2006, Hong Kong, China, 20-24 August. DOI: 10.1109/ICPR.2006.535

Arandelovic, O & Cipolla, R 2006, Face recognition from video. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 3954 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3954 LNCS, pp. 27-40, 9th European Conference on Computer Vision, ECCV 2006, Graz, Austria, 7-13 May.

Arandelovic, O, Hammoud, R & Cipolla, R 2006, Multi-sensory face biometric fusion (for personal identification). in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. vol. 2006, 1640492, 2006 Conference on Computer Vision and Pattern Recognition Workshops, New York, NY, United States, 17-22 June. DOI: 10.1109/CVPRW.2006.136

Arandelovic, O, Hammoud, R & Cipolla, R 2006, On person authentication by fusing visual and thermal face biometrics. in Proceedings - IEEE International Conference on Video and Signal Based Surveillance 2006, AVSS 2006., 4020709, IEEE International Conference on Video and Signal Based Surveillance 2006, AVSS 2006, Sydney, NSW, Australia, 22-24 November. DOI: 10.1109/AVSS.2006.86

Arandjelovic, O & Cipolla, R 2006, Incremental learning of temporally-coherent Gaussian mixture models. in Technical Paper - Society of Manufacturing Engineers. vol. TP06PUB22, British Machine Vision Conference, Oxford, United Kingdom, 5-8 September.

Arandelovic, O & Cipolla, R 2006, A new look at filtering techniques for illumination invariance in automatic face recognition. in FGR 2006: Proceedings of the 7th International Conference on Automatic Face and Gesture Recognition. vol. 2006, 1613060, pp. 449-454, FGR 2006: 7th International Conference on Automatic Face and Gesture Recognition, Southampton, United Kingdom, 10-12 April. DOI: 10.1109/FGR.2006.14

Arandelovic, O & Cipolla, R 2006, Automatic cast listing in feature-length films with anisotropic manifold space. in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. vol. 2, 1640936, pp. 1513-1520, 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 2006, New York, NY, United States, 17-22 June. DOI: 10.1109/CVPR.2006.64

Gent, IP, Jefferson, CA & Miguel, I 2006, Watched literals for constraint propagation in MINION. in F Benhamou (ed.), PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006. Lecture Notes in Computer Science, vol. 4204, Springer, Berlin, pp. 182-197, 12th International Conference on Principles and Practice of Constraint Programming (CP 2006), Nantes, 25-29 September. DOI: 10.1007/11889205_15

Charnley, J, Colton, S & Miguel, I 2006, Automatic Generation of Implied Constraints. in G Brewka, S Coraeschi, A Perini & P Traverso (eds), ECAI 2006, PROCEEDINGS. I O S PRESS, AMSTERDAM, pp. 73-77, 17th European Conference on Artificial Intelligence, Riva del Garda, 28 August.

Bowles, JKF & Kloul, L 2006, Modelling Mobility with UML2.0 and PEPA Nets. in Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on . IEEE Computer Society, pp. 153 - 164 . DOI: 10.1109/ACSD.2006.13

Weir, M, Buck, A & Lewis, J 2006, POTBUG: A mind's eye approach to providing BUG-like guarantees for adaptive obstacle navigation using dynamic potential fields. in S Nolfi, G Baldassarre, R Calabretta, JCT Hallam, D Marocco, JA Meyer, O Miglino & O Parisi (eds), From Animals to Animats 9: 9th International Conference on Simulation of Adaptive Behaviour. Lecture Notes in Computer Science, vol. 4095, Springer-Verlag, pp. 239-250, 9th International Conference on Simulation of Adaptive Behaviour, SAB 2006, Rome, Italy, 25-29 September. DOI: 10.1007/11840541_20

Henderson, TNH & Kotz, D 2006, Measuring Wireless LANs. in R Shorey, AL Ananda, MC Chan & WT Ooi (eds), Mobile, Wireless, and Sensor Networks. John Wiley and Sons, pp. 5-27. DOI: 10.1002/0471755591.ch1

Gent, IP, Jefferson, CA & Miguel, IJ 2006, MINION: A Fast, Scalable, Constraint Solver. in G Brewka, S Coradeschi, A Perini & P Traverso (eds), ECAI 2006: 17th European Conference on Artificial Intelligence: August 29-September 1, 2006, Riva del Garda, Italy : including Prestigious Applications of Intelligent Systems (PAIS 2006) : proceedin. Frontiers in Artificial Intelligence and Applications, vol. 141, IOS Press, pp. 98-102, 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 29-1 September.

Gent, IP, Kelsey, T, Linton, SA, McDonald, I, Miguel, I & Smith, BM 2005, Conditional symmetry breaking. in P Van Beek (ed.), Principles and practice of constraint programming--CP 2005: 11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005 : Proceedings . Lecture notes in computer science, vol. 3709, Springer, pp. 256-270. DOI: 10.1007/11564751_21

Arandelovic, O & Zisserman, A 2005, Automatic face recognition for film character retrieval in feature-length films. in Proceedings - 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 2005. vol. I, 1467357, pp. 860-867, 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 2005, San Diego, CA, United States, 20-25 June. DOI: 10.1109/CVPR.2005.81

Arandelovic, O & Cipolla, R 2005, Incremental learning of temporally-coherent Gaussian mixture models. in BMVC 2005 - Proceedings of the British Machine Vision Conference 2005. British Machine Vision Association, BMVA, 2005 16th British Machine Vision Conference, BMVC 2005, Oxford, United Kingdom, 5-8 September. DOI: 10.5244/C.19.59

Arandjelovic, O, Shakhnarovich, G, Fisher, J, Cipolla, R & Darrell, T 2005, Face recognition with image sets using manifold density divergence. in C Schmid, S Soatto & C Tomasi (eds), Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. vol. 1, pp. 581-588, 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 2005, San Diego, CA, United States, 20-25 June. DOI: 10.1109/CVPR.2005.151

Kim, TK, Arandelovic, O & Cipolla, R 2005, Learning over sets using boosted manifold principal angles (BoMPA). in BMVC 2005 - Proceedings of the British Machine Vision Conference 2005. British Machine Vision Association, BMVA, 2005 16th British Machine Vision Conference, BMVC 2005, Oxford, United Kingdom, 5-8 September. DOI: 10.5244/C.19.58

Gent, IP, Kelsey, T, Linton, S & Roney-Dougal, C 2005, Symmetry and consistency. in P van Beek (ed.), Principles and Practice of Constraint Programming - CP 2005: Proceedings of the 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Lecture Notes in Computer Science, vol. 3709, Springer-Verlag, pp. 271-285, Principles and Practice of Constraint Programming - CP 2005, Sitge, Spain, 1-5 October. DOI: 10.1007/11564751_22

Henderson, TNH, Kotz, D & Abyzov, I 2004, The Changing Usage of a Mature Campus-wide Wireless Network. in MobiCom 2004 : proceedings of the Tenth Annual International Conference on Mobile Computing and Networking, September 26-October 1, 2004, Philadelphia, Pennsylvania, USA. ACM, pp. 187-201. DOI: 10.1145/1023720.1023739

Roney-Dougal, CM, Gent, IP, Kelsey, TW & Linton, SA 2004, Tractable Symmetry Breaking using Restricted Search Trees. in R López de Mántaras & L Saitta (eds), ECAI 2004: 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain. Frontiers in artificial intelligence and applications, vol. 110, IOS Press, pp. 211-215.

Arandelovic, O & Cipolla, R 2004, Face recognition from face motion manifolds using robust kernel resistor-average distance. in IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops. January edn, vol. 2004-January, 1384881, IEEE Computer Society, 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2004, Washington, United States, 27-2 July. DOI: 10.1109/CVPR.2004.341

Gent, I, Giunchiglia, E, Narizzano, M, Rowley, A & Tacchella, A 2004, Watched data structures for QBF solvers. in E Giunchiglia & A Tacchella (eds), Theory and applications of satisfiability testing: 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers. Lecture notes in computer science, vol. 2919, Springer, pp. 25-36. DOI: 10.1007/978-3-540-24605-3_3

Boulton, RJ, Gottliebsen, H, Hardy, R, Kelsey, TW & Martin, U 2004, Design Verification for Control Engineering. in EA Boiten, J Derrick & G Smith (eds), 4th International Conference on Integrated Formal methods, Lecture Notes in Computer Science 2999. Springer-Verlag, pp. 21-35.

Gent, IP, Harvey, W, Kelsey, TW & Linton, SA 2003, Generic SBDD Using Computational Group Theory. in F Rossi (ed.), Principles and Practice of Constraint Programming – CP 2003: 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; Proceedings. Lecture Notes in Computer Science, vol. 2833, Springer, pp. 333-347. DOI: 10.1007/b13743

Gent, IP, Prosser, P, Smith, BM & Wei, W 2003, Supertree construction with constraint programming. in F Rossi (ed.), Principles and practice of constraint programming-CP 2003: 9th international conference, CP 2003, Kinsale, Ireland, September 29 -October 3, 2003: proceedings . Lecture Notes in Computer Science, vol. 2833, Springer, pp. 837-841. DOI: 10.1007/978-3-540-45193-8_63

Gent, IP, Hoos, HH, Rowley, AGD & Smyth, K 2003, Using stochastic local search to solve quantified Boolean formulae. in F Rossi (ed.), Principles and practice of constraint programming-CP 2003: 9th international conference, CP 2003, Kinsale, Ireland, September 29-October 3, 2003 : proceedings. Lecture notes in computer science, vol. 2833, Springer, pp. 348-362.

Gent, IP, Prosser, P, Smith, BM & Wei, W 2003, Supertree Construction using Constraint Programming. in F Rossi (ed.), Lecture Notes in Computer Science 2833. Springer-Verlag.

Gent, IP, Harvey, W & Kelsey, TW 2002, Groups and Constraints: Symmetry Breaking During Search. in P Van Hentenryck (ed.), Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming. Lecture Notes in Computer Science, vol. 2470, Springer-Verlag, pp. 415-430. DOI: 10.1007/3-540-46135-3_28

Adams, AA, Dunstan, MN, Gottliebsen, H, Kelsey, TW, Martin, U & Owre, S 2001, Computer Algebra meets Automated Reasoning: Integrating Maple and PVS. in Proceedings of Theorem Proving in Higher Order Logics. Lecture Notes in Computer Science, vol. 2152, Springer-Verlag, pp. 27-42.

Cope, M, Gent, IP & Hammond, K 2001, Parallel Heuristic Search in Haskell. in Trends in Functional Programming 2. Intellect Books, pp. 65-76.

Cope, M, Gent, IP & Hammond, K 2001, Parallel Heuristic Search Techniques for Propositional Satisfiability using Haskell. in S Gilmore (ed.), Trends in Functional Programming 2. Intellect Books, pp. 65-76.

Cope, M, Gent, I & Hammond, K 2000, Parallel heuristic search in Haskell. in TRENDS IN FUNCTIONAL PROGRAMMING, VOL 2. INTELLECT LTD, OXFORD, pp. 65-76.

Dunstan, MN, Kelsey, TW, Linton, SA & Martin, U 1999, Formal Methods for Extensions to CAS. in Proceedings of Formal Methods 1999. Lecture Notes in Computer Science, vol. 1709, Springer-Verlag, pp. 1758-1777.

Martin, UHM, Dunstan, MN, Kelsey, TW & Linton, SA 1998, Lightweight Formal Methods for Computer Algebra Systems. in Proceedings of the International Symposium on Symbolic and Algebraic Computation. ACM, pp. 80-87.

Campbell, CM, Havas, G, Linton, SA & Robertson, EF 1998, Symmetric Presentations and Orthogonal Groups. in R Curtis & R Wilson (eds), The Atlas of Finite Groups: Ten Years On (Birmingham, 1995). Cambridge University Press, pp. 1-10.

Cooperman, G, Finkelstein, L & Linton, SA 1997, Constructive Recognition of a Black Box Group Isomorphic to GL(n,2). in L Finkelstein & W Kantor (eds), Groups and Computation II (New Brunswick, NJ, 1995), vol 28. American Mathematical Society, pp. 85-100.

Linton, SA 1995, The Art and Science of Computing in Large Groups. in Computational Algebra and Number Theory (Sydney, 1992). Kluwer, pp. 91-109.

Linton, SA 1995, Generalizations of the Todd-Coxeter Algorithm. in Computational Algebra and Number Theory (Sydney, 1992). Kluwer, pp. 29-51.

Gent, IP, MacIntyre, E, Prosser, P & Walsh, T 1995, Scaling Effects in the CSP Phase Transition. in U Montanari & F Rossi (eds), Principles and Practice of Constraint Programming. Springer-Verlag, pp. 70-87.