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

• 2008
• 
  Leila Jemni Ben Ayed, Fatma Siala:
  Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B. DSV-IS 2008: 102-107
• 
  Jan Van den Bergh, Mieke Haesen, Kris Luyten, Sofie Notelaers, Karin Coninx:
  Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces. DSV-IS 2008: 161-166
• 
  Ann Blandford, Paul Curzon, Joanne K. Hyde, George Papatzanis:
  EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. DSV-IS 2008: 1-14
• 
  Marco Blumendorf, Grzegorz Lehmann, Sebastian Feuerstack, Sahin Albayrak:
  Executable Models for Human-Computer Interaction. DSV-IS 2008: 238-251
• 
  Gregor Buchholz, Stefan Propp:
  Towards Usability Evaluation for Smart Appliance Ensembles. DSV-IS 2008: 294-299
• 
  José Creissac Campos, Michael D. Harrison:
  Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS 2008: 72-85
• 
  Alexandre Demeure, Gaëlle Calvary, Karin Coninx:
  COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces. DSV-IS 2008: 225-237
• 
  Anke Dittmar, Toralf Hübner, Peter Forbrig:
  HOPS: A Prototypical Specification Tool for Interactive Systems. DSV-IS 2008: 58-71
• 
  Gavin J. Doherty, José Creissac Campos, Michael D. Harrison:
  Resources for Situated Actions. DSV-IS 2008: 194-207
• 
  Emmanuel Dubois, Cédric Bach, Philippe Truillet:
  Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums. DSV-IS 2008: 15-28
• 
  Michael Dunlavey:
  Lightweight Coding of Structurally Varying Dialogs. DSV-IS 2008: 149-154
• 
  Antonio Ferreira, Pedro Antunes:
  An Attentive Groupware Device to Mitigate Information Overload. DSV-IS 2008: 29-42
• 
  Josefina Guerrero García, Jean Vanderdonckt, Juan Manuel González-Calleros, Marco Winckler:
  Towards a Library of Workflow User Interface Patterns. DSV-IS 2008: 96-101
• 
  Elbert-Jan Hennipman, Evert-Jan Oppelaar, Gerrit C. van der Veer:
  Pattern Languages as Tool for Discount Usability Engineering. DSV-IS 2008: 108-120
• 
  Christophe Hurter, Stéphane Conversy:
  Towards Characterizing Visualizations. DSV-IS 2008: 287-293
• 
  Frédéric Jourde, Yann Laurillau, Alberto L. Morán, Laurence Nigay:
  Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations. DSV-IS 2008: 281-286
• 
  Grzegorz Lehmann, Marco Blumendorf, Sebastian Feuerstack, Sahin Albayrak:
  Utilizing Dynamic Executable Models for User Interface Development. DSV-IS 2008: 306-309
• 
  Tony McBryan, Philip D. Gray:
  A Model-Based Approach to Supporting Configuration in Ubiquitous Systems. DSV-IS 2008: 167-180
• 
  Thomas Memmel, Jean Vanderdonckt, Harald Reiterer:
  Multi-fidelity User Interface Specifications. DSV-IS 2008: 43-57
• 
  Giulio Mori, Fabio Paternò, Lucio Davide Spano:
  Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications. DSV-IS 2008: 181-193
• 
  David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat:
  An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. DSV-IS 2008: 208-224
• 
  Daniel Reichart, Anke Dittmar, Peter Forbrig, Maik Wurdel:
  Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications. DSV-IS 2008: 92-95
• 
  Satoshi Sakurai, Yuichi Itoh, Yoshifumi Kitamura, Miguel A. Nacenta, Tokuo Yamaguchi, Sriram Subramanian, Fumio Kishino:
  A Middleware for Seamless Use of Multiple Displays. DSV-IS 2008: 252-266
• 
  Alexandre Scaico, Maria de Fátima Queiroz Vieira, Marckson R. F. de Sousa, Charles Santoni:
  Investigating System Navigation Ergonomics through Model Verification. DSV-IS 2008: 86-91
• 
  Gilles Tabart, Stéphane Conversy, Jean-Luc Vinot, Sylvie Athènes:
  Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors. DSV-IS 2008: 136-148
• 
  Benjamin Tissoires, Stéphane Conversy:
  Graphic Rendering Considered as a Compilation Chain. DSV-IS 2008: 267-280
• 
  Geert Vanderhulst, Kris Luyten, Karin Coninx:
  ReWiRe: Designing Reactive Systems for Pervasive Environments. DSV-IS 2008: 155-160
• 
  Marco Winckler, Jean Vanderdonckt, Adrian Stanciulescu, Francisco M. Trindade:
  Cascading Dialog Modeling with UsiXML. DSV-IS 2008: 121-135
• 
  Maik Wurdel, Daniel Sinnig, Peter Forbrig:
  Task Model Refinement with Meta Operators. DSV-IS 2008: 300-305
• 
  T. C. Nicholas Graham, Philippe A. Palanque:
  Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Lecture Notes in Computer Science 5136, Springer 2008, ISBN 978-3-540-70568-0 [contents]

skipping 340 more matches