International Journal of Human Computer Studies, Volume 43

Volume 43, Number 1, July 1995

• Mark B. Edwards, Dana K. Fuller, O. U. Vortac, Carol A. Manning:
  The role of flight progress strips in en route air traffic control: a time-series analysis. 1-13
  
• Scott B. Grissom, Gary Perlman:
  StEP(3D): a standardized evaluation plan for three-dimensional interaction techniques. 15-41
  
• Derek H. Sleeman, M. Rissakis, Susan Craw, Nicolas Graner, S. Sharma:
  Consultant-2: pre- and post-processing of Machine Learning applications. 43-63
  
• Muneo Kitajima, Peter G. Polson:
  A comprehension-based model of correct performance and errors in skilled, display-based, human-computer interaction. 65-99
  
• Ann Blandford, Philip J. Barnard, Michael D. Harrison:
  Using Interaction Framework to guide the design of interactive systems. 101-130
  
• Linden J. Ball, Thomas C. Ormerod:
  Structured and opportunistic processing in design: a critical discussion. 131-151
  

Volume 43, Number 2, August 1995

• Stephen A. Brewster, Peter C. Wright, Alistair D. N. Edwards:
  Parallel earcons: reducing the length of audio messages. 153-175
  
• Ole J. Mengshoel:
  A reformulation technique and tool for knowledge interchange during knowledge acquisition. 177-212
  
• Renee Napier, William Laverty, Doug Mahar, Ron Henderson, Michael Hiron, Michael Wagner:
  Keyboard user verification: toward an accurate, efficient, and ecologically valid algorithm. 213-222
  
• Clifford Nass, Youngme Moon, B. J. Fogg, Byron Reeves, D. Christopher Dryer:
  Can computer personalities be human personalities? 223-239
  
• Nigel Ford:
  Levels and types of mediation in instructional systems: an individual differences approach. 241-259
  
• Luciano Floridi:
  Internet: which future for organized knowledge, Frankenstein or Pygmalion? 261-274
  

Volume 43, Number 3, September 1995

• David Madigan:
  Editorial: knowledge-based hypermedia. 279
  
• Bernd Amann, Michel Scholl, Antoine Rizk:
  Schema-based authoring and querying of large hypertexts. 281-299
  
• Kurt Nørmark, Kasper Østerbye:
  Rich hypertext: a foundation for improved interaction techniques. 301-321
  
• Brian R. Gaines, Mildred L. G. Shaw:
  Concept maps as hypermedia components. 323-361
  
• Jocelyne Nanard, Marc Nanard:
  Adding macroscopic semantics to anchors in knowledge-based hypertext. 363-382
  
• Henry Lieberman:
  A demonstrational interface for recording technical procedures by annotation of videotaped examples. 383-417
  
• Weigang Wang, Roy Rada:
  Experiences with semantic net based hypermedia. 419-439
  
• Mountaz Zizi, Michel Beaudouin-Lafon:
  Hypermedia exploration with interactive dynamic maps. 441-464
  
• David Madigan, C. Richard Chapman, Jonathan Gavrin, Ole Villumsen, John Boose:
  Repertory hypergrids for large-scale hypermedia linking. 465-481
  
• Gerard Salton, James Allan:
  Selective text utilization and text traversal. 483-497
  

Volume 43, Number 4, October 1995

• Udo Konradt:
  Strategies of failure diagnosis in computer-controlled manufacturing systems: empirical analysis and implications for the design of adaptive decision support system. 503-521
  
• Kathleen M. Swigger, Robert P. Brazile:
  Evaluating group effectiveness through a computer-supported cooperative training environment. 523-538
  
• S. Chandra, David I. Blockley:
  Cognitive and computer models of physical systems. 539-559
  
• Berardina De Carolis, Fiorella de Rosis, S. Errore:
  A user-adapted iconic language for the medical domain. 561-577
  
• Doug Mahar, Renee Napier, Michael Wagner, William Laverty, Ron Henderson, Michael Hiron:
  Optimizing digraph-latency based biometric typist verification systems: inter and intra typist differences in digraph latency distributions. 579-592
  
• Susan Bridges:
  A model for justification production by expert planning systems. 593-619
  

Volume 43, Number 5-6, November 1995

• Nicola Guarino, Roberto Poli:
  Editorial: The role of formal ontology in the information technology. 623-624
  
• Nicola Guarino:
  Formal ontology, conceptual analysis and knowledge representation. 625-640
  
• Barry Smith:
  Formal ontology, common sense and cognitive science. 641-667
  
• John F. Sowa:
  Top-level ontological categories. 669-685
  
• Roberto Poli:
  Bimodality of formal ontology and mereology. 687-696
  
• Nino B. Cocchiarella:
  Knowledge representation in conceptual realism. 697-721
  
• Carola Eschenbach, Wolfgang Heydrich:
  Classical mereology and restricted domains. 723-740
  
• Jean Petitot:
  Sheaf mereology and Husserl's morphological ontology. 741-763
  
• Godehard Link:
  Algebraic semantics for natural language: some philosophy, some application. 765-784
  
• Johannes Dölling:
  ntological domains, semantic sorts and systematic ambiguity. 785-807
  
• Kathleen Dahlgren:
  A linguistic ontology. 809-818
  
• Jerry R. Hobbs:
  Sketch of an ontology underlying the way we talk about the world. 819-830
  
• Anthony G. Cohn, David A. Randell, Zhan Cui:
  Taxonomies of logically defined qualitative spatial relations. 831-846
  
• Paolo Terenziani:
  Towards a causal ontology coping with the temporal constraints between causes and effects. 847-863
  
• Peter Gerstl, Simone Pribbenow:
  Midwinters, end games, and body parts: a classification of part-whole relations. 865-889
  
• Flavio Bonfatti, Luca Pazzi:
  Ontological foundations for state and identity within the object-oriented paradigm. 891-906
  
• Thomas R. Gruber:
  Toward principles for the design of ontologies used for knowledge sharing? 907-928
  
• John A. Bateman:
  On the relationship between ontology construction and natural language: a socio-semiotic view. 929-944
  
• Thomas Pirlein, Rudi Studer:
  An environment for reusing ontologies within a knowledge engineering approach. 945-965