BibTeX records: Julian Richardson

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.