Scottish Informatics and Computer Science Alliance

Research Output 2001 2020

Filter
Conference contribution book
2020
2 Downloads (Pure)

Three equivalent ordinal notation systems in cubical Agda

Nordvall Forsberg, F., Xu, C. & Ghani, N., 24 Jan 2020, CPP 2020 : Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. Blanchette, J. & Hritcu, C. (eds.). New York, p. 172–185 14 p.

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

Open Access
File
Innovation
2019
9 Downloads (Pure)

Application of ensemble techniques in predicting object-oriented software maintainability

Alsolai, H. & Roper, M., 15 Apr 2019, Proceedings of EASE 2019 - Evaluation and Assessment in Software Engineering. New York, p. 370-373 4 p.

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

Open Access
File
Maintainability
Learning systems
125 Downloads (Pure)

Character building in children's online information behaviours: applying a virtue epistemology perspective to information literacy

McMenemy, D. & Buchanan, S., 20 Feb 2019, Information Literacy in Everyday Life: 6th European Conference, ECIL 2018, Oulu, Finland, September 24–27, 2018, Revised Selected Papers. Kurbanoğlu, S., Špiranec, S., Ünal, Y., Boustany, J., Huotari, M. L., Grassian, E., Mizrachi, D. & Roy, L. (eds.). Cham, Switzerland: Springer, p. 73-82 10 p.

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

Open Access
File
epistemology
literacy
disinformation
disposition
education
2 Citations (Scopus)
6 Downloads (Pure)

Coalgebra learning via duality

Barlocco, S., Kupke, C. & Rot, J., 5 Apr 2019, Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings. Bojańczyk, M. & Simpson, A. (eds.). Cham, Switzerland: Springer, p. 62-79 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425 LNCS).

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

Open Access
File
Learning algorithms
6 Downloads (Pure)

Completeness for game logic

Enqvist, S., Hansen, H. H., Kupke, C., Venema, Y. & Marti, J., 28 Mar 2019, (Accepted/In press) Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. 23 p.

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

Open Access
File
Acoustic waves
Semantics

Designing interactions for the ageing populations – addressing global challenges

Sarcar, S., Munteanu, C., Jokinen, J. P. P., Charness, N., Dunlop, M., Ren, X. & Waycott, J., 5 Feb 2019, (Accepted/In press) CHI '20 : CHI Conference on Human Factors in Computing Systems: Extended Abstracts. New York, 5 p. W21

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

Open Access
File
Aging of materials
Digital devices
Human computer interaction
User interfaces
Momentum

Evaluation of random forest and ensemble methods at predicting complications following cardiac surgery

Lapp, L., Bouamrane, M-M., Kavanagh, K., Roper, M., Young, D. & Schraag, S., 30 May 2019, Artificial Intelligence in Medicine - 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Proceedings. Wilk, S., ten Teije, A. & Riaño, D. (eds.). Cham: Springer, p. 376–385 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11526 LNAI).

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

Surgery
Adaptive boosting
Learning systems
Costs
3 Citations (Scopus)
3 Downloads (Pure)

Making meaning: a focus for information interactions research

Ruthven, I., 11 Mar 2019, CHIIR '19 Proceedings of the 2019 Conference on Human Information Interaction and Retrieval . New York, NY, p. 163-171 9 p.

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

Open Access
File
interaction research
present
interaction
8 Downloads (Pure)

Using machine learning to classify test outcomes

Roper, R., 20 May 2019, 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). Piscataway, N.J.: IEEE, p. 99-100 2 p.

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

Open Access
File
Learning systems
Engineers
Software testing
Supervised learning
Testing
2018
4 Citations (Scopus)
42 Downloads (Pure)

A glimpse of mobile text entry errors and corrective behaviour in the wild

Komninos, A., Dunlop, M., Katsaris, K. & Garofalakis, J., 3 Sep 2018, MobileHCI '18 Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct . New York, p. 221-228 8 p.

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

Open Access
File
7 Citations (Scopus)
53 Downloads (Pure)

Compositional game theory

