Search dblp for Publications

export results for "toc:db/conf/dsvis/dsvis1996.bht:"

 download as .bib file

@inproceedings{DBLP:conf/dsvis/AccotCP96,
  author       = {Johnny Accot and
                  St{\'{e}}phane Chatty and
                  Philippe A. Palanque},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {A Formal Description of Low Level Interaction and its Application
                  to Multimodal Interactive Systems},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {92--104},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_5},
  doi          = {10.1007/978-3-7091-7491-3\_5},
  timestamp    = {Tue, 25 Jun 2019 12:25:42 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/AccotCP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/AkoumianakisSS96,
  author       = {Demosthenes Akoumianakis and
                  Anthony Savidis and
                  Constantine Stephanidis},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Design Assistance for User-Adapted Interaction},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {248--271},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_13},
  doi          = {10.1007/978-3-7091-7491-3\_13},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/AkoumianakisSS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/BumbulisACL96,
  author       = {Peter Bumbulis and
                  Paulo S. C. Alencar and
                  Donald D. Cowan and
                  Carlos Jos{\'{e}} Pereira de Lucena},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Validating Properties of Component-based Graphical User Interfaces},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {347--365},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_18},
  doi          = {10.1007/978-3-7091-7491-3\_18},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/BumbulisACL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/Carr96,
  author       = {David A. Carr},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Toward More Understandable User Interface Specifications},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {141--161},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_8},
  doi          = {10.1007/978-3-7091-7491-3\_8},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/Carr96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/Charlier96,
  author       = {Baudouin Le Charlier},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Abstract Interpretation and Application to Interactive System Verification},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {46--72},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_3},
  doi          = {10.1007/978-3-7091-7491-3\_3},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/Charlier96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/DeardenH96,
  author       = {Andrew M. Dearden and
                  Michael D. Harrison},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Risk Analysis, Impact and Interaction Modelling},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {229--247},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_12},
  doi          = {10.1007/978-3-7091-7491-3\_12},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/DeardenH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/FacontiD96,
  author       = {Giorgio P. Faconti and
                  David J. Duke},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Device Models},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {73--91},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_4},
  doi          = {10.1007/978-3-7091-7491-3\_4},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/FacontiD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/HydeD96,
  author       = {J. K. Hyde and
                  David J. Duke},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Fusion Engines and Melting Pots},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {292--311},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_15},
  doi          = {10.1007/978-3-7091-7491-3\_15},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/HydeD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/Johnson96,
  author       = {Chris W. Johnson},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {The Evaluation of User Interface Notations},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {188--206},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_10},
  doi          = {10.1007/978-3-7091-7491-3\_10},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/Johnson96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/JohnsonG96,
  author       = {Chris W. Johnson and
                  Philip D. Gray},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Supporting Error-Driven Design},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {207--228},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_11},
  doi          = {10.1007/978-3-7091-7491-3\_11},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/JohnsonG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/KeyserJ96,
  author       = {V{\'{e}}ronique De Keyser and
                  Denis Javaux},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Human Factors in Aeronautics},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {28--45},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_2},
  doi          = {10.1007/978-3-7091-7491-3\_2},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/KeyserJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/MerriamH96,
  author       = {Nicholas A. Merriam and
                  Michael D. Harrison},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Evaluating the Interfaces of Three Theorem Proving Assistants},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {330--346},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_17},
  doi          = {10.1007/978-3-7091-7491-3\_17},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/MerriamH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/MoherDBP96,
  author       = {Tom Moher and
                  Victor Dirda and
                  R{\'{e}}mi Bastide and
                  Philippe A. Palanque},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Monolingual, Articulated Modeling of Users, Devices, and Interfaces},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {312--329},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_16},
  doi          = {10.1007/978-3-7091-7491-3\_16},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/MoherDBP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/PalanquePBM96,
  author       = {Philippe A. Palanque and
                  Fabio Patern{\`{o}} and
                  R{\'{e}}mi Bastide and
                  M. Mezzanotte},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Towards an Integrated Proposal for Interactive Systems Design Based
                  on {TLIM} and {ICO}},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {162--187},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_9},
  doi          = {10.1007/978-3-7091-7491-3\_9},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/PalanquePBM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/Reeves96,
  author       = {Steve Reeves},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Specifying and Reasoning About {CSCW}},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {366--391},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_19},
  doi          = {10.1007/978-3-7091-7491-3\_19},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/Reeves96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/Szekel96,
  author       = {Pedro A. Szekely},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Retrospective and Challenges for Model-Based Interface Development},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {1--27},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_1},
  doi          = {10.1007/978-3-7091-7491-3\_1},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/Szekel96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/SzwillusK96,
  author       = {Gerd Szwillus and
                  Klaus Kespohl},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Prototyping Device Interfaces with {DSN/2}},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {123--140},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_7},
  doi          = {10.1007/978-3-7091-7491-3\_7},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/SzwillusK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/TorresGGCR96,
  author       = {Juan Carlos Torres and
                  Miguel Gea and
                  Francisco Luis Guti{\'{e}}rrez Vela and
                  Miguel Cabrera and
                  Mar{\'{\i}}a Luisa Rodr{\'{\i}}guez},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {{GRALPLA:} an Algebraic Specification Language for Interactive Graphic
                  Systems},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {272--291},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_14},
  doi          = {10.1007/978-3-7091-7491-3\_14},
  timestamp    = {Wed, 08 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/TorresGGCR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsvis/dAusbourgDR96,
  author       = {Bruno d'Ausbourg and
                  Guy Durrieu and
                  Pierre Roch{\'{e}}},
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Deriving a Formal Model of an Interactive System from its {UIL} Description
                  in order to Verify and Test its Behaviour},
  booktitle    = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  pages        = {105--122},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3\_6},
  doi          = {10.1007/978-3-7091-7491-3\_6},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/dAusbourgDR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/dsvis/1996,
  editor       = {Fran{\c{c}}ois Bodart and
                  Jean Vanderdonckt},
  title        = {Design, Specification and Verification of Interactive Systems'96,
                  Proceedings of the Third International Eurographics Workshop, June
                  5-7, 1996, Namur, Belgium},
  series       = {Eurographics},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/978-3-7091-7491-3},
  doi          = {10.1007/978-3-7091-7491-3},
  isbn         = {3-211-82900-8},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.