Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jonathan P. Bowen
@inproceedings{DBLP:conf/birthday/BowenZ23,
author = {Jonathan P. Bowen and
Huibiao Zhu},
editor = {Jonathan P. Bowen and
Qin Li and
Qiwen Xu},
title = {Jifeng He at Oxford and Beyond: An Appreciation},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14080},
pages = {3--18},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40436-8\_1},
doi = {10.1007/978-3-031-40436-8\_1},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BowenZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/0001B23,
author = {Huan Fan and
Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Jon Weinel and
Graham Diprose},
title = {An Overview of New Media Art Exhibitions in China {(2017-2022)}},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2023, London, UK, July
10-14, 2023},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2023},
url = {https://doi.org/10.14236/ewic/EVA2023.24},
doi = {10.14236/EWIC/EVA2023.24},
timestamp = {Fri, 30 Jun 2023 14:34:45 +0200},
biburl = {https://dblp.org/rec/conf/eva/0001B23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenC23,
author = {Jonathan P. Bowen and
Sean M. Clark},
editor = {Jonathan P. Bowen and
Jon Weinel and
Graham Diprose},
title = {Recent Progress with the Computer Arts Archive},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2023, London, UK, July
10-14, 2023},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2023},
url = {https://doi.org/10.14236/ewic/EVA2023.10},
doi = {10.14236/EWIC/EVA2023.10},
timestamp = {Tue, 26 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eva/BowenC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenG23,
author = {Jonathan P. Bowen and
Tula Giannini},
editor = {Jonathan P. Bowen and
Jon Weinel and
Graham Diprose},
title = {The Arts and Computational Culture: {A} landscape view},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2023, London, UK, July
10-14, 2023},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2023},
url = {https://doi.org/10.14236/ewic/EVA2023.2},
doi = {10.14236/EWIC/EVA2023.2},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenGMGD23,
author = {Jonathan P. Bowen and
Tula Giannini and
Terrence Masson and
Giuliano Gaia and
Graham Diprose},
editor = {Jonathan P. Bowen and
Jon Weinel and
Graham Diprose},
title = {The Digital Lens},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2023, London, UK, July
10-14, 2023},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2023},
url = {https://doi.org/10.14236/ewic/EVA2023.1},
doi = {10.14236/EWIC/EVA2023.1},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenGMGD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/GianniniB23,
author = {Tula Giannini and
Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Jon Weinel and
Graham Diprose},
title = {Generative Art and Computational Imagination: Integrating poetry and
art world},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2023, London, UK, July
10-14, 2023},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2023},
url = {https://doi.org/10.14236/ewic/EVA2023.37},
doi = {10.14236/EWIC/EVA2023.37},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/GianniniB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/HanB23,
author = {Bao Han and
Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Jon Weinel and
Graham Diprose},
title = {The Public Sphere and Weibo Microblogging Social Media Platforms in
China},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2023, London, UK, July
10-14, 2023},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2023},
url = {https://doi.org/10.14236/ewic/EVA2023.23},
doi = {10.14236/EWIC/EVA2023.23},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/HanB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2023he,
editor = {Jonathan P. Bowen and
Qin Li and
Qiwen Xu},
title = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14080},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40436-8},
doi = {10.1007/978-3-031-40436-8},
isbn = {978-3-031-40435-1},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2023he.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2023,
editor = {Jonathan P. Bowen and
Jon Weinel and
Graham Diprose},
title = {Electronic Visualisation and the Arts, {EVA} 2023, London, UK, July
10-14, 2023},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2023},
url = {https://doi.org/10.14236/ewic/EVA2023.0},
doi = {10.14236/EWIC/EVA2023.0},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocch/GianniniB22,
author = {Tula Giannini and
Jonathan P. Bowen},
title = {Computational Culture: Transforming Archives Practice and Education
for a Post-Covid World},
journal = {{ACM} Journal on Computing and Cultural Heritage},
volume = {15},
number = {3},
pages = {47:1--47:18},
year = {2022},
url = {https://doi.org/10.1145/3493342},
doi = {10.1145/3493342},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jocch/GianniniB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BoianoBBGG22,
author = {Stefania Boiano and
Ann Borda and
Jonathan P. Bowen and
Giuliano Gaia and
Tula Giannini},
editor = {Jonathan P. Bowen and
Jon Weinel and
Ann Borda and
Graham Diprose},
title = {Vignettes of Computer-based Museum Interactive and Games Software
through the Years},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2022, London, UK, July
4-8, 2022},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2022},
url = {https://doi.org/10.14236/ewic/EVA2022.30},
doi = {10.14236/EWIC/EVA2022.30},
timestamp = {Thu, 28 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BoianoBBGG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenF22,
author = {Jonathan P. Bowen and
Huan Fan},
editor = {Jonathan P. Bowen and
Jon Weinel and
Ann Borda and
Graham Diprose},
title = {The Chengdu Biennale and Wikipedia Art Information},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2022, London, UK, July
4-8, 2022},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2022},
url = {https://doi.org/10.14236/ewic/EVA2022.23},
doi = {10.14236/EWIC/EVA2022.23},
timestamp = {Fri, 05 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/GianniniB22,
author = {Tula Giannini and
Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Jon Weinel and
Ann Borda and
Graham Diprose},
title = {More than Human: Merging real and virtual states of being from arts
and culture to wellness in a post-Covid world},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2022, London, UK, July
4-8, 2022},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2022},
url = {https://doi.org/10.14236/ewic/EVA2022.24},
doi = {10.14236/EWIC/EVA2022.24},
timestamp = {Thu, 28 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/GianniniB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/GianniniBMS22,
author = {Tula Giannini and
Jonathan P. Bowen and
Chris Michaels and
Carl Hayden Smith},
editor = {Jonathan P. Bowen and
Jon Weinel and
Ann Borda and
Graham Diprose},
title = {Smith Digital Art and Identity Merging Human and Artificial Intelligence:
Enter the Metaverse},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2022, London, UK, July
4-8, 2022},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2022},
url = {https://doi.org/10.14236/ewic/EVA2022.1},
doi = {10.14236/EWIC/EVA2022.1},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/GianniniBMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/LiB22,
author = {Jing Li and
Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Jon Weinel and
Ann Borda and
Graham Diprose},
title = {Female Self-presentation through Online Dating Applications},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2022, London, UK, July
4-8, 2022},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2022},
url = {https://doi.org/10.14236/ewic/EVA2022.22},
doi = {10.14236/EWIC/EVA2022.22},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/LiB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2022,
editor = {Jonathan P. Bowen and
Jon Weinel and
Ann Borda and
Graham Diprose},
title = {Electronic Visualisation and the Arts, {EVA} 2022, London, UK, July
4-8, 2022},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2022},
url = {https://doi.org/10.14236/ewic/EVA2022.0},
doi = {10.14236/EWIC/EVA2022.0},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Bowen21,
author = {Jonathan P. Bowen},
editor = {Alexander Raschke and
Elvinia Riccobene and
Klaus{-}Dieter Schewe},
title = {Communities and Ancestors Associated with Egon B{\"{o}}rger and
{ASM}},
booktitle = {Logic, Computation and Rigorous Methods - Essays Dedicated to Egon
B{\"{o}}rger on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12750},
pages = {96--120},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76020-5\_6},
doi = {10.1007/978-3-030-76020-5\_6},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Bowen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BordaB21,
author = {Ann Borda and
Jonathan P. Bowen},
editor = {Jon Weinel and
Jonathan P. Bowen and
Ann Borda and
Graham Diprose},
title = {The Rise of Digital Citizenship and the Participatory Museum},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2021, London, UK, July
5-9, 2021},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2021},
url = {https://doi.org/10.14236/ewic/EVA2021.4},
doi = {10.14236/EWIC/EVA2021.4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BordaB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenBBEHM21,
author = {Jonathan P. Bowen and
Camille Baker and
Ghislaine Boddington and
Ernest A. Edmonds and
Merel van Helsdingen and
Terrence Masson},
editor = {Jon Weinel and
Jonathan P. Bowen and
Ann Borda and
Graham Diprose},
title = {{EVA} London 2021: Keynote summaries},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2021, London, UK, July
5-9, 2021},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2021},
url = {https://doi.org/10.14236/ewic/EVA2021.1},
doi = {10.14236/EWIC/EVA2021.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenBBEHM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenG21,
author = {Jonathan P. Bowen and
Tula Giannini},
editor = {Jon Weinel and
Jonathan P. Bowen and
Ann Borda and
Graham Diprose},
title = {Digitality: {A} reality check},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2021, London, UK, July
5-9, 2021},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2021},
url = {https://doi.org/10.14236/ewic/EVA2021.3},
doi = {10.14236/EWIC/EVA2021.3},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenGFMM21,
author = {Jonathan P. Bowen and
Tula Giannini and
Rachel Falconer and
Michael Takeo Magruder and
Emanuele Marconi},
editor = {Jon Weinel and
Jonathan P. Bowen and
Ann Borda and
Graham Diprose},
title = {Beyond Human: Arts and identity between reality and virtuality in
a post-Covid-19 world},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2021, London, UK, July
5-9, 2021},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2021},
url = {https://doi.org/10.14236/ewic/EVA2021.2},
doi = {10.14236/EWIC/EVA2021.2},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenGFMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/HanB21,
author = {Bao Han and
Jonathan P. Bowen},
editor = {Jon Weinel and
Jonathan P. Bowen and
Ann Borda and
Graham Diprose},
title = {The Weiguan Culture Phenomenon in Chinese Online Activism},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2021, London, UK, July
5-9, 2021},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2021},
url = {https://doi.org/10.14236/ewic/EVA2021.22},
doi = {10.14236/EWIC/EVA2021.22},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/HanB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BowenB21,
author = {Jonathan P. Bowen and
Peter T. Breuer},
editor = {Antonio Cerone and
Marco Autili and
Alessio Bucaioni and
Cl{\'{a}}udio Gomes and
Pierluigi Graziani and
Maurizio Palmieri and
Marco Temperini and
Gentiane Venture},
title = {Formal Methods Communities of Practice: {A} Survey of Personal Experience},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2021 Collocated Workshops
- CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10,
2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13230},
pages = {287--301},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-12429-7\_21},
doi = {10.1007/978-3-031-12429-7\_21},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BowenB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2021,
editor = {Jon Weinel and
Jonathan P. Bowen and
Ann Borda and
Graham Diprose},
title = {Electronic Visualisation and the Arts, {EVA} 2021, London, UK, July
5-9, 2021},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2021},
url = {https://doi.org/10.14236/ewic/EVA2021.0},
doi = {10.14236/EWIC/EVA2021.0},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Bowen20,
author = {Jonathan P. Bowen},
title = {Gerard O'Regan: Concise Guide to Formal Methods: Theory, Fundamentals
and Industry Applications},
journal = {Formal Aspects Comput.},
volume = {32},
number = {1},
pages = {147--148},
year = {2020},
url = {https://doi.org/10.1007/s00165-020-00506-3},
doi = {10.1007/S00165-020-00506-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Bowen20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ShengZHYB20,
author = {Feng Sheng and
Huibiao Zhu and
Jifeng He and
Zongyuan Yang and
Jonathan P. Bowen},
title = {Theoretical and Practical Approaches to the Denotational Semantics
for {MDESL} based on {UTP}},
journal = {Formal Aspects Comput.},
volume = {32},
number = {2-3},
pages = {275--314},
year = {2020},
url = {https://doi.org/10.1007/s00165-020-00513-4},
doi = {10.1007/S00165-020-00513-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ShengZHYB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BordaB20,
author = {Ann Borda and
Jonathan P. Bowen},
editor = {Jon Weinel and
Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {Turing's Sunflowers: Public research and the role of museums},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2020, London, UK, July
6-9, 2020},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2020},
url = {https://doi.org/10.14236/ewic/EVA2020.5},
doi = {10.14236/EWIC/EVA2020.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BordaB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/Bowen20,
author = {Jonathan P. Bowen},
editor = {Jon Weinel and
Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {A Personal View of {EVA} London: Past, Present, Future},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2020, London, UK, July
6-9, 2020},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2020},
url = {https://doi.org/10.14236/ewic/EVA2020.2},
doi = {10.14236/EWIC/EVA2020.2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/Bowen20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenGPFMD20,
author = {Jonathan P. Bowen and
Tula Giannini and
Gareth Polmeer and
Rachel Falconer and
Arthur I. Miller and
Stuart Dunn},
editor = {Jon Weinel and
Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {Computational Culture and {AI:} Challenging human identity and curatorial
practice},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2020, London, UK, July
6-9, 2020},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2020},
url = {https://doi.org/10.14236/ewic/EVA2020.1},
doi = {10.14236/EWIC/EVA2020.1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenGPFMD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/GaiaBBB20,
author = {Giuliano Gaia and
Stefania Boiano and
Jonathan P. Bowen and
Ann Borda},
editor = {Jon Weinel and
Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {Museum Websites of the First Wave: The rise of the virtual museum},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2020, London, UK, July
6-9, 2020},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2020},
url = {https://doi.org/10.14236/ewic/EVA2020.4},
doi = {10.14236/EWIC/EVA2020.4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/GaiaBBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/GianniniB20,
author = {Tula Giannini and
Jonathan P. Bowen},
editor = {Jon Weinel and
Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {Computing the Future: Digital encounters in art and science when da
Vinci meets Turing},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2020, London, UK, July
6-9, 2020},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2020},
url = {https://doi.org/10.14236/ewic/EVA2020.3},
doi = {10.14236/EWIC/EVA2020.3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/GianniniB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2020,
editor = {Jon Weinel and
Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {Electronic Visualisation and the Arts, {EVA} 2020, London, UK, July
6-9, 2020},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2020},
url = {https://doi.org/10.14236/ewic/EVA2020.0},
doi = {10.14236/EWIC/EVA2020.0},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eva/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setss/2019,
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Engineering Trustworthy Software Systems - 5th International School,
{SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {12154},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55089-9},
doi = {10.1007/978-3-030-55089-9},
isbn = {978-3-030-55088-2},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/BreuerB19,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {Fully encrypted high-speed microprocessor architecture: the secret
computer in simulation},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {9},
number = {1/2},
pages = {26--55},
year = {2019},
url = {https://doi.org/10.1504/IJCCBS.2019.098797},
doi = {10.1504/IJCCBS.2019.098797},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/BreuerB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/ShengZHYB19,
author = {Feng Sheng and
Huibiao Zhu and
Jifeng He and
Zongyuan Yang and
Jonathan P. Bowen},
title = {Theoretical and Practical Aspects of Linking Operational and Algebraic
Semantics for {MDESL}},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {28},
number = {3},
pages = {14:1--14:46},
year = {2019},
url = {https://doi.org/10.1145/3295699},
doi = {10.1145/3295699},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/ShengZHYB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenGALS19,
author = {Jonathan P. Bowen and
Tula Giannini and
Rachel Ara and
Andy Lomas and
Judith Siefring},
editor = {Jonathan P. Bowen and
Graham Diprose and
Nick Lambert and
Jon Weinel},
title = {Digital Art, Culture and Heritage: New constructs and consciousness},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2019, London, UK, July
8-11, 2019},
series = {Workshops in Computing},
pages = {1--9},
publisher = {{BCS}},
year = {2019},
url = {https://doi.org/10.14236/ewic/EVA2019.1},
doi = {10.14236/EWIC/EVA2019.1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenGALS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/GianniniB19,
author = {Tula Giannini and
Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Graham Diprose and
Nick Lambert and
Jon Weinel},
title = {Art and Activism at Museums in a Post-digital World},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2019, London, UK, July
8-11, 2019},
series = {Workshops in Computing},
pages = {27--35},
publisher = {{BCS}},
year = {2019},
url = {https://doi.org/10.14236/ewic/EVA2019.4},
doi = {10.14236/EWIC/EVA2019.4},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eva/GianniniB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BreuerB19,
author = {Peter T. Breuer and
Jonathan P. Bowen},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Safe Compilation for Hidden Deterministic Hardware Aliasing},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
2019},
pages = {422--427},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSREW.2019.00105},
doi = {10.1109/ISSREW.2019.00105},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/BreuerB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BreuerB19a,
author = {Peter T. Breuer and
Jonathan P. Bowen},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Chaotic Compilation: {A} (Statistical) Cloak for a Secret Computer},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
2019},
pages = {428--433},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSREW.2019.00106},
doi = {10.1109/ISSREW.2019.00106},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/BreuerB19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/LiuBLTZ19,
author = {Zhiming Liu and
Jonathan P. Bowen and
Bo Liu and
Shmuel S. Tyszberowicz and
Tingting Zhang},
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Software Abstractions and Human-Cyber-Physical Systems Architecture
Modelling},
booktitle = {Engineering Trustworthy Software Systems - 5th International School,
{SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {12154},
pages = {159--219},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-55089-9\_5},
doi = {10.1007/978-3-030-55089-9\_5},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setss/LiuBLTZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/GianniniB19,
author = {Tula Giannini and
Jonathan P. Bowen},
editor = {Tula Giannini and
Jonathan P. Bowen},
title = {Digital Culture},
booktitle = {Museums and Digital Culture, New Perspectives and Research},
series = {Springer Series on Cultural Computing},
pages = {3--26},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-97457-6\_1},
doi = {10.1007/978-3-319-97457-6\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/GianniniB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/GianniniB19a,
author = {Tula Giannini and
Jonathan P. Bowen},
editor = {Tula Giannini and
Jonathan P. Bowen},
title = {Museums and Digitalism},
booktitle = {Museums and Digital Culture, New Perspectives and Research},
series = {Springer Series on Cultural Computing},
pages = {27--46},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-97457-6\_2},
doi = {10.1007/978-3-319-97457-6\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/GianniniB19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/GianniniB19b,
author = {Tula Giannini and
Jonathan P. Bowen},
editor = {Tula Giannini and
Jonathan P. Bowen},
title = {Museums, Art, Identity, and the Digital Ecosystem: {A} Paradigm Shift},
booktitle = {Museums and Digital Culture, New Perspectives and Research},
series = {Springer Series on Cultural Computing},
pages = {63--90},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-97457-6\_4},
doi = {10.1007/978-3-319-97457-6\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/GianniniB19b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/GianniniB19c,
author = {Tula Giannini and
Jonathan P. Bowen},
editor = {Tula Giannini and
Jonathan P. Bowen},
title = {Rethinking Museum Exhibitions: Merging Physical and Digital Culture
- Past to Present},
booktitle = {Museums and Digital Culture, New Perspectives and Research},
series = {Springer Series on Cultural Computing},
pages = {163--193},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-97457-6\_8},
doi = {10.1007/978-3-319-97457-6\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/GianniniB19c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/GianniniB19d,
author = {Tula Giannini and
Jonathan P. Bowen},
editor = {Tula Giannini and
Jonathan P. Bowen},
title = {Rethinking Museum Exhibitions: Merging Physical and Digital Culture
- Present to Future},
booktitle = {Museums and Digital Culture, New Perspectives and Research},
series = {Springer Series on Cultural Computing},
pages = {195--214},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-97457-6\_9},
doi = {10.1007/978-3-319-97457-6\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/GianniniB19d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/GianniniB19e,
author = {Tula Giannini and
Jonathan P. Bowen},
editor = {Tula Giannini and
Jonathan P. Bowen},
title = {Transforming Education for Museum Professionals in the Digital Age},
booktitle = {Museums and Digital Culture, New Perspectives and Research},
series = {Springer Series on Cultural Computing},
pages = {457--480},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-97457-6\_23},
doi = {10.1007/978-3-319-97457-6\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/GianniniB19e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/BordaB19,
author = {Ann Borda and
Jonathan P. Bowen},
editor = {Tula Giannini and
Jonathan P. Bowen},
title = {Smart Cities and Digital Culture: Models of Innovation},
booktitle = {Museums and Digital Culture, New Perspectives and Research},
series = {Springer Series on Cultural Computing},
pages = {523--549},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-97457-6\_27},
doi = {10.1007/978-3-319-97457-6\_27},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/BordaB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/BowenG19,
author = {Jonathan P. Bowen and
Tula Giannini},
editor = {Tula Giannini and
Jonathan P. Bowen},
title = {The Digital Future for Museums},
booktitle = {Museums and Digital Culture, New Perspectives and Research},
series = {Springer Series on Cultural Computing},
pages = {551--577},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-97457-6\_28},
doi = {10.1007/978-3-319-97457-6\_28},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/BowenG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/GB2019,
editor = {Tula Giannini and
Jonathan P. Bowen},
title = {Museums and Digital Culture, New Perspectives and Research},
series = {Springer Series on Cultural Computing},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-97457-6},
doi = {10.1007/978-3-319-97457-6},
isbn = {978-3-319-97456-9},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/GB2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2019,
editor = {Jonathan P. Bowen and
Graham Diprose and
Nick Lambert and
Jon Weinel},
title = {Electronic Visualisation and the Arts, {EVA} 2019, London, UK, July
8-11, 2019},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2019},
url = {https://tinyurl.com/y6l7gbhb},
timestamp = {Mon, 20 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eva/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setss/2018,
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Engineering Trustworthy Software Systems - 4th International School,
{SETSS} 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {11430},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17601-3},
doi = {10.1007/978-3-030-17601-3},
isbn = {978-3-030-17600-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Bowen18,
author = {Jonathan P. Bowen},
title = {Egon B{\"{o}}rger and Alexander Raschke: Modeling companion for
software practitioners - Springer, 2018, {XXI+349} pp, {ISBN:} 978-3-662-56639-8
(Paperback, {\textsterling} 46.99), eISBN: 978-3-662-56641-1 (eBook,
{\textsterling} 36.99), http: //dx.doi.org/10.1007/978-3-662-56641-1},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {761--762},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0472-4},
doi = {10.1007/S00165-018-0472-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Bowen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/BreuerBP018,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Esther Palomar and
Zhiming Liu},
title = {The Secret Processor Will Go to the Ball: Benchmark Insider-Proof
Encrypted Computing},
booktitle = {2018 {IEEE} European Symposium on Security and Privacy Workshops,
EuroS{\&}P Workshops 2018, London, United Kingdom, April 23-27,
2018},
pages = {145--152},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EuroSPW.2018.00027},
doi = {10.1109/EUROSPW.2018.00027},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/BreuerBP018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenGPGGKWW18,
author = {Jonathan P. Bowen and
Tula Giannini and
Gareth Polmeer and
Carla Gannis and
Jeremy Gardiner and
Jonathan Kearney and
Bruce Wands and
Jon Weinel},
editor = {Jonathan P. Bowen and
Jonathan Weinel and
Graham Diprose and
Nick Lambert},
title = {States of Being: Art and identity in digital space and time},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2018, London, UK, July
9-13, 2018},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2018},
url = {https://doi.org/10.14236/ewic/EVA2018.1},
doi = {10.14236/EWIC/EVA2018.1},
timestamp = {Fri, 27 Aug 2021 10:57:14 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenGPGGKWW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenTGL18,
author = {Jonathan P. Bowen and
Terry Trickett and
Jeremy B. A. Green and
Andy Lomas},
editor = {Jonathan P. Bowen and
Jonathan Weinel and
Graham Diprose and
Nick Lambert},
title = {Turing's Genius - Defining an apt microcosm},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2018, London, UK, July
9-13, 2018},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2018},
url = {https://doi.org/10.14236/ewic/EVA2018.31},
doi = {10.14236/EWIC/EVA2018.31},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenTGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/GianniniB18,
author = {Tula Giannini and
Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Jonathan Weinel and
Graham Diprose and
Nick Lambert},
title = {Of Museums and Digital Culture: {A} landscape view},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2018, London, UK, July
9-13, 2018},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2018},
url = {https://doi.org/10.14236/ewic/EVA2018.34},
doi = {10.14236/EWIC/EVA2018.34},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eva/GianniniB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/PapadimitriouB18,
author = {Irini Papadimitriou and
Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Jonathan Weinel and
Graham Diprose and
Nick Lambert},
title = {Digital Futures: Exhibits at {EVA} London 2018},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2018, London, UK, July
9-13, 2018},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2018},
url = {https://doi.org/10.14236/ewic/EVA2018.8},
doi = {10.14236/EWIC/EVA2018.8},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eva/PapadimitriouB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/BreuerBP018,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Esther Palomar and
Zhiming Liu},
editor = {David Naccache and
Shouhuai Xu and
Sihan Qing and
Pierangela Samarati and
Gregory Blanc and
Rongxing Lu and
Zonghua Zhang and
Ahmed Meddahi},
title = {On Security in Encrypted Computing},
booktitle = {Information and Communications Security - 20th International Conference,
{ICICS} 2018, Lille, France, October 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11149},
pages = {192--211},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01950-1\_12},
doi = {10.1007/978-3-030-01950-1\_12},
timestamp = {Sat, 05 Sep 2020 18:01:07 +0200},
biburl = {https://dblp.org/rec/conf/icics/BreuerBP018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/Bowen18,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {The Impact of Alan Turing: Formal Methods and Beyond},
booktitle = {Engineering Trustworthy Software Systems - 4th International School,
{SETSS} 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {11430},
pages = {202--235},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-17601-3\_5},
doi = {10.1007/978-3-030-17601-3\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/Bowen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/BreuerBP018,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Esther Palomar and
Zhiming Liu},
title = {Superscalar Encrypted {RISC:} The Measure of a Secret Computer},
booktitle = {17th {IEEE} International Conference On Trust, Security And Privacy
In Computing And Communications / 12th {IEEE} International Conference
On Big Data Science And Engineering, TrustCom/BigDataSE 2018, New
York, NY, USA, August 1-3, 2018},
pages = {1336--1341},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/TrustCom/BigDataSE.2018.00184},
doi = {10.1109/TRUSTCOM/BIGDATASE.2018.00184},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/BreuerBP018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2018,
editor = {Jonathan P. Bowen and
Jonathan Weinel and
Graham Diprose and
Nick Lambert},
title = {Electronic Visualisation and the Arts, {EVA} 2018, London, UK, July
9-13, 2018},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2018},
url = {http://ewic.bcs.org/category/19337},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setss/2017,
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Engineering Trustworthy Software Systems - Third International School,
{SETSS} 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {11174},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02928-9},
doi = {10.1007/978-3-030-02928-9},
isbn = {978-3-030-02927-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-12365,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {(Un)Encrypted Computing and Indistinguishability Obfuscation},
journal = {CoRR},
volume = {abs/1811.12365},
year = {2018},
url = {http://arxiv.org/abs/1811.12365},
eprinttype = {arXiv},
eprint = {1811.12365},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-12365.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BordaB17,
author = {Ann Borda and
Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {Smart Cities and Cultural Heritage - {A} Review of Developments and
Future Opportunities},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2017, London, UK, July
11-13, 2017},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2017},
url = {https://doi.org/10.14236/ewic/EVA2017.2},
doi = {10.14236/EWIC/EVA2017.2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BordaB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenG17,
author = {Jonathan P. Bowen and
Tula Giannini},
editor = {Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {Life in Code and Digits: When Shannon met Turing},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2017, London, UK, July
11-13, 2017},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2017},
url = {https://doi.org/10.14236/ewic/EVA2017.9},
doi = {10.14236/EWIC/EVA2017.9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenGP17,
author = {Jonathan P. Bowen and
Tula Giannini and
Gareth Polmeer},
editor = {Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {Coded Communication: Digital Senses and Aesthetics, Merging Art and
Life},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2017, London, UK, July
11-13, 2017},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2017},
url = {https://doi.org/10.14236/ewic/EVA2017.1},
doi = {10.14236/EWIC/EVA2017.1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccst/BreuerBP017,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Esther Palomar and
Zhiming Liu},
title = {Encrypted computing: Speed, security and provable obfuscation against
insiders},
booktitle = {International Carnahan Conference on Security Technology, {ICCST}
2017, Madrid, Spain, October 23-26, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CCST.2017.8167847},
doi = {10.1109/CCST.2017.8167847},
timestamp = {Wed, 09 Mar 2022 16:39:53 +0100},
biburl = {https://dblp.org/rec/conf/iccst/BreuerBP017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/BreuerBP017,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Esther Palomar and
Zhiming Liu},
editor = {Pierangela Samarati and
Mohammad S. Obaidat and
Enrique Cabello},
title = {On Obfuscating Compilation for Encrypted Computing},
booktitle = {Proceedings of the 14th International Joint Conference on e-Business
and Telecommunications {(ICETE} 2017) - Volume 4: SECRYPT, Madrid,
Spain, July 24-26, 2017},
pages = {247--254},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006394002470254},
doi = {10.5220/0006394002470254},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/BreuerBP017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ox/17/CopelandB17,
author = {Jack Copeland and
Jonathan P. Bowen},
editor = {Jack Copeland and
Jonathan P. Bowen and
Mark D. Sprevak and
Robin Wilson},
title = {Life and work},
booktitle = {The Turing Guide},
pages = {3--18},
publisher = {Oxford University Press},
year = {2017},
timestamp = {Thu, 12 Mar 2020 11:24:04 +0100},
biburl = {https://dblp.org/rec/books/ox/17/CopelandB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ox/17/GreenishBC17,
author = {Simon Greenish and
Jonathan P. Bowen and
Jack Copeland},
editor = {Jack Copeland and
Jonathan P. Bowen and
Mark D. Sprevak and
Robin Wilson},
title = {Turing's Monument},
booktitle = {The Turing Guide},
pages = {189--196},
publisher = {Oxford University Press},
year = {2017},
timestamp = {Mon, 20 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ox/17/GreenishBC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ox/17/BowenC17,
author = {Jonathan P. Bowen and
Jack Copeland},
editor = {Jack Copeland and
Jonathan P. Bowen and
Mark D. Sprevak and
Robin Wilson},
title = {Turing's legacy},
booktitle = {The Turing Guide},
pages = {463--474},
publisher = {Oxford University Press},
year = {2017},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/ox/17/BowenC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/Bowen17,
author = {Jonathan P. Bowen},
editor = {Michael G. Hinchey and
Jonathan P. Bowen and
Ernst{-}R{\"{u}}diger Olderog},
title = {Provably Correct Systems: Community, Connections, and Citations},
booktitle = {Provably Correct Systems},
series = {{NASA} Monographs in Systems and Software Engineering},
pages = {313--328},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-48628-4\_13},
doi = {10.1007/978-3-319-48628-4\_13},
timestamp = {Wed, 14 Nov 2018 10:12:22 +0100},
biburl = {https://dblp.org/rec/books/sp/17/Bowen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ox/2017CBSW,
editor = {Jack Copeland and
Jonathan P. Bowen and
Mark D. Sprevak and
Robin Wilson},
title = {The Turing Guide},
publisher = {Oxford University Press},
year = {2017},
url = {https://en.wikipedia.org/wiki/The\_Turing\_Guide},
isbn = {978-0-19-874783-3},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/ox/2017CBSW.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/HBO2017,
editor = {Michael G. Hinchey and
Jonathan P. Bowen and
Ernst{-}R{\"{u}}diger Olderog},
title = {Provably Correct Systems},
series = {{NASA} Monographs in Systems and Software Engineering},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-48628-4},
doi = {10.1007/978-3-319-48628-4},
isbn = {978-3-319-48627-7},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/HBO2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2017,
editor = {Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {Electronic Visualisation and the Arts, {EVA} 2017, London, UK, July
11-13, 2017},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2017},
url = {http://ewic.bcs.org/category/19127},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setss/2016,
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Engineering Trustworthy Software Systems - Second International School,
{SETSS} 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {10215},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-56841-6},
doi = {10.1007/978-3-319-56841-6},
isbn = {978-3-319-56840-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/utp/2016,
editor = {Jonathan P. Bowen and
Huibiao Zhu},
title = {Unifying Theories of Programming - 6th International Symposium, {UTP}
2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10134},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52228-9},
doi = {10.1007/978-3-319-52228-9},
isbn = {978-3-319-52227-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/utp/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcrc/BowenBH16,
author = {Jonathan P. Bowen and
Alice M. Bowen and
Karl N. Harrison},
title = {Creative visualisation in chemistry},
journal = {Int. J. Creative Comput.},
volume = {1},
number = {2/3/4},
pages = {231--273},
year = {2016},
url = {https://doi.org/10.1504/IJCRC.2016.076058},
doi = {10.1504/IJCRC.2016.076058},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcrc/BowenBH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/PalomarC0MB16,
author = {Esther Palomar and
Xiaohong Chen and
Zhiming Liu and
Sabita Maharjan and
Jonathan P. Bowen},
title = {Component-Based Modelling for Scalable Smart City Systems Interoperability:
{A} Case Study on Integrating Energy Demand Response Systems},
journal = {Sensors},
volume = {16},
number = {11},
pages = {1810},
year = {2016},
url = {https://doi.org/10.3390/s16111810},
doi = {10.3390/S16111810},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/PalomarC0MB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/BreuerB16,
author = {Peter T. Breuer and
Jonathan P. Bowen},
editor = {Elhadi M. Shakshuki},
title = {A Fully Encrypted Microprocessor The Secret Computer is Nearly Here},
booktitle = {The 7th International Conference on Ambient Systems, Networks and
Technologies {(ANT} 2016) / The 6th International Conference on Sustainable
Energy Information Technology {(SEIT-2016)} / Affiliated Workshops,
May 23-26, 2016, Madrid, Spain},
series = {Procedia Computer Science},
volume = {83},
pages = {1282--1287},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.procs.2016.04.267},
doi = {10.1016/J.PROCS.2016.04.267},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/ant/BreuerB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/Bowen16,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {Alan Turing: Virtuosity and visualisation},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2016, London, UK, 12-14
July 2016},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2016},
url = {https://doi.org/10.14236/ewic/EVA2016.40},
doi = {10.14236/EWIC/EVA2016.40},
timestamp = {Fri, 27 Aug 2021 10:57:13 +0200},
biburl = {https://dblp.org/rec/conf/eva/Bowen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenG16,
author = {Jonathan P. Bowen and
Tula Giannini},
editor = {Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {From Analogue to Digital in Literature and Art},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2016, London, UK, 12-14
July 2016},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2016},
url = {https://doi.org/10.14236/ewic/EVA2016.1},
doi = {10.14236/EWIC/EVA2016.1},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eva/BowenG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/GianniniB16,
author = {Tula Giannini and
Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {Curating Digital Life and Culture: Art and information},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2016, London, UK, 12-14
July 2016},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2016},
url = {https://doi.org/10.14236/ewic/EVA2016.46},
doi = {10.14236/EWIC/EVA2016.46},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eva/GianniniB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/BreuerBP016,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Esther Palomar and
Zhiming Liu},
editor = {Christian Callegari and
Marten van Sinderen and
Panagiotis G. Sarigiannidis and
Pierangela Samarati and
Enrique Cabello and
Pascal Lorenz and
Mohammad S. Obaidat},
title = {A Practical Encrypted Microprocessor},
booktitle = {Proceedings of the 13th International Joint Conference on e-Business
and Telecommunications {(ICETE} 2016) - Volume 4: SECRYPT, Lisbon,
Portugal, July 26-28, 2016},
pages = {239--250},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005955902390250},
doi = {10.5220/0005955902390250},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/BreuerBP016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/Bowen16,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Alan Turing: Founder of Computer Science},
booktitle = {Engineering Trustworthy Software Systems - Second International School,
{SETSS} 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {10215},
pages = {1--15},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-56841-6\_1},
doi = {10.1007/978-3-319-56841-6\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/setss/Bowen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2016,
editor = {Jonathan P. Bowen and
Graham Diprose and
Nick Lambert},
title = {Electronic Visualisation and the Arts, {EVA} 2016, London, UK, 12-14
July 2016},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2016},
url = {http://ewic.bcs.org/category/18854},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BreuerB16,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {On the Security of Practical and Complete Homomorphic Encrypted Computation},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1191},
year = {2016},
url = {http://eprint.iacr.org/2016/1191},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BreuerB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BreuerB16a,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {Superscalar Encrypted {RISC:} {A} Secret Computer in Simulation},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1193},
year = {2016},
url = {http://eprint.iacr.org/2016/1193},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BreuerB16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenG15,
author = {Jonathan P. Bowen and
Tula Giannini},
editor = {Kia Ng and
Jonathan P. Bowen and
Nick Lambert},
title = {Galois Connections: Mathematics, Art and Archives},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2015, London, UK, 7-9
July 2015},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2015},
url = {https://doi.org/10.14236/ewic/eva2015.18},
doi = {10.14236/EWIC/EVA2015.18},
timestamp = {Fri, 27 Aug 2021 10:57:08 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/BreuerBP15,
author = {Peter T. Breuer and
Jonathan P. Bowen and
Simon Pickin},
editor = {Hamido Fujita and
Guido Guizzi},
title = {Processor Rescue - Safe Coding for Hardware Aliasing},
booktitle = {Intelligent Software Methodologies, Tools and Techniques - 14th International
Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015. Proceedings},
series = {Communications in Computer and Information Science},
volume = {532},
pages = {137--148},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22689-7\_10},
doi = {10.1007/978-3-319-22689-7\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/somet/BreuerBP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2015,
editor = {Kia Ng and
Jonathan P. Bowen and
Nick Lambert},
title = {Electronic Visualisation and the Arts, {EVA} 2015, London, UK, 7-9
July 2015},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2015},
url = {http://ewic.bcs.org/category/18482},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bowen15,
author = {Jonathan P. Bowen},
title = {Provably Correct Systems: Community, connections, and citations},
journal = {CoRR},
volume = {abs/1509.02908},
year = {2015},
url = {http://arxiv.org/abs/1509.02908},
eprinttype = {arXiv},
eprint = {1509.02908},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bowen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BreuerB15,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {A First Practical Fully Homomorphic Crypto-Processor Design: The Secret
Computer is Nearly Here},
journal = {CoRR},
volume = {abs/1510.05278},
year = {2015},
url = {http://arxiv.org/abs/1510.05278},
eprinttype = {arXiv},
eprint = {1510.05278},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BreuerB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BowenHJWZ14,
author = {Jonathan P. Bowen and
Mike Hinchey and
Helge Janicke and
Martin P. Ward and
Hussein Zedan},
title = {Formality, Agility, Security, and Evolution in Software Development},
journal = {Computer},
volume = {47},
number = {10},
pages = {86--89},
year = {2014},
url = {https://doi.org/10.1109/MC.2014.284},
doi = {10.1109/MC.2014.284},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BowenHJWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/BreuerB14,
author = {Peter T. Breuer and
Jonathan P. Bowen},
editor = {Jan J{\"{u}}rjens and
Frank Piessens and
Nataliia Bielova},
title = {Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice
and the Secret Computer},
booktitle = {Engineering Secure Software and Systems - 6th International Symposium,
ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8364},
pages = {131--140},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04897-0\_9},
doi = {10.1007/978-3-319-04897-0\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/essos/BreuerB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenG14,
author = {Jonathan P. Bowen and
Tula Giannini},
editor = {Kia Ng and
Jonathan P. Bowen and
Sarah McDaid},
title = {Digitalism: The New Realism?},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2014, London, UK, 8-10
July 2014},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2014},
url = {https://doi.org/10.14236/ewic/eva2014.38},
doi = {10.14236/EWIC/EVA2014.38},
timestamp = {Fri, 27 Aug 2021 10:57:10 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BreuerB14,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {Avoiding Hardware Aliasing: Verifying {RISC} Machine and Assembly
Code for Encrypted Computing},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {365--370},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.102},
doi = {10.1109/ISSREW.2014.102},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BreuerB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/Bowen14,
author = {Jonathan P. Bowen},
editor = {Zhiming Liu and
Zili Zhang},
title = {The {Z} Notation: Whence the Cause and Whither the Course?},
booktitle = {Engineering Trustworthy Software Systems - First International School,
{SETSS} 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9506},
pages = {103--151},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-29628-9\_3},
doi = {10.1007/978-3-319-29628-9\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/setss/Bowen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/BreuerB14,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {Empirical Patterns in Google Scholar Citation Counts},
booktitle = {8th {IEEE} International Symposium on Service Oriented System Engineering,
{SOSE} 2014, Oxford, United Kingdom, April 7-11, 2014},
pages = {398--403},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SOSE.2014.55},
doi = {10.1109/SOSE.2014.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/BreuerB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wowmom/PalomarLBZM14,
author = {Esther Palomar and
Zhiming Liu and
Jonathan P. Bowen and
Yan Zhang and
Sabita Maharjan},
title = {Component-based modelling for sustainable and scalable smart meter
networks},
booktitle = {Proceeding of {IEEE} International Symposium on a World of Wireless,
Mobile and Multimedia Networks, WoWMoM 2014, Sydney, Australia, June
19, 2014},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/WoWMoM.2014.6918927},
doi = {10.1109/WOWMOM.2014.6918927},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wowmom/PalomarLBZM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/chb/BowenH14,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
editor = {Teofilo F. Gonzalez and
Jorge Diaz{-}Herrera and
Allen Tucker},
title = {Formal Methods},
booktitle = {Computing Handbook, Third Edition: Computer Science and Software Engineering},
pages = {71--25},
publisher = {{CRC} Press},
year = {2014},
timestamp = {Tue, 17 Jun 2014 14:00:46 +0200},
biburl = {https://dblp.org/rec/books/crc/chb/BowenH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2014,
editor = {Kia Ng and
Jonathan P. Bowen and
Sarah McDaid},
title = {Electronic Visualisation and the Arts, {EVA} 2014, London, UK, 8-10
July 2014},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2014},
url = {http://ewic.bcs.org/category/18204},
isbn = {978-1-78017-285-9},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BreuerB14,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {Empirical Patterns in Google Scholar Citation Counts},
journal = {CoRR},
volume = {abs/1401.1861},
year = {2014},
url = {http://arxiv.org/abs/1401.1861},
eprinttype = {arXiv},
eprint = {1401.1861},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BreuerB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BreuerB14a,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {On the Security of Fully Homomorphic Encryption and Encrypted Computing:
Is Division safe?},
journal = {CoRR},
volume = {abs/1411.4813},
year = {2014},
url = {http://arxiv.org/abs/1411.4813},
eprinttype = {arXiv},
eprint = {1411.4813},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BreuerB14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BowenBRH13,
author = {Jonathan P. Bowen and
Michael J. Butler and
Steve Reeves and
Mike Hinchey},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {25},
number = {3},
pages = {343},
year = {2013},
url = {https://doi.org/10.1007/s00165-013-0281-8},
doi = {10.1007/S00165-013-0281-8},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BowenBRH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Bowen13,
author = {Jonathan P. Bowen},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {A Relational Approach to an Algebraic Community: From Paul Erd{\H{o}}s
to He Jifeng},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8051},
pages = {54--66},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39698-4\_4},
doi = {10.1007/978-3-642-39698-4\_4},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Bowen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/BreuerB13,
author = {Peter T. Breuer and
Jonathan P. Bowen},
editor = {Jan J{\"{u}}rjens and
Benjamin Livshits and
Riccardo Scandariato},
title = {A Fully Homomorphic Crypto-Processor Design},
booktitle = {Engineering Secure Software and Systems - 5th International Symposium,
ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7781},
pages = {123--138},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36563-8\_9},
doi = {10.1007/978-3-642-36563-8\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/essos/BreuerB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/HarrisonBB13,
author = {Karl N. Harrison and
Jonathan P. Bowen and
Alice M. Bowen},
editor = {Kia Ng and
Jonathan P. Bowen and
Sarah McDaid},
title = {Electronic Visualisation in Chemistry: from Alchemy to Art},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2013, London, UK, 29-31
July 2013},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2013},
url = {http://ewic.bcs.org/content/ConWebDoc/51042},
timestamp = {Fri, 27 Aug 2021 10:57:07 +0200},
biburl = {https://dblp.org/rec/conf/eva/HarrisonBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BreuerB13,
author = {Peter T. Breuer and
Jonathan P. Bowen},
editor = {Steve Counsell and
Manuel N{\'{u}}{\~{n}}ez},
title = {Certifying Machine Code Safe from Hardware Aliasing: {RISC} is Not
Necessarily Risky},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8368},
pages = {371--388},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05032-4\_27},
doi = {10.1007/978-3-319-05032-4\_27},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BreuerB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0032296,
editor = {Jonathan P. Bowen and
Suzanne Keene and
Kia Ng},
title = {Electronic Visualisation in Arts and Culture},
series = {Springer Series on Cultural Computing},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4471-5406-8},
doi = {10.1007/978-1-4471-5406-8},
isbn = {978-1-4471-5405-1},
timestamp = {Mon, 20 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0032296.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2013,
editor = {Kia Ng and
Jonathan P. Bowen and
Sarah McDaid},
title = {Electronic Visualisation and the Arts, {EVA} 2013, London, UK, 29-31
July 2013},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2013},
url = {http://ewic.bcs.org/category/17656},
isbn = {978-1-780172-15-6},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-6431,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {Towards Proving {RISC} Machine Code not Risky with respect to Memory
Aliasing},
journal = {CoRR},
volume = {abs/1305.6431},
year = {2013},
url = {http://arxiv.org/abs/1305.6431},
eprinttype = {arXiv},
eprint = {1305.6431},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-6431.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bowen13,
author = {Jonathan P. Bowen},
title = {Online Communities: Visualization and Formalization},
journal = {CoRR},
volume = {abs/1307.6145},
year = {2013},
url = {http://arxiv.org/abs/1307.6145},
eprinttype = {arXiv},
eprint = {1307.6145},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bowen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HarrisonBB13,
author = {Karl N. Harrison and
Jonathan P. Bowen and
Alice M. Bowen},
title = {Electronic Visualisation in Chemistry: From Alchemy to Art},
journal = {CoRR},
volume = {abs/1307.6360},
year = {2013},
url = {http://arxiv.org/abs/1307.6360},
eprinttype = {arXiv},
eprint = {1307.6360},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HarrisonBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ZhuYHBSQ12,
author = {Huibiao Zhu and
Fan Yang and
Jifeng He and
Jonathan P. Bowen and
Jeff W. Sanders and
Shengchao Qin},
title = {Linking operational semantics and algebraic semantics for a probabilistic
timed shared-variable language},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {1},
pages = {2--25},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2011.06.003},
doi = {10.1016/J.JLAP.2011.06.003},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ZhuYHBSQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/BreuerB12,
author = {Peter T. Breuer and
Jonathan P. Bowen},
editor = {Gilles Barthe and
Benjamin Livshits and
Riccardo Scandariato},
title = {Typed Assembler for a {RISC} Crypto-Processor},
booktitle = {Engineering Secure Software and Systems - 4th International Symposium,
ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7159},
pages = {22--29},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28166-2\_3},
doi = {10.1007/978-3-642-28166-2\_3},
timestamp = {Sat, 19 Oct 2019 20:24:21 +0200},
biburl = {https://dblp.org/rec/conf/essos/BreuerB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BoianoBG12,
author = {Stefania Boiano and
Jonathan P. Bowen and
Giuliano Gaia},
editor = {Stuart Dunn and
Jonathan P. Bowen and
Kia Ng},
title = {Usability, design and content issues of mobile apps for cultural heritage
promotion: the Malta Culture Guide experience},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2012, London, UK, 10-12
July 2012},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2012},
url = {http://ewic.bcs.org/content/ConWebDoc/46095},
timestamp = {Fri, 27 Aug 2021 10:57:08 +0200},
biburl = {https://dblp.org/rec/conf/eva/BoianoBG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BowenW12,
author = {Jonathan P. Bowen and
Robin J. Wilson},
editor = {Stuart Dunn and
Jonathan P. Bowen and
Kia Ng},
title = {Visualising virtual communities: From Erd{\H{o}}s to the arts},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2012, London, UK, 10-12
July 2012},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2012},
url = {http://ewic.bcs.org/content/ConWebDoc/46141},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/BowenW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/BowenH12,
author = {Jonathan P. Bowen and
Mike Hinchey},
editor = {Mike Hinchey and
Lorcan Coyle},
title = {Ten Commandments of Formal Methods... Ten Years On},
booktitle = {Conquering Complexity},
pages = {237--251},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5\_11},
doi = {10.1007/978-1-4471-2297-5\_11},
timestamp = {Sat, 19 Oct 2019 19:02:43 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/BowenH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2012,
editor = {Stuart Dunn and
Jonathan P. Bowen and
Kia Ng},
title = {Electronic Visualisation and the Arts, {EVA} 2012, London, UK, 10-12
July 2012},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2012},
url = {http://ewic.bcs.org/category/17060},
isbn = {978-1-780171-59-3},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sew/2012,
editor = {Jonathan P. Bowen and
Huibiao Zhu and
Mike Hinchey},
title = {35th Annual {IEEE} Software Engineering Workshop, {SEW} 2012, Heraclion,
Crete, Greece, October 12-13, 2012},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6479597/proceeding},
isbn = {978-1-4673-5574-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sew/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-3420,
author = {Jonathan P. Bowen and
Robin J. Wilson},
title = {Visualising Virtual Communities: From Erd{\H{o}}s to the Arts},
journal = {CoRR},
volume = {abs/1207.3420},
year = {2012},
url = {http://arxiv.org/abs/1207.3420},
eprinttype = {arXiv},
eprint = {1207.3420},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-3420.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-3422,
author = {Stefania Boiano and
Jonathan P. Bowen and
Giuliano Gaia},
title = {Usability, Design and Content Issues of Mobile Apps for Cultural Heritage
Promotion: The Malta Culture Guide Experience},
journal = {CoRR},
volume = {abs/1207.3422},
year = {2012},
url = {http://arxiv.org/abs/1207.3422},
eprinttype = {arXiv},
eprint = {1207.3422},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-3422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwbc/LiuB11,
author = {Alison Hsiang{-}Yi Liu and
Jonathan P. Bowen},
title = {Creating online collaborative environments for museums: a case study
of a museum wiki},
journal = {Int. J. Web Based Communities},
volume = {7},
number = {4},
pages = {407--428},
year = {2011},
url = {https://doi.org/10.1504/IJWBC.2011.042988},
doi = {10.1504/IJWBC.2011.042988},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwbc/LiuB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/ZhuHLB11,
author = {Huibiao Zhu and
Jifeng He and
Jing Li and
Jonathan P. Bowen},
title = {Algebraic approach to linking the semantics of web services},
journal = {Innov. Syst. Softw. Eng.},
volume = {7},
number = {3},
pages = {209--224},
year = {2011},
url = {https://doi.org/10.1007/s11334-011-0172-1},
doi = {10.1007/S11334-011-0172-1},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/ZhuHLB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BowenR11,
author = {Jonathan P. Bowen and
Steve Reeves},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {From a Community of Practice to a Body of Knowledge: {A} Case Study
of the Formal Methods Community},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {308--322},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_24},
doi = {10.1007/978-3-642-21437-0\_24},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BowenR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2011,
editor = {Stuart Dunn and
Jonathan P. Bowen and
Kia Ng},
title = {Electronic Visualisation and the Arts, {EVA} 2011, London, UK, 6-8
July 2011},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2011},
url = {http://ewic.bcs.org/category/17060},
isbn = {978-1-906124-88-5},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/ZhuHLPB10,
author = {Huibiao Zhu and
Jifeng He and
Jing Li and
Geguang Pu and
Jonathan P. Bowen},
title = {Linking denotational semantics with operational semantics for web
services},
journal = {Innov. Syst. Softw. Eng.},
volume = {6},
number = {4},
pages = {283--298},
year = {2010},
url = {https://doi.org/10.1007/s11334-010-0134-z},
doi = {10.1007/S11334-010-0134-Z},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/ZhuHLPB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/BeazleyBLM10,
author = {Ingrid Beazley and
Jonathan P. Bowen and
Alison H. Y. Liu and
Sarah McDaid},
editor = {Alan Seal and
Jonathan P. Bowen and
Kia Ng},
title = {Dulwich OnView: an art museum-based virtual community generated by
the local community},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2010, London, UK, 5-7
July 2010},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2010},
url = {http://ewic.bcs.org/content/ConWebDoc/36053},
timestamp = {Fri, 27 Aug 2021 10:57:10 +0200},
biburl = {https://dblp.org/rec/conf/eva/BeazleyBLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2010,
editor = {Alan Seal and
Jonathan P. Bowen and
Kia Ng},
title = {Electronic Visualisation and the Arts, {EVA} 2010, London, UK, 5-7
July 2010},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2010},
url = {http://ewic.bcs.org/category/15570},
isbn = {978-1-906124-65-6},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/se/HincheyBV10,
author = {Mike Hinchey and
Jonathan P. Bowen and
Emil Vassev},
editor = {Phillip A. Laplante},
title = {Formal Methods},
booktitle = {Encyclopedia of Software Engineering},
pages = {308--320},
publisher = {Taylor {\&} Francis},
year = {2010},
url = {http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044313},
doi = {10.1081/E-ESE-120044313},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/se/HincheyBV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/se/BowenHV10,
author = {Jonathan P. Bowen and
Mike Hinchey and
Emil Vassev},
editor = {Phillip A. Laplante},
title = {Formal Requirements Specification},
booktitle = {Encyclopedia of Software Engineering},
pages = {321--332},
publisher = {Taylor {\&} Francis},
year = {2010},
url = {http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044177},
doi = {10.1081/E-ESE-120044177},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/se/BowenHV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BlackBBGH09,
author = {Sue Black and
Paul Boca and
Jonathan P. Bowen and
Jason Gorman and
Mike Hinchey},
title = {Formal Versus Agile: Survival of the Fittest},
journal = {Computer},
volume = {42},
number = {9},
pages = {37--45},
year = {2009},
url = {https://doi.org/10.1109/MC.2009.284},
doi = {10.1109/MC.2009.284},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BlackBBGH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HieronsBBCDDGHKKLSVWZ09,
author = {Robert M. Hierons and
Kirill Bogdanov and
Jonathan P. Bowen and
Rance Cleaveland and
John Derrick and
Jeremy Dick and
Marian Gheorghe and
Mark Harman and
Kalpesh Kapoor and
Paul J. Krause and
Gerald L{\"{u}}ttgen and
Anthony J. H. Simons and
Sergiy A. Vilkomir and
Martin R. Woodward and
Hussein Zedan},
title = {Using formal specifications to support testing},
journal = {{ACM} Comput. Surv.},
volume = {41},
number = {2},
pages = {9:1--9:76},
year = {2009},
url = {https://doi.org/10.1145/1459352.1459354},
doi = {10.1145/1459352.1459354},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/HieronsBBCDDGHKKLSVWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijtm/BowenB09,
author = {Jonathan P. Bowen and
Ann Borda},
title = {Communicating the public understanding of science: the Royal Society
website},
journal = {Int. J. Technol. Manag.},
volume = {46},
number = {1/2},
pages = {146--164},
year = {2009},
url = {https://doi.org/10.1504/IJTM.2009.022682},
doi = {10.1504/IJTM.2009.022682},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijtm/BowenB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/ZhuQHB09,
author = {Huibiao Zhu and
Shengchao Qin and
Jifeng He and
Jonathan P. Bowen},
title = {{PTSC:} probability, time and shared-variable concurrency},
journal = {Innov. Syst. Softw. Eng.},
volume = {5},
number = {4},
pages = {271--284},
year = {2009},
url = {https://doi.org/10.1007/s11334-009-0100-9},
doi = {10.1007/S11334-009-0100-9},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/ZhuQHB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BowenH09,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {Ten Commandments Ten Years On: Lessons for ASM, B, {Z} and VSR-net},
booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated
to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5115},
pages = {219--233},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11447-2\_14},
doi = {10.1007/978-3-642-11447-2\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BowenH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/ZhuYHBS09,
author = {Huibiao Zhu and
Fan Yang and
Jifeng He and
Jonathan P. Bowen and
Jeff W. Sanders},
editor = {Vera Werneck and
Karin K. Breitman},
title = {Animating the Link Between Operational Semantics and Algebraic Semantics
for a Probabilistic Timed Shared-Variable Language},
booktitle = {33rd Annual {IEEE} Software Engineering Workshop, {SEW} 2009, Sk{\"{o}}vde,
Sweden, 13-14 October, 2009},
pages = {104--114},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEW.2009.17},
doi = {10.1109/SEW.2009.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/ZhuYHBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2009,
editor = {Alan Seal and
Suzanne Keene and
Jonathan P. Bowen},
title = {Electronic Visualisation and the Arts, {EVA} 2009, London, UK, 6-8
July 2009},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2009},
url = {http://ewic.bcs.org/category/15845},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HincheyJCCBM08,
author = {Mike Hinchey and
Michael Jackson and
Patrick Cousot and
Byron Cook and
Jonathan P. Bowen and
Tiziana Margaria},
title = {Software engineering and formal methods},
journal = {Commun. {ACM}},
volume = {51},
number = {9},
pages = {54--59},
year = {2008},
url = {https://doi.org/10.1145/1378727.1378742},
doi = {10.1145/1378727.1378742},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/HincheyJCCBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/ZhuHB08,
author = {Huibiao Zhu and
Jifeng He and
Jonathan P. Bowen},
title = {From algebraic semantics to denotational semantics for Verilog},
journal = {Innov. Syst. Softw. Eng.},
volume = {4},
number = {4},
pages = {341--360},
year = {2008},
url = {https://doi.org/10.1007/s11334-008-0069-9},
doi = {10.1007/S11334-008-0069-9},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/ZhuHB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcos/VinhB08,
author = {Phan Cong Vinh and
Jonathan P. Bowen},
title = {Formalization of Data Flow Computing and a Coinductive Approach to
Verifying Flowware Synthesis},
journal = {Trans. Comput. Sci.},
volume = {1},
pages = {1--36},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79299-4\_1},
doi = {10.1007/978-3-540-79299-4\_1},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcos/VinhB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fortest/VilkomirB08,
author = {Sergiy A. Vilkomir and
Jonathan P. Bowen},
editor = {Robert M. Hierons and
Jonathan P. Bowen and
Mark Harman},
title = {From {MC/DC} to {RC/DC:} Formalization and Analysis of Control-Flow
Testing Criteria},
booktitle = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4949},
pages = {240--270},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78917-8\_8},
doi = {10.1007/978-3-540-78917-8\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fortest/VilkomirB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2008,
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8},
doi = {10.1007/978-3-540-87603-8},
isbn = {978-3-540-87602-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eva/2008,
editor = {Stuart Dunn and
Suzanne Keene and
George Mallen and
Jonathan P. Bowen},
title = {Electronic Visualisation and the Arts, {EVA} 2008, London, UK, 22-24
July 2008},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2008},
url = {http://ewic.bcs.org/category/16318},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eva/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fortest/2008,
editor = {Robert M. Hierons and
Jonathan P. Bowen and
Mark Harman},
title = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4949},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78917-8},
doi = {10.1007/978-3-540-78917-8},
isbn = {978-3-540-78916-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fortest/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/KapoorB07,
author = {Kalpesh Kapoor and
Jonathan P. Bowen},
title = {Test conditions for fault classes in Boolean specifications},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {16},
number = {3},
pages = {10},
year = {2007},
url = {https://doi.org/10.1145/1243987.1243988},
doi = {10.1145/1243987.1243988},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/KapoorB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ZhuHLB07,
author = {Huibiao Zhu and
Jifeng He and
Jing Li and
Jonathan P. Bowen},
title = {Algebraic Approach to Linking the Semantics of Web Services},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {315--328},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.4},
doi = {10.1109/SEFM.2007.4},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/ZhuHLB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/ZhuHB07,
author = {Huibiao Zhu and
Jifeng He and
Jonathan P. Bowen},
title = {Algebraic Approach to Operational Semantics and Observation-Oriented
Semantics for a Timed Shared-Variable Language with Probability},
booktitle = {31st Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-31}
2007), 6-8 March 2007, Loyola College, Columbia, MD, {USA}},
pages = {131--143},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/SEW.2007.90},
doi = {10.1109/SEW.2007.90},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/ZhuHB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/VinhB07,
author = {Phan Cong Vinh and
Jonathan P. Bowen},
title = {A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing},
booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
pages = {369--378},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TASE.2007.2},
doi = {10.1109/TASE.2007.2},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/VinhB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/annals/BowenBS06,
author = {Jonathan P. Bowen and
Tim Bergin and
Christopher H. Sterling},
title = {Reviews},
journal = {{IEEE} Ann. Hist. Comput.},
volume = {28},
number = {2},
pages = {77--80},
year = {2006},
url = {https://doi.org/10.1109/MAHC.2006.36},
doi = {10.1109/MAHC.2006.36},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/annals/BowenBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BowenH06,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {Ten Commandments of Formal Methods ...Ten Years Later},
journal = {Computer},
volume = {39},
number = {1},
pages = {40--48},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.35},
doi = {10.1109/MC.2006.35},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BowenH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/VilkomirB06,
author = {Sergiy A. Vilkomir and
Jonathan P. Bowen},
title = {From {MC/DC} to {RC/DC:} formalization and analysis of control-flow
testing criteria},
journal = {Formal Aspects Comput.},
volume = {18},
number = {1},
pages = {42--62},
year = {2006},
url = {https://doi.org/10.1007/s00165-005-0084-7},
doi = {10.1007/S00165-005-0084-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/VilkomirB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/VilkomirBG06,
author = {Sergiy A. Vilkomir and
Jonathan P. Bowen and
Aditya K. Ghose},
title = {Formalization and assessment of regulatory requirements for safety-critical
software},
journal = {Innov. Syst. Softw. Eng.},
volume = {2},
number = {3-4},
pages = {165--178},
year = {2006},
url = {https://doi.org/10.1007/s11334-006-0006-8},
doi = {10.1007/S11334-006-0006-8},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/VilkomirBG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ZhuHB06,
author = {Huibiao Zhu and
Jifeng He and
Jonathan P. Bowen},
title = {From Algebraic Semantics to Denotational Semantics for Verilog},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {139--151},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.57},
doi = {10.1109/ICECCS.2006.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ZhuHB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/ZhuQHB06,
author = {Huibiao Zhu and
Shengchao Qin and
Jifeng He and
Jonathan P. Bowen},
title = {Integrating Probability with Time and Shared-Variable Concurrency},
booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
MD, {USA}},
pages = {179--189},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEW.2006.22},
doi = {10.1109/SEW.2006.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/ZhuQHB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/VinhB05,
author = {Phan Cong Vinh and
Jonathan P. Bowen},
title = {Continuity aspects of embedded reconfigurable computing},
journal = {Innov. Syst. Softw. Eng.},
volume = {1},
number = {1},
pages = {41--53},
year = {2005},
url = {https://doi.org/10.1007/s11334-005-0003-3},
doi = {10.1007/S11334-005-0003-3},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/VinhB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KapoorB05,
author = {Kalpesh Kapoor and
Jonathan P. Bowen},
title = {A formal analysis of {MCDC} and {RCDC} test criteria},
journal = {Softw. Test. Verification Reliab.},
volume = {15},
number = {1},
pages = {21--40},
year = {2005},
url = {https://doi.org/10.1002/stvr.306},
doi = {10.1002/STVR.306},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/KapoorB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/VinhB05,
author = {Phan Cong Vinh and
Jonathan P. Bowen},
title = {Semantics of {RTL} and Validation of Synthesized {RTL} Designs Using
Formal Verification in Reconfigurable Computing Systems},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {247--254},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.61},
doi = {10.1109/ECBS.2005.61},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/VinhB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BowenH05,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
editor = {Tiziana Margaria and
Mieke Massink},
title = {Ten commandments revisited: a ten-year perspective on the industrial
application of formal methods},
booktitle = {Proceedings of the 10th international workshop on Formal methods for
industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {8--16},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081180.1081183},
doi = {10.1145/1081180.1081183},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BowenH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/VinhB05,
author = {Phan Cong Vinh and
Jonathan P. Bowen},
title = {A Provable Algorithm for Reconfiguration in Embedded Reconfigurable
Computing},
booktitle = {29th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-29}
2005), 6-7 April 2005, Greenbelt, Maryland, {USA}},
pages = {245--252},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEW.2005.14},
doi = {10.1109/SEW.2005.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/VinhB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508066,
author = {Silvia Filippini{-}Fantoni and
Jonathan P. Bowen},
title = {Can Small Museums Develop Compelling, Educational and Accessible Web
Resources? The Case of Accademia Carrara},
journal = {CoRR},
volume = {abs/cs/0508066},
year = {2005},
url = {http://arxiv.org/abs/cs/0508066},
eprinttype = {arXiv},
eprint = {cs/0508066},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508066.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508067,
author = {Teresa Numerico and
Jonathan P. Bowen},
title = {Copyright and Promotion: Oxymoron or Opportunity?},
journal = {CoRR},
volume = {abs/cs/0508067},
year = {2005},
url = {http://arxiv.org/abs/cs/0508067},
eprinttype = {arXiv},
eprint = {cs/0508067},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508067.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/program/BernierB04,
author = {Roxane Bernier and
Jonathan P. Bowen},
title = {Web-based discussion groups at stake: the profile of museum professionals
online},
journal = {Program},
volume = {38},
number = {2},
pages = {120--137},
year = {2004},
url = {https://doi.org/10.1108/00330330410532832},
doi = {10.1108/00330330410532832},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/program/BernierB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KapoorB04,
author = {Kalpesh Kapoor and
Jonathan P. Bowen},
title = {Experimental evaluation of the tolerance for control-flow test criteria},
journal = {Softw. Test. Verification Reliab.},
volume = {14},
number = {3},
pages = {167--187},
year = {2004},
url = {https://doi.org/10.1002/stvr.303},
doi = {10.1002/STVR.303},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/KapoorB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/KapoorB04,
author = {Kalpesh Kapoor and
Jonathan P. Bowen},
editor = {Jens Grabowski and
Brian Nielsen},
title = {Ordering Mutants to Minimise Test Effort in Mutation Testing},
booktitle = {Formal Approaches to Software Testing, 4th International Workshop,
{FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3395},
pages = {195--209},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31848-4\_14},
doi = {10.1007/978-3-540-31848-4\_14},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/KapoorB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/VinhB04,
author = {Phan Cong Vinh and
Jonathan P. Bowen},
editor = {Russell Tessier and
Herman Schmit},
title = {An algorithmic approach by heuristics to dynamical reconfiguration
of logic resources on reconfigurable FPGAs},
booktitle = {Proceedings of the {ACM/SIGDA} 12th International Symposium on Field
Programmable Gate Arrays, {FPGA} 2004, Monterey, California, USA,
February 22-24, 2004},
pages = {254},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/968280.968342},
doi = {10.1145/968280.968342},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpga/VinhB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CY-0409055,
author = {Alpay Beler and
Ann Borda and
Jonathan P. Bowen and
Silvia Filippini{-}Fantoni},
title = {The Building of Online Communities: An approach for learning organizations,
with a particular focus on the museum sector},
journal = {CoRR},
volume = {cs.CY/0409055},
year = {2004},
url = {http://arxiv.org/abs/cs.CY/0409055},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-CY-0409055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/HensonRB03,
author = {Martin C. Henson and
Steve Reeves and
Jonathan P. Bowen},
title = {Z Logic and its Consequences},
journal = {Comput. Artif. Intell.},
volume = {22},
number = {3-4},
pages = {381--415},
year = {2003},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/461},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/HensonRB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/VilkomirKB03,
author = {Sergiy A. Vilkomir and
Kalpesh Kapoor and
Jonathan P. Bowen},
title = {Tolerance of Control-Flow Testing Criteria},
booktitle = {27th International Computer Software and Applications Conference {(COMPSAC}
2003): Design and Assessment of Trustworthy Software-Based Systems,
3-6 November 2003, Dallas, TX, USA, Proceedings},
pages = {182--187},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CMPSAC.2003.1245339},
doi = {10.1109/CMPSAC.2003.1245339},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/VilkomirKB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isese/KapoorB03,
author = {Kalpesh Kapoor and
Jonathan P. Bowen},
title = {Experimental Evaluation of the Variation in Effectiveness for DC,
{FPC} and {MC/DC} Test Criteria},
booktitle = {2003 International Symposium on Empirical Software Engineering {(ISESE}
2003), 30 September - 1 October 2003. Rome, Italy},
pages = {185--194},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISESE.2003.1237977},
doi = {10.1109/ISESE.2003.1237977},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isese/KapoorB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/Bowen03,
author = {Jonathan P. Bowen},
editor = {Irwin King and
Tam{\'{a}}s M{\'{a}}ray},
title = {Disabled Access for Museum Websites},
booktitle = {Proceedings of the Twelfth International World Wide Web Conference
- Posters, {WWW} 2003, Budapest, Hungary, May 20-24, 2003},
year = {2003},
url = {http://www2003.org/cdrom/papers/poster/p335/p335-bowen.html},
timestamp = {Wed, 17 Jul 2013 16:59:51 +0200},
biburl = {https://dblp.org/rec/conf/www/Bowen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/2003,
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2},
doi = {10.1007/3-540-44880-2},
isbn = {3-540-40253-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CY-0307068,
author = {Jonathan P. Bowen},
title = {Web Access to Cultural Heritage for the Disabled},
journal = {CoRR},
volume = {cs.CY/0307068},
year = {2003},
url = {http://arxiv.org/abs/cs/0307068},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CY-0307068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CY-0308005,
author = {Jonathan P. Bowen},
title = {Disabled Access for Museum Websites},
journal = {CoRR},
volume = {cs.CY/0308005},
year = {2003},
url = {http://arxiv.org/abs/cs/0308005},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CY-0308005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BowenBCHHK02,
author = {Jonathan P. Bowen and
Kirill Bogdanov and
John A. Clark and
Mark Harman and
Robert M. Hierons and
Paul J. Krause},
title = {{FORTEST:} Formal Methods and Testing},
booktitle = {26th International Computer Software and Applications Conference {(COMPSAC}
2002), Prolonging Software Life: Development and Redevelopment, 26-29
August 2002, Oxford, England, Proceedings},
pages = {91--104},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CMPSAC.2002.1044538},
doi = {10.1109/CMPSAC.2002.1044538},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/BowenBCHHK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HuibiaoBH02,
author = {Huibiao Zhu and
Jonathan P. Bowen and
Jifeng He},
editor = {Chris George and
Huaikou Miao},
title = {Soundness, Completeness and Non-redundancy of Operational Semantics
for Verilog Based on Denotational Semantics},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {600--612},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_61},
doi = {10.1007/3-540-36103-0\_61},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/HuibiaoBH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/VilkomirB02,
author = {Sergiy A. Vilkomir and
Jonathan P. Bowen},
editor = {Didier Bert and
Jonathan P. Bowen and
Martin C. Henson and
Ken Robinson},
title = {Reinforced Condition/Decision Coverage {(RC/DC):} {A} New Criterion
for Software Testing},
booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
International Conference of {B} and {Z} Users, Grenoble, France, January
23-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2272},
pages = {291--308},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45648-1\_15},
doi = {10.1007/3-540-45648-1\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/VilkomirB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/2002,
editor = {Didier Bert and
Jonathan P. Bowen and
Martin C. Henson and
Ken Robinson},
title = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
International Conference of {B} and {Z} Users, Grenoble, France, January
23-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2272},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45648-1},
doi = {10.1007/3-540-45648-1},
isbn = {3-540-43166-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Bowen01,
author = {Jonathan P. Bowen},
title = {Experience teaching {Z} with tool and web support},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {26},
number = {2},
pages = {69--75},
year = {2001},
url = {https://doi.org/10.1145/505776.505794},
doi = {10.1145/505776.505794},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Bowen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/BowenJ01,
author = {Jonathan P. Bowen and
Jifeng He},
title = {An Approach to the Specification and Verification of a Hardware Compilation
Scheme},
journal = {J. Supercomput.},
volume = {19},
number = {1},
pages = {23--39},
year = {2001},
url = {https://doi.org/10.1023/A:1011184310224},
doi = {10.1023/A:1011184310224},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/BowenJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ZhuBH01,
author = {Huibiao Zhu and
Jonathan P. Bowen and
Jifeng He},
title = {Deriving Operational Semantics from Denotational Semantics for Verilog},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {177},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991475},
doi = {10.1109/APSEC.2001.991475},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ZhuBH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HuibiaoBJ01,
author = {Huibiao Zhu and
Jonathan P. Bowen and
Jifeng He},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {From Operational Semantics to Denotational Semantics for Verilog},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {449--466},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_34},
doi = {10.1007/3-540-44798-9\_34},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/HuibiaoBJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/VilkomirB01,
author = {Sergiy A. Vilkomir and
Jonathan P. Bowen},
title = {Formalization of Software Testing Criteria using the {Z} Notation},
booktitle = {25th International Computer Software and Applications Conference {(COMPSAC}
2001), Invigorating Software Development, 8-12 October 2001, Chicago,
IL, {USA}},
pages = {351--356},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CMPSAC.2001.960638},
doi = {10.1109/CMPSAC.2001.960638},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/VilkomirB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Bowen00,
author = {Jonathan P. Bowen},
title = {The Ethics of Safety-Critical Systems},
journal = {Commun. {ACM}},
volume = {43},
number = {4},
pages = {91--97},
year = {2000},
url = {https://doi.org/10.1145/332051.332078},
doi = {10.1145/332051.332078},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Bowen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BowenHX00,
author = {Jonathan P. Bowen and
Jifeng He and
Qiwen Xu},
title = {An Animatable Operational Semantics of the Verilog Hardware Description
Language},
booktitle = {3rd {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 2000, York, England, UK, September 4-7, 2000, Proceedings},
pages = {199--208},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICFEM.2000.873820},
doi = {10.1109/ICFEM.2000.873820},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BowenHX00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Bowen00,
author = {Jonathan P. Bowen},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Combining Operational Semantics, Logic Programming and Literate Programming
in the Specification and Animation of the Verilog Hardware Description
Language},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {277--296},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_16},
doi = {10.1007/3-540-40911-4\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Bowen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/2000,
editor = {Jonathan P. Bowen and
Steve Dunne and
Andy Galloway and
Steve King},
title = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
International Conference of {B} and {Z} Users, York, UK, August 29
- September 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1878},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44525-0},
doi = {10.1007/3-540-44525-0},
isbn = {3-540-67944-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BreuerMBFLK99,
author = {Peter T. Breuer and
Natividad Mart{\'{\i}}nez Madrid and
Jonathan P. Bowen and
Robert B. France and
Maria M. Larrondo{-}Petrie and
Carlos Delgado Kloos},
title = {Reasoning about {VHDL} and {VHDL-AMS} using Denotational Semantics},
booktitle = {1999 Design, Automation and Test in Europe {(DATE} '99), 9-12 March
1999, Munich, Germany},
pages = {346--352},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1999},
url = {https://doi.org/10.1109/DATE.1999.761144},
doi = {10.1109/DATE.1999.761144},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/BreuerMBFLK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BowenC98,
author = {Jonathan P. Bowen and
David Chippington},
editor = {Jonathan P. Bowen and
Andreas Fett and
Michael G. Hinchey},
title = {Z on the Web Using Java},
booktitle = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1493},
pages = {66--80},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49676-2\_6},
doi = {10.1007/978-3-540-49676-2\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/BowenC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen98,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Andreas Fett and
Michael G. Hinchey},
title = {Select {Z} Bibliography},
booktitle = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1493},
pages = {367--406},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49676-2\_24},
doi = {10.1007/978-3-540-49676-2\_24},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/Bowen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen98a,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Andreas Fett and
Michael G. Hinchey},
title = {Comp.specification.z and {Z} {FORUM} Frequently Asked Questions},
booktitle = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1493},
pages = {407--415},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49676-2\_25},
doi = {10.1007/978-3-540-49676-2\_25},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/Bowen98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/1998,
editor = {Jonathan P. Bowen and
Andreas Fett and
Michael G. Hinchey},
title = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1493},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/b68208},
doi = {10.1007/B68208},
isbn = {3-540-65070-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BowenH97,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {The use of industrial-strength formal methods},
booktitle = {21st International Computer Software and Applications Conference {(COMPSAC}
'97), 11-15 August 1997, Washington, DC, {USA}},
pages = {332--337},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CMPSAC.1997.624973},
doi = {10.1109/CMPSAC.1997.624973},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/BowenH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen97,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Michael G. Hinchey and
David Till},
title = {Select {Z} Bibliography},
booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1212},
pages = {391--424},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027299},
doi = {10.1007/BFB0027299},
timestamp = {Thu, 14 Oct 2021 10:43:56 +0200},
biburl = {https://dblp.org/rec/conf/zum/Bowen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen97a,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Michael G. Hinchey and
David Till},
title = {Comp.specification.z and {Z} {FORUM} Frequently Asked Questions},
booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1212},
pages = {425--433},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027300},
doi = {10.1007/BFB0027300},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/Bowen97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/1997,
editor = {Jonathan P. Bowen and
Michael G. Hinchey and
David Till},
title = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1212},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027279},
doi = {10.1007/BFB0027279},
isbn = {3-540-62717-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/tucker97/BowenH97,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
editor = {Allen B. Tucker},
title = {Formal Models and the Specification Process},
booktitle = {The Computer Science and Engineering Handbook},
pages = {2302--2322},
publisher = {{CRC} Press},
year = {1997},
timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/tucker97/BowenH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BowenBDGGHHHJJLPRWZ96,
author = {Jonathan P. Bowen and
Ricky W. Butler and
David L. Dill and
Robert L. Glass and
David Gries and
Anthony Hall and
Michael G. Hinchey and
C. Michael Holloway and
Daniel Jackson and
Cliff B. Jones and
Michael J. Lutz and
David Lorge Parnas and
John M. Rushby and
Jeannette M. Wing and
Pamela Zave},
title = {An Invitation to Formal Methods},
journal = {Computer},
volume = {29},
number = {4},
pages = {16--30},
year = {1996},
url = {https://doi.org/10.1109/MC.1996.488298},
doi = {10.1109/MC.1996.488298},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BowenBDGGHHHJJLPRWZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/Bowen96,
author = {Jonathan P. Bowen},
title = {\emph{Formal methods in knowledge engineering} by M. Aben, University
of Amsterdam, Netherlands, pp 236, {ISBN} 90-5470-028-9},
journal = {Knowl. Eng. Rev.},
volume = {11},
number = {2},
pages = {197--198},
year = {1996},
url = {https://doi.org/10.1017/S0269888900007852},
doi = {10.1017/S0269888900007852},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/Bowen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/Bowen96a,
author = {Jonathan P. Bowen},
title = {\emph{The Knowledge Acquisition and Representation Language, KARL}
by Dieter Fensel, Kluwer Academic, Dordrecht, 1995, pp 238, {ISBN}
0-7923-9601-4, Dfl 195.00 (US{\textdollar} 110.00, {\textsterling}77.00)},
journal = {Knowl. Eng. Rev.},
volume = {11},
number = {4},
pages = {373--374},
year = {1996},
url = {https://doi.org/10.1017/S0269888900008067},
doi = {10.1017/S0269888900008067},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/Bowen96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BowenH95,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {Ten Commandments of Formal Methods},
journal = {Computer},
volume = {28},
number = {4},
pages = {56--63},
year = {1995},
url = {https://doi.org/10.1109/2.375178},
doi = {10.1109/2.375178},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BowenH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BowenH95,
author = {Jonathan P. Bowen and
Mike Hinchey},
title = {Editorial},
journal = {Inf. Softw. Technol.},
volume = {37},
number = {5-6},
pages = {258--259},
year = {1995},
url = {https://doi.org/10.1016/0950-5849(95)90000-4},
doi = {10.1016/0950-5849(95)90000-4},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/BowenH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BowenG95,
author = {Jonathan P. Bowen and
Mike Gordon},
title = {A shallow embedding of {Z} in {HOL}},
journal = {Inf. Softw. Technol.},
volume = {37},
number = {5-6},
pages = {269--276},
year = {1995},
url = {https://doi.org/10.1016/0950-5849(95)99362-Q},
doi = {10.1016/0950-5849(95)99362-Q},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/BowenG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BowenSB95,
author = {Jonathan P. Bowen and
Susan Stepney and
Rosalind Barden},
title = {Annotated {Z} bibliography},
journal = {Inf. Softw. Technol.},
volume = {37},
number = {5-6},
pages = {317--332},
year = {1995},
url = {https://doi.org/10.1016/0950-5849(95)99367-V},
doi = {10.1016/0950-5849(95)99367-V},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/BowenSB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Bowen95,
author = {Jonathan P. Bowen},
title = {Glossary of {Z} notation},
journal = {Inf. Softw. Technol.},
volume = {37},
number = {5-6},
pages = {333--334},
year = {1995},
url = {https://doi.org/10.1016/0950-5849(95)90001-2},
doi = {10.1016/0950-5849(95)90001-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Bowen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BowenH95a,
author = {Jonathan P. Bowen and
Mike Hinchey},
title = {Report on {Z} user meeting {(ZUM} '94)},
journal = {Inf. Softw. Technol.},
volume = {37},
number = {5-6},
pages = {335--336},
year = {1995},
url = {https://doi.org/10.1016/0950-5849(95)99368-W},
doi = {10.1016/0950-5849(95)99368-W},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/BowenH95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BowenH95,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {Seven More Myths of Formal Methods},
journal = {{IEEE} Softw.},
volume = {12},
number = {4},
pages = {34--41},
year = {1995},
url = {https://doi.org/10.1109/52.391826},
doi = {10.1109/52.391826},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BowenH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BreuerB95,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {A PREttier Compiler-Compiler: Generating Higher-order Parsers in {C}},
journal = {Softw. Pract. Exp.},
volume = {25},
number = {11},
pages = {1263--1297},
year = {1995},
url = {https://doi.org/10.1002/spe.4380251106},
doi = {10.1002/SPE.4380251106},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BreuerB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen95,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {Select {Z} Bibliography},
booktitle = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {967},
pages = {527--560},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60271-2\_143},
doi = {10.1007/3-540-60271-2\_143},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/Bowen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen95a,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {Comp.specification.z and {Z} {FORUM} Frequently Asked Questions},
booktitle = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {967},
pages = {561--569},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60271-2\_144},
doi = {10.1007/3-540-60271-2\_144},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/Bowen95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/1995,
editor = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {967},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60271-2},
doi = {10.1007/3-540-60271-2},
isbn = {3-540-60271-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JifengB94,
author = {Jifeng He and
Jonathan P. Bowen},
title = {Specification, Verification and Prototyping of an Optimized Compiler},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6},
pages = {643--658},
year = {1994},
url = {https://doi.org/10.1007/BF03259390},
doi = {10.1007/BF03259390},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JifengB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BreuerB94,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {Decompilation: The Enumeration of Types and Grammars},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1613--1647},
year = {1994},
url = {https://doi.org/10.1145/186025.186093},
doi = {10.1145/186025.186093},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BreuerB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BowenH94,
author = {Jonathan P. Bowen and
Michael G. Hinchey},
editor = {Maurice Naftalin and
B. Tim Denvir and
Miquel Bertran},
title = {Seven More Myths of Formal Methods},
booktitle = {{FME} '94: Industrial Benefit of Formal Methods, Second International
Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {873},
pages = {105--117},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58555-9\_91},
doi = {10.1007/3-540-58555-9\_91},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BowenH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BowenG94,
author = {Jonathan P. Bowen and
Michael J. C. Gordon},
editor = {Jonathan P. Bowen and
J. Anthony Hall},
title = {Z and {HOL}},
booktitle = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings},
series = {Workshops in Computing},
pages = {141--167},
publisher = {Springer/BCS},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3452-7\_9},
doi = {10.1007/978-1-4471-3452-7\_9},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/BowenG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BreuerB94,
author = {Peter T. Breuer and
Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
J. Anthony Hall},
title = {Towards Correct Executable Semantics for {Z}},
booktitle = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings},
series = {Workshops in Computing},
pages = {185--209},
publisher = {Springer/BCS},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3452-7\_11},
doi = {10.1007/978-1-4471-3452-7\_11},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/BreuerB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen94,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
J. Anthony Hall},
title = {Select {Z} Bibliography},
booktitle = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings},
series = {Workshops in Computing},
pages = {359--396},
publisher = {Springer/BCS},
year = {1994},
timestamp = {Tue, 11 Feb 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/Bowen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen94a,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
J. Anthony Hall},
title = {Comp.specification.z and {Z} {FORUM} Frequently Asked Questions},
booktitle = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings},
series = {Workshops in Computing},
pages = {397--403},
publisher = {Springer/BCS},
year = {1994},
timestamp = {Tue, 11 Feb 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/Bowen94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/1994,
editor = {Jonathan P. Bowen and
J. Anthony Hall},
title = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings},
series = {Workshops in Computing},
publisher = {Springer/BCS},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3452-7},
doi = {10.1007/978-1-4471-3452-7},
isbn = {3-540-19884-9},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BowenS93,
author = {Jonathan P. Bowen and
Victoria Stavridou},
title = {Safety-critical systems, formal methods and standards},
journal = {Softw. Eng. J.},
volume = {8},
number = {4},
pages = {189--209},
year = {1993},
url = {https://doi.org/10.1049/sej.1993.0025},
doi = {10.1049/SEJ.1993.0025},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/BowenS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BowenBL93,
author = {Jonathan P. Bowen and
Peter T. Breuer and
Kevin Lano},
title = {A compendium of formal techniques for software maintenance},
journal = {Softw. Eng. J.},
volume = {8},
number = {5},
pages = {253--262},
year = {1993},
url = {https://doi.org/10.1049/sej.1993.0031},
doi = {10.1049/SEJ.1993.0031},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/BowenBL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Bowen93,
author = {Jonathan P. Bowen},
title = {Report on {Z} user meeting : 7th Annual User Meeting (ZUM'92) Department
of Trade and Industry (DTI), London, {UK} 14-15 December 1992},
journal = {Inf. Softw. Technol.},
volume = {35},
number = {10},
pages = {613},
year = {1993},
url = {https://doi.org/10.1016/0950-5849(93)90037-4},
doi = {10.1016/0950-5849(93)90037-4},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Bowen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BowenBL93,
author = {Jonathan P. Bowen and
Peter T. Breuer and
Kevin Lano},
title = {Formal specifications in software maintenance: from code to Z\({}^{\mbox{++}}\)
and back again},
journal = {Inf. Softw. Technol.},
volume = {35},
number = {11-12},
pages = {679--690},
year = {1993},
url = {https://doi.org/10.1016/0950-5849(93)90083-F},
doi = {10.1016/0950-5849(93)90083-F},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/BowenBL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/Bowen93,
author = {Jonathan P. Bowen},
title = {From programs to object code and back again using logic programming:
Compilation and decompilation},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {5},
number = {4},
pages = {205--234},
year = {1993},
url = {https://doi.org/10.1002/smr.4360050403},
doi = {10.1002/SMR.4360050403},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/Bowen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/JifengPB93,
author = {Jifeng He and
Ian Page and
Jonathan P. Bowen},
editor = {George J. Milne and
Laurence Pierre},
title = {Towards a Provably Correct Hardware Implementation of Occam},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {214--225},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021726},
doi = {10.1007/BFB0021726},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/JifengPB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BowenOFR93,
author = {Jonathan P. Bowen and
Ernst{-}R{\"{u}}diger Olderog and
Martin Fr{\"{a}}nzle and
Anders P. Ravn},
title = {Developing Correct Systems},
booktitle = {Fifth Euromicro Workshop on Real-Time Systems, {RTS} 1993, Oulu, Finland,
June 22-24, 1993. Proceedings},
pages = {176--187},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/EMWRT.1993.639088},
doi = {10.1109/EMWRT.1993.639088},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/BowenOFR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BowenS93,
author = {Jonathan P. Bowen and
Victoria Stavridou},
editor = {Jim Woodcock and
Peter Gorm Larsen},
title = {The Industrial Take-up of Formal Methods in Safety-Critical and Other
Areas: {A} Perspective},
booktitle = {{FME} '93: Industrial-Strength Formal Methods, First International
Symposium of Formal Methods Europe, Odense, Denmark, April 19-23,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {670},
pages = {183--195},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0024646},
doi = {10.1007/BFB0024646},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BowenS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/1992,
editor = {Jonathan P. Bowen and
John E. Nicholls},
title = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
series = {Workshops in Computing},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3556-2},
doi = {10.1007/978-1-4471-3556-2},
isbn = {3-540-19818-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgf/Bowen92,
author = {Jonathan P. Bowen},
title = {{X:} Why Z?},
journal = {Comput. Graph. Forum},
volume = {11},
number = {4},
pages = {221--234},
year = {1992},
url = {https://doi.org/10.1111/1467-8659.1140221},
doi = {10.1111/1467-8659.1140221},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cgf/Bowen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/HeB92,
author = {Jifeng He and
Jonathan P. Bowen},
title = {Time interval semantics and implementation of a real-time programming
language},
booktitle = {Fourth Euromicro workshop on Real-Time Systems, {RTS} 1992, Athens,
Greece, June 3-5, 1992, Proceedings},
pages = {110--115},
publisher = {{IEEE}},
year = {1992},
url = {https://doi.org/10.1109/EMWRT.1992.637480},
doi = {10.1109/EMWRT.1992.637480},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/HeB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BreuerB92,
author = {Peter T. Breuer and
Jonathan P. Bowen},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Decompilation \emph{is} the Efficient Enumeration of Types},
booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
pages = {255--273},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/sas/BreuerB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen92,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
John E. Nicholls},
title = {Select {Z} Bibliography},
booktitle = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
series = {Workshops in Computing},
pages = {309--341},
publisher = {Springer},
year = {1992},
timestamp = {Thu, 14 Oct 2021 10:43:56 +0200},
biburl = {https://dblp.org/rec/conf/zum/Bowen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen92a,
author = {Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
John E. Nicholls},
title = {Comp.specification.z and {Z} {FORUM} Frequently Asked Questions},
booktitle = {Z User Workshop, London, UK, 14-15 December 1992, Proceedings},
series = {Workshops in Computing},
pages = {342--347},
publisher = {Springer},
year = {1992},
timestamp = {Thu, 20 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/Bowen92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen91,
author = {Jonathan P. Bowen},
title = {Constructing predictable real time systems: Halang, {W} {A} and Stoyenko,
{A} {D} Kluwer Academic {(1991)} {\textsterling}49.75, {\textdollar}75.00
{ISBN} 0-7923-9202-7},
journal = {Microprocess. Microsystems},
volume = {15},
number = {10},
pages = {567--568},
year = {1991},
url = {https://doi.org/10.1016/0141-9331(91)90039-I},
doi = {10.1016/0141-9331(91)90039-I},
timestamp = {Tue, 08 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/Bowen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Bowen91,
author = {Jonathan P. Bowen},
editor = {Robert Giegerich and
Susan L. Graham},
title = {From Programs to Object Code using Logic and Logic Programming},
booktitle = {Code Generation - Concepts, Tools, Techniques, Workshop on Code Generation,
Dagstuhl, Germany, 20-24 May 1991},
series = {Workshops in Computing},
pages = {173--192},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3501-2\_10},
doi = {10.1007/978-1-4471-3501-2\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Bowen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen91,
author = {Jonathan P. Bowen},
editor = {John E. Nicholls},
title = {Select {Z} Bibliography and Frequently Asked Questions},
booktitle = {Z User Workshop, York, UK, 16-17 December 1991, Proceedings},
series = {Workshops in Computing},
pages = {367--401},
publisher = {Springer},
year = {1991},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/zum/Bowen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen90,
author = {Jonathan P. Bowen},
title = {Formal specification of the ProCoS/safemos instruction set},
journal = {Microprocess. Microsystems},
volume = {14},
number = {10},
pages = {631--643},
year = {1990},
url = {https://doi.org/10.1016/0141-9331(90)90038-W},
doi = {10.1016/0141-9331(90)90038-W},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/Bowen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BowenJP90,
author = {Jonathan P. Bowen and
Jifeng He and
Paritosh K. Pandya},
editor = {Pierre Deransart and
Jan Maluszynski},
title = {An Approach to Verifiable Compiling Specification and Prototyping},
booktitle = {Programming Language Implementation and Logic Programming, 2nd International
Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {456},
pages = {45--59},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0024175},
doi = {10.1007/BFB0024175},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plilp/BowenJP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen90,
author = {Jonathan P. Bowen},
editor = {John E. Nicholls},
title = {Selected {Z} Bibliography},
booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
Meeting, 17-18 December 1990},
series = {Workshops in Computing},
pages = {353--373},
publisher = {Springer},
year = {1990},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/zum/Bowen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen90a,
author = {Jonathan P. Bowen},
editor = {John E. Nicholls},
title = {Z {FORUM} Electronic Mailing List},
booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
Meeting, 17-18 December 1990},
series = {Workshops in Computing},
pages = {378--378},
publisher = {Springer},
year = {1990},
timestamp = {Tue, 25 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/Bowen90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Bowen90b,
author = {Jonathan P. Bowen},
editor = {John E. Nicholls},
title = {{PRG} Archive Server},
booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
Meeting, 17-18 December 1990},
series = {Workshops in Computing},
pages = {379--379},
publisher = {Springer},
year = {1990},
timestamp = {Tue, 25 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/Bowen90b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Bowen89,
author = {Jonathan P. Bowen},
title = {POS-formal specification of a Unix tool},
journal = {Softw. Eng. J.},
volume = {4},
number = {1},
pages = {67--72},
year = {1989},
url = {https://doi.org/10.1049/sej.1989.0008},
doi = {10.1049/SEJ.1989.0008},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/Bowen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen88,
author = {Jonathan P. Bowen},
title = {More books about assembler and 16-bit micros: Krantz, {D} and Stanley,
{J68000} assembly language: techniques for building programs Addison-Wesley,
Reading, MA, {USA} {(1986)} {\textsterling}15.95 pp 402},
journal = {Microprocess. Microsystems},
volume = {12},
number = {2},
pages = {119},
year = {1988},
url = {https://doi.org/10.1016/0141-9331(88)90108-1},
doi = {10.1016/0141-9331(88)90108-1},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/Bowen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen88a,
author = {Jonathan P. Bowen},
title = {More books about assembler and 16-bit micros: Turpin, {R} WThe 8086
and assembly language programming {BSP} Professional Books, Oxford,
{UK} {(1987)} {\textsterling}12.95 pp 259},
journal = {Microprocess. Microsystems},
volume = {12},
number = {2},
pages = {119},
year = {1988},
url = {https://doi.org/10.1016/0141-9331(88)90109-3},
doi = {10.1016/0141-9331(88)90109-3},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/Bowen88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen88b,
author = {Jonathan P. Bowen},
title = {The specification of computer programs: Turski, {W} {M} and Maibaum,
{T} {S} {E} addison-Wesley, Workingham, {UK} {(1987)} {\textsterling}18.95
pp 278},
journal = {Microprocess. Microsystems},
volume = {12},
number = {3},
pages = {175},
year = {1988},
url = {https://doi.org/10.1016/0141-9331(88)90023-3},
doi = {10.1016/0141-9331(88)90023-3},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/Bowen88b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/Bowen87,
author = {Jonathan P. Bowen},
title = {Formal specification and documentation of microprocessor instruction
sets},
journal = {Microprocess. Microprogramming},
volume = {21},
number = {1-5},
pages = {223--230},
year = {1987},
url = {https://doi.org/10.1016/0165-6074(87)90042-1},
doi = {10.1016/0165-6074(87)90042-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/Bowen87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/Bowen86,
author = {Jonathan P. Bowen},
title = {Design of a Simple Cambridge Ring Interface Adapter},
journal = {Comput. Syst. Sci. Eng.},
volume = {1},
number = {2},
pages = {93--98},
year = {1986},
timestamp = {Wed, 05 May 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csse/Bowen86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/WalterB86,
author = {Colin D. Walter and
Jonathan P. Bowen},
title = {Microprocessor interfacing and communication using the Intel {SDK-85:}
Borivoje Furht and Himanshu Parikh Prentice-Hall Reston, Englewood
Cliffs, NJ, {USA} (April 1986) {\textsterling}31.00 pp 499},
journal = {Microprocess. Microsystems},
volume = {10},
number = {9},
pages = {513},
year = {1986},
url = {https://doi.org/10.1016/0141-9331(86)90197-3},
doi = {10.1016/0141-9331(86)90197-3},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/WalterB86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/GimsonBG86,
author = {Roger B. Gimson and
Jonathan P. Bowen and
Tim Gleeson},
title = {Distributed computing software project},
booktitle = {Proceedings of the 2nd {ACM} {SIGOPS} European Workshop, Amsterdam,
Netherlands, September 8-10, 1986},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/503956.503978},
doi = {10.1145/503956.503978},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/GimsonBG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen85,
author = {Jonathan P. Bowen},
title = {Software/hardware integration on microprocessors},
journal = {Microprocess. Microsystems},
volume = {9},
number = {1},
pages = {8--14},
year = {1985},
url = {https://doi.org/10.1016/0141-9331(85)90209-1},
doi = {10.1016/0141-9331(85)90209-1},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/Bowen85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen85a,
author = {Jonathan P. Bowen},
title = {6800/6802 microprocessor emulation adapter},
journal = {Microprocess. Microsystems},
volume = {9},
number = {1},
pages = {24--26},
year = {1985},
url = {https://doi.org/10.1016/0141-9331(85)90213-3},
doi = {10.1016/0141-9331(85)90213-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/Bowen85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen85b,
author = {Jonathan P. Bowen},
title = {Microprocessors: hardware and applications: {A} Veronis, Reston Publishing
Co., Reston, VA, {USA} {(1984)} {\textsterling}51.45 pp 928},
journal = {Microprocess. Microsystems},
volume = {9},
number = {2},
pages = {88},
year = {1985},
url = {https://doi.org/10.1016/0141-9331(85)90433-8},
doi = {10.1016/0141-9331(85)90433-8},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/Bowen85b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen85c,
author = {Jonathan P. Bowen},
title = {Algorithms, software and hardware of parallel computers: {J} Miklo{\v{s}}ko
and {V} {E} Kotov (eds)Springer-Verlag, Berlin, {FRG} {(1984)} {DM}
89 pp 395},
journal = {Microprocess. Microsystems},
volume = {9},
number = {3},
pages = {138--139},
year = {1985},
url = {https://doi.org/10.1016/0141-9331(85)90363-1},
doi = {10.1016/0141-9331(85)90363-1},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/Bowen85c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen85d,
author = {Jonathan P. Bowen},
title = {Standard microprocessor programming cards},
journal = {Microprocess. Microsystems},
volume = {9},
number = {6},
pages = {274--289},
year = {1985},
url = {https://doi.org/10.1016/0141-9331(85)90116-4},
doi = {10.1016/0141-9331(85)90116-4},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/Bowen85d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen85e,
author = {Jonathan P. Bowen},
title = {Microprocessor {I/O} emulation facilities},
journal = {Microprocess. Microsystems},
volume = {9},
number = {8},
pages = {386--393},
year = {1985},
url = {https://doi.org/10.1016/0141-9331(85)90053-5},
doi = {10.1016/0141-9331(85)90053-5},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/Bowen85e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen85f,
author = {Jonathan P. Bowen},
title = {Microprocessors: {O} {A} {R} ComillieEPO Applied Technology Series,
Vol 8, Pergamon, Oxford, {UK} {(1985)} {\textsterling}57.00 pp 442},
journal = {Microprocess. Microsystems},
volume = {9},
number = {8},
pages = {413--414},
year = {1985},
url = {https://doi.org/10.1016/0141-9331(85)90059-6},
doi = {10.1016/0141-9331(85)90059-6},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/Bowen85f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Bowen85g,
author = {Jonathan P. Bowen},
title = {A user-friendly interface adapter},
journal = {Microprocess. Microsystems},
volume = {9},
number = {9},
pages = {432--439},
year = {1985},
url = {https://doi.org/10.1016/0141-9331(85)90080-8},
doi = {10.1016/0141-9331(85)90080-8},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/Bowen85g.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.
last updated on 2023-12-28 00:51 CET 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:
