Scottish Informatics and Computer Science Alliance

Research Output

Filter
Conference Contribution
2018

Deceptive games

Anderson, D., Stephenson, M., Togelius, J., Salge, C., Levine, J. & Renz, J., 8 Mar 2018, In : Lecture Notes in Computer Science. 10784, p. 376-391 16 p.

Research output: Contribution to journalConference Contribution

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

Everybody's got to be somewhere

McBride, C., 10 Jul 2018, In : Electronic Proceedings in Theoretical Computer Science. 275, p. 53-69 17 p.

Research output: Contribution to journalConference Contribution

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

Text entry for people with mild cognitive impairments

Gibson, R. C., Dunlop, M., Khan, A. M. & Imperatore, G., 3 Sep 2018, In : CEUR Workshop Proceedings. 2183, p. 28-32 5 p.

Research output: Contribution to journalConference Contribution

Open Access
File
14 Downloads (Pure)

Verifying the smallest interesting colour code with quantomatic

Garvie, L. & Duncan, R., 27 Feb 2018, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 266, p. 147-163 17 p.

Research output: Contribution to journalConference Contribution

Open Access
File
5 Citations (Scopus)
12 Downloads (Pure)
2017

Evaluating readability as a factor in information security policies

Alkhurayyif, Y. & Weir, G. R. S., 31 Dec 2017, In : International Journal of Trend in Research and Development. p. 54-64 11 p.

Research output: Contribution to journalConference Contribution

Open Access
File
34 Downloads (Pure)

Investigating the information gaps in refugee integration

Oduntan, O. O. & Ruthven, I., 24 Oct 2017, In : Proceedings of the Association for Information Science and Technology. 54, 1, p. 308-317 10 p.

Research output: Contribution to journalConference Contribution

Open Access
File
3 Citations (Scopus)
74 Downloads (Pure)

On universal partial words

Chen, H. Z. Q., Kitaev, S., Mutze, T. & Sun, B. Y., 29 Apr 2017, (Accepted/In press) In : Electronic Notes in Discrete Mathematics.

Research output: Contribution to journalConference Contribution

Open Access
File
6 Downloads (Pure)

Preface

Duncan, R. (ed.) & Heunen, C. (ed.), 1 Jan 2017, In : Electronic Proceedings in Theoretical Computer Science. 1 p.

Research output: Contribution to journalConference Contribution

Open Access
2014

Pivoting makes the ZX-calculus complete for real stabilizers

Duncan, R. & Perdrix, S., 27 Dec 2014, In : Electronic Proceedings in Theoretical Computer Science. 171, p. 50-62 13 p.

Research output: Contribution to journalConference Contribution

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

Preface: CLEF (working notes) 2014

Cappellato, L., Ferro, N., Halvey, M. & Kraaij, W., Sep 2014, In : CEUR Workshop Proceedings. 1180, 4 p.

Research output: Contribution to journalConference Contribution

Open Access
File
45 Downloads (Pure)

Verifying the Steane code with Quantomatic

Duncan, R. & Lucas, M., 27 Dec 2014, In : Electronic Proceedings in Theoretical Computer Science. 171, p. 33-49 17 p.

Research output: Contribution to journalConference Contribution

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