Search dblp for Publications

export results for "Simon Fowler"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2404-05479,
  author       = {Simon Fowler and
                  Philipp Haller and
                  Roland Kuhn and
                  Sam Lindley and
                  Alceste Scalas and
                  Vasco T. Vasconcelos},
  editor       = {Diana Costa and
                  Raymond Hu},
  title        = {Behavioural Types for Heterogeneous Systems (Position Paper)},
  booktitle    = {Proceedings 15th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, PLACES@ETAPS 2024, Luxembourg
                  City, Luxembourg, 6th April 2024},
  series       = {{EPTCS}},
  volume       = {401},
  pages        = {37--48},
  year         = {2024},
  url          = {https://doi.org/10.4204/EPTCS.401.4},
  doi          = {10.4204/EPTCS.401.4},
  timestamp    = {Wed, 12 Jun 2024 17:01:20 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-05479.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FowlerKDLM23,
  author       = {Simon Fowler and
                  Wen Kokke and
                  Ornela Dardha and
                  Sam Lindley and
                  J. Garrett Morris},
  title        = {Separating Sessions Smoothly},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {19},
  number       = {3},
  year         = {2023},
  url          = {https://doi.org/10.46298/lmcs-19(3:3)2023},
  doi          = {10.46298/LMCS-19(3:3)2023},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/FowlerKDLM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FowlerASGT23,
  author       = {Simon Fowler and
                  Duncan Paul Attard and
                  Franciszek Sowul and
                  Simon J. Gay and
                  Phil Trinder},
  title        = {Special Delivery: Programming with Mailbox Types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{ICFP}},
  pages        = {78--107},
  year         = {2023},
  url          = {https://doi.org/10.1145/3607832},
  doi          = {10.1145/3607832},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/FowlerASGT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2308-08920,
  editor       = {Cl{\'{e}}ment Aubert and
                  Cinzia Di Giusto and
                  Simon Fowler and
                  Larisa Safina},
  title        = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023,
                  Lisbon, Portugal, 19th June 2023},
  series       = {{EPTCS}},
  volume       = {383},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.383},
  doi          = {10.4204/EPTCS.383},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-08920.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-12935,
  author       = {Simon Fowler and
                  Duncan Paul Attard and
                  Franciszek Sowul and
                  Simon J. Gay and
                  Phil Trinder},
  title        = {Special Delivery: Programming with Mailbox Types (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/2306.12935},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.12935},
  doi          = {10.48550/ARXIV.2306.12935},
  eprinttype    = {arXiv},
  eprint       = {2306.12935},
  timestamp    = {Tue, 27 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-12935.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/TarnaiFGK22,
  author       = {Tibor Tarnai and
                  Patrick W. Fowler and
                  Simon D. Guest and
                  Fl{\'{o}}ri{\'{a}}n Kov{\'{a}}cs},
  title        = {Equiauxetic Hinged Archimedean Tilings},
  journal      = {Symmetry},
  volume       = {14},
  number       = {2},
  pages        = {232},
  year         = {2022},
  url          = {https://doi.org/10.3390/sym14020232},
  doi          = {10.3390/SYM14020232},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/symmetry/TarnaiFGK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/0001GC22,
  author       = {Simon Fowler and
                  Vashti Galpin and
                  James Cheney},
  editor       = {Bernhard Scholz and
                  Yukiyoshi Kameyama},
  title        = {Language-Integrated Query for Temporal Data},
  booktitle    = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
                  Generative Programming: Concepts and Experiences, {GPCE} 2022, Auckland,
                  New Zealand, December 6-7, 2022},
  pages        = {5--19},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3564719.3568690},
  doi          = {10.1145/3564719.3568690},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gpce/0001GC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-12077,
  author       = {Simon Fowler and
                  Vashti Galpin and
                  James Cheney},
  title        = {Language-Integrated Query for Temporal Data (Extended version)},
  journal      = {CoRR},
  volume       = {abs/2210.12077},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.12077},
  doi          = {10.48550/ARXIV.2210.12077},
  eprinttype    = {arXiv},
  eprint       = {2210.12077},
  timestamp    = {Tue, 25 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-12077.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/00020DG21,
  author       = {Paul Harvey and
                  Simon Fowler and
                  Ornela Dardha and
                  Simon J. Gay},
  title        = {Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
                  (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {7},
  number       = {2},
  pages        = {08:1--08:2},
  year         = {2021},
  url          = {https://doi.org/10.4230/DARTS.7.2.8},
  doi          = {10.4230/DARTS.7.2.8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/00020DG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdc/FowlerHSC21,
  author       = {Simon Fowler and
                  Simon D. Harding and
                  Joanna L. Sharman and
                  James Cheney},
  title        = {Cross-tier Web Programming for Curated Databases: a Case Study},
  journal      = {Int. J. Digit. Curation},
  volume       = {16},
  number       = {1},
  pages        = {21},
  year         = {2021},
  url          = {https://doi.org/10.2218/ijdc.v16i1.735},
  doi          = {10.2218/IJDC.V16I1.735},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijdc/FowlerHSC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcde/FowlerGO21,
  author       = {Patrick W. Fowler and
                  Simon D. Guest and
                  John C. Owen},
  title        = {Applications of symmetry in point-line-plane frameworks for {CAD}},
  journal      = {J. Comput. Des. Eng.},
  volume       = {8},
  number       = {2},
  pages        = {615--637},
  year         = {2021},
  url          = {https://doi.org/10.1093/jcde/qwab002},
  doi          = {10.1093/JCDE/QWAB002},
  timestamp    = {Tue, 15 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcde/FowlerGO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001KDLM21,
  author       = {Simon Fowler and
                  Wen Kokke and
                  Ornela Dardha and
                  Sam Lindley and
                  J. Garrett Morris},
  editor       = {Serge Haddad and
                  Daniele Varacca},
  title        = {Separating Sessions Smoothly},
  booktitle    = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
                  August 24-27, 2021, Virtual Conference},
  series       = {LIPIcs},
  volume       = {203},
  pages        = {36:1--36:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.36},
  doi          = {10.4230/LIPICS.CONCUR.2021.36},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/0001KDLM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/00020DG21,
  author       = {Paul Harvey and
                  Simon Fowler and
                  Ornela Dardha and
                  Simon J. Gay},
  editor       = {Anders M{\o}ller and
                  Manu Sridharan},
  title        = {Multiparty Session Types for Safe Runtime Adaptation in an Actor Language},
  booktitle    = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021,
                  July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {194},
  pages        = {10:1--10:30},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.10},
  doi          = {10.4230/LIPICS.ECOOP.2021.10},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/00020DG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2021,
  editor       = {Elias Castegren and
                  Joeri De Koster and
                  Simon Fowler},
  title        = {{AGERE} 2021: Proceedings of the 11th {ACM} {SIGPLAN} International
                  Workshop on Programming Based on Actors, Agents, and Decentralized
                  Control, Virtual Event / Chicago, IL, USA, 17 October 2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3486601},
  doi          = {10.1145/3486601},
  isbn         = {978-1-4503-9104-7},
  timestamp    = {Thu, 11 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agere/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06973,
  author       = {Paul Harvey and
                  Simon Fowler and
                  Ornela Dardha and
                  Simon J. Gay},
  title        = {Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
                  (Extended version)},
  journal      = {CoRR},
  volume       = {abs/2105.06973},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.06973},
  eprinttype    = {arXiv},
  eprint       = {2105.06973},
  timestamp    = {Tue, 06 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-06973.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-08996,
  author       = {Simon Fowler and
                  Wen Kokke and
                  Ornela Dardha and
                  Sam Lindley and
                  J. Garrett Morris},
  title        = {Separating Sessions Smoothly},
  journal      = {CoRR},
  volume       = {abs/2105.08996},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.08996},
  eprinttype    = {arXiv},
  eprint       = {2105.08996},
  timestamp    = {Mon, 31 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-08996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/000120,
  author       = {Simon Fowler},
  title        = {Model-View-Update-Communicate: Session Types Meet the Elm Architecture
                  (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {6},
  number       = {2},
  pages        = {13:1--13:2},
  year         = {2020},
  url          = {https://doi.org/10.4230/DARTS.6.2.13},
  doi          = {10.4230/DARTS.6.2.13},
  timestamp    = {Fri, 06 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/darts/000120.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdc/FowlerHSC20,
  author       = {Simon Fowler and
                  Simon D. Harding and
                  Joanna L. Sharman and
                  James Cheney},
  title        = {Cross-tier Web Programming for Curated Databases: a Case Study},
  journal      = {Int. J. Digit. Curation},
  volume       = {15},
  number       = {1},
  pages        = {1--15},
  year         = {2020},
  url          = {https://doi.org/10.2218/ijdc.v15i1.717},
  doi          = {10.2218/IJDC.V15I1.717},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijdc/FowlerHSC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/TurroAMGGSASFTS20,
  author       = {Ernest Turro and
                  William J. Astle and
                  Karyn Megy and
                  Stefan Gr{\"{a}}f and
                  Daniel Greene and
                  Olga Shamardina and
                  Hana Lango Allen and
                  Alba Sanchis{-}Juan and
                  Mattia Frontini and
                  Chantal Thys and
                  Jonathan Stephens and
                  Rutendo Mapeta and
                  Oliver S. Burren and
                  Kate Downes and
                  Matthias Haimel and
                  Salih Tuna and
                  Sri V. V. Deevi and
                  Timothy J. Aitman and
                  David L. H. Bennett and
                  Paul Calleja and
                  Keren Carss and
                  Mark J. Caulfield and
                  Patrick F. Chinnery and
                  Peter H. Dixon and
                  Daniel P. Gale and
                  Roger James and
                  Ania Koziell and
                  Michael A. Laffan and
                  Adam P. Levine and
                  Eamonn R. Maher and
                  Hugh S. Markus and
                  Joannella Morales and
                  Nicholas W. Morrell and
                  Andrew D. Mumford and
                  Elizabeth Ormondroyd and
                  Stuart Rankin and
                  Augusto Rendon and
                  Sylvia Richardson and
                  Irene Roberts and
                  Noemi B. A. Roy and
                  Moin A. Saleem and
                  Kenneth G. C. Smith and
                  Hannah Stark and
                  Rhea Y. Y. Tan and
                  Andreas C. Themistocleous and
                  Adrian J. Thrasher and
                  Hugh Watkins and
                  Andrew R. Webster and
                  Martin R. Wilkins and
                  Catherine Williamson and
                  James Whitworth and
                  Sean Humphray and
                  David R. Bentley and
                  Stephen Abbs and
                  Lara Abulhoul and
                  Julian Adlard and
                  Munaza Ahmed and
                  Hana Alachkar and
                  David J. Allsup and
                  Jeff Almeida{-}King and
                  Philip Ancliff and
                  Richard Antrobus and
                  Ruth Armstrong and
                  Gavin Arno and
                  Sofie Ashford and
                  Anthony Attwood and
                  Paul Aurora and
                  Christian Babbs and
                  Chiara Bacchelli and
                  Tamam Bakchoul and
                  Siddharth Banka and
                  Tadbir Bariana and
                  Julian Barwell and
                  Joana Batista and
                  Helen E. Baxendale and
                  Phil L. Beales and
                  Agnieszka Bierzynska and
                  Tina Biss and
                  Maria A. K. Bitner{-}Glindzicz and
                  Graeme C. M. Black and
                  Marta Bleda and
                  Iulia Blesneac and
                  Detlef Bockenhauer and
                  Harm Bogaard and
                  Christian J. Bourne and
                  Sara Boyce and
                  John R. Bradley and
                  Eugene Bragin and
                  Gerome Breen and
                  Paul Brennan and
                  Carole Brewer and
                  Matthew Brown and
                  Andrew C. Browning and
                  Michael J. Browning and
                  Rachel J. Buchan and
                  Matthew S. Buckland and
                  Teofila Bueser and
                  Carmen Bugarin Diz and
                  John Burn and
                  Siobhan O. Burns and
                  Nigel Burrows and
                  Carolyn Campbell and
                  Gerald Carr{-}White and
                  Ruth Casey and
                  Jenny Chambers and
                  John Chambers and
                  Melanie M. Y. Chan and
                  Calvin Cheah and
                  Floria Cheng and
                  Manali Chitre and
                  Martin T. Christian and
                  Colin Church and
                  Jill Clayton{-}Smith and
                  Maureen Cleary and
                  Naomi Clements Brod and
                  Gerry Coghlan and
                  Elizabeth Colby and
                  Trevor R. P. Cole and
                  Janine Collins and
                  Peter W. Collins and
                  Camilla Colombo and
                  Cecilia J. Compton and
                  Robin Condliffe and
                  Stuart A. Cook and
                  H. Terence Cook and
                  Nichola Cooper and
                  Paul A. Corris and
                  Abigail Furnell and
                  Fiona Cunningham and
                  Nicola S. Curry and
                  Antony J. Cutler and
                  Matthew J. Daniels and
                  Mehul Dattani and
                  Louise C. Daugherty and
                  John Davis and
                  Anthony De Soyza and
                  Timothy Dent and
                  Charu Deshpande and
                  Eleanor F. Dewhurst and
                  Sofia Douzgou and
                  Anna M. Drazyk and
                  Elizabeth Drewe and
                  Daniel Duarte and
                  Tina Dutt and
                  J. David M. Edgar and
                  Karen Edwards and
                  William Egner and
                  Melanie N. Ekani and
                  Perry Elliott and
                  Wendy N. Erber and
                  Marie Erwood and
                  Maria C. Estiu and
                  Dafydd Gareth Evans and
                  Gillian Evans and
                  Tamara Everington and
                  M{\'{e}}lanie Eyries and
                  Hiva Fassihi and
                  Remi Favier and
                  Jack Findhammer and
                  Debra Fletcher and
                  Frances A. Flinter and
                  R. Andres Floto and
                  Tom Fowler and
                  James Fox and
                  Amy J. Frary and
                  Courtney E. French and
                  Kathleen Freson and
                  Henning Gall and
                  Vijeya Ganesan and
                  Michael Gattens and
                  Claire Geoghegan and
                  Terence S. A. Gerighty and
                  Ali G. Gharavi and
                  Stefano Ghio and
                  Hossein{-}Ardeschir Ghofrani and
                  J. Simon R. Gibbs and
                  Kate Gibson and
                  Kimberly C. Gilmour and
                  Barbara Girerd and
                  Nicholas S. Gleadall and
                  Sarah Goddard and
                  David B. Goldstein and
                  Keith Gomez and
                  Pavels Gordins and
                  David Gosal and
                  Jodie Graham and
                  Luigi Grassi and
                  Lynn Greenhalgh and
                  Andreas Greinacher and
                  Paolo Gresele and
                  Philip Griffiths and
                  Sofia Grigoriadou and
                  Russell J. Grocock and
                  Detelina Grozeva and
                  Mark Gurnell and
                  Scott Hackett and
                  Charaka Hadinnapola and
                  William M. Hague and
                  Rosie Hague and
                  Matthew Hall and
                  Helen L. Hanson and
                  Eshika Haque and
                  Kirsty Harkness and
                  Andrew R. Harper and
                  Claire L. Harris and
                  Daniel Hart and
                  Ahamad Hassan and
                  Grant Hayman and
                  Alex Henderson and
                  Archana Herwadkar and
                  Jonathan Hoffman and
                  Simon Holden and
                  Rita Horvath and
                  Henry Houlden and
                  Arjan C. Houweling and
                  Luke S. G. E. Howard and
                  Fengyuan Hu and
                  Gavin Hudson and
                  Joseph Hughes and
                  Aarnoud P. Huissoon and
                  Marc Humbert and
                  Sarah Hunter and
                  Matthew E. Hurles and
                  Melita Irving and
                  Louise Izatt and
                  Sally A. Johnson and
                  Stephen Jolles and
                  Jennifer Jolley and
                  Dragana Josifova and
                  Neringa Jurkute and
                  Tim Karten and
                  Johannes Karten and
                  Mary A. Kasanicki and
                  Hanadi Kazkaz and
                  Rashid Kazmi and
                  Peter Kelleher and
                  Anne M. Kelly and
                  Wilf Kelsall and
                  Carly Kempster and
                  David G. Kiely and
                  Nathalie Kingston and
                  Robert Klima and
                  Nils Koelling and
                  Myrto Kostadima and
                  Gabor Kovacs and
                  Roman Kreuzhuber and
                  Taco W. Kuijpers and
                  Ajith Kumar and
                  Dinakantha Kumararatne and
                  Manju A. Kurian and
                  Fiona Lalloo and
                  Michele Lambert and
                  Allan Lawrie and
                  D. Mark Layton and
                  Nick Lench and
                  Claire Lentaigne and
                  Tracy Lester and
                  Rachel Linger and
                  Hilary Longhurst and
                  Lorena E. Lorenzo and
                  Eleni Louka and
                  Paul A. Lyons and
                  Rajiv D. Machado and
                  Robert V. MacKenzie Ross and
                  Bella Madan and
                  Jesmeen Maimaris and
                  Samantha Malka and
                  Sarah Mangles and
                  Kevin J. Marchbank and
                  Stephen Marks and
                  Hanns{-}Ulrich Marschall and
                  Andrew G. Marshall and
                  Jennifer Martin and
                  Mary Mathias and
                  Emma Matthews and
                  Heather Maxwell and
                  Paul McAlinden and
                  Mark I. McCarthy and
                  Harriet McKinney and
                  Aoife McMahon and
                  Stuart Meacham and
                  Adam J. Mead and
                  Ignacio Medina Castello and
                  Sarju G. Mehta and
                  Michel Michaelides and
                  Carolyn Millar and
                  Shehla N. Mohammed and
                  Shahin Moledina and
                  David Montani and
                  Anthony T. Moore and
                  Monika Mozere and
                  Keith W. Muir and
                  Andrea H. Nemeth and
                  William G. Newman and
                  Michael Newnham and
                  Sadia Noorani and
                  Paquita Nurden and
                  Jennifer O'Sullivan and
                  Samya Obaji and
                  Chris Odhams and
                  Steven Okoli and
                  Andrea Olschewski and
                  Horst Olschewski and
                  Kai Ren Ong and
                  S. Helen Oram and
                  Willem H. Ouwehand and
                  Claire Palles and
                  Sofia Papadia and
                  Soo{-}Mi Park and
                  David Parry and
                  Smita Patel and
                  Joan Paterson and
                  Andrew Peacock and
                  Simon H. Pearce and
                  John Peden and
                  Kathelijne Peerlinck and
                  Christopher J. Penkett and
                  Joanna Pepke{-}Zaba and
                  Romina Petersen and
                  Clarissa Pilkington and
                  Kenneth E. S. Poole and
                  Radhika Prathalingam and
                  Bethan Psaila and
                  Angela Pyle and
                  Richard Quinton and
                  Shamima Rahman and
                  Anupama Rao and
                  F. Lucy Raymond and
                  Paula J. Rayner{-}Matthews and
                  Christine Rees and
                  Tara Renton and
                  Christopher J. Rhodes and
                  Andrew S. C. Rice and
                  Alex Richter and
                  Leema Robert and
                  Anthony Rogers and
                  Sarah J. Rose and
                  Robert Ross{-}Russell and
                  Catherine Roughley and
                  Deborah M. Ruddy and
                  Omid Sadeghi{-}Alavijeh and
                  Nilesh J. Samani and
                  Crina Samarghitean and
                  Ravishankar B. Sargur and
                  Robert N. Sarkany and
                  Simon Satchell and
                  Sinisa Savic and
                  John A. Sayer and
                  Genevieve Sayer and
                  Laura Scelsi and
                  Andrew M. Schaefer and
                  Sol Schulman and
                  Richard Scott and
                  Marie Scully and
                  Claire Searle and
                  Werner Seeger and
                  Arjune Sen and
                  W. A. Carrock Sewell and
                  Denis Seyres and
                  Neil Shah and
                  Susan E. Shapiro and
                  Adam C. Shaw and
                  Patrick J. Short and
                  Keith Sibson and
                  Lucy Side and
                  Ilenia Simeoni and
                  Michael A. Simpson and
                  Matthew C. Sims and
                  Suthesh Sivapalaratnam and
                  Damian Smedley and
                  Katherine R. Smith and
                  Katie Snape and
                  Nicole Soranzo and
                  Florent Soubrier and
                  Laura Southgate and
                  Olivera Spasic{-}Boskovic and
                  Simon Staines and
                  Emily Staples and
                  Charles A. Steward and
                  Kathleen E. Stirrups and
                  Alex Stuckey and
                  Jay Suntharalingam and
                  Emilia M. Swietlik and
                  Petros Syrris and
                  R. Campbell Tait and
                  Kate Talks and
                  Katie Tate and
                  John M. Taylor and
                  Jenny C. Taylor and
                  James E. Thaventhiran and
                  Ellen Thomas and
                  David Thomas and
                  Moira J. Thomas and
                  Patrick Thomas and
                  Kate Thomson and
                  Glen Threadgold and
                  Tobias Tilly and
                  Marc Tischkowitz and
                  Catherine Titterton and
                  John A. Todd and
                  Cheng{-}Hock Toh and
                  Bas Tolhuis and
                  Ian P. Tomlinson and
                  Mark Toshner and
                  Matthew Traylor and
                  Carmen Treacy and
                  Paul Treadaway and
                  Richard Trembath and
                  Wojciech Turek and
                  Philip Twiss and
                  Tom Vale and
                  Chris Van Geet and
                  Natalie van Zuydam and
                  Maarten Vandekuilen and
                  Anthony M. Vandersteen and
                  Marta Vazquez{-}Lopez and
                  Julie von Ziegenweidt and
                  Anton Vonk{-}Noordegraaf and
                  Annette Wagner and
                  Quinten Waisfisz and
                  Suellen M. Walker and
                  Neil Walker and
                  Klaudia Walter and
                  James S. Ware and
                  Christopher Watt and
                  Lucy Wedderburn and
                  Wei Wei and
                  Steven B. Welch and
                  Julie Wessels and
                  Sarah K. Westbury and
                  John{-}Paul Westwood and
                  John Wharton and
                  Deborah Whitehorn and
                  Andrew O. M. Wilkie and
                  Brian T. Wilson and
                  Edwin K. S. Wong and
                  Nicholas W. Wood and
                  Yvette Wood and
                  Christopher Geoffrey Woods and
                  Emma R. Woodward and
                  Stephen J. Wort and
                  Austen Worth and
                  Michael Wright and
                  Katherine Yates and
                  Patrick F. K. Yong and
                  Timothy Young and
                  Ping Yu and
                  Patrick Yu{-}Wai{-}Man and
                  Eliska Zlamalova},
  title        = {Whole-genome sequencing of patients with rare diseases in a national
                  health system},
  journal      = {Nat.},
  volume       = {583},
  number       = {7814},
  pages        = {96--102},
  year         = {2020},
  url          = {https://doi.org/10.1038/s41586-020-2434-2},
  doi          = {10.1038/S41586-020-2434-2},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nature/TurroAMGGSASFTS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/0001C0L20,
  author       = {Kwanghoon Choi and
                  James Cheney and
                  Simon Fowler and
                  Sam Lindley},
  title        = {A polymorphic {RPC} calculus},
  journal      = {Sci. Comput. Program.},
  volume       = {197},
  pages        = {102499},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102499},
  doi          = {10.1016/J.SCICO.2020.102499},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/0001C0L20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/000119,
  author       = {Simon Fowler},
  editor       = {Robert Hirschfeld and
                  Tobias Pape},
  title        = {Model-View-Update-Communicate: Session Types Meet the Elm Architecture},
  booktitle    = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
                  November 15-17, 2020, Berlin, Germany (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {166},
  pages        = {14:1--14:28},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.14},
  doi          = {10.4230/LIPICS.ECOOP.2020.14},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/000119.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icls/FowlerLF20,
  author       = {Samuel Fowler and
                  Simon L{\'{e}}onard and
                  Sebastian Fiedler},
  title        = {Visualising the Field: Reviewing Trends in Educational Design Research
                  in Mathematics},
  booktitle    = {Interdisciplinarity in the Learning Sciences: Proceedings of the 14th
                  International Conference of the Learning Sciences, {ICLS} 2020, [Nashville,
                  Tennessee, USA], Online Conference, June 19-23, 2020},
  publisher    = {International Society of the Learning Sciences},
  year         = {2020},
  url          = {https://repository.isls.org/handle/1/6631},
  timestamp    = {Fri, 07 May 2021 15:45:21 +0200},
  biburl       = {https://dblp.org/rec/conf/icls/FowlerLF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-02191,
  author       = {Rudi Horn and
                  Simon Fowler and
                  James Cheney},
  title        = {Language-Integrated Updatable Views (Extended version)},
  journal      = {CoRR},
  volume       = {abs/2003.02191},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.02191},
  eprinttype    = {arXiv},
  eprint       = {2003.02191},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-02191.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03845,
  author       = {Simon Fowler and
                  Simon D. Harding and
                  Joanna L. Sharman and
                  James Cheney},
  title        = {Cross-tier web programming for curated databases: {A} case study},
  journal      = {CoRR},
  volume       = {abs/2003.03845},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.03845},
  eprinttype    = {arXiv},
  eprint       = {2003.03845},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-03845.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Fowler19a,
  author       = {Simon Fowler},
  title        = {Typed concurrent functional programming with channels, actors and
                  sessions},
  school       = {University of Edinburgh, {UK}},
  year         = {2019},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.783659},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Fowler19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FowlerLMD19,
  author       = {Simon Fowler and
                  Sam Lindley and
                  J. Garrett Morris and
                  S{\'{a}}ra Decova},
  title        = {Exceptional asynchronous session types: session types without tiers},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{POPL}},
  pages        = {28:1--28:29},
  year         = {2019},
  url          = {https://doi.org/10.1145/3290341},
  doi          = {10.1145/3290341},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/FowlerLMD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Horn0C19,
  author       = {Rudi Horn and
                  Simon Fowler and
                  James Cheney},
  editor       = {Jurri{\"{e}}n Stutterheim and
                  Wei{-}Ngan Chin},
  title        = {Language-integrated updatable views},
  booktitle    = {{IFL} '19: Implementation and Application of Functional Languages,
                  Singapore, September 25-27, 2019},
  pages        = {13:1--13:12},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3412932.3412945},
  doi          = {10.1145/3412932.3412945},
  timestamp    = {Wed, 21 Jul 2021 16:22:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Horn0C19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-10988,
  author       = {Kwanghoon Choi and
                  James Cheney and
                  Simon Fowler and
                  Sam Lindley},
  title        = {A Polymorphic {RPC} Calculus},
  journal      = {CoRR},
  volume       = {abs/1910.10988},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.10988},
  eprinttype    = {arXiv},
  eprint       = {1910.10988},
  timestamp    = {Wed, 22 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-10988.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-11108,
  author       = {Simon Fowler},
  title        = {Model-View-Update-Communicate: Session Types meet the Elm Architecture},
  journal      = {CoRR},
  volume       = {abs/1910.11108},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.11108},
  eprinttype    = {arXiv},
  eprint       = {1910.11108},
  timestamp    = {Wed, 22 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-11108.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/crl/Walker18,
  author       = {Lizzy Walker},
  title        = {David Thomas, Simon Fowler, and Valerie Johnson. The Silence of the
                  Archive. London: Facet Publishing. 2017. 187p. {\textdollar}80.00
                  {(ISBN} 978-1783301553)},
  journal      = {Coll. Res. Libr.},
  volume       = {79},
  number       = {2},
  pages        = {298--300},
  year         = {2018},
  url          = {https://doi.org/10.5860/crl.79.2.298},
  doi          = {10.5860/CRL.79.2.298},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/crl/Walker18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ires/Maceviciute17c,
  author       = {Elena Maceviciute},
  title        = {Review of: Thomas, David, Fowler, Simon and Johnson, Valerie. The
                  silence of the archive. London: Facet Publishing, 2017},
  journal      = {Inf. Res.},
  volume       = {22},
  number       = {3},
  year         = {2017},
  url          = {http://www.informationr.net/ir/reviews/revs613.html},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ires/Maceviciute17c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FowlerLW17,
  author       = {Simon Fowler and
                  Sam Lindley and
                  Philip Wadler},
  editor       = {Peter M{\"{u}}ller},
  title        = {Mixing Metaphors: Actors as Channels and Channels as Actors},
  booktitle    = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
                  June 19-23, 2017, Barcelona, Spain},
  series       = {LIPIcs},
  volume       = {74},
  pages        = {11:1--11:28},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.11},
  doi          = {10.4230/LIPICS.ECOOP.2017.11},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/FowlerLW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hworkload/TongHBFDH17,
  author       = {Simon Tong and
                  Shaun Helman and
                  Nora Balfe and
                  Camila Fowler and
                  Emma Delmonte and
                  R. Hutchins},
  editor       = {Luca Longo and
                  Maria Chiara Leva},
  title        = {Workload Differences Between On-road and Off-road Manoeuvres for Motorcyclists},
  booktitle    = {Human Mental Workload: Models and Applications - First International
                  Symposium, {H-WORKLOAD} 2017, Dublin, Ireland, June 28-30, 2017, Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {726},
  pages        = {239--250},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61061-0\_16},
  doi          = {10.1007/978-3-319-61061-0\_16},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hworkload/TongHBFDH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Fowler16,
  author       = {Simon Fowler},
  editor       = {Massimo Bartoletti and
                  Ludovic Henrio and
                  Sophia Knight and
                  Hugo Torres Vieira},
  title        = {An Erlang Implementation of Multiparty Session Actors},
  booktitle    = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
                  Heraklion, Greece, 8-9 June 2016},
  series       = {{EPTCS}},
  volume       = {223},
  pages        = {36--50},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.223.3},
  doi          = {10.4204/EPTCS.223.3},
  timestamp    = {Wed, 22 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Fowler16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FowlerLW16,
  author       = {Simon Fowler and
                  Sam Lindley and
                  Philip Wadler},
  title        = {Mixing Metaphors: Actors as Channels and Channels as Actors},
  journal      = {CoRR},
  volume       = {abs/1611.06276},
  year         = {2016},
  url          = {http://arxiv.org/abs/1611.06276},
  eprinttype    = {arXiv},
  eprint       = {1611.06276},
  timestamp    = {Wed, 22 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/FowlerLW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/FowlerDG15,
  author       = {Simon Fowler and
                  Lo{\"{\i}}c Denuzi{\`{e}}re and
                  Adam Granicz},
  editor       = {Enrico Pontelli and
                  Tran Cao Son},
  title        = {Reactive Single-Page Applications with Dynamic Dataflow},
  booktitle    = {Practical Aspects of Declarative Languages - 17th International Symposium,
                  {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9131},
  pages        = {58--73},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19686-2\_5},
  doi          = {10.1007/978-3-319-19686-2\_5},
  timestamp    = {Wed, 22 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/FowlerDG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/FowlerGT14,
  author       = {Patrick W. Fowler and
                  Simon D. Guest and
                  Tibor Tarnai},
  title        = {Symmetry Perspectives on Some Auxetic Body-Bar Frameworks},
  journal      = {Symmetry},
  volume       = {6},
  number       = {2},
  pages        = {368--382},
  year         = {2014},
  url          = {https://doi.org/10.3390/sym6020368},
  doi          = {10.3390/SYM6020368},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/symmetry/FowlerGT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vizsec/FowlerJSSAKL14,
  author       = {J. Joseph Fowler and
                  Thienne M. Johnson and
                  Paolo Simonetto and
                  Michael Schneider and
                  Carlos Acedo and
                  Stephen G. Kobourov and
                  Loukas Lazos},
  editor       = {Kirsten Whitley and
                  Sophie Engle and
                  Lane Harrison and
                  Fabian Fischer and
                  Nicolas Prigent},
  title        = {IMap: visualizing network activity over internet maps},
  booktitle    = {11th Workshop on Visualization for Cyber Security, VizSec 2014, Paris,
                  France, November 10, 2014},
  pages        = {80--87},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2671491.2671501},
  doi          = {10.1145/2671491.2671501},
  timestamp    = {Fri, 27 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vizsec/FowlerJSSAKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/FowlerB13,
  author       = {Simon Fowler and
                  Edwin C. Brady},
  editor       = {Rinus Plasmeijer},
  title        = {Dependent Types for Safe and Secure Web Programming},
  booktitle    = {Proceedings of the 25th Symposium on Implementation and Application
                  of Functional Languages, Nijmegen, The Netherlands, August 28-30,
                  2013},
  pages        = {49},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2620678.2620683},
  doi          = {10.1145/2620678.2620683},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/FowlerB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehealth/FowlerSHLK11,
  author       = {David Fowler and
                  Martin Szomszor and
                  Simon Hammond and
                  John Lawrenson and
                  Patty Kostkova},
  editor       = {Patty Kostkova and
                  Martin Szomszor and
                  David Fowler},
  title        = {Engagement in Online Medical Communities of Practice in Healthcare:
                  Analysis of Messages and Social Networks},
  booktitle    = {Electronic Healthcare - 4th International Conference, eHealth 2011,
                  M{\'{a}}laga, Spain, November 21-23, 2011, Revised Selected Papers},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {91},
  pages        = {154--157},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29262-0\_22},
  doi          = {10.1007/978-3-642-29262-0\_22},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ehealth/FowlerSHLK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/DevittFH06,
  author       = {Simon J. Devitt and
                  Austin G. Fowler and
                  Lloyd C. L. Hollenberg},
  title        = {Robustness of Shor's algorithm},
  journal      = {Quantum Inf. Comput.},
  volume       = {6},
  number       = {7},
  pages        = {616--629},
  year         = {2006},
  url          = {https://doi.org/10.26421/QIC6.7-5},
  doi          = {10.26421/QIC6.7-5},
  timestamp    = {Wed, 27 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/qic/DevittFH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/FowlerDH04,
  author       = {Austin G. Fowler and
                  Simon J. Devitt and
                  Lloyd C. L. Hollenberg},
  title        = {Implementation of Shor's algorithm on a linear nearest neighbour qubit
                  array},
  journal      = {Quantum Inf. Comput.},
  volume       = {4},
  number       = {4},
  pages        = {237--251},
  year         = {2004},
  url          = {https://doi.org/10.26421/QIC4.4-1},
  doi          = {10.26421/QIC4.4-1},
  timestamp    = {Wed, 27 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/qic/FowlerDH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pakm/WillsFSCKCK04,
  author       = {Gary B. Wills and
                  David W. Fowler and
                  Derek H. Sleeman and
                  Richard Crowder and
                  Simon Kampa and
                  Les Carr and
                  David Knott},
  editor       = {Dimitris Karagiannis and
                  Ulrich Reimer},
  title        = {Issues in Moving to a Semantic Web for a Large Corporation},
  booktitle    = {Practical Aspects of Knowledge Management, 5th International Conference,
                  {PAKM} 2004, Vienna, Austria, December 2-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3336},
  pages        = {378--388},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30545-3\_35},
  doi          = {10.1007/978-3-540-30545-3\_35},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pakm/WillsFSCKCK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Fowler98,
  author       = {Simon Fowler},
  title        = {A development method for trusted real-time kernels},
  school       = {University of York, {UK}},
  year         = {1998},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.298326},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Fowler98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/FowlerW97,
  author       = {Simon Fowler and
                  Andy J. Wellings},
  title        = {Formal development of a real-time kernel},
  booktitle    = {Proceedings of the 18th {IEEE} Real-Time Systems Symposium {(RTSS}
                  '97), December 3-5, 1997, San Francisco, CA, {USA}},
  pages        = {220--229},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/REAL.1997.641284},
  doi          = {10.1109/REAL.1997.641284},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/FowlerW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FowlerW96,
  author       = {Simon Fowler and
                  Andy J. Wellings},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Formal Analysis of a Real-Time Kernel Specification},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {440--458},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_55},
  doi          = {10.1007/3-540-61648-9\_55},
  timestamp    = {Tue, 31 Aug 2021 12:07:12 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/FowlerW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}