International Journal of Human Computer Studies, Volume 44

Volume 44, Number 1, January 1996

• Sissel Guttormsen Schär:
  The influence of the user interface on solving well- and ill-defined problems. 1-18
  Electronic Edition (link) BibTeX
• Fernando Gomez:
  Acquiring intersentential explanatory connections in expository texts. 19-44
  Electronic Edition (link) BibTeX
• J. H. Eggen, Reinder Haakma, Joyce H. D. M. Westerink:
  Layered Protocols: hands-on experience. 45-72
  Electronic Edition (link) BibTeX
• Paolo Nesi, Alberto Del Bimbo:
  A vision-based 3-D mouse. 73-92
  Electronic Edition (link) BibTeX
• Geoffrey S. Hubona, James E. Blanton:
  Evaluating system design features. 93-118
  Electronic Edition (link) BibTeX

Volume 44, Number 2, February 1996

• Robert Plant, Alun D. Preece:
  Editorial: special issue on verification and validation. 123-125
  Electronic Edition (link) BibTeX
• Stephen Murrell, Robert Plant:
  On the validation and verification of production systems: a graph reduction approach. 127-144
  Electronic Edition (link) BibTeX
• Alun D. Preece, Clifford Grossner, Thiruvengadam Radhakrishnan:
  Validating dynamic properties of rule-based systems. 145-169
  Electronic Edition (link) BibTeX
• Daniel E. O'Leary:
  The relationship between errors and size in knowledge-based systems. 171-185
  Electronic Edition (link) BibTeX
• Frank van Harmelen, Manfred Aben:
  Structure-preserving specification languages for knowledge-based systems. 187-212
  Electronic Edition (link) BibTeX
• Rose F. Gamble, D. M. Baughman:
  A methodology to incorporateformal methods in hybrid KBS verification. 213-244
  Electronic Edition (link) BibTeX
• Susan Craw:
  Refinement complements verification and validation. 245-256
  Electronic Edition (link) BibTeX
• Byeong Ho Kang, Windy Gambetta, Paul Compton:
  Verification and validation with ripple-down rules. 257-269
  Electronic Edition (link) BibTeX

Volume 44, Number 3-4, March 1996

• A. Th. Schreiber, William P. Birmingham:
  Editorial: the Sisyphus-VT initiative. 275-280
  Electronic Edition (link) BibTeX
• Gregg R. Yost:
  Implementing the Sisyphus-93 task using Soar/TAQL. 281-301
  Electronic Edition (link) BibTeX
• Thomas E. Rothenfluh, John H. Gennari, Henrik Eriksson, Angel R. Puerta, Samson W. Tu, Mark A. Musen:
  Reusable ontologies, knowledge-acquisition tools, and performance systems: PROTÉGÉ-II solutions to Sisyphus-2. 303-332
  Electronic Edition (link) BibTeX
• Enrico Motta, Arthur Stutt, Zdenek Zdráhal, Kieron O'Hara, Nigel Shadbolt:
  Solving VT in VITAL: a study in model construction and knowledge reuse. 333-371
  Electronic Edition (link) BibTeX
• A. Th. Schreiber, Peter Terpstra:
  Sisyphus-VT: A CommonKADS solution. 373-402
  Electronic Edition (link) BibTeX
• Jay T. Runkel, William P. Birmingham, Alan Balkany:
  Solving VT by reuse. 403-433
  Electronic Edition (link) BibTeX
• Karsten Poeck, Dieter Fensel, Dieter Landes, Jürgen Angele:
  Combining KARL and CRLM for designing vertical transportation systems. 435-467
  Electronic Edition (link) BibTeX
• Frances M. T. Brazier, Pieter H. G. van Langen, Jan Treur, Niek J. E. Wijngaards, Mark Willems:
  Modelling an elevator design task in DESIRE: the VT example. 469-520
  Electronic Edition (link) BibTeX
• Gregg R. Yost, Thomas R. Rothenfluh:
  Configuring elevator systems. 521-568
  Electronic Edition (link) BibTeX
• Thomas R. Gruber, Gregory R. Olsen, Jay T. Runkel:
  The configuration design ontologies and the VT elevator domain theory. 569-598
  Electronic Edition (link) BibTeX

Volume 44, Number 5, May 1996

• Manuel Zacklad, Dominique Fontaine:
  Systematic building of conceptual classification systems with C-KAT. 603-627
  Electronic Edition (link) BibTeX
• Jean Charlet, Chantal Reynaud, Jean-Paul Krivine:
  Causal model-based knowledge acquisition tools: discussion of experiments. 629-652
  Electronic Edition (link) BibTeX
• William S. Pawlak, Kim J. Vicente:
  Inducing effective operator control through ecological interface design. 653-688
  Electronic Edition (link) BibTeX
• Michel Benaroch:
  Roles of design knowledge in knowledge-based systems. 689-721
  Electronic Edition (link) BibTeX

Volume 44, Number 6, June 1996

• Elizabeth Pollitzer, Ernest A. Edmonds:
  Editorial: the evolving partnership between cognitive science and HCI. 731-741
  Electronic Edition (link) BibTeX
• John Rieman, Richard M. Young, Andrew Howes:
  A dual-space model of iteratively deepening exploratory learning. 743-775
  Electronic Edition (link) BibTeX
• M. W. Lansdale, Stephen A. R. Scrivener, Andrée Woodcock:
  Developing practice with theory in HCI: applying models of spatial cognition for the design of pictorial databases. 777-799
  Electronic Edition (link) BibTeX
• Thomas R. G. Green, D. R. Benyon:
  The skull beneath the skin: entity-relationship models of information artifacts. 801-828
  Electronic Edition (link) BibTeX
• John Wann, Mark Mon-Williams:
  What does virtual reality NEED?: human factors issues in the design of three-dimensional computer environments. 829-847
  Electronic Edition (link) BibTeX
• Leon Watts, Andrew F. Monk, Owen Daly-Jones:
  Inter-personal awareness and synchronization: assessing the value of communication technologies. 849-873
  Electronic Edition (link) BibTeX
• John Long:
  Specifying relations between research and the design of human-computer interactions. 875-920
  Electronic Edition (link) BibTeX