Design, Specification, and Verification of Interactive Systems (DSV-IS)

15. DS-VIS 2008: Kingston, Ontario, Canada

T. C. Nicholas Graham, Philippe A. Palanque (Eds.): 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 BibTeX - DS-VIS 2008 Home Page

14. DS-VIS / 10. EHCI 2007: Salamanca, Spain

DS-VIS/EHCI 2007 Home Page

13. DS-VIS 2006: Dublin, Ireland

Gavin J. Doherty, Ann Blandford (Eds.): Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers. Lecture Notes in Computer Science 4323 Springer 2007, ISBN 978-3-540-69553-0
Contents BibTeX - DS-VIS 2006 Home Page

12. DS-VIS 2005: Newcastle upon Tyne, UK

Stephen W. Gilroy, Michael D. Harrison (Eds.): Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. Lecture Notes in Computer Science 3941 Springer 2006, ISBN 3-540-34145-5
Contents BibTeX

11. DS-VIS / 9. EHCI 2004: Hamburg, Germany

Rémi Bastide, Philippe A. Palanque, Jörg Roth (Eds.): Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3425 Springer 2005, ISBN 3-540-26097-8
Contents BibTeX - EHCI/DS-VIS 2004 Home Page

10. DSV-IS 2003: Funchal, Madeira Island, Portugal

Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (Eds.): Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Lecture Notes in Computer Science 2844 Springer 2003, ISBN 3-540-20159-9
Contents BibTeX

9. DSV-IS 2002: Rostock, Germany

Peter Forbrig, Quentin Limbourg, Bodo Urban, Jean Vanderdonckt (Eds.): Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002. Lecture Notes in Computer Science 2545 Springer 2002, ISBN 3-540-00266-9
Contents BibTeX

8. DSV-IS 2001: Glasgow, Scotland, UK

Chris Johnson (Ed.): Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers. Lecture Notes in Computer Science 2220 Springer 2001, ISBN 3-540-42807-0
Contents BibTeX - DSV-IS 2001 Home Page

7. DSV-IS 2000: Limerick, Ireland

Philippe A. Palanque, Fabio Paternò (Eds.): Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings. Lecture Notes in Computer Science 1946 Springer 2000, ISBN 3-540-41663-3
Contents BibTeX - DSV-IS 2000 Home Page

6. DSV-IS 1999: Braga, Portugal

David J. Duke, Angel R. Puerta (Eds.): Design, Specification and Verification of Interactive Systems'99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999. Springer 1999, ISBN 3-211-83405-2
Contents BibTeX

5. DSV-IS 1998: Abingdon, United Kingdom

Panos Markopoulos, Peter Johnson (Eds.): Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom. 1 Springer 1998, ISBN 3-211-83212-2
Contents BibTeX

Panos Markopoulos, Peter Johnson (Eds.): Design, Specification and Verification of Interactive Systems'98, Supplementary Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom. 2 Eurographics Association 1998
Contents BibTeX

4. DSV-IS 1997: Granada, Spain

Michael D. Harrison, Juan Carlos Torres (Eds.): Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain. Springer 1997, ISBN 3-211-83055-3
Contents BibTeX

3. DSV-IS 1996: Namur, Belgium

François Bodart, Jean Vanderdonckt (Eds.): Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium. Springer 1996, ISBN 3-211-82900-8
Contents BibTeX

2. DSV-IS 1995: Chateau de Bonas, France

Philippe A. Palanque, Rémi Bastide (Eds.): Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995. Springer 1995, ISBN 3-211-82739-0
Contents BibTeX

1. DSV-IS 1994: Bocca di Magra, Italy

Fabio Paternò (Ed.): 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 BibTeX