Author: Jon Rowson
Publications
Co-authors
Productive Colleagues
Publications
Markopoulos, Panos, Johnson, Peter, Rowson, Jon (1998): Formal Architectural Abstractions for Interactive Software. In International Journal of Human-Computer Studies, 49 (5) pp. 675-715.
Markopoulos, Panos, Rowson, Jon, Johnson, Peter (1997): Composition and Synthesis with a Formal Interactor Model. In Interacting with Computers, 9 (2) pp. 197-223.
Markopoulos, Panos, Johnson, Peter, Rowson, Jon (1997): Formal aspects of task based design. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 209-224.
Markopoulos, Panos, Papatzanis, Giorgios, Johnson, Peter, Rowson, Jon (1998): Validating Semi-Formal Specifications of Interactors as Design Representations. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 102-116.
Rowson, Jon (1998): Working Group 2 Report. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 316-320.
Rowson, Jon, Johnson, Peter, White, Graham (1999): Cross-contextual reference in human-computer interaction. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 254-261.