Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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}
}
a service of 
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.
retrieved on 2024-04-25 22:40 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