Ghani, N., Hedges, J., Winschel, V. & Zahn, P., 12 Jul 2018, Proceedings of the Symposium on Logic in Computer Science (LICS) 2018. New York, 10 p.

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

Open Access
File
Game theory
Economics
Computer science
Byproducts
Visualization
3 Citations (Scopus)
56 Downloads (Pure)

Developing information literacy in dependent and disadvantaged circumstances: a transitional approach in the digital health context

Buchanan, S., Jardine, C. & Ruthven, I., 19 Jan 2018, Fifth European Conference on Information Literacy (ECIL), Sep 18-21 2017, Saint-Malo, France. Cham, Switzerland: Springer, p. 409-418 10 p. (Communications in Computer and Information Science).

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

Open Access
File
literacy
health
digital divide
information service
deprivation
11 Citations (Scopus)
123 Downloads (Pure)

Interacting Frobenius algebras are Hopf

Duncan, R. & Dunne, K., 17 Dec 2018, Proceedings of the 31st annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, NY, 10 p.

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

Open Access
File
Frobenius Algebra
Hopf Algebra
Distributive law
Algebra
Concurrent Programming
2 Citations (Scopus)
15 Downloads (Pure)

Optimization strategies for integration pattern compositions

Ritter, D., May, N., Nordvall Forsberg, F. & Rinderle-Ma, S., 17 Apr 2018, (Accepted/In press) 12th ACM International Conference on Distributed and Event-based Systems (DEBS). New York, 12 p.

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

Open Access
File
Chemical analysis
Industry
189 Downloads (Pure)

Personality traits and cyber-attack victimisation: multiple mediation analysis

Albladi, S. M. & Weir, G. R. S., 18 Jan 2018, Joint 13th CTTE and 10th CMI Conference on Internet of Things – Business Models, Users, and Networks. Falch, M. (ed.). Piscataway, NJ: IEEE, 6 p.

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

Open Access
File
Crime
Experiments
5 Citations (Scopus)
12 Downloads (Pure)

Quotient inductive-inductive types

Altenkirch, T., Capriotti, P., Dijkstra, G., Kraus, N. & Nordvall Forsberg, F., 14 Apr 2018, Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Baier, C. & Dal Lago, U. (eds.). Cham, p. 293-310 18 p. (Lecture Notes in Computer Science; vol. 10803).

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

Open Access
File
Algebra
Semantics
36 Downloads (Pure)

Towards measuring content coordination in microblogs

Roussinov, D., 1 Mar 2018, Advances in Information Retrieval: 40th European Conference on IR Research, ECIR 2018, Proceedings. Pasi, G., Piwowarski, B., Azzopardi, L. & Hanbury, A. (eds.). Cham: Springer-Verlag, p. 651-656 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10772).

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

Open Access
File
Metric
Social Networks
Adjustment
Attack
Resources
2017
99 Downloads (Pure)

A comprehensive introduction to the theory of word-representable graphs

Kitaev, S., 17 May 2017, (Accepted/In press) Developments in Language Theory: 21th International Conference, DLT 2017, Leige, Belgium, August 7-11, 2017, Proceedings. Berlin: Springer-Verlag, (Lecture Notes in Computer Science).

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

Open Access
File
Graph in graph theory
Alternate
Odd
Circle Graph
If and only if
2 Citations (Scopus)
39 Downloads (Pure)

Angluin learning via logic

Barlocco, S. & Kupke, C., 28 Nov 2017, Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings. Artemov, S. & Nerode, A. (eds.). Cham: Springer, p. 72-90 19 p. (Lecture Notes in Computer Science; vol. 10703).

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

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

An interface for supporting asynchronous multi-level collaborative information retrieval

Htun, N. N., Halvey, M. & Baillie, L., 7 Mar 2017, ACM SIGIR Conference on Human Information Interaction & Retrieval 2017. New York, 10 p.

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

Open Access
File
Scenarios
Information retrieval
Evaluation
Collaborative research
Disclosure
2 Citations (Scopus)
33 Downloads (Pure)

Competence measure in social networks

