• United Kingdom

Research Output

Filter
Conference contribution
2010

EC-RAC: Enriching a Capacious RFID Attack Collection

van Deursen, T. & Radomirović, S., 2010, Radio Frequency Identification: Security and Privacy Issues - 6th International Workshop, RFIDSec 2010 Istanbul, Turkey, June 8-9, 2010 Revised Selected Papers. Berna, S. & Yalcin, O. (eds.). Berlin: Springer Verlag, p. 75-90 16 p. (Lecture Notes in Computer Science ; vol. 6370 ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)

Granularity-aware work-stealing for computationally-uniform Grids

Janjic, V. & Hammond, K., 24 Jun 2010, CCGrid 2010 - 10th IEEE/ACM International Conference on Cluster, Cloud, and Grid Computing. IEEE, p. 123-134 12 p. 5493485

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

Moving between argumentation frameworks

Oren, N., Reed, C. & Luck, M., 2010, Computational models of argument: Proceedings of COMMA 2010. Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (eds.). Amsterdam: IOS Press, p. 379-390 12 p. (Frontiers in artificial intelligence and applications; vol. 216).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Citations (Scopus)

Pipelining argumentation technologies

Snaith, M., Devereux, J., Lawrence, J. & Reed, C., 2010, Computational Models of Argument: Proceedings of COMMA 2010. Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (eds.). Amsterdam: IOS Press, p. 447-453 7 p. ( Frontiers in artificial intelligence and applications; vol. 216).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Portrait: portraying individuality

Webster, G., Fels, D. I., Gowans, G. & Alm, N., 2010, Computers Helping people with special needs, Proceedings PT2. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). Berlin: Springer , Vol. 6180 LNCS. p. 576-583 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Strategic argumentation in rigorous persuasion dialogue

Devereux, J. & Reed, C., 2010, Argumentation in Multi-Agent Systems: 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers. McBurney, P., Rahwan, I., Parsons, S. & Maudet, N. (eds.). Berlin: Springer , p. 94-113 20 p. (Lecture notes in computer science; vol. 6057).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

Towards accessible interactions with pervasive interfaces, based on human capabilities

Atkinson, M. T., Li, Y., Machin, C. H. C. & Sloan, D., 2010, Computers Helping People with Special Needs: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). Berlin: Springer , p. 162-169 8 p. (Lecture notes in computer science; vol. 6179).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Using NLG and sensors to support personal narrative for children with complex communication needs

Black, R., Reddington, J., Reiter, E., Tintarev, N. & Waller, A., 2010, Workshop on Speech and Language Processing for Assistive Technologies (SLPAT): Proceedings of the Workshop. Association for Computational Linguistics, p. 1-9 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

Computational Creativity Theory: Inspirations behind the FACE and the IDEA models

Pease, A. & Colton, S., 1 Dec 2011, Proceedings of the 2nd International Conference on Computational Creativity, ICCC 2011. Ventura, D., Gervás, P., Fox Harrell, D., Maher, M. L., Pease, A. & Wiggins, G. (eds.). p. 72-77 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

23 Citations (Scopus)

Continuous correlated beta processes

Goetschalckx, R., Poupart, P. & Hoey, J., 2011, Proceedings of the Twenty-Second international joint conference on Artificial Intelligence . IJCAI'11. Walsh, T. (ed.). Vol. 2. p. 1269-1274 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Extending predictive models of exploratory behavior to broader populations

Trewin, S., Richards, J., Bellamy, R., John, B. E., Swart, C. & Sloan, D., 2011, Universal Access in Human-Computer Interaction. Design for All and eInclusion: 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I. Stephanidis, C. (ed.). Berlin: Springer , p. 149-158 10 p. (Lecture notes in computer science; vol. 6765).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Foundations of Attack–Defense Trees

Kordy, B., Mauw, S., Radomirović, S. & Schweitzer, P., 2011, Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Revised Selected Papers. Degano, P., Etalle, S. & Guttman, J. (eds.). Berlin: Springer Verlag, p. 80-95 16 p. (Lecture Notes in Computer Science ; vol. 6561).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

104 Citations (Scopus)

mCarve: Carving Attributed Dump Sets

van Deursen, T., Mauw, S. & Radomirović, S., 2011, Proceedings of the 20th USENIX Security Symposium. United States: USENIX Association, p. 107-121 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
11 Downloads (Pure)

Measuring minimal change in argument premise revision

Snaith, M. & Reed, C., 2011, Imperial College Computing Student Workshop - Proceedings of ICCSW'11. Jones, A. V. (ed.). London: Imperial College, London, p. 87-93 7 p. (Department of Computing technical report; vol. DTR11-9).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Narrating past to present: conveying the needs and values of older people to young digital technology designers

Valentine, E., Bobrowicz, A., Coleman, G., Gibson, L., Hanson, V. L., Kundu, S., McKay, A. & Holt, R., 2011, Universal Access in Human-Computer Interaction. Users Diversity: 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II. Stephanidis, C. (ed.). Berlin: Springer , p. 243-249 7 p. (Lecture notes in computer science; vol. 6766).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

The use of biometric fingerprint technology with the over 65s: a case study

Day, P. N., Ricketts, I. W., Riley, C., Carlisle, M., Gregor, P. & Rohan, C., 2011, Contemporary Ergonomics and Human Factors 2011. Anderson, M. (ed.). Boca Raton: CRC Press-Taylor & Francis Group, p. 379-386 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Using an argument ontology to develop pedagogical tool suites

Reed, C., Wells, S., Snaith, M., Budzynska, K. & Lawrence, J., 2011, Tools for Teaching Logic: Third International Congress, TICTTL 2011 Salamanca, Spain, June 1-4, 2011. Proceedings. Blackburn, P., van Ditmarsch, H., Manzano, M. & Soler-Toscano, F. (eds.). Berlin: Springer , p. 207-214 8 p. (Lecture notes in computer science; vol. 6680).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
2012

Constructing Optimistic Multi-party Contract Signing Protocols

Kordy, B. & Radomirović, S., 2012, 2012 IEEE 25th Computer Security Foundations Symposium, CSF 2012 : Proceedings. Piscataway: Institute of Electrical and Electronics Engineers, p. 215-229 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
5 Citations (Scopus)
142 Downloads (Pure)

Global optimization of object pose and motion from a single rolling shutter image with automatic 2D-3D matching

Magerand, L., Bartoli, A., Ait-Aider, O. & Pizarro, D., 30 Oct 2012, Computer Vision, ECCV 2012 - 12th European Conference on Computer Vision, Proceedings. PART 1 ed. p. 456-469 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7572 LNCS, no. PART 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Citations (Scopus)

Insider Attacks and Privacy of RFID Protocols

Van Deursen, T. & Radomirović, S., 2012, Public Key Infrastructures, Services, and Applications: 8th European Workshop, EuroPKI 2011 Leuven, Belgium, September 15-16, 2011 Revised Selected Papers. Petkova-Nikova, S., Pashalidis, A. & Pernul, G. (eds.). Berlin: Springer Verlag, p. 91-105 15 p. (Lecture Notes in Computer Science ; vol. 7163 ).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

ISCAN: a phoneme-based predictive communication aid for nonspeaking individuals

Trinh, H., Waller, A., Vertanen, K., Kristensson, P. O. & Hanson, V. L., 2012, ASSETS'12 : Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 57-64 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Non-melanoma skin lesion classification using colour image data in a hierarchical K-NN classifier

Ballerini, L., Fisher, R. B., Aldridge, B. & Rees, J., 2012, 2012 9th IEEE International Symposium on Biomedical Imaging: From Nano to Macro - Proceedings. Piscataway: IEEE, p. 358-361 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

21 Citations (Scopus)

Persuasion Knowledge Transfer: A Conceptual Model

Saidin, A. Z., Macaulay, C. & Hine, N., 2012, eProceedings Knowledge Management 6th International Conference 2012: "Managing Knowledge for Global and Collaborative Innovations". Baharom, F., Mahmuddin, M., Yusof, Y., Hashim, N., Hassan, S., Yusop, N., Ishak, W. & Saip, M. (eds.). Sintok: Universiti Utara Malaysia, p. 219-224 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Twasebook: A "Crowdsourced phrasebook" for language learners using twitter

Coleman, G. W. & Hine, N. A., 2012, NordiCHI 2012: Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design. New York: Association for Computing Machinery, p. 805-806 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Using load information in work-stealing on distributed systems with non-uniform communication latencies

