default search action
BibTeX records: Julian Richardson
@article{DBLP:journals/corr/abs-2008-05804, author = {Dell Zhang and Alexander Kuhnle and Julian Richardson and Murat Sensoy}, title = {Process Discovery for Structured Program Synthesis}, journal = {CoRR}, volume = {abs/2008.05804}, year = {2020}, url = {https://arxiv.org/abs/2008.05804}, eprinttype = {arXiv}, eprint = {2008.05804}, timestamp = {Mon, 17 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2008-05804.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coling/YuanRDEA16, author = {Dayu Yuan and Julian Richardson and Ryan Doherty and Colin Evans and Eric Altendorf}, editor = {Nicoletta Calzolari and Yuji Matsumoto and Rashmi Prasad}, title = {Semi-supervised Word Sense Disambiguation with Neural Models}, booktitle = {{COLING} 2016, 26th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, December 11-16, 2016, Osaka, Japan}, pages = {1374--1385}, publisher = {{ACL}}, year = {2016}, url = {https://aclanthology.org/C16-1130/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coling/YuanRDEA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/YuanDREA16, author = {Dayu Yuan and Ryan Doherty and Julian Richardson and Colin Evans and Eric Altendorf}, title = {Word Sense Disambiguation with Neural Language Models}, journal = {CoRR}, volume = {abs/1603.07012}, year = {2016}, url = {http://arxiv.org/abs/1603.07012}, eprinttype = {arXiv}, eprint = {1603.07012}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/YuanDREA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/MenziesBCMNR08, author = {Tim Menzies and Markland Benson and Ken Costello and Christina Moats and Melissa Northey and Julian Richardson}, title = {Learning better IV{\&}V practices}, journal = {Innov. Syst. Softw. Eng.}, volume = {4}, number = {2}, pages = {169--183}, year = {2008}, url = {https://doi.org/10.1007/s11334-008-0046-3}, doi = {10.1007/S11334-008-0046-3}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isse/MenziesBCMNR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/MenziesOR07, author = {Tim Menzies and David Owen and Julian Richardson}, title = {The Strangest Thing About Software}, journal = {Computer}, volume = {40}, number = {1}, pages = {54--60}, year = {2007}, url = {https://doi.org/10.1109/MC.2007.37}, doi = {10.1109/MC.2007.37}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/MenziesOR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/KiperFR07, author = {James D. Kiper and Martin S. Feather and Julian Richardson}, editor = {Hod Lipson}, title = {Optimizing the V{\&}V process for critical systems}, booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2007, Proceedings, London, England, UK, July 7-11, 2007}, pages = {1139}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1276958.1277182}, doi = {10.1145/1276958.1277182}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gecco/KiperFR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/MenziesR06, author = {Tim Menzies and Julian Richardson}, title = {Making Sense of Requirements, Sooner}, journal = {Computer}, volume = {39}, number = {10}, pages = {112--114}, year = {2006}, url = {https://doi.org/10.1109/MC.2006.348}, doi = {10.1109/MC.2006.348}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/MenziesR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sew/MenziesR06, author = {Tim Menzies and Julian Richardson}, title = {Qualitative Modeling for Requirements Engineering}, booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30} 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, {USA}}, pages = {11--20}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/SEW.2006.27}, doi = {10.1109/SEW.2006.27}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sew/MenziesR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/RichardsonG04, author = {Julian Richardson and Jeff Green}, title = {Automating Traceability for Generated Software Artifacts}, booktitle = {19th {IEEE} International Conference on Automated Software Engineering {(ASE} 2004), 20-25 September 2004, Linz, Austria}, pages = {24--33}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10019}, doi = {10.1109/ASE.2004.10019}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/RichardsonG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Richardson02, author = {Julian Richardson}, editor = {Matthias Baaz and Andrei Voronkov}, title = {A Semantics for Proof Plans with Applications to Interactive Proof Planning}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2514}, pages = {337--351}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36078-6\_23}, doi = {10.1007/3-540-36078-6\_23}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/Richardson02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/WillmottRBL01, author = {Steven Willmott and Julian Richardson and Alan Bundy and John Levine}, title = {Applying adversarial planning techniques to Go}, journal = {Theor. Comput. Sci.}, volume = {252}, number = {1-2}, pages = {45--82}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00076-1}, doi = {10.1016/S0304-3975(00)00076-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/WillmottRBL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/FlenerLOR00, author = {Pierre Flener and Kung{-}Kiu Lau and Mario Ornaghi and Julian Richardson}, title = {An Abstract Formalization of Correct Schemas for Program Synthesis}, journal = {J. Symb. Comput.}, volume = {30}, number = {1}, pages = {93--127}, year = {2000}, url = {https://doi.org/10.1006/jsco.1999.0348}, doi = {10.1006/JSCO.1999.0348}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/FlenerLOR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cl/LaceyRS00, author = {David Lacey and Julian Richardson and Alan Smaill}, editor = {John W. Lloyd and Ver{\'{o}}nica Dahl and Ulrich Furbach and Manfred Kerber and Kung{-}Kiu Lau and Catuscia Palamidessi and Lu{\'{\i}}s Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey}, title = {Logic Program Synthesis in a Higher-Order Setting}, booktitle = {Computational Logic - {CL} 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1861}, pages = {87--100}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44957-4\_6}, doi = {10.1007/3-540-44957-4\_6}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/cl/LaceyRS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecp/CresswellSR99, author = {Stephen Cresswell and Alan Smaill and Julian Richardson}, editor = {Susanne Biundo and Maria Fox}, title = {Deductive Synthesis of Recursive Plans in Linear Logic}, booktitle = {Recent Advances in {AI} Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1809}, pages = {252--264}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/10720246\_20}, doi = {10.1007/10720246\_20}, timestamp = {Tue, 02 Nov 2021 15:59:06 +0100}, biburl = {https://dblp.org/rec/conf/ecp/CresswellSR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BundyR99, author = {Alan Bundy and Julian Richardson}, editor = {Harald Ganzinger and David A. McAllester and Andrei Voronkov}, title = {Proofs About Lists Using Ellipsis}, booktitle = {Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1705}, pages = {1--12}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48242-3\_1}, doi = {10.1007/3-540-48242-3\_1}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BundyR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/RichardsonSG98, author = {Julian Richardson and Alan Smaill and Ian Green}, editor = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, title = {System Description: Proof Planning in Higher-Order Logic with Lambda-Clam}, booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1421}, pages = {129--133}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0054254}, doi = {10.1007/BFB0054254}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/RichardsonSG98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cg/WillmottRBL98, author = {Steven Willmott and Julian Richardson and Alan Bundy and John Levine}, editor = {H. Jaap van den Herik and Hiroyuki Iida}, title = {An Adversarial Planning Approach to Go}, booktitle = {Computers and Games, First International Conference, CG'98, Tsukuba, Japan, November 11-12, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1558}, pages = {93--112}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-48957-6\_6}, doi = {10.1007/3-540-48957-6\_6}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/cg/WillmottRBL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Richardson98, author = {Julian Richardson}, editor = {Pierre Flener}, title = {Abstract: Proof Planning with Program Schemas}, booktitle = {Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1559}, pages = {313--315}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-48958-4\_19}, doi = {10.1007/3-540-48958-4\_19}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Richardson98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/RichardsonF97, author = {Julian Richardson and Norbert E. Fuchs}, editor = {Norbert E. Fuchs}, title = {Development of Correct Transformation Schemata for Prolog Programs}, booktitle = {Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1463}, pages = {263--281}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-49674-2\_14}, doi = {10.1007/3-540-49674-2\_14}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/RichardsonF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FribourgR96, author = {Laurent Fribourg and Julian Richardson}, editor = {John P. Gallagher}, title = {Symbolic Verification with Gap-Order Constraints}, booktitle = {Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1207}, pages = {20--37}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-62718-9\_2}, doi = {10.1007/3-540-62718-9\_2}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/FribourgR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Richardson95, author = {Julian Richardson}, title = {Automating Changes of Data Type in Functional Programs}, booktitle = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995}, pages = {166--173}, publisher = {{IEEE} Computer Society}, year = {1995}, url = {https://doi.org/10.1109/KBSE.1995.490132}, doi = {10.1109/KBSE.1995.490132}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/Richardson95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.