Albladi, S. M. & Weir, G. R. S., 7 Dec 2017, 2017 IEEE International Carnahan Conference on Security Technology (ICCST). Piscataway, NJ: IEEE, 6 p.

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

Open Access
File
Security of data
17 Citations (Scopus)
182 Downloads (Pure)

Do Be Do Be Do

Lindley, S., McBride, C. & McLaughlin, C., 15 Jan 2017, POPL'2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. (ed.). New York, p. 500-514 15 p.

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

Open Access
File
Functional programming
Semantics
Computer programming
Polymorphism
Computer programming languages
8 Citations (Scopus)
44 Downloads (Pure)

High-dimensional simplexes for metric search

Connor, R., Vadicamo, L. & Rabitti, F., 4 Oct 2017, Similarity Search and Applications: 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings. Beecks, C., Kröger, P. & Seidl, T. (eds.). Cham: Springer, Vol. 10609. p. 96-109 14 p. (Lecture Notes in Computer Science; vol. 10609).

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

Open Access
File
Hilbert spaces
Geometry
Costs
5 Citations (Scopus)
47 Downloads (Pure)

How can we better support users with non-uniform information access in collaborative information retrieval?

Htun, N. N., Halvey, M. & Baillie, L., Mar 2017, ACM SIGIR Conference on Human Information Interaction & Retrieval 2017. New York

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

Open Access
File
Information retrieval
46 Downloads (Pure)

Meaningful digital health interventions: bridging digital divides via tailored design

Buchanan, S., Jardine, C. & Ruthven, I., 3 Feb 2017, (Accepted/In press) 8th Annual Innovation in Healthcare Delivery Systems 2017 Symposium. Austin, 7 p.

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

Open Access
File
Health
Mothers
Digital Divide
Digital divide
Literacy
1 Citation (Scopus)
25 Downloads (Pure)

Readability as a basis for information security policy assessment

Alkhurayyif, Y. & Weir, G. R. S., 2 Nov 2017, Seventh IEEE International Conference on Emerging Security Technologies (EST). Piscataway, NJ: IEEE, 8 p.

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

Open Access
File
Security of data
Personnel
Acceptance tests
3 Citations (Scopus)
137 Downloads (Pure)

Text entry tap accuracy and exploration of tilt controlled layered interaction on smartwatches

Dunlop, M. D., Roper, M. & Imperatore, G., 7 Sep 2017, MobileHCI '17 : Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services. New York, 11 p. 23

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

Open Access
File
Oils and fats
Watches
Feedback
22 Downloads (Pure)

Variations on inductive-recursive definitions

Ghani, N., McBride, C., Nordvall Forsberg, F. & Spahn, S., 30 Nov 2017, Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science. Germany, 13 p. 63. (Leibniz International Proceedings in Informatics ).

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

Open Access
File
Algebra
Chemical analysis
2016
6 Citations (Scopus)
10 Downloads (Pure)

A flexible toolkit for evaluating person-centred digital health and wellness at scale

McGee-Lennon, M., Bouamrane, M-M., Grieve, E., O'Donnell, C. A., O'Connor, S., Agbakoba, R., Devlin, A. M., Barry, S., Bikker, A., Finch, T. & Mair, F. S., 2 Jul 2016, Advances in Human Factors and Ergonomics in Healthcare: Proceedings of the AHFE 2016 International Conference on Human Factors and Ergonomics in Healthcare. Duffy, V. G. & Lightner, N. (eds.). Cham, Vol. 482. p. 105-118 14 p. (Advances in Intelligent Systems and Computing; vol. 482).

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

Open Access
File
Health
assisted living
human being
health
Mobile Applications
2 Citations (Scopus)
124 Downloads (Pure)

Automatically classifying test results by semi-supervised learning

Almaghairbe, R. & Roper, M., 8 Dec 2016, 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE). [Piscataway, NJ]: IEEE, p. 116-126 11 p.

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

Open Access
File
Supervised learning
Labeling
Learning algorithms
Classifiers
Software testing
1 Citation (Scopus)
180 Downloads (Pure)

Comprehensive parametric polymorphism: categorical models and type theory

