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/journals/entcs/entcs208.bht:"
download as .bib file
@proceedings{DBLP:conf/fmis/2007,
editor = {Antonio Cerone and
Paul Curzon},
title = {Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
4, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {208},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/208/suppl/C},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmis/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BowenR08,
author = {Judy Bowen and
Steve Reeves},
editor = {Antonio Cerone and
Paul Curzon},
title = {Refinement for User Interface Designs},
booktitle = {Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
4, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {208},
pages = {5--22},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.104},
doi = {10.1016/J.ENTCS.2008.03.104},
timestamp = {Mon, 13 Feb 2023 14:12:08 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BowenR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CeroneC08,
author = {Antonio Cerone and
Paul Curzon},
editor = {Antonio Cerone and
Paul Curzon},
title = {Preface},
booktitle = {Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
4, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {208},
pages = {1--3},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.103},
doi = {10.1016/J.ENTCS.2008.03.103},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CeroneC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DixGR08,
author = {Alan J. Dix and
Masitah Ghazali and
Devina Ramduny{-}Ellis},
editor = {Antonio Cerone and
Paul Curzon},
title = {Modelling Devices for Natural Interaction},
booktitle = {Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
4, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {208},
pages = {23--40},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.105},
doi = {10.1016/J.ENTCS.2008.03.105},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DixGR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HarrisonKC08,
author = {Michael D. Harrison and
Christian Kray and
Jos{\'{e}} Creissac Campos},
editor = {Antonio Cerone and
Paul Curzon},
title = {Exploring an Option Space to Engineer a Ubiquitous Computing System},
booktitle = {Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
4, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {208},
pages = {41--55},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.106},
doi = {10.1016/J.ENTCS.2008.03.106},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HarrisonKC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RuksenasBCB08,
author = {Rimvydas Ruksenas and
Jonathan Back and
Paul Curzon and
Ann Blandford},
editor = {Antonio Cerone and
Paul Curzon},
title = {Formal Modelling of Salience and Cognitive Load},
booktitle = {Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
4, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {208},
pages = {57--75},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.107},
doi = {10.1016/J.ENTCS.2008.03.107},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RuksenasBCB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SilvaCP08,
author = {Jos{\'{e}} Lu{\'{\i}}s Silva and
Jos{\'{e}} Creissac Campos and
Ana C. R. Paiva},
editor = {Antonio Cerone and
Paul Curzon},
title = {Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees},
booktitle = {Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
4, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {208},
pages = {77--93},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.108},
doi = {10.1016/J.ENTCS.2008.03.108},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SilvaCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SuBB08,
author = {Li Su and
Howard Bowman and
Philip J. Barnard},
editor = {Antonio Cerone and
Paul Curzon},
title = {Performance of Reactive Interfaces in Stimulus Rich Environments,
Applying Formal Methods and Cognitive Frameworks},
booktitle = {Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
4, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {208},
pages = {95--111},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.109},
doi = {10.1016/J.ENTCS.2008.03.109},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SuBB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Westergaard08,
author = {Michael Westergaard},
editor = {Antonio Cerone and
Paul Curzon},
title = {A Game-theoretic Approach to Behavioural Visualisation},
booktitle = {Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
4, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {208},
pages = {113--129},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.110},
doi = {10.1016/J.ENTCS.2008.03.110},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Westergaard08.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-06-01 10:54 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:
