• United Kingdom

Research Output

Filter
Conference contribution
2013

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)
65 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

39 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)
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)
130 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)
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

97 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)
2010

A formal analysis of the AIF in terms of the ASPIC framework

Bex, F., Prakken, H. & 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. 99-110 12 p. (Frontiers in artificial intelligence and applications; vol. 216).

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

8 Citations (Scopus)

A tool to promote prolonged engagement in art therapy: design and development from arts therapist requirements

Hoey, J., Zutis, K., Leuty, V. & Mihailidis, A., 2010, ASSETS '10: Proceedings of the 12th International ACM SIGACCESS Conference on Computers and Accessibility . New York: Association for Computing Machinery, p. 211-218 8 p.

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

12 Citations (Scopus)

Building arguments with argumentation: the role of illocutionary force in computational models of argument

Reed, C., Wells, S., Budzynska, K. & Devereux, J., 2010, Computational Models of Argument : Proceedings of COMMA 2010. Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (eds.). Amsterdam: IOS Press, p. 415-426 12 p. (Frontiers in artificial intelligence and applications; vol. 216).

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

13 Citations (Scopus)

Contextual Biometric-Based Authentication for Ubiquitous Services

Buhan, I., Lenzini, G. & Radomirović, S., 2010, Ubiquitous Intelligence and Computing : 7th International Conference, UIC 2010 Xi’an, China, October 26-29, 2010 Proceedings. Yu, Z., Liscano, R., Chen, G., Zhang, D. & Zhou, X. (eds.). Berlin: Springer Verlag, p. 680-693 14 p. (Lecture Notes in Computer Science ; vol. 6406 ).

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

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

2009

Algebraic Attacks on RFID Protocols

van Deursen, T. & Radomirović, S., 2009, Information Security Theory and Practice: Smart Devices, Pervasive Systems, and Ubiquitous Networks - Third IFIPWG 11.2 International Workshop, WISTP2009 Brussels, Belgium, September 1-4, 2009. Proceedings. Markowitch, O., Bilas, A., Hoepman, J-H., Mitchell, C. J. & Quisquater, J-J. (eds.). Berlin: Springer Verlag, p. 38-51 14 p. (Lecture Notes in Computer Science ; vol. 5746 ).

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

29 Citations (Scopus)

Designing a safer interactive healthcare system - The impact of authentic user participation

Went, K. L., Gregor, P. & Ricketts, I. W., 2009, Human-Computer Interaction - Interact 2009, Pt II, Proceedings. Gross, T., Gulliksen, J., Kotze, P., Oestreicher, L., Palanque, P., Prates, RO. & Winckler, M. (eds.). Berlin: Springer , p. 718-730 13 p.

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

Dundee User Centre - a space where older people and technology meet

Forbes, P., Gibson, L., Hanson, V. L., Gregor, P. & Newell, A. F., 2009, Assets '09: proceedings of the 11th international ACM SIGACCESS Conference on Computers and Accessibility. Trewin, S. & McCoy, K. F. (eds.). New York: Association for Computing Machinery, p. 231-232 2 p.

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

18 Citations (Scopus)

Innovation for an inclusive future

Springett, M., Rice, M., Carmichael, A. & Griffiths, R., 2009, Human-Computer Interaction – INTERACT 2009: 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II. Gross, T., Gulliksen, J., Kotze, P., Oestreicher, L., Palanque, P., Prates, R. O. & Winckler, M. (eds.). Berlin: Springer , p. 967-968 2 p. (Lecture notes in computer science; vol. 5727).

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

Lessons learned from developing cognitive support for communication, entertainment, and creativity for older people with dementia

Alm, N., Astell, A., Gowans, G., Dye, R., Ellis, M., Vaughan, P. & Riley, P., 2009, Universal Access in Human-Computer Interaction: Addressing Diversity, Pt I, Proceedings. Stephanidis, C. (ed.). Berlin: Springer , Vol. 5614 LNCS . p. 195-201 7 p.

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

5 Citations (Scopus)

Minimal Message Complexity of Asynchronous Multi-party Contract Signing

Mauw, S., Radomirović, S. & Dashti, M. T., 2009, Proceedings of the 22nd IEEE Computer Security Foundations Symposium: CSF 2009, 8-10 July 2009 / Port Jefferson, New York, USA. Los Alamitos: IEEE Computer Society, p. 13-25 13 p. (Proceedings of the IEEE).

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

Open Access
File
14 Citations (Scopus)
130 Downloads (Pure)

Scoring of breast tissue microarray spots through ordinal regression

Amaral, T., McKenna, S. J., Robertson, K. & Thompson, A., 2009, Visapp 2009: Proceedings of The Fourth International Conference on Computer Vision Theory and Applications, Vol 2. Lisbon: Institute for Systems and Technologies of Information, Control and Communication, Vol. 2. p. 243-248 6 p.

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

2 Citations (Scopus)

Secure Ownership and Ownership Transfer in RFID Systems

van Deursen, T., Mauw, S., Radomirović, S. & Vullers, P., 2009, Computer Security - ESORICS 2009 : 14th European Symposium on Research in Computer Security Saint-Malo, France, September 21-23, 2009. Proceedings. Backes, M. & Ning, P. (eds.). Berlin: Springer Verlag, p. 637-654 18 p. (Lecture Notes in Computer Science ; vol. 5789 ).

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

34 Citations (Scopus)

Towards a Decision Model Based on Trust and Security Risk Management

Alcade, B., Dubois, E., Mauw, S., Mayer, N. & Radomirović, S., 2009, Information Security 2009: Proceedings of the Seventh Australasian Information Security Conference (AISC 2009), Wellington, New Zealand, January 2009. Brankovic, L. & Susilo, W. (eds.). Sydney: Australian Computer Society, p. 61-69 9 p. (Conferences in Research and Practice in Information Technology; vol. 98).

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

6 Citations (Scopus)

Using NLG to help language-impaired users tell stories and participate in social dialogues

Reiter, E., Turner, R., Alm, N., Black, R., Dempster, M. & Waller, A., 2009, ENLG 2009 12th EuropeanWorkshop on Natural Language Generation: proceedings of the workshop. Stroudsburg, PA: Association for Computational Linguistics, p. 1-8 8 p.

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

22 Citations (Scopus)

Using user research in creativity: informing systems, service and product experience design

Macaulay, C. & Busse, D., 2009, C&C '09 : proceedings of the Seventh ACM Conference on Creativity and Cognition. New York: Association for Computing Machinery, p. 495-496 2 p.

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

1 Citation (Scopus)