Ghani, N., Nordvall Forsberg, F. & Simpson, A., 22 Mar 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Jacobs, B. & Löding, C. (eds.). Vol. 9634. p. 3-19 17 p. (Lecture Notes in Computer Science).

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

Open Access
File
Polymorphism
8 Citations (Scopus)
105 Downloads (Pure)

Evaluating the social acceptability of voice based smartwatch search

Efthymiou, C. & Halvey, M., 31 Dec 2016, Information Retrieval Technology: 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China November 30 – December 2, 2016. Proceedings. Ma, S., Wen, J-R., Liu, Y., Dou, Z., Zhang, M., Chang, Y. & Zhao, X. (eds.). Switzerland: Springer, p. 267-278 12 p. (Lecture Notes in Computer Science).

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

Open Access
File
Mobile devices
Display devices
Glass
1 Citation (Scopus)
19 Downloads (Pure)

Games for topological fixpoint logic

Bezhanishvili, N. & Kupke, C., 13 Sep 2016, Proceedings of the Seventh International Symposium on Games, Automata, Logics, and Formal Verification. Cantone, D. & Delzanno, G. (eds.). p. 1-15 15 p.

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

Open Access
File
Fixpoint
Game
Logic
Stone Space
Bisimulation
8 Citations (Scopus)

I got plenty o’ nuttin’

McBride, C., 25 Mar 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer, p. 207-233 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9600).

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

Dependent
Resources
Type Theory
Convert
Annotation
2 Citations (Scopus)
32 Downloads (Pure)

Mummy, why do I have diabetes? A tangible interface for educating children with type-1 diabetes

Kyfonidis, C. & Lennon, M., 24 Jun 2016, IDC '16 Proceedings of the The 15th International Conference on Interaction Design and Children. New York, NY, USA, p. 524-528 5 p.

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

Open Access
File
Medical problems
chronic illness
stakeholder approach
parents
nurse
5 Citations (Scopus)
49 Downloads (Pure)

Positing the problem: enhancing classification of extremist web content through textual analysis

Weir, G., Frank, R., Cartwright, B. & dos Santos, E., 17 Nov 2016, 2016 IEEE International Conference on Cybercrime and Computer Forensic (ICCCF). Cartwright, B., Weir, G. & Lau, L. Y-C. (eds.). IEEE

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

Open Access
File
Terrorism
World Wide Web
Gages
Web crawler
2 Citations (Scopus)
12 Downloads (Pure)

Proof-relevant parametricity

Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 25 Mar 2016, A List of Successes That Can Change the World. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer-Verlag, p. 109-131 23 p. (Lecture Notes in Computer Science; vol. 9600).

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

Open Access
File
Computer programming languages
Type Theory
Programming Languages
High-dimensional
Express
54 Downloads (Pure)

Reference point hyperplane trees

Connor, R., 24 Oct 2016, 9th International Conference on Similarity Search and Applications. Amsaleg, L., Houle, M. E. & Shubert, E. (eds.). New York: Springer-Verlag, Vol. 9939. p. 65-78 14 p. (Lecture Notes in Computing Science).

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

Open Access
File
Binary trees
Scalability
Experiments
Costs
6 Citations (Scopus)
90 Downloads (Pure)

Supermetric search with the four-point property

Connor, R., Vadicamo, L., Cardillo, F. A. & Rabitti, F., 24 Oct 2016, 9th International Conference on Similiarty Search and Applications. Springer-Verlag, Vol. 9939. p. 51-64 14 p. 2. (Lecture Notes in Computing Science).

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

Open Access
File
16 Citations (Scopus)
77 Downloads (Pure)

Through the Loupe: Visitor engagement with a primarily text-based handheld AR application

Van Der Vaart, M. & Damala, A., 24 Feb 2016, 2015 Digital Heritage International Congress, Digital Heritage 2015. p. 565-572 8 p.

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

Open Access
File
Augmented reality
Museums
Engines
5 Citations (Scopus)
78 Downloads (Pure)

Using smartphones in cities to crowdsource dangerous road sections and give effective in-car warnings

Dunlop, M. D., Roper, M., Elliott, M., McCartan, R. & McGregor, B., 13 May 2016, Proceedings of the SEACHI 2016 on Smart Cities for Better Living with HCI and UX. New York, p. 14-18 5 p.

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

Open Access
File
Smartphones
Accidents
Railroad cars
Deceleration
Law enforcement
37 Downloads (Pure)

Video test collection with graded relevance assessments

Qiying, W., Halvey, M. & Villa, R., 13 Mar 2016, CHIIR'16: Proceedings of the 2016 ACM on Conference on Human Information Interaction and Retrieval. New York, p. 309-312 4 p.

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

Open Access
File
Information retrieval
4 Citations (Scopus)
583 Downloads (Pure)

Vulnerability to social engineering in social networks: a proposed user-centric framework

Albladi, S. & Weir, G. R. S., 17 Nov 2016, 2016 IEEE International Conference on Cybercrime and Computer Forensic (ICCCF). Cartwright, B., Weir, G. & Lau, L. Y-C. (eds.). Piscataway, NJ: IEEE, p. 95-100 6 p.

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

Open Access
File
Security of data
Virtual reality
Education
2015
8 Citations (Scopus)
98 Downloads (Pure)

2nd workshop on designing with older adults: towards a complete methodology

Nicol, E., Dunlop, M., Komninos, A., McGee-Lennon, M., Baillie, L., Eslambolchilar, P., Foong, P. S., Gault, P., Hakobyan, L., Lumsden, J., Giraldo Velàsquez, F. D. & Horcher, A-M., 24 Aug 2015, MobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct. New York, p. 908-911 3 p.

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

Open Access
File
Mobile devices
Aging of materials
4 Citations (Scopus)

A conceptual model for examining mobile government adoption in Saudi Arabia

Alotaibi, S. & Roussinov, D., 2015, Proceedings of the European Conference on e-Government, ECEG. p. 369-375 7 p.

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

Developing countries
Conceptual model
Government
Saudi Arabia
Refining
111 Downloads (Pure)

A hybrid constraint integer programming approach to solve nurse scheduling problems

Rahimian, E., Akartunali, K. & Levine, J., 25 Aug 2015, Mista 2015 Proceedings of the 7th Multidisciplinary International Scheduling Conference: Theory and Applications . Hanzálek, Z., Kendall, G., McCollum, B. & Šůcha, P. (eds.). Prague, Czech Republic, p. 429-442 14 p. (Proceedings of the Multidisciplinary International Conference on Scheduling: Theory and Applications).

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

Open Access
File
Integer programming
Scheduling
Job satisfaction
Outsourcing
Health
50 Downloads (Pure)

AI-based game design patterns

Treanor, M., Zook, A., Eladhari, M. P., Togelius, J., Smith, G., Cook, M., Thompson, T., Magerko, B., Levine, J. & Smith, A., 29 Dec 2015, Proceedings of the 10th International Conference on the Foundations of Digital Games 2015 (FDG 2015). Santa Cruz, CA, 8 p.

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

Open Access
File
Artificial intelligence
1 Citation (Scopus)

An investigation into appropriation of portable smart devices by users with aphasia

Imperatore, G. & Dunlop, M. D., Oct 2015, ASSETS '15 Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility . p. 323-324 2 p.

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

3 Citations (Scopus)
140 Downloads (Pure)

Building test oracles by clustering failures

Almaghairbe, R. & Roper, M., 2015, 2015 IEEE/ACM 10th International Workshop on Automation of Software Test (AST) . IEEE, p. 3-7 5 p.

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

Open Access
File
Software testing
Fault detection
1 Citation (Scopus)
34 Downloads (Pure)

Cultural heritage communities: technologies and challenges

Ciolfi, L., Damala, A., Hornecker, E., Lechner, M., Maye, L. & Petrelli, D., 27 Jun 2015, Proceedings of the 7th International Conference on Communities and Technologies (C&T '15).. New York, Vol. 27-30-June-2015. p. 149-152 4 p.

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

Open Access
File
Lead