• 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 24 matches

• 1998
• 
  Rémi Bastide, Philippe A. Palanque, Duc-Hoa Le, Jaime Munoz:
  Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. DSV-IS 1998: 171-190
• 
  Howard Bowman, Giorgio P. Faconti, Mieke Massink:
  Specification and Verification of Media Constraints using UPAAL. DSV-IS 1998: 261-277
• 
  Keith A. Butler, Chris Esposito, Ron Hebron:
  Deriving Business Object Definitions from User Work Process Models. DSV-IS 1998: 24-40
• 
  Richard Butterworth, Ann Blandford:
  The Role of Formal Proof in Modelling Interactive Behaviour. DSV-IS 1998: 87-101
• 
  José Creissac Campos, Michael D. Harrison:
  The Role of Verification in Interactive Systems Design. DSV-IS 1998: 155-170
• 
  Gavin J. Doherty, Michael D. Harrison:
  Integrating Joint Behaviour and Dialogue Description. DSV-IS 1998: 293-308
• 
  David A. Duce:
  Integrating Joint Behaviour and Dialogue Description. DSV-IS 1998: 321-325
• 
  Robert E. Fields, Nicholas A. Merriam:
  Inference and Information Resources: A Design Case Study. DSV-IS 1998: 41-56
• 
  Markus Fisher:
  A Framework for Generating Spatial Configurations in User Interfaces. DSV-IS 1998: 225-241
• 
  Michael D. Harrison:
  Working Group 1 Report. DSV-IS 1998: 312-315
• 
  Alfred Hussey, David A. Carrington:
  Which widgets? deriving implementations from user-interface specifications. DSV-IS 1998: 206-224
• 
  Sara Jones, John Sapford:
  The Role of Informal Representations in Early Design. DSV-IS 1998: 117-133
• 
  Panos Markopoulos, Peter Johnson:
  Discussion Topics for the DSV-IS'98 Working Groups. DSV-IS 1998: 309-311
• 
  Panos Markopoulos, Giorgios Papatzanis, Peter Johnson, Jon Rowson:
  Validating Semi-Formal Specifications of Interactors as Design Representations. DSV-IS 1998: 102-116
• 
  John C. McCarthy:
  The viability of modelling socially organised activity. DSV-IS 1998: 9-23
• 
  Dan R. Olsen:
  Interacting in chaos. DSV-IS 1998: 1-8
• 
  Fabio Paternò, Carmen Santoro, Sophie Tahmassebi:
  Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control. DSV-IS 1998: 71-86
• 
  Jon Rowson:
  Working Group 2 Report. DSV-IS 1998: 316-320
• 
  Meurig Sage, Chris W. Johnson:
  Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. DSV-IS 1998: 134-154
• 
  Kurt Stirewalt, Gregory D. Abowd:
  Practical Dialogue Refinement. DSV-IS 1998: 191-205
• 
  Hallvard Trætteberg:
  Modelling Direct Manipulation Using Referent and Statecharts. DSV-IS 1998: 278-292
• 
  Martijn van Welie, Gerrit C. van der Veer, Anton Eliëns:
  An Ontology for Task World Models. DSV-IS 1998: 57-70
• 
  Bruno d'Ausbourg:
  Using Model Checking for the Automatic Validation of User Interface Systems. DSV-IS 1998: 242-260
• 
  Panos Markopoulos, Peter Johnson:
  Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom, Volume 1. Eurographics, Springer 1998, ISBN 3-211-83212-2 [contents]