Janjic, V. & Hammond, K., 2012, Parallel Processing - 18th International Conference, Euro-Par 2012, Proceedings. Kaklamanis, C., Papatheodorou, T. & Spirakis, P. G. (eds.). Berlin: Springer , p. 155-166 12 p. (Lecture Notes in Computer Science; vol. 7484).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
2013

ACCESS: a technical framework for adaptive accessibility support

Heron, M., Hanson, V. L. & Ricketts, I. W., 2013, EICS '13 : Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. New York: Association for Computing Machinery, p. 33-42 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

A formal account of complex argumentation in a critical discussion

Visser, J., 2013, Virtues of argumentation: proceedings of the 10th International Conference of the Ontario Society for the Study of Argumentation (OSSA), 22-26 May 2013. University of Windsor, 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
9 Downloads (Pure)

Classification of colorectal polyp regions in optical projection tomography

Li, W., Zhang, J., McKenna, S. J., Coats, M. & Carey, F. A., 2013, ISBI 2013: IEEE 10th International Symposium on Biomedical Imaging: From Nano to Macro - Proceedings. Piscataway, N.J.: IEEE, p. 736-739 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Demonstrating SerenA: chance encounters in the space of ideas

Forth, J., Giannimaras, A., Wiggins, G. A., Stewart, R., Bental, D., Aylett, R., Maxwell, D., Mehrpouya, H., Shek, J. & Woods, M., 2013, Advances on Practical Applications of Agents and Multi-Agent Systems: 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings. Demazeau, Y., Ishida, T., Corchado, J. M. & Bajo, J. (eds.). Berlin: Springer , p. 275-278 4 p. (Lecture notes in computer science; vol. 7879).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

How to be a successful thief: Feudal work stealing for irregular divide-and-conquer applications on heterogeneous distributed systems

Janjic, V. & Hammond, K., 2013, Euro-Par 2013 Parallel Processing - 19th International Conference, Proceedings. Wolf, F., Mohr, B. & an Mey, D. (eds.). Berlin: Springer , p. 114-125 12 p. (Lecture Notes in Computer Science; vol. 8097).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Low altitude descent simulation for autonomous lunar landings

Martin, I., Parkes, S., Dunstan, M. & Rowell, N., 25 Sep 2013, 64th International Astronautical Congress: Final Programme. International Astronautical Federation, 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search

Goli, M., McCall, J., Brown, C., Janjic, V. & Hammond, K., 15 Jul 2013, 2013 IEEE Congress on Evolutionary Computation, CEC 2013. IEEE, p. 2932-2939 8 p. 6557926

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
2 Citations (Scopus)
69 Downloads (Pure)

Real-time spacewire instrument simulation in a day

Mudie, S., Dunstan, M. & Parkes, S., 1 Jan 2013, 64th International Astronautical Congress 2013, IAC 2013. International Astronautical Federation, Vol. 10. p. 8140-8146 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Repeating history: Execution replay for parallel Haskell programs

Ferreiro, H., Janjic, V., Castro, L. M. & Hammond, K., 3 Sep 2013, Trends in Functional Programming - 13th International Symposium, TFP 2012, Revised Selected Papers. Loidl, H-W. & Peña, R. (eds.). Berlin: Springer , p. 231-246 16 p. (Lecture Notes in Computer Science; vol. 7829).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Retinal vessel classification: sorting arteries and veins

Relan, D., MacGillivray, T., Ballerini, L. & Trucco, E., 2013, Proceedings of the 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. IEEE, p. 7396-7399 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

40 Citations (Scopus)

Spline-based refinement of vessel contours in fundus retinal images for width estimation

Cavinato, A., Ballerini, L., Trucco, E. & Grisan, E., 2013, Proceedings of the 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI 2013)): from nano to macro. IEEE, p. 872-875 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)
2014

Agricultural reform: More efficient farming using advanced parallel refactoring tools

Brown, C., Janjic, V., Hammond, K., Schöner, H., Idrees, K. & Glass, C., 14 Apr 2014, PDP 2014 Proceedings: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. Piscataway: IEEE, p. 36-43 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

AIFdb Corpora

Lawrence, J. & Reed, C., 2014, Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 465-466 2 p. (Frontiers in artificial intelligence and applications; vol. 266).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

