default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dsvis/dsvis1998-1.bht:"
download as .bib file
@inproceedings{DBLP:conf/dsvis/BastidePLM98,
author = {R{\'{e}}mi Bastide and
Philippe A. Palanque and
Duc{-}Hoa Le and
Jaime Munoz},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Integrating Rendering Specifications into a Formalism for the Design
of Interactive Systems},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {171--190},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_12},
doi = {10.1007/978-3-7091-3693-5\_12},
timestamp = {Wed, 01 Jul 2020 21:28:45 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BastidePLM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/BowmanFM98,
author = {Howard Bowman and
Giorgio P. Faconti and
Mieke Massink},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Specification and Verification of Media Constraints using {UPAAL}},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {261--277},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_17},
doi = {10.1007/978-3-7091-3693-5\_17},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BowmanFM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/ButlerEH98,
author = {Keith A. Butler and
Chris Esposito and
Ron Hebron},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Deriving Business Object Definitions from User Work Process Models},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {24--40},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_3},
doi = {10.1007/978-3-7091-3693-5\_3},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/ButlerEH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/ButterworthB98,
author = {Richard Butterworth and
Ann Blandford},
editor = {Panos Markopoulos and
Peter Johnson},
title = {The Role of Formal Proof in Modelling Interactive Behaviour},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {87--101},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_7},
doi = {10.1007/978-3-7091-3693-5\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/ButterworthB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/CamposH98,
author = {Jos{\'{e}} Creissac Campos and
Michael D. Harrison},
editor = {Panos Markopoulos and
Peter Johnson},
title = {The Role of Verification in Interactive Systems Design},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {155--170},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_11},
doi = {10.1007/978-3-7091-3693-5\_11},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/CamposH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/DohertyH98,
author = {Gavin J. Doherty and
Michael D. Harrison},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Integrating Joint Behaviour and Dialogue Description},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {293--308},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_19},
doi = {10.1007/978-3-7091-3693-5\_19},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/DohertyH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Duce98,
author = {David A. Duce},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Integrating Joint Behaviour and Dialogue Description},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {321--325},
publisher = {Springer},
year = {1998},
timestamp = {Thu, 30 Mar 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Duce98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/FieldsM98,
author = {Robert E. Fields and
Nicholas A. Merriam},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Inference and Information Resources: {A} Design Case Study},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {41--56},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_4},
doi = {10.1007/978-3-7091-3693-5\_4},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/FieldsM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Fisher98,
author = {Markus Fisher},
editor = {Panos Markopoulos and
Peter Johnson},
title = {A Framework for Generating Spatial Configurations in User Interfaces},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {225--241},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_15},
doi = {10.1007/978-3-7091-3693-5\_15},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Fisher98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Harrison98,
author = {Michael D. Harrison},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Working Group 1 Report},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {312--315},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_21},
doi = {10.1007/978-3-7091-3693-5\_21},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Harrison98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/HusseyC98,
author = {Alfred Hussey and
David A. Carrington},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Which widgets? deriving implementations from user-interface specifications},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {206--224},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_14},
doi = {10.1007/978-3-7091-3693-5\_14},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/HusseyC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/JonesS98,
author = {Sara Jones and
John Sapford},
editor = {Panos Markopoulos and
Peter Johnson},
title = {The Role of Informal Representations in Early Design},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {117--133},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_9},
doi = {10.1007/978-3-7091-3693-5\_9},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/JonesS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/MarkopoulosJ98,
author = {Panos Markopoulos and
Peter Johnson},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Discussion Topics for the DSV-IS'98 Working Groups},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {309--311},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_20},
doi = {10.1007/978-3-7091-3693-5\_20},
timestamp = {Wed, 01 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/MarkopoulosJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/MarkopoulosPJR98,
author = {Panos Markopoulos and
Giorgios Papatzanis and
Peter Johnson and
Jon Rowson},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Validating Semi-Formal Specifications of Interactors as Design Representations},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {102--116},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_8},
doi = {10.1007/978-3-7091-3693-5\_8},
timestamp = {Wed, 01 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/MarkopoulosPJR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/McCarthy98,
author = {John C. McCarthy},
editor = {Panos Markopoulos and
Peter Johnson},
title = {The viability of modelling socially organised activity},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {9--23},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_2},
doi = {10.1007/978-3-7091-3693-5\_2},
timestamp = {Tue, 24 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/McCarthy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Olsen98,
author = {Dan R. Olsen},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Interacting in chaos},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {1--8},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_1},
doi = {10.1007/978-3-7091-3693-5\_1},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Olsen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/PaternoST98,
author = {Fabio Patern{\`{o}} and
Carmen Santoro and
Sophie Tahmassebi},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Formal Models for Cooperative Tasks: Concepts and an Application for
En-Route Air-Traffic Control},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {71--86},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_6},
doi = {10.1007/978-3-7091-3693-5\_6},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/PaternoST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Rowson98,
author = {Jon Rowson},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Working Group 2 Report},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {316--320},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_22},
doi = {10.1007/978-3-7091-3693-5\_22},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Rowson98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/SageJ98,
author = {Meurig Sage and
Chris W. Johnson},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Pragmatic Formal Design: {A} Case Study in Integrating Formal Methods
into the {HCI} Development Cycle},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {134--154},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_10},
doi = {10.1007/978-3-7091-3693-5\_10},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/SageJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/StirewaltA98,
author = {Kurt Stirewalt and
Gregory D. Abowd},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Practical Dialogue Refinement},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {191--205},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_13},
doi = {10.1007/978-3-7091-3693-5\_13},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/StirewaltA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Traetteberg98,
author = {Hallvard Tr{\ae}tteberg},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Modelling Direct Manipulation Using Referent and Statecharts},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {278--292},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_18},
doi = {10.1007/978-3-7091-3693-5\_18},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Traetteberg98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/WelieVE98,
author = {Martijn van Welie and
Gerrit C. van der Veer and
Anton Eli{\"{e}}ns},
editor = {Panos Markopoulos and
Peter Johnson},
title = {An Ontology for Task World Models},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {57--70},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_5},
doi = {10.1007/978-3-7091-3693-5\_5},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/WelieVE98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/dAusbourg98,
author = {Bruno d'Ausbourg},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Using Model Checking for the Automatic Validation of User Interface
Systems},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {242--260},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_16},
doi = {10.1007/978-3-7091-3693-5\_16},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/dAusbourg98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsvis/1998-1,
editor = {Panos Markopoulos and
Peter Johnson},
title = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5},
doi = {10.1007/978-3-7091-3693-5},
isbn = {3-211-83212-2},
timestamp = {Wed, 01 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/1998-1.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.
retrieved on 2025-01-01 04:18 CET 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:
