Author: Howard Bowman

Publications

Publication period start: 1998
Number of co-authors: 2

Co-authors

Number of publications with favourite co-authors
Giorgio P. Faconti
1
Mieke Massink
1

Productive Colleagues

Most productive colleagues in number of publications
Mieke Massink
11
Giorgio P. Faconti
15

Publications

Bowman, Howard, Faconti, Giorgio P., Massink, Mieke (1998): Specification and Verification of Media Constraints using UPAAL. 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. 261-277.

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,640 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,640 designers enjoy our newsletter—sure you don’t want to receive it?