A Model for Processing Illocutionary Structures and Argumentation in Debates

Budzynska, K., Janier, M., Reed, C., Saint-Dizier, P., Stede, M. & Yaskorska, O., 2014, LREC 2014 Proceedings. Calzolari, N., Choukri, K., Declerck, T., Loftsson, H., Maegaard, B., Mariani, J., Moreno, A., Odijk, J. & Piperidis, S. (eds.). European Language Resources Association, p. 917-924 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
15 Citations (Scopus)
124 Downloads (Pure)

Analysing the Surface Morphology of Colorectal Polyps: Differential Geometry and Pit Pattern Prediction

Zhang, J., McKenna, S. J., Zhang, J., Coats, M. & Carey, F. A., Jul 2014, Medical Image Understanding and Analysis: MIUA. Reyes-Aldasoro, C. & Slabaugh, G. (eds.). United Kingdom: British Machine Vision Association and Society for Pattern Recognition, p. 67-72 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
160 Downloads (Pure)

An end-user interface for behaviour change intervention development

Rough, D. & Quigley, A., May 2014, AVI '14: Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery (ACM), p. 377-378 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An evaluation of Dasher with a high-performance language model as a gaze communication method

Rough, D., Vertanen, K. & Kristensson, P. O., May 2014, AVI '14: Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery (ACM), p. 169-176 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

An experimental assessment of five indices of retinal vessel tortuosity with the RET-TORT public dataset

Lisowska, A., Annunziata, R., Loh, G. K., Karl, D. & Trucco, E., 2014, 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014. IEEE, p. 5414-5417 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Citations (Scopus)

An RTEMS port for the AT6981 SpaceWire-enabled processor: features and performance

Paterson, D., Gibson, D. & Parkes, S., 2014, 2014 International SpaceWire Conference (SpaceWire) Athens, Greece, 22–26th September 2014 : proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Parkes, S. & Carrie, C. (eds.). Dundee: Space Technology Centre, University of Dundee, 4 p. 6936270

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Assessing progress in building autonomously creative systems

Colton, S., Pease, A., Corneli, J., Cook, M. & Teresa Llano, M., 2014, Proceedings of the Fifth International Conference on Computational Creativity, ICCC-2014. Colton, S., Ventura, D., Lavrač, N. & Cook, M. (eds.). Association for Computational Creativity, p. 137-145 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

Automatic generation of synthetic retinal fundus images

Fiorini, S., Ballerini, L., Trucco, E. & Ruggeri, A., 2014, Medical Image Understanding and Analysis 2014: Proceedings of the 18th Conference on Medical Image Understanding and Analysis. Reyes-Aldasoro, C. C. & Slabaugh, G. (eds.). London: BMVA Press, p. 7-12 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

Automatic retinal vessel classification using a Least Square-Support Vector Machine in VAMPIRE

Relan, D., MacGillivray, T., Ballerini, L. & Trucco, E., 2014, 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014. IEEE, p. 142-145 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Citations (Scopus)

COINVENT: towards a computational concept invention theory

Schorlemmer, M., Smaill, A., Kuhnberger, K-U., Kutz, O., Colton, S., Cambouropoulos, E. & Pease, A., 2014, Proceedings of the Fifth International Conference on Computational Creativity, 2014. Colton, S., Ventura, D., Lavrač, N. & Cook, M. (eds.). Association for Computational Creativity, p. 288-296 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Detecting and Segmenting Nanodiscs in Immuno-Electron Micrographs

Huang, T., Hacker, C., Lucocq, J. & McKenna, S., Jul 2014, Medical Image Understanding and Analysis: MIUA. Reyes-Aldasoro, C. & Slabaugh, G. (eds.). United Kingdom: British Machine Vision Association and Society for Pattern Recognition, p. 53-58 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
80 Downloads (Pure)

Differential privacy: an economic method for choosing epsilon

Hsu, J., Gaboardi, M., Haeberlen, A., Khanna, S., Narayan, A., Pierce, B. C. & Roth, A., 2014, Proceedings of the 2014 IEEE 27th Computer Security Foundations Symposium, CSF 2014 . IEEE Computer Society, p. 398-410 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

65 Citations (Scopus)