• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 27 matches

• 1994
• 
  Philip J. Barnard, Jon May:
  Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge. DSV-IS 1994: 15-49
• 
  Niels Ole Bernsen:
  Why are Analogue Graphics and Natural Language both Needed in HCI? DSV-IS 1994: 235-251
• 
  François Bodart, Anne-Marie Hennebert, Isabelle Provot, Jean-Marie Leheureux, Jean Vanderdonckt:
  A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype. DSV-IS 1994: 77-94
• 
  Hans de Bruin, Peter Bouwman, Jan van den Bos:
  Modeling and Analyzing Human-Computer Dialogues with Protocols. DSV-IS 1994: 95-116
• 
  Andrew M. Dearden, Michael D. Harrison:
  Modelling Interaction Properties for Interactive Case Memories. DSV-IS 1994: 301-316
• 
  Alan J. Dix:
  LADA - a logic for the Analysis of Distributed Actions. DSV-IS 1994: 317-332
• 
  David A. Duce:
  Working Group Discussions: Users. DSV-IS 1994: 51-55
• 
  David J. Duke, Michael D. Harrison:
  Folding Human Factors into Rigorous Development. DSV-IS 1994: 333-347
• 
  Giorgio P. Faconti, Angelo Fornari, Nicola Zani:
  Visual Representation of Formal Specification: an Application to Hierarchical Logical Input Devices. DSV-IS 1994: 349-367
• 
  Bob Fields, Michael D. Harrison, Peter C. Wright:
  Modelling Interactive Systems and Providing Task Relevant Information. DSV-IS 1994: 253-266
• 
  James D. Foley, Piyawadee Noi Sukaviriya:
  History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based System for User Interface Design and Implementation. DSV-IS 1994: 3-14
• 
  Mark van Harmelen:
  Object-Oriented Modelling and Specification for User Interface Design. DSV-IS 1994: 199-231
• 
  Michael D. Harrison:
  Working Group Discussions: Role of Formalisms. DSV-IS 1994: 57-60
• 
  Michael D. Harrison, Ann Blandford, Philip J. Barnard:
  Modelling Interactive Systems and Providing Task Relevant Information. DSV-IS 1994: 267-277
• 
  H. Rex Hartson, Kevin A. Mayo:
  A Framework for Precise, Reusable Task Abstractions. DSV-IS 1994: 279-297
• 
  William D. Hurley:
  Bridging the Gap from Conceptual Design to Software Design. DSV-IS 1994: 117-127
• 
  Ales Limpouch:
  Grammar-based Formal Specification for the Object-Oriented User Interface Development. DSV-IS 1994: 369-382
• 
  Ping Luo:
  A Human-Computer Collaboration Paradigm for Bridging Design Conceptualization and Implementation. DSV-IS 1994: 129-147
• 
  Philippe A. Palanque, Rémi Bastide:
  Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. DSV-IS 1994: 383-400
• 
  Fabio Paternò, Ales Leonardi, S. Pangoli:
  A Tool-supported Approach to the Refinement of Interactive Systems. DSV-IS 1994: 149-159
• 
  Chris R. Roast, Michael D. Harrison:
  User Centred System Modelling using the Template Model. DSV-IS 1994: 401-412
• 
  Siegfried Schreiber:
  The BOSS-System: Coupling Visual Programming with Model Based Interface Design. DSV-IS 1994: 161-179
• 
  Piyawadee Noi Sukaviriya:
  Working Group Discussions: Role of Development Environments. DSV-IS 1994: 61-73
• 
  Piyawadee Noi Sukaviriya, Jeyakumar Muthukumarasamy, Martin R. Frank, James D. Foley:
  A Model-based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge. DSV-IS 1994: 181-197
• 
  Roger Kenton Took:
  Understanding Direct Manipulation Interaction Algebraically. DSV-IS 1994: 413-428
• 
  Juan Carlos Torres, Buenaventura Clares Rodríguez:
  Understanding Direct Manipulation Interaction Algebraically. DSV-IS 1994: 429-444
• 
  Fabio Paternò:
  Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy. Springer 1994, ISBN 3-540-59480-9 [contents]