Items where Author is "Masthoff, J."

Stapleton, G., Jamnik, M. and Masthoff, J. (2009) On the readability of diagrammatic proofs In: Automated Reasoning Workshop, 21-22 April 2009, Liverpool, UK. (Submitted)

Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2007) Automated theorem proving in Euler diagram systems Journal of automated reasoning, 39 (4). pp. 431-470. ISSN 0168-7433

Stapleton, G. and Masthoff, J. (2007) Incoporating negation into visual logics: a case study using Euler diagrams In: VLC 07: Visual Languages and Computing, 6-8 Sep 2007, San Francisco, USA.

Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2006) Appendices for automated theorem proving in Euler diagram systems University of Brighton, Brighton, UK. (Unpublished)

Pemberton, L. and Masthoff, J. (2005) Adaptive hypermedia for personalised television In: Chen, S.Y. and Magoulas, G.D., eds. Adaptable and adaptive hypermedia systems. IRM Press, PA, USA, pp. 246-263. ISBN 159140567X

Fish, A. and Masthoff, J. (2005) Do monkeys like elephants or do elephants watch monkeys? An empirical study into the default reading of constraint diagrams University of Brighton.

Fish, A. and Masthoff, J. (2005) An experimental study into the default reading of constraint diagrams In: Proceedings of Visual Languages and Human Centric Computing (VLHCC05), 20-24 Sep 2005, Dallas, USA.

Pemberton, L., Fallahkhair, S. and Masthoff, J. (2005) Learner centred development of cross platform language learning support system Journal of Educational Technology & Society, 8 (4). pp. 52-63. ISSN 1436-4522 (online) 1176-3647 (print)

Dron, J. and Masthoff, J. (2004) We are, of course, bored with course boards: an online alternative to formal course meetings Italics, 3 (2). ISSN 1473-7507

Fallahkhair, S., Pemberton, L. and Masthoff, J. (2004) A dual device scenario for informal language learning: interactive television meets the mobile phone In: Kinshuk, ., Looi, C., Sutinen, E., Sampson, D., Aedo, I., Uden, L. and Kahkonen, E., eds. Fourth IEEE international conference on advanced learning technologies (ICALT'04). IEEE Computer Society, Los Alamitos, USA, pp. 161-20. ISBN 0769521819

Flower, J., Masthoff, J. and Stapleton, G. (2004) Generating proofs with spider diagrams using heuristics In: Proceedings of 10th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing. Knowledge Systems Institute, pp. 91-98.

Flower, J., Masthoff, J. and Stapleton, G. (2004) Generating readable proofs: a heuristic approach to theorum proving with spider diagrams In: Blackwell, A., Marriott, K. and Shimojima, A., eds. Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture Notes in Computer Science, 2980/2004 . Springer Verlag, Berlin, Germany, pp. 166-181. ISBN 9783540212683

Fallahkhair, S., Masthoff, J. and Pemberton, L. (2004) Learning languages from interactive television: language learners reflect on techniques and technologies In: Cantoni, L. and McLoughlin, C., eds. World conference on educational multimedia, hypermedia and telecommunications. AACE, pp. 4336-4343.

Pemberton, L., Fallahkhair, S. and Masthoff, J. (2004) Towards a theoretical framework for informal language via interactive television In: Kinshuk, ., Sampson, D.G. and Isaias, P., eds. Proceedings of IADIS international conference of cognition and exploratory learning in digital age (CELDA) 2004. IADIS, pp. 27-34. ISBN 9729894779

Dron, J. and Masthoff, J. (2003) Online formal course meetings In: Proceedings of the 4th Annual LTSN-ICS Conference, Aug 2003, Galway, Ireland.

Masthoff, J. and Gupta, A. (2002) Design and evaluation of just-in-time help in a multi-modal user interface In: Gill, Y. and Leake, D.B., eds. IUI 02: Proceedings of the 7th international conference on Intelligent user interfaces. ACM press, New York, USA, pp. 204-205. ISBN 1581134592