Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jim Davies
@inproceedings{DBLP:conf/hicss/ChammasDSDM24,
author = {Lara Chammas and
Owen P. Dwyer and
Emanuel Sallinger and
Jim Davies and
Eva Ja Morris},
editor = {Tung X. Bui},
title = {Care records and healthcare processes: adding context to clinical
codes},
booktitle = {57th Hawaii International Conference on System Sciences, {HICSS} 2024,
Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January
3-6, 2024},
pages = {3697--3706},
publisher = {ScholarSpace},
year = {2024},
url = {https://hdl.handle.net/10125/106829},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/ChammasDSDM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/DwyerCSD23,
author = {Owen P. Dwyer and
Lara Chammas and
Emanuel Sallinger and
Jim Davies},
editor = {Johannes De Smedt and
Pnina Soffer},
title = {Investigating an Ontology-Informed Approach to Event Log Generation
in Healthcare},
booktitle = {Process Mining Workshops - {ICPM} 2023 International Workshops, Rome,
Italy, October 23-27, 2023, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {503},
pages = {235--246},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-56107-8\_18},
doi = {10.1007/978-3-031-56107-8\_18},
timestamp = {Mon, 15 Apr 2024 16:40:33 +0200},
biburl = {https://dblp.org/rec/conf/icpm/DwyerCSD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/DwyerBDSV23,
author = {Owen P. Dwyer and
Teodoro Baldazzi and
Jim Davies and
Emanuel Sallinger and
Adriano Vlad},
editor = {Jan Vanthienen and
Tom{\'{a}}s Kliegr and
Paul Fodor and
Davide Lanti and
D{\"{o}}rthe Arndt and
Egor V. Kostylev and
Theodoros Mitsikas and
Ahmet Soylu},
title = {Reasoning over Health Records with Vadalog: a Rule-based Approach
to Patient Pathways},
booktitle = {Proceedings of the 17th International Rule Challenge and 7th Doctoral
Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer
School {(RW} 2023) and 15th DecisionCAMP 2023 as part of Declarative
{AI} 2023, Oslo, Norway, 18 - 20 September, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3485},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3485/paper9111.pdf},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/DwyerBDSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsci/ParsonsD22,
author = {John{-}Dennis Parsons and
Jim Davies},
title = {The Neural Correlates of Analogy Component Processes},
journal = {Cogn. Sci.},
volume = {46},
number = {3},
year = {2022},
url = {https://doi.org/10.1111/cogs.13116},
doi = {10.1111/COGS.13116},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cogsci/ParsonsD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcom/BreaultOD21,
author = {Vincent Breault and
S{\'{e}}bastien Ouellet and
Jim Davies},
title = {Let {CONAN} tell you a story: Procedural quest generation},
journal = {Entertain. Comput.},
volume = {38},
pages = {100422},
year = {2021},
url = {https://doi.org/10.1016/j.entcom.2021.100422},
doi = {10.1016/J.ENTCOM.2021.100422},
timestamp = {Thu, 17 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcom/BreaultOD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/Tilston0GALHSDW21,
author = {George Tilston and
Richard Williams and
Emily Griffiths and
Sarah Al{-}Adely and
Saskia Lawson{-}Tovey and
William Hulme and
Andrea Short and
Jim Davies and
James Welch and
Niels Peek},
editor = {Paula Otero and
Philip Scott and
Susan Z. Martin and
Elaine Huesing},
title = {Can Researchers Assess the Suitability of Datasets to Answer Their
Research Questions, with Access to Metadata Only?},
booktitle = {{MEDINFO} 2021: One World, One Health - Global Partnership for Digital
Innovation - Proceedings of the 18th World Congress on Medical and
Health Informatics, Virtual Event, 2-4 October 2021},
series = {Studies in Health Technology and Informatics},
volume = {290},
pages = {66--70},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/SHTI220033},
doi = {10.3233/SHTI220033},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medinfo/Tilston0GALHSDW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DaviesWMH20,
author = {Jim Davies and
James Welch and
David Milward and
Steve Harris},
title = {A formal, scalable approach to semantic interoperability},
journal = {Sci. Comput. Program.},
volume = {192},
pages = {102426},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102426},
doi = {10.1016/J.SCICO.2020.102426},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/DaviesWMH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsci/VertolliKD18,
author = {Michael O. Vertolli and
Matthew A. Kelly and
Jim Davies},
title = {Coherence in the Visual Imagination},
journal = {Cogn. Sci.},
volume = {42},
number = {3},
pages = {885--917},
year = {2018},
url = {https://doi.org/10.1111/cogs.12569},
doi = {10.1111/COGS.12569},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cogsci/VertolliKD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-06217,
author = {Vincent Breault and
S{\'{e}}bastien Ouellet and
Jim Davies},
title = {Let {CONAN} tell you a story: Procedural quest generation},
journal = {CoRR},
volume = {abs/1808.06217},
year = {2018},
url = {http://arxiv.org/abs/1808.06217},
eprinttype = {arXiv},
eprint = {1808.06217},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-06217.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbsn/MurdochD17,
author = {Matt Murdoch and
Jim Davies},
title = {Spiritual and Affective Responses to a Physical Church and Corresponding
Virtual Model},
journal = {Cyberpsychology Behav. Soc. Netw.},
volume = {20},
number = {11},
pages = {702--708},
year = {2017},
url = {https://doi.org/10.1089/cyber.2017.0249},
doi = {10.1089/CYBER.2017.0249},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cbsn/MurdochD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/Davies17,
author = {Jim Davies},
editor = {Glenn Gunzelmann and
Andrew Howes and
Thora Tenbrink and
Eddy J. Davelaar},
title = {What is Learning? {A} Definition for Cognitive Science},
booktitle = {Proceedings of the 39th Annual Meeting of the Cognitive Science Society,
CogSci 2017, London, UK, 16-29 July 2017},
publisher = {cognitivesciencesociety.org},
year = {2017},
url = {https://mindmodeling.org/cogsci2017/papers/0062/index.html},
timestamp = {Wed, 17 Apr 2024 12:43:29 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/Davies17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/JenningsD17,
author = {Jay Jennings and
Jim Davies},
editor = {Glenn Gunzelmann and
Andrew Howes and
Thora Tenbrink and
Eddy J. Davelaar},
title = {The Motor System Does Not Use a Curvilinear Impetus Belief: Folk Physics
and Embodied Cognition},
booktitle = {Proceedings of the 39th Annual Meeting of the Cognitive Science Society,
CogSci 2017, London, UK, 16-29 July 2017},
publisher = {cognitivesciencesociety.org},
year = {2017},
url = {https://mindmodeling.org/cogsci2017/papers/0437/index.html},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/JenningsD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-02237,
author = {Michael O. Vertolli and
Jim Davies},
title = {Image Quality Assessment Techniques Show Improved Training and Evaluation
of Autoencoder Generative Adversarial Networks},
journal = {CoRR},
volume = {abs/1708.02237},
year = {2017},
url = {http://arxiv.org/abs/1708.02237},
eprinttype = {arXiv},
eprint = {1708.02237},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-02237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cp/DaviesM16,
author = {Jim Davies and
Kourken Michaelian},
title = {Identifying and individuating cognitive systems: a task-based distributed
cognition alternative to agent-based extended cognition},
journal = {Cogn. Process.},
volume = {17},
number = {3},
pages = {307--319},
year = {2016},
url = {https://doi.org/10.1007/s10339-016-0759-4},
doi = {10.1007/S10339-016-0759-4},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cp/DaviesM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/KellyD16,
author = {Deirdre Kelly and
Jim Davies},
editor = {Anna Papafragou and
Daniel Grodner and
Daniel Mirman and
John C. Trueswell},
title = {The Charon Model of Moral Judgment},
booktitle = {Proceedings of the 38th Annual Meeting of the Cognitive Science Society,
Recognizing and Representing Events, CogSci 2016, Philadelphia, PA,
USA, August 10-13, 2016},
publisher = {cognitivesciencesociety.org},
year = {2016},
url = {https://mindmodeling.org/cogsci2016/papers/0251/index.html},
timestamp = {Thu, 18 Apr 2024 13:03:08 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/KellyD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/ChowdhuryBAD15,
author = {Wahida Chowdhury and
Christopher Burt and
Ahmad Akkaoui and
Jim Davies},
title = {Quanty: An online game for eliciting the wisdom of the crowd},
journal = {Comput. Hum. Behav.},
volume = {49},
pages = {213--219},
year = {2015},
url = {https://doi.org/10.1016/j.chb.2015.03.004},
doi = {10.1016/J.CHB.2015.03.004},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chb/ChowdhuryBAD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DaviesMWW15,
author = {Jim Davies and
David Milward and
Chen{-}Wei Wang and
James Welch},
title = {Formal model-driven engineering of critical information systems},
journal = {Sci. Comput. Program.},
volume = {103},
pages = {88--113},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.11.004},
doi = {10.1016/J.SCICO.2014.11.004},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/DaviesMWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscram/LambBD15,
author = {Katherine Lamb and
Martijn Boosman and
Jim Davies},
editor = {Leysia Palen and
Monika B{\"{u}}scher and
Tina Comes and
Amanda Lee Hughes},
title = {Introspect Model: Competency Assessment in the Virtual World},
booktitle = {12th Proceedings of the International Conference on Information Systems
for Crisis Response and Management, Krystiansand, Norway, May 24-27,
2015},
publisher = {{ISCRAM} Association},
year = {2015},
url = {http://idl.iscram.org/files/katherinelamb/2015/1281\_KatherineLamb\_etal2015.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscram/LambBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DaviesGMMSSW15,
author = {Jim Davies and
Jeremy Gibbons and
Adam Milward and
David Milward and
Seyyed Shah and
Monika Solanki and
James Welch},
editor = {Jeff Gray and
Jonathan Sprinkle and
Juha{-}Pekka Tolvanen and
Matti Rossi},
title = {Domain specific modelling for clinical research},
booktitle = {Proceedings of the Workshop on Domain-Specific Modeling, DSM@SPLASH
2015, Pittsburgh, PA, USA, October 27, 2015},
pages = {1--8},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2846696.2846701},
doi = {10.1145/2846696.2846701},
timestamp = {Mon, 21 Jun 2021 12:26:28 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DaviesGMMSSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DaviesGWC14,
author = {Jim Davies and
Jeremy Gibbons and
James Welch and
Edward Crichton},
title = {Model-driven engineering of information systems: 10 years and 1000
versions},
journal = {Sci. Comput. Program.},
volume = {89},
pages = {88--104},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.02.002},
doi = {10.1016/J.SCICO.2013.02.002},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/DaviesGWC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DaviesGHC14,
author = {Jim Davies and
Jeremy Gibbons and
Steve Harris and
Charles Crichton},
title = {The CancerGrid experience: Metadata-based model-driven engineering
for clinical trials},
journal = {Sci. Comput. Program.},
volume = {89},
pages = {126--143},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.02.010},
doi = {10.1016/J.SCICO.2013.02.010},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/DaviesGHC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agi/VertolliKD14,
author = {Michael O. Vertolli and
Matthew A. Kelly and
Jim Davies},
editor = {Ben Goertzel and
Laurent Orseau and
Javier Snaider},
title = {Compression and Decompression in Cognition},
booktitle = {Artificial General Intelligence - 7th International Conference, {AGI}
2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8598},
pages = {262--265},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09274-4\_30},
doi = {10.1007/978-3-319-09274-4\_30},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agi/VertolliKD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/VertolliBOSGD14,
author = {Michael O. Vertolli and
Vincent Breault and
S{\'{e}}bastien Ouellet and
Sterling Somers and
Jonathan Gagn{\'{e}} and
Jim Davies},
editor = {Paul Bello and
Marcello Guarini and
Marjorie McShane and
Brian Scassellati},
title = {Theoretical Assessment of the {SOILIE} Model of the Human Imagination},
booktitle = {Proceedings of the 36th Annual Meeting of the Cognitive Science Society,
CogSci 2014, Quebec City, Canada, July 23-26, 2014},
publisher = {cognitivesciencesociety.org},
year = {2014},
url = {https://escholarship.org/uc/item/0rk9s0gt},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/VertolliBOSGD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/VertolliD14,
author = {Michael O. Vertolli and
Jim Davies},
editor = {Paul Bello and
Marcello Guarini and
Marjorie McShane and
Brian Scassellati},
title = {Coherence in the Visual Imagination: Local Hill Search Outperforms
Thagard's Connectionist Model},
booktitle = {Proceedings of the 36th Annual Meeting of the Cognitive Science Society,
CogSci 2014, Quebec City, Canada, July 23-26, 2014},
publisher = {cognitivesciencesociety.org},
year = {2014},
url = {https://escholarship.org/uc/item/8jv346j7},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/VertolliD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/EstevezCD14,
author = {Elsa Estevez and
Wojciech Cellary and
Jim Davies},
title = {Introduction to E-Government Education Minitrack},
booktitle = {47th Hawaii International Conference on System Sciences, {HICSS} 2014,
Waikoloa, HI, USA, January 6-9, 2014},
pages = {1926},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/HICSS.2014.243},
doi = {10.1109/HICSS.2014.243},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/EstevezCD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcci/VertolliD14,
author = {Michael O. Vertolli and
Jim Davies},
editor = {Agostinho C. Rosa and
Juan Juli{\'{a}}n Merelo Guerv{\'{o}}s and
Joaquim Filipe},
title = {Coherence Net - {A} New Model of Generative Cognition},
booktitle = {{ECTA} 2014 - Proceedings of the International Conference on Evolutionary
Computation Theory and Applications, part of {IJCCI} 2014, Rome, Italy,
22-24 October, 2014},
pages = {308--313},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005149203080313},
doi = {10.5220/0005149203080313},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcci/VertolliD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/StapletonWDMV14,
author = {Christopher B. Stapleton and
Janet D. Whiteside and
Jim Davies and
Dana S. Mott and
Jennifer Vick},
editor = {Teresa Chambel and
Paula Viana and
V. Michael Bove Jr. and
Sharon Strover and
Graham Thomas},
title = {Transforming Lives Through Story Immersion: Innovation of Aphasia
Rehabilitation Therapy through Storytelling Learning Landscapes},
booktitle = {Proceedings of the 2nd {ACM} International Workshop on Immersive Media
Experiences, ImmersiveMe '14, Orlando, Florida, USA, November 7, 2014},
pages = {29--34},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660579.2660590},
doi = {10.1145/2660579.2660590},
timestamp = {Tue, 06 Nov 2018 16:58:34 +0100},
biburl = {https://dblp.org/rec/conf/mm/StapletonWDMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/MorrisTCHMHDBC13,
author = {Lorna Morris and
Andrew Tsui and
Charles Crichton and
Steve Harris and
Peter Maccallum and
William J. Howat and
Jim Davies and
James D. Brenton and
Carlos Caldas},
title = {A metadata-aware application for remote scoring and exchange of tissue
microarray images},
journal = {{BMC} Bioinform.},
volume = {14},
pages = {147},
year = {2013},
url = {https://doi.org/10.1186/1471-2105-14-147},
doi = {10.1186/1471-2105-14-147},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/MorrisTCHMHDBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/GagneD13,
author = {Jonathan Gagn{\'{e}} and
Jim Davies},
title = {Visuo: {A} model of visuospatial instantiation of quantitative magnitudes},
journal = {Knowl. Eng. Rev.},
volume = {28},
number = {3},
pages = {347--366},
year = {2013},
url = {https://doi.org/10.1017/S0269888913000283},
doi = {10.1017/S0269888913000283},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/GagneD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvcg/MaguireRSDC13,
author = {Eamonn Maguire and
Philippe Rocca{-}Serra and
Susanna{-}Assunta Sansone and
Jim Davies and
Min Chen},
title = {Visual Compression of Workflow Visualizations with Automated Detection
of Macro Motifs},
journal = {{IEEE} Trans. Vis. Comput. Graph.},
volume = {19},
number = {12},
pages = {2576--2585},
year = {2013},
url = {https://doi.org/10.1109/TVCG.2013.225},
doi = {10.1109/TVCG.2013.225},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvcg/MaguireRSDC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/graphicsinterface/LiMD13,
author = {Hua Li and
David Mould and
Jim Davies},
editor = {Faramarz F. Samavati and
Kirstie Hawkey},
title = {Structure and aesthetics in non-photorealistic images},
booktitle = {Graphics Interface 2013, {GI} '13, Regina, SK, Canada, May 29-31,
2013, Proceedings},
pages = {181--188},
publisher = {Canadian Information Processing Society / {ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2532160},
timestamp = {Thu, 12 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/graphicsinterface/LiMD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/JanowskiCD13,
author = {Tomasz Janowski and
Wojciech Cellary and
Jim Davies},
title = {Introduction to Electronic Government Education, Training and Professionalization
Minitrack},
booktitle = {46th Hawaii International Conference on System Sciences, {HICSS} 2013,
Wailea, HI, USA, January 7-10, 2013},
pages = {1662--1663},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/HICSS.2013.406},
doi = {10.1109/HICSS.2013.406},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/JanowskiCD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jist/SolbrigPCD13,
author = {Harold R. Solbrig and
Eric Prud'hommeaux and
Christopher G. Chute and
Jim Davies},
editor = {Wooju Kim and
Ying Ding and
Hong{-}Gee Kim},
title = {A Formal Model for {RDF} Dataset Constraints},
booktitle = {Semantic Technology - Third Joint International Conference, {JIST}
2013, Seoul, South Korea, November 28-30, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8388},
pages = {244--260},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-06826-8\_19},
doi = {10.1007/978-3-319-06826-8\_19},
timestamp = {Fri, 09 Apr 2021 18:53:08 +0200},
biburl = {https://dblp.org/rec/conf/jist/SolbrigPCD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/giq/JanowskiPD12a,
author = {Tomasz Janowski and
Theresa A. Pardo and
Jim Davies},
title = {Erratum to "Government Information Networks - Mapping Electronic
Governance cases through Public Administration concepts" [Government
Information Quarterly 29S1 {(2012)} 1-10]},
journal = {Gov. Inf. Q.},
volume = {29},
number = {2},
pages = {311},
year = {2012},
url = {https://doi.org/10.1016/j.giq.2012.02.001},
doi = {10.1016/J.GIQ.2012.02.001},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/giq/JanowskiPD12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/giq/JanowskiPD12,
author = {Tomasz Janowski and
Theresa A. Pardo and
Jim Davies},
title = {Government Information Networks - Mapping Electronic Governance cases
through Public Administration concepts},
journal = {Gov. Inf. Q.},
volume = {29},
number = {Supplement-1},
pages = {S1--S10},
year = {2012},
url = {https://doi.org/10.1016/j.giq.2011.11.003},
doi = {10.1016/J.GIQ.2011.11.003},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/giq/JanowskiPD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvcg/MaguireRSDC12,
author = {Eamonn Maguire and
Philippe Rocca{-}Serra and
Susanna{-}Assunta Sansone and
Jim Davies and
Min Chen},
title = {Taxonomy-Based Glyph Design - with a Case Study on Visualizing Workflows
of Biological Experiments},
journal = {{IEEE} Trans. Vis. Comput. Graph.},
volume = {18},
number = {12},
pages = {2603--2612},
year = {2012},
url = {https://doi.org/10.1109/TVCG.2012.271},
doi = {10.1109/TVCG.2012.271},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvcg/MaguireRSDC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CliftonGDT12,
author = {David A. Clifton and
Jeremy Gibbons and
Jim Davies and
Lionel Tarassenko},
editor = {Rachel Harrison},
title = {Machine learning and software engineering in health informatics},
booktitle = {Proceedings of the First International Workshop on Realizing {AI}
Synergies in Software Engineering, {RAISE} 2012, Zurich, Switzerland,
June 5, 2012},
pages = {37--41},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/RAISE.2012.6227968},
doi = {10.1109/RAISE.2012.6227968},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CliftonGDT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DaviesGMW12,
author = {Jim Davies and
Jeremy Gibbons and
David Milward and
James Welch},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Compositionality and Refinement in Model-Driven Engineering},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {99--114},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_9},
doi = {10.1007/978-3-642-33296-8\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/DaviesGMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0044,
author = {Chen{-}Wei Wang and
Jim Davies},
editor = {Peter Csaba {\"{O}}lveczky and
Cyrille Artho},
title = {Formal Model-Driven Engineering: Generating Data and Behavioural Components},
booktitle = {Proceedings First International Workshop on Formal Techniques for
Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
2012},
series = {{EPTCS}},
volume = {105},
pages = {100--117},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.105.8},
doi = {10.4204/EPTCS.105.8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-0044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/ComstockJD11,
author = {Craig Comstock and
Zhizhong Jiang and
Jim Davies},
title = {Economies and diseconomies of scale in software development},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {23},
number = {8},
pages = {533--548},
year = {2011},
url = {https://doi.org/10.1002/smr.526},
doi = {10.1002/SMR.526},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/ComstockJD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AboulsamhD11,
author = {Mohammed A. Aboulsamh and
Jim Davies},
editor = {Terry A. Halpin and
Selmin Nurcan and
John Krogstie and
Pnina Soffer and
Erik Proper and
Rainer Schmidt and
Ilia Bider},
title = {A Formal Modeling Approach to Information Systems Evolution and Data
Migration},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 12th
International Conference, {BPMDS} 2011, and 16th International Conference,
{EMMSAD} 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {81},
pages = {383--397},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21759-3\_28},
doi = {10.1007/978-3-642-21759-3\_28},
timestamp = {Fri, 09 Apr 2021 18:46:25 +0200},
biburl = {https://dblp.org/rec/conf/caise/AboulsamhD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/candc/SomersGAD11,
author = {Sterling Somers and
Jonathan Gagn{\'{e}} and
C{\'{e}}sar A. Astudillo and
Jim Davies},
editor = {Ashok K. Goel and
D. Fox Harrell and
Brian Magerko and
Yukari Nagai and
Jane Prophet},
title = {Using semantic similarity to predict angle and distance of objects
in images},
booktitle = {Proceedings of the 8th Conference on Creativity {\&} Cognition,
The High Museum of Art, Atlanta, Georgia, USA, November 3-6, 2011},
pages = {217--222},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2069618.2069655},
doi = {10.1145/2069618.2069655},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/candc/SomersGAD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/SchoenherrTD11,
author = {Jordan R. Schoenherr and
Robert Thomson and
Jim Davies},
editor = {Laura A. Carlson and
Christoph H{\"{o}}lscher and
Thomas F. Shipley},
title = {What Makes an Explanation Believable?: Mechanistic and Anthropomorphic
Explanations of Natural Phenomena},
booktitle = {Proceedings of the 33th Annual Meeting of the Cognitive Science Society,
CogSci 2011, Boston, Massachusetts, USA, July 20-23, 2011},
publisher = {cognitivesciencesociety.org},
year = {2011},
url = {https://mindmodeling.org/cogsci2011/papers/0327/index.html},
timestamp = {Wed, 17 Apr 2024 12:44:29 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/SchoenherrTD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/DaviesGCCHT11,
author = {Jim Davies and
Jeremy Gibbons and
Radu Calinescu and
Charles Crichton and
Steve Harris and
Andrew Tsui},
editor = {Zhiming Liu and
Alan Wassyng},
title = {Form Follows Function - Model-Driven Engineering for Clinical Trials},
booktitle = {Foundations of Health Informatics Engineering and Systems - First
International Symposium, {FHIES} 2011, Johannesburg, South Africa,
August 29-30, 2011. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7151},
pages = {21--38},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32355-3\_2},
doi = {10.1007/978-3-642-32355-3\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fhies/DaviesGCCHT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismar/StapletonD11,
author = {Christopher B. Stapleton and
Jim Davies},
title = {Imagination: The third reality to the virtuality continuum},
booktitle = {10th {IEEE} International Symposium on Mixed and Augmented Reality
- Arts, Media, and Humanities, {ISMAR-AMH} 2011, Basel, Switzerland,
October 26-29, 2011},
pages = {53--60},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISMAR-AMH.2011.6093657},
doi = {10.1109/ISMAR-AMH.2011.6093657},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismar/StapletonD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/AboulsamhD11,
author = {Mohammed A. Aboulsamh and
Jim Davies},
editor = {Ladjel Bellatreche and
Filipe Mota Pinto},
title = {Specification and Verification of Model-Driven Data Migration},
booktitle = {Model and Data Engineering - First International Conference, {MEDI}
2011, {\'{O}}bidos, Portugal, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6918},
pages = {214--225},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24443-8\_23},
doi = {10.1007/978-3-642-24443-8\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/AboulsamhD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AblerCWDH11,
author = {Daniel Abler and
Charles Crichton and
James Welch and
Jim Davies and
Steve Harris},
editor = {Cristina Videira Lopes},
title = {Models for forms},
booktitle = {SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops:
DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, and VMIL'11, Portland,
OR, USA, October 22-27, 2011},
pages = {13--18},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2095050.2095054},
doi = {10.1145/2095050.2095054},
timestamp = {Fri, 11 Feb 2022 13:59:03 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/AblerCWDH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/WangCD11,
author = {Chen{-}Wei Wang and
Alessandra Cavarra and
Jim Davies},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Robert M. Hierons and
Mercedes G. Merayo},
title = {Formal and Model-Based Testing of Concurrent Workflows},
booktitle = {Proceedings of the 11th International Conference on Quality Software,
{QSIC} 2011, Madrid, Spain, July 13-14, 2011},
pages = {252--259},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QSIC.2011.27},
doi = {10.1109/QSIC.2011.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/WangCD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2010,
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19829-8},
doi = {10.1007/978-3-642-19829-8},
isbn = {978-3-642-19828-1},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/RoscoeD11,
author = {A. W. Roscoe and
Jim Davies},
editor = {David A. Padua},
title = {{CSP} (Communicating Sequential Processes)},
booktitle = {Encyclopedia of Parallel Computing},
pages = {478--482},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_186},
doi = {10.1007/978-0-387-09766-4\_186},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/RoscoeD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DaviesG10,
author = {Jim Davies and
Jonathan Gagn{\'{e}}},
title = {Estimating Quantitative Magnitudes Using Semantic Similarity},
booktitle = {Visual Representations and Reasoning, Papers from the 2010 {AAAI}
Workshop, Atlanta, Georgia, USA, July 11, 2010},
series = {{AAAI} Technical Report},
volume = {{WS-10-07}},
publisher = {{AAAI}},
year = {2010},
url = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2059},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DaviesG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/Davies10,
author = {Jim Davies},
editor = {Ashok K. Goel and
Mateja Jamnik and
N. Hari Narayanan},
title = {The Graduate Student Symposium of Diagrams 2010},
booktitle = {Diagrammatic Representation and Inference, 6th International Conference,
Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6170},
pages = {5},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14600-8\_5},
doi = {10.1007/978-3-642-14600-8\_5},
timestamp = {Sun, 02 Jun 2019 21:20:33 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/Davies10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/BellD10,
author = {Jolie Bell and
Jim Davies},
editor = {Ashok K. Goel and
Mateja Jamnik and
N. Hari Narayanan},
title = {Are Pixel Graphs Are Better at Representing Information than Pie Graphs?},
booktitle = {Diagrammatic Representation and Inference, 6th International Conference,
Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6170},
pages = {288--291},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14600-8\_31},
doi = {10.1007/978-3-642-14600-8\_31},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/BellD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/SmithCNFLMMMNBD10,
author = {Connor Smith and
Allen Cybulskie and
Nic Di Noia and
Janine Fitzpatrick and
Jobina Li and
Korey MacDougall and
Xander Miller and
Jeanne{-}Marie Musca and
Jennifer Nutall and
Kathy Van Bentham and
Jim Davies},
editor = {Ashok K. Goel and
Mateja Jamnik and
N. Hari Narayanan},
title = {Modelling English Spatial Preposition Detectors},
booktitle = {Diagrammatic Representation and Inference, 6th International Conference,
Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6170},
pages = {328--330},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14600-8\_44},
doi = {10.1007/978-3-642-14600-8\_44},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/SmithCNFLMMMNBD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/MartinDH10,
author = {Andrew P. Martin and
Jim Davies and
Steve Harris},
title = {Towards a Framework for Security in eScience},
booktitle = {Sixth International Conference on e-Science, e-Science 2010, 7-10
December 2010, Brisbane, QLD, Australia},
pages = {230--237},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/eScience.2010.19},
doi = {10.1109/ESCIENCE.2010.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eScience/MartinDH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/AboulsamhCDW10,
author = {Mohammed A. Aboulsamh and
Edward Crichton and
Jim Davies and
James Welch},
editor = {Juan Trujillo and
Gillian Dobbie and
Hannu Kangassalo and
Sven Hartmann and
Markus Kirchberg and
Matti Rossi and
Iris Reinhartz{-}Berger and
Esteban Zim{\'{a}}nyi and
Flavius Frasincar},
title = {Model-Driven Data Migration},
booktitle = {Advances in Conceptual Modeling - Applications and Challenges, {ER}
2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver,
BC, Canada, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6413},
pages = {285--294},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16385-2\_35},
doi = {10.1007/978-3-642-16385-2\_35},
timestamp = {Wed, 09 Jun 2021 08:38:38 +0200},
biburl = {https://dblp.org/rec/conf/er/AboulsamhCDW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/ShuklaHD10,
author = {Aadya Shukla and
Steve Harris and
Jim Davies},
title = {Semantic Interoperability in Practice},
booktitle = {43rd Hawaii International International Conference on Systems Science
{(HICSS-43} 2010), Proceedings, 5-8 January 2010, Koloa, Kauai, HI,
{USA}},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HICSS.2010.334},
doi = {10.1109/HICSS.2010.334},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/ShuklaHD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/DaviesG10,
author = {Jim Davies and
Jeremy Gibbons},
editor = {Tomasz Janowski and
Hrushikesha Mohanty},
title = {Semantic Frameworks - Meanings in the Architecture},
booktitle = {Distributed Computing and Internet Technology, 6th International Conference,
{ICDCIT} 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5966},
pages = {40--54},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11659-9\_4},
doi = {10.1007/978-3-642-11659-9\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/DaviesG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/AboulsamhD10,
author = {Mohammed A. Aboulsamh and
Jim Davies},
editor = {Jon G. Hall and
Hermann Kaindl and
Luigi Lavazza and
Georg Buchgeher and
Osamu Takaki},
title = {A Metamodel-Based Approach to Information Systems Evolution and Data
Migration},
booktitle = {The Fifth International Conference on Software Engineering Advances,
{ICSEA} 2010, 22-27 August 2010, Nice, France},
pages = {155--161},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSEA.2010.31},
doi = {10.1109/ICSEA.2010.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/AboulsamhD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WangDW10,
author = {Chen{-}Wei Wang and
Jim Davies and
James Welch},
editor = {Jing Liu and
Doron A. Peled and
Bow{-}Yaw Wang and
Farn Wang},
title = {A Guarded Workflow Language and Its Formal Semantics},
booktitle = {4th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2010, Taipei, Taiwan, 25-27 August 2010},
pages = {25--34},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TASE.2010.21},
doi = {10.1109/TASE.2010.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/WangDW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icegov/2010,
editor = {Tomasz Janowski and
Jim Davies},
title = {{ICEGOV} 2010, Proceedings of the 4th International Conference on
Theory and Practice of Electronic Governance, Beijing, China, October
25 - 28, 2010},
series = {{ACM} International Conference Proceeding Series},
volume = {444},
publisher = {{ACM}},
year = {2010},
isbn = {978-1-4503-0058-2},
timestamp = {Tue, 29 Nov 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icegov/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0026677,
author = {Mark Galassi and
Jim Davies and
James Theiler and
Brian Gough and
Gerard Jungman},
title = {{GNU} Scientific Library - Reference Manual, Third Edition, for {GSL}
Version 1.12},
publisher = {Network Theory Ltd},
year = {2009},
url = {http://www.network-theory.co.uk/gsl/manual/},
isbn = {978-0-9546120-7-8},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0026677.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsr/DaviesGN09,
author = {Jim Davies and
Ashok K. Goel and
Nancy J. Nersessian},
title = {A computational model of visual analogies in design},
journal = {Cogn. Syst. Res.},
volume = {10},
number = {3},
pages = {204--215},
year = {2009},
url = {https://doi.org/10.1016/j.cogsys.2008.09.006},
doi = {10.1016/J.COGSYS.2008.09.006},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cogsr/DaviesGN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/DaviesG09,
author = {Jim Davies and
Jeremy Gibbons},
title = {Formal methods for future interoperability},
journal = {{ACM} {SIGCSE} Bull.},
volume = {41},
number = {2},
pages = {60--64},
year = {2009},
url = {https://doi.org/10.1145/1595453.1595463},
doi = {10.1145/1595453.1595463},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigcse/DaviesG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/CrichtonDGHST09,
author = {Charles Crichton and
Jim Davies and
Jeremy Gibbons and
Steve Harris and
Aadya Shukla and
Andrew Tsui},
title = {Semantics-Driven Development for Electronic Government Applications},
booktitle = {42st Hawaii International International Conference on Systems Science
{(HICSS-42} 2009), Proceedings {(CD-ROM} and online), 5-8 January
2009, Waikoloa, Big Island, HI, {USA}},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/HICSS.2009.384},
doi = {10.1109/HICSS.2009.384},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/CrichtonDGHST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CrichtonDGHTB09,
author = {Charles Crichton and
Jim Davies and
Jeremy Gibbons and
Steve Harris and
Andrew Tsui and
James D. Brenton},
title = {Metadata-driven software for clinical trials},
booktitle = {{ICSE} Workshop on Software Engineering in Health Care, {SEHC} 2009,
Vancouver, BC, Canada, May 18-19, 2009},
pages = {1--11},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEHC.2009.5069600},
doi = {10.1109/SEHC.2009.5069600},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CrichtonDGHTB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isdevel/AboulsamhD09,
author = {Mohammed A. Aboulsamh and
Jim Davies},
editor = {William Wei Song and
Shenghua Xu and
Changxuan Wan and
Yuansheng Zhong and
Wita Wojtkowski and
W. Gregory Wojtkowski and
Henry Linger},
title = {Towards a Model-Driven Approach to Information System Evolution},
booktitle = {Information Systems Development, Asian Experiences [Proceedings of
{ISD} 2009, Nanchang, China. September 16-19, 2009]},
pages = {269--280},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-4419-7355-9\_23},
doi = {10.1007/978-1-4419-7355-9\_23},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isdevel/AboulsamhD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icegov/2009,
editor = {Tomasz Janowski and
Jim Davies},
title = {{ICEGOV} 2009, Proceedings of the 3rd International Conference on
Theory and Practice of Electronic Governance, Bogota, Colombia, November
10-13, 2009},
series = {{ACM} International Conference Proceeding Series},
volume = {322},
publisher = {{ACM}},
year = {2009},
isbn = {978-1-60558-663-2},
timestamp = {Wed, 20 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icegov/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/DaviesGY08,
author = {Jim Davies and
Ashok K. Goel and
Patrick W. Yaner},
title = {Proteus: Visuospatial analogy in problem-solving},
journal = {Knowl. Based Syst.},
volume = {21},
number = {7},
pages = {636--654},
year = {2008},
url = {https://doi.org/10.1016/j.knosys.2008.03.035},
doi = {10.1016/J.KNOSYS.2008.03.035},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/DaviesGY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/WelchFD08,
author = {James Welch and
David Faitelson and
Jim Davies},
title = {Automatic maintenance of association invariants},
journal = {Softw. Syst. Model.},
volume = {7},
number = {3},
pages = {287--301},
year = {2008},
url = {https://doi.org/10.1007/s10270-008-0085-0},
doi = {10.1007/S10270-008-0085-0},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/WelchFD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/ZangCHTKGDMC08,
author = {Tianyi Zang and
Radu Calinescu and
Steve Harris and
Andrew Tsui and
Marta Z. Kwiatkowska and
Jeremy Gibbons and
Jim Davies and
Peter Maccallum and
Carlos Caldas},
title = {WSRF-Based Modeling of Clinical Trial Information for Collaborative
Cancer Research},
booktitle = {8th {IEEE} International Symposium on Cluster Computing and the Grid
(CCGrid 2008), 19-22 May 2008, Lyon, France},
pages = {73--81},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CCGRID.2008.57},
doi = {10.1109/CCGRID.2008.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/ZangCHTKGDMC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/ZangCHTCKGDBC08,
author = {Tianyi Zang and
Radu Calinescu and
Steve Harris and
Andrew Tsui and
Charles Crichton and
Marta Z. Kwiatkowska and
Jeremy Gibbons and
Jim Davies and
James D. Brenton and
Carlos Caldas},
title = {Metamodel-Based Generation of WSRF-Compliant {SOA} for Collaborative
Cancer Research},
booktitle = {Fourth International Conference on e-Science, e-Science 2008, 7-12
December 2008, Indianapolis, IN, {USA}},
pages = {406--407},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/eScience.2008.129},
doi = {10.1109/ESCIENCE.2008.129},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eScience/ZangCHTCKGDBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/HarrisGDTC08,
author = {Steve Harris and
Jeremy Gibbons and
Jim Davies and
Andrew Tsui and
Charles Crichton},
editor = {Tomasz Janowski and
Theresa A. Pardo},
title = {Semantic technologies in electronic government},
booktitle = {Proceedings of the 2nd International Conference on Theory and Practice
of Electronic Governance, {ICEGOV} 2008, Cairo, Egypt, December 1-4,
2008},
series = {{ACM} International Conference Proceeding Series},
volume = {351},
pages = {45--51},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1509096.1509108},
doi = {10.1145/1509096.1509108},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icegov/HarrisGDTC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/DaviesHCSG08,
author = {Jim Davies and
Steve Harris and
Charles Crichton and
Aadya Shukla and
Jeremy Gibbons},
editor = {Tomasz Janowski and
Theresa A. Pardo},
title = {Metadata standards for semantic interoperability in electronic government},
booktitle = {Proceedings of the 2nd International Conference on Theory and Practice
of Electronic Governance, {ICEGOV} 2008, Cairo, Egypt, December 1-4,
2008},
series = {{ACM} International Conference Proceeding Series},
volume = {351},
pages = {67--75},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1509096.1509111},
doi = {10.1145/1509096.1509111},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icegov/DaviesHCSG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/DaviesG07,
author = {Jim Davies and
Ashok K. Goel},
title = {Transfer of problem-solving strategy using Covlan},
journal = {J. Vis. Lang. Comput.},
volume = {18},
number = {2},
pages = {149--164},
year = {2007},
url = {https://doi.org/10.1016/j.jvlc.2007.01.001},
doi = {10.1016/J.JVLC.2007.01.001},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/DaviesG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/DaviesJOS07,
author = {Jim Davies and
Tomasz Janowski and
Adegboyega K. Ojo and
Aadya Shukla},
editor = {Tomasz Janowski and
Theresa A. Pardo},
title = {Technological foundations of electronic governance},
booktitle = {Proceedings of the 1st International Conference on Theory and Practice
of Electronic Governance, {ICEGOV} 2007, Macao, China, December 10-13,
2007},
series = {{ACM} International Conference Proceeding Series},
volume = {232},
pages = {5--11},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1328057.1328063},
doi = {10.1145/1328057.1328063},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icegov/DaviesJOS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/CrichtonDGHS07,
author = {Charles Crichton and
Jim Davies and
Jeremy Gibbons and
Steve Harris and
Aadya Shukla},
editor = {Tomasz Janowski and
Theresa A. Pardo},
title = {Semantic frameworks for e-government},
booktitle = {Proceedings of the 1st International Conference on Theory and Practice
of Electronic Governance, {ICEGOV} 2007, Macao, China, December 10-13,
2007},
series = {{ACM} International Conference Proceeding Series},
volume = {232},
pages = {30--39},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1328057.1328066},
doi = {10.1145/1328057.1328066},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icegov/CrichtonDGHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CalinescuHGDTN07,
author = {Radu Calinescu and
Steve Harris and
Jeremy Gibbons and
Jim Davies and
Igor Toujilov and
Sylvia B. Nagl},
title = {Model-driven architecture for cancer research},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.26},
doi = {10.1109/SEFM.2007.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CalinescuHGDTN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2007,
editor = {Jim Davies and
Jeremy Gibbons},
title = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5},
doi = {10.1007/978-3-540-73210-5},
isbn = {978-3-540-73209-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/DaviesGK06,
author = {Jim Davies and
Janice I. Glasgow and
Tony Kuo},
title = {Visio-Spatial Case-Based Reasoning: {A} Case Study in Prediction of
Protein Structure},
journal = {Comput. Intell.},
volume = {22},
number = {3-4},
pages = {194--207},
year = {2006},
url = {https://doi.org/10.1111/j.1467-8640.2006.00283.x},
doi = {10.1111/J.1467-8640.2006.00283.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/DaviesGK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoltonD06,
author = {Christie Bolton and
Jim Davies},
title = {A singleton failures semantics for Communicating Sequential Processes},
journal = {Formal Aspects Comput.},
volume = {18},
number = {2},
pages = {181--210},
year = {2006},
url = {https://doi.org/10.1007/s00165-005-0081-x},
doi = {10.1007/S00165-005-0081-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoltonD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/GlasgowKD06,
author = {Janice I. Glasgow and
Tony Kuo and
Jim Davies},
title = {Protein Structure from Contact Maps: {A} Case-Based Reasoning Approach},
journal = {Inf. Syst. Frontiers},
volume = {8},
number = {1},
pages = {29--36},
year = {2006},
url = {https://doi.org/10.1007/s10796-005-6101-9},
doi = {10.1007/S10796-005-6101-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isf/GlasgowKD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnw/LeslieDH06,
author = {Matthew John Leslie and
Jim Davies and
Todd Huffman},
title = {A Comparison of Replication Strategies for Reliable Decentralised
Storage},
journal = {J. Networks},
volume = {1},
number = {6},
pages = {36--44},
year = {2006},
url = {https://doi.org/10.4304/jnw.1.6.36-44},
doi = {10.4304/JNW.1.6.36-44},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jnw/LeslieDH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/LeslieDH06,
author = {Matthew John Leslie and
Jim Davies and
Todd Huffman},
title = {Replication Strategies for Reliable Decentralised Storage},
booktitle = {Proceedings of the The First International Conference on Availability,
Reliability and Security, {ARES} 2006, The International Dependability
Conference - Bridging Theory and Practice, April 20-22 2006, Vienna
University of Technology, Austria},
pages = {740--747},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ARES.2006.108},
doi = {10.1109/ARES.2006.108},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/LeslieDH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DaviesWCC06,
author = {Jim Davies and
James Welch and
Alessandra Cavarra and
Edward Crichton},
title = {On the Generation of Object Databases using Booster},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {249--258},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.65},
doi = {10.1109/ICECCS.2006.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/DaviesWCC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spatialCognition/DaviesGK06,
author = {Jim Davies and
Janice I. Glasgow and
Tony Kuo},
editor = {Thomas Barkowsky and
Markus Knauff and
G{\'{e}}rard Ligozat and
Daniel R. Montello},
title = {Protein Structure Prediction with Visuospatial Analogy},
booktitle = {Spatial Cognition {V:} Reasoning, Action, Interaction, International
Conference Spatial Cognition 2006, Bremen, Germany, September 24-28,
2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4387},
pages = {127--139},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75666-8\_8},
doi = {10.1007/978-3-540-75666-8\_8},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/spatialCognition/DaviesGK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DaviesFW08,
author = {Jim Davies and
David Faitelson and
James Welch},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {Domain-specific Semantics and Data Refinement of Object Models},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {151--170},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.031},
doi = {10.1016/J.ENTCS.2007.08.031},
timestamp = {Thu, 09 Feb 2023 11:07:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DaviesFW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dms/DaviesGN05,
author = {Jim Davies and
Ashok K. Goel and
Nancy J. Nersessian},
editor = {Angela Guercio and
Timothy Arndt},
title = {Transfer of Problem-Solving Strategy Using the Cognitive Visual Language},
booktitle = {Proceedings of the 11th International Conference on Distributed Multimedia
Systems, {DMS} 2005, September 5-7, 2005, Fairmont Banff Springs Hotel,
Banff, Alberta, Canada},
pages = {293--298},
publisher = {Knowledge Systems Institute},
year = {2005},
timestamp = {Tue, 25 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dms/DaviesGN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/DaviesGN05,
author = {Jim Davies and
Ashok K. Goel and
Nancy J. Nersessian},
editor = {H{\'{e}}ctor Mu{\~{n}}oz{-}Avila and
Francesco Ricci},
title = {Transfer in Visual Case-Based Problem Solving},
booktitle = {Case-Based Reasoning, Research and Development, 6th International
Conference, on Case-Based Reasoning, {ICCBR} 2005, Chicago, IL, USA,
August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3620},
pages = {163--176},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11536406\_15},
doi = {10.1007/11536406\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/iccbr/DaviesGN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DaviesGN05,
author = {Jim Davies and
Ashok K. Goel and
Nancy J. Nersessian},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {A Cognitive Model of Visual Analogical Problem-Solving Transfer},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {1556--1557},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/post-0347.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DaviesGN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/WelchFD05,
author = {James Welch and
David Faitelson and
Jim Davies},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Automatic Maintenance of Association Invariants},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {282--292},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.9},
doi = {10.1109/SEFM.2005.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/WelchFD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FaitelsonWD07,
author = {David Faitelson and
James Welch and
Jim Davies},
editor = {Augusto Sampaio},
title = {From Predicates to Programs: The Semantics of a Method Language},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {171--187},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.021},
doi = {10.1016/J.ENTCS.2007.03.021},
timestamp = {Tue, 24 Jan 2023 14:02:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FaitelsonWD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/CavarraCD04,
author = {Alessandra Cavarra and
Charles Crichton and
Jim Davies},
title = {A method for the automatic generation of test suites from object models},
journal = {Inf. Softw. Technol.},
volume = {46},
number = {5},
pages = {309--314},
year = {2004},
url = {https://doi.org/10.1016/j.infsof.2003.09.004},
doi = {10.1016/J.INFSOF.2003.09.004},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/CavarraCD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psse/Davies04,
author = {Jim Davies},
editor = {Ana Cavalcanti and
Augusto Sampaio and
Jim Woodcock},
title = {Using {CSP}},
booktitle = {Refinement Techniques in Software Engineering, First Pernambuco Summer
School on Software Engineering, {PSSE} 2004, Recife, Brazil, November
23-December 5, 2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3167},
pages = {64--122},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11889229\_3},
doi = {10.1007/11889229\_3},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/psse/Davies04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/DaviesSM04,
author = {Jim Davies and
Andrew Simpson and
Andrew P. Martin},
editor = {C. Neville Dean and
Raymond T. Boute},
title = {Teaching Formal Methods in Context},
booktitle = {Teaching Formal Methods, CoLogNET/FME Symposium, {TFM} 2004, Ghent,
Belgium, November 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3294},
pages = {185--202},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30472-2\_12},
doi = {10.1007/978-3-540-30472-2\_12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tfm/DaviesSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DaviesCCNS05,
author = {Jim Davies and
Charles Crichton and
Edward Crichton and
David Neilson and
Ib Holm S{\o}rensen},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Formality, Evolution, and Model-driven Software Engineering},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {39--55},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.004},
doi = {10.1016/J.ENTCS.2005.03.004},
timestamp = {Mon, 12 Dec 2022 15:57:02 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DaviesCCNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2004,
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b102837},
doi = {10.1007/B102837},
isbn = {3-540-23841-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DaviesC03,
author = {Jim Davies and
Charles Crichton},
title = {Concurrency and Refinement in the Unified Modeling Language},
journal = {Formal Aspects Comput.},
volume = {15},
number = {2-3},
pages = {118--145},
year = {2003},
url = {https://doi.org/10.1007/s00165-003-0008-3},
doi = {10.1007/S00165-003-0008-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DaviesC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DaviesC03,
author = {Jim Davies and
Charles Crichton},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Using State Diagrams to Describe Concurrent Behaviour},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {105--124},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_8},
doi = {10.1007/978-3-540-39893-6\_8},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/icfem/DaviesC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SimpsonMGDM03,
author = {Andrew Simpson and
Andrew P. Martin and
Jeremy Gibbons and
Jim Davies and
Steve McKeever},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {On The Supervision and Assessment Of Part-Time Postgraduate Software
Engineering Projects},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {628--633},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201247},
doi = {10.1109/ICSE.2003.1201247},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SimpsonMGDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iicai/DaviesG03,
author = {Jim Davies and
Ashok K. Goel},
editor = {Bhanu Prasad},
title = {Visual Case-Based Reasoning {II:} Transfer and Adaptation},
booktitle = {Proceedings of the 1st Indian International Conference on Artificial
Intelligence, {IICAI} 2003, Hyderabad, India, December 18-20, 2003},
pages = {769--778},
publisher = {{IICAI}},
year = {2003},
timestamp = {Fri, 15 Dec 2023 18:26:01 +0100},
biburl = {https://dblp.org/rec/conf/iicai/DaviesG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DaviesCC03,
author = {Jim Davies and
Charles Crichton and
Alessandra Cavarra},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {A Method for the Automatic Generation of Test Suites from Object Models},
booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC),
March 9-12, 2003, Melbourne, FL, {USA}},
pages = {1104--1109},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/952532.952748},
doi = {10.1145/952532.952748},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/DaviesCC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BoltonD02,
author = {Christie Bolton and
Jim Davies},
editor = {Michael J. Butler and
Luigia Petre and
Kaisa Sere},
title = {Refinement in Object-Z and {CSP}},
booktitle = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
Turku, Finland, May 15-18, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2335},
pages = {225--244},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47884-1\_13},
doi = {10.1007/3-540-47884-1\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BoltonD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DaviesC02,
author = {Jim Davies and
Charles Crichton},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Concurrency and refinement in the {UML}},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {217--243},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80494-3},
doi = {10.1016/S1571-0661(05)80494-3},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DaviesC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoltonD02,
author = {Christie Bolton and
Jim Davies},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {A comparison of refinement orderings and their associated simulation
rules},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {297--310},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82563-0},
doi = {10.1016/S1571-0661(05)82563-0},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoltonD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/CasselHKIBPDWY01,
author = {Lillian (Boots) Cassel and
Mark A. Holliday and
Deepak Kumar and
John Impagliazzo and
Kevin Bolding and
Murray Pearson and
Jim Davies and
Gregory S. Wolffe and
William Yurcik},
title = {Distributed expertise for teaching computer organization {\&}
architecture},
journal = {{ACM} {SIGCSE} Bull.},
volume = {33},
number = {2},
pages = {111--126},
year = {2001},
url = {https://doi.org/10.1145/571922.571965},
doi = {10.1145/571922.571965},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigcse/CasselHKIBPDWY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DaviesG01,
author = {Jim Davies and
Ashok K. Goel},
editor = {Bernhard Nebel},
title = {Visual Analogy in Problem Solving},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {377--384},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DaviesG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BoltonD00,
author = {Christie Bolton and
Jim Davies},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Using Relational and Behavioural Semantics in the Verification of
Object Models},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {163--182},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_8},
doi = {10.1007/978-0-387-35520-7\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BoltonD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BoltonD00,
author = {Christie Bolton and
Jim Davies},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Activity Graphs and Processes},
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 = {77--96},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_6},
doi = {10.1007/3-540-40911-4\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BoltonD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/LoweD99,
author = {Gavin Lowe and
Jim Davies},
title = {Using {CSP} to Verify Sequential Consistency},
journal = {Distributed Comput.},
volume = {12},
number = {2-3},
pages = {91--103},
year = {1999},
url = {https://doi.org/10.1007/s004460050060},
doi = {10.1007/S004460050060},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/LoweD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BoltonDW99,
author = {Christie Bolton and
Jim Davies and
Jim Woodcock},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {On the Refinement and Simulation of Data Types and Processes},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {273--292},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_15},
doi = {10.1007/978-1-4471-0851-1\_15},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BoltonDW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/CrichtonDW99,
author = {Charles Crichton and
Jim Davies and
Jim Woodcock},
editor = {Donald Firesmith and
Richard Riehle and
Gilda Pour and
Bertrand Meyer},
title = {When to Trust Mobile Objects: Access Control in the Jini(tm) Software
System},
booktitle = {{TOOLS} 1999: 30th International Conference on Technology of Object-Oriented
Languages and Systems, Delivering Quality Software - The Way Ahead,
1-5 August 1999, Santa Barbara, CA, {USA}},
pages = {116--125},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/TOOLS.1999.787541},
doi = {10.1109/TOOLS.1999.787541},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/CrichtonDW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/1999-1,
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1708},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2},
doi = {10.1007/3-540-48119-2},
isbn = {3-540-66587-0},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/1999-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/1999-2,
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4},
doi = {10.1007/3-540-48118-4},
isbn = {3-540-66588-9},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/1999-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/SimpsonWD98,
author = {Andrew Simpson and
Jim Woodcock and
Jim Davies},
title = {Safety through Security},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {18--24},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858300},
doi = {10.5555/857205.858300},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwssd/SimpsonWD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0072139,
author = {J. C. P. Woodcock and
Jim Davies},
title = {Using {Z} - specification, refinement, and proof},
series = {Prentice Hall international series in computer science},
publisher = {Prentice Hall},
year = {1996},
isbn = {978-0-13-948472-8},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0072139.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DaviesS95,
author = {Jim Davies and
Steve A. Schneider},
title = {A Brief History of Timed {CSP}},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {2},
pages = {243--271},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00169-J},
doi = {10.1016/0304-3975(94)00169-J},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DaviesS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BryansDS95,
author = {Jeremy W. Bryans and
Jim Davies and
Steve A. Schneider},
editor = {Insup Lee and
Scott A. Smolka},
title = {Towards a denotational semantics for {ET-LOTOS}},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {269--283},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_20},
doi = {10.1007/3-540-60218-6\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BryansDS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DaviesBS95,
author = {Jim Davies and
Jeremy W. Bryans and
Steve A. Schneider},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Omar Rafiq},
title = {Real-time {LOTOS} and Timed Observations},
booktitle = {Formal Description Techniques VIII, Proceedings of the {IFIP} {TC6}
Eighth International Conference on Formal Description Techniques,
Montreal, Canada, October 1995},
series = {{IFIP} Conference Proceedings},
volume = {43},
pages = {383--397},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/DaviesBS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DaviesW94,
author = {Jim Davies and
Matt Wallis},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {On the formal specification and verification of network routing algorithms},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {100--115},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/DaviesW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0071311,
author = {Jim Davies},
title = {Specification and proof in real-time {CSP}},
series = {Distinguished dissertations in computer science},
volume = {6},
publisher = {Cambridge University Press},
year = {1993},
isbn = {978-0-521-45055-3},
timestamp = {Thu, 18 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0071311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DaviesS94,
author = {Jim Davies and
Steve A. Schneider},
title = {Recursion Induction for Real-Time Processes},
journal = {Formal Aspects Comput.},
volume = {5},
number = {6},
pages = {530--553},
year = {1993},
url = {https://doi.org/10.1007/BF01211248},
doi = {10.1007/BF01211248},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DaviesS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DaviesS92,
author = {Jim Davies and
Steve A. Schneider},
editor = {Rance Cleaveland},
title = {Using {CSP} to Verify a Timed Protocol over a Fair Medium},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {355--369},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084803},
doi = {10.1007/BFB0084803},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DaviesS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DaviesJS92,
author = {Jim Davies and
Dave Jackson and
Steve A. Schneider},
editor = {Jan Vytopil},
title = {Broadcast Communication for Real-time Processes},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {149--169},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_9},
doi = {10.1007/3-540-55092-5\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/DaviesJS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Davies91,
author = {Jim Davies},
title = {Specification and proof in real-time systems},
school = {University of Oxford, {UK}},
year = {1991},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.279830},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Davies91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/SchneiderDJRRR91,
author = {Steve A. Schneider and
Jim Davies and
D. M. Jackson and
George M. Reed and
Joy N. Reed and
A. W. Roscoe},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Timed {CSP:} Theory and Practice},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {640--675},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032011},
doi = {10.1007/BFB0032011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/SchneiderDJRRR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/DaviesS89,
author = {Jim Davies and
Steve A. Schneider},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Factorizing Proofs in Timed {CSP}},
booktitle = {Mathematical Foundations of Programming Semantics, 5th International
Conference, Tulane University, New Orleans, Louisiana, USA, March
29 - April 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {442},
pages = {129--159},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0040256},
doi = {10.1007/BFB0040256},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/DaviesS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jis/Davies88,
author = {Jim Davies},
title = {The Singapore vision: an information-based economy},
journal = {J. Inf. Sci.},
volume = {14},
number = {4},
pages = {237--242},
year = {1988},
url = {https://doi.org/10.1177/016555158801400406},
doi = {10.1177/016555158801400406},
timestamp = {Thu, 06 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jis/Davies88.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 2024-04-19 21:48 CEST 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:
