Author: Nicholas A. Merriam

Nicholas A. Merriam

Nicholas A. Merriam

Publications

Publication period start: 1996
Publication period end: 1998
Number of co-authors: 3

Co-authors

Number of publications with favourite co-authors
Michael D. Harrison
1
Andrew M. Dearden
1
Robert E. Fields
3

Productive Colleagues

Most productive colleagues in number of publications
Robert E. Fields
8
Andrew M. Dearden
11
Michael D. Harrison
50

Publications

Fields, Robert E., Merriam, Nicholas A. (1997): Modelling in action. 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. 307-320.

Fields, Robert E., Merriam, Nicholas A. (1998): Inference and Information Resources: A Design Case Study. 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. 41-56.

Fields, Robert E., Merriam, Nicholas A., Dearden, Andrew M. (1997): DMVIS: Design, Modelling and Validation of Interactive Systems. 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. 29-44.

Merriam, Nicholas A., Harrison, Michael D. (1996): Evaluating the Interfaces of Three Theorem Proving Assistants. In: Bodart, Francois, Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 330-346.