Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Lee Naish
@article{DBLP:journals/spe/NeelofarNR18, author = {Neelofar and Lee Naish and Kotagiri Ramamohanarao}, title = {Spectral-based fault localization using hyperbolic function}, journal = {Softw. Pract. Exp.}, volume = {48}, number = {3}, pages = {641--664}, year = {2018}, url = {https://doi.org/10.1002/spe.2527}, doi = {10.1002/SPE.2527}, timestamp = {Tue, 13 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/NeelofarNR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/NeelofarNLR17, author = {Neelofar and Lee Naish and Jason Lee and Kotagiri Ramamohanarao}, title = {Improving spectral-based fault localization using static analysis}, journal = {Softw. Pract. Exp.}, volume = {47}, number = {11}, pages = {1633--1655}, year = {2017}, url = {https://doi.org/10.1002/spe.2490}, doi = {10.1002/SPE.2490}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/NeelofarNLR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsw/ConwayBNT17, author = {Andrew Conway and Michelle L. Blom and Lee Naish and Vanessa Teague}, title = {An analysis of New South Wales electronic vote counting}, booktitle = {Proceedings of the Australasian Computer Science Week Multiconference, {ACSW} 2017, Geelong, Australia, January 31 - February 3, 2017}, pages = {24:1--24:5}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3014812.3014837}, doi = {10.1145/3014812.3014837}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsw/ConwayBNT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/NaishSM16, author = {Lee Naish and Peter Schachte and Aleck M. MacNally}, title = {Adtpp: lightweight efficient safe polymorphic algebraic data types for {C}}, journal = {Softw. Pract. Exp.}, volume = {46}, number = {12}, pages = {1685--1703}, year = {2016}, url = {https://doi.org/10.1002/spe.2407}, doi = {10.1002/SPE.2407}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/NaishSM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ConwayBNT16, author = {Andrew Conway and Michelle L. Blom and Lee Naish and Vanessa Teague}, title = {An analysis of New South Wales electronic vote counting}, journal = {CoRR}, volume = {abs/1611.02015}, year = {2016}, url = {http://arxiv.org/abs/1611.02015}, eprinttype = {arXiv}, eprint = {1611.02015}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ConwayBNT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/peerjpre/Naish16, author = {Lee Naish}, title = {Similarity to a single set}, journal = {PeerJ Prepr.}, volume = {4}, pages = {e1713}, year = {2016}, url = {https://doi.org/10.7287/peerj.preprints.1713v1}, doi = {10.7287/PEERJ.PREPRINTS.1713V1}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/peerjpre/Naish16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/peerj-cs/Naish15, author = {Lee Naish}, title = {Sharing analysis in the Pawns compiler}, journal = {PeerJ Comput. Sci.}, volume = {1}, pages = {e22}, year = {2015}, url = {https://doi.org/10.7717/peerj-cs.22}, doi = {10.7717/PEERJ-CS.22}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/peerj-cs/Naish15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aswec/NaishNR15, author = {Lee Naish and Neelofar and Kotagiri Ramamohanarao}, title = {Multiple Bug Spectral Fault Localization Using Genetic Programming}, booktitle = {24th Australasian Software Engineering Conference, {ASWEC} 2015, Adelaide, SA, Australia, September 28 - October 1, 2015}, pages = {11--17}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ASWEC.2015.12}, doi = {10.1109/ASWEC.2015.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aswec/NaishNR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/peerjpre/Naish15, author = {Lee Naish}, title = {Sharing analysis in the Pawns compiler}, journal = {PeerJ Prepr.}, volume = {3}, pages = {e907}, year = {2015}, url = {https://doi.org/10.7287/peerj.preprints.907v1}, doi = {10.7287/PEERJ.PREPRINTS.907V1}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/peerjpre/Naish15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/GangeHNS14, author = {Graeme Gange and Benjamin Horsfall and Lee Naish and Harald S{\o}ndergaard}, title = {Four-Valued Reasoning and Cyclic Circuits}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {33}, number = {7}, pages = {1003--1016}, year = {2014}, url = {https://doi.org/10.1109/TCAD.2014.2304176}, doi = {10.1109/TCAD.2014.2304176}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/GangeHNS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/Naish14, author = {Lee Naish}, title = {Transforming floundering into success}, journal = {Theory Pract. Log. Program.}, volume = {14}, number = {2}, pages = {215--238}, year = {2014}, url = {https://doi.org/10.1017/S147106841200035X}, doi = {10.1017/S147106841200035X}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/Naish14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/NaishS14, author = {Lee Naish and Harald S{\o}ndergaard}, title = {Truth versus information in logic programming}, journal = {Theory Pract. Log. Program.}, volume = {14}, number = {6}, pages = {803--840}, year = {2014}, url = {https://doi.org/10.1017/S1471068413000069}, doi = {10.1017/S1471068413000069}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/NaishS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aswec/NaishL13, author = {Lee Naish and Hua Jie Lee}, title = {Duals in Spectral Fault Localization}, booktitle = {22nd Australian Conference on Software Engineering {(ASWEC} 2013), 4-7 June 2013, Melbourne, Victoria, Australia}, pages = {51--59}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ASWEC.2013.16}, doi = {10.1109/ASWEC.2013.16}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aswec/NaishL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1305-0141, author = {Lee Naish and Harald S{\o}ndergaard}, title = {Truth versus information in logic programming}, journal = {CoRR}, volume = {abs/1305.0141}, year = {2013}, url = {http://arxiv.org/abs/1305.0141}, eprinttype = {arXiv}, eprint = {1305.0141}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-0141.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsc/Naish12, author = {Lee Naish}, editor = {Mark Reynolds and Bruce H. Thomas}, title = {Declarative Diagnosis of Floundering in Prolog}, booktitle = {Thirty-Fifth Australasian Computer Science Conference, {ACSC} 2012, Melbourne, Australia, January 2012}, series = {{CRPIT}}, volume = {122}, pages = {49--56}, publisher = {Australian Computer Society}, year = {2012}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV122Naish.html}, timestamp = {Fri, 02 Jul 2021 14:10:58 +0200}, biburl = {https://dblp.org/rec/conf/acsc/Naish12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsc/NaishLR12, author = {Lee Naish and Hua Jie Lee and Kotagiri Ramamohanarao}, editor = {Mark Reynolds and Bruce H. Thomas}, title = {Spectral debugging: How much better can we do?}, booktitle = {Thirty-Fifth Australasian Computer Science Conference, {ACSC} 2012, Melbourne, Australia, January 2012}, series = {{CRPIT}}, volume = {122}, pages = {99--106}, publisher = {Australian Computer Society}, year = {2012}, timestamp = {Fri, 01 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsc/NaishLR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cats/NaishSH12, author = {Lee Naish and Harald S{\o}ndergaard and Benjamin Horsfall}, editor = {Juli{\'{a}}n Mestre}, title = {Logic Programming: From Underspecification to Undefinedness}, booktitle = {Eighteenth Computing: The Australasian Theory Symposium, {CATS} 2012, Melbourne, Australia, January 2012}, series = {{CRPIT}}, volume = {128}, pages = {49--58}, publisher = {Australian Computer Society}, year = {2012}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV128Naish.html}, timestamp = {Mon, 08 Feb 2021 13:26:47 +0100}, biburl = {https://dblp.org/rec/conf/cats/NaishSH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1207-6816, author = {Lee Naish}, title = {Transforming floundering into success}, journal = {CoRR}, volume = {abs/1207.6816}, year = {2012}, url = {http://arxiv.org/abs/1207.6816}, eprinttype = {arXiv}, eprint = {1207.6816}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1207-6816.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/NaishLR11, author = {Lee Naish and Hua Jie Lee and Kotagiri Ramamohanarao}, title = {A model for spectra-based software diagnosis}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {20}, number = {3}, pages = {11:1--11:32}, year = {2011}, url = {https://doi.org/10.1145/2000791.2000795}, doi = {10.1145/2000791.2000795}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/NaishLR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/NaishLR10, author = {Lee Naish and Hua Jie Lee and Kotagiri Ramamohanarao}, editor = {Jun Han and Tran Dan Thu}, title = {Statements versus Predicates in Spectral Bug Localization}, booktitle = {17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney, Australia, November 30 - December 3, 2010}, pages = {375--384}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/APSEC.2010.50}, doi = {10.1109/APSEC.2010.50}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/NaishLR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/LeeNR10, author = {Hua Jie Lee and Lee Naish and Kotagiri Ramamohanarao}, editor = {Sheikh Iqbal Ahamed and Doo{-}Hwan Bae and Sung Deok Cha and Carl K. Chang and Rajesh Subramanyan and W. Eric Wong and Hen{-}I Yang}, title = {Effective Software Bug Localization Using Spectral Frequency Weighting Function}, booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July 2010}, pages = {218--227}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/COMPSAC.2010.26}, doi = {10.1109/COMPSAC.2010.26}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/LeeNR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tifs/BenalohMNRT09, author = {Josh Benaloh and Tal Moran and Lee Naish and Kim Ramchen and Vanessa Teague}, title = {Shuffle-sum: coercion-resistant verifiable tallying for {STV} voting}, journal = {{IEEE} Trans. Inf. Forensics Secur.}, volume = {4}, number = {4}, pages = {685--698}, year = {2009}, url = {https://doi.org/10.1109/TIFS.2009.2033757}, doi = {10.1109/TIFS.2009.2033757}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tifs/BenalohMNRT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/NaishLR09, author = {Lee Naish and Hua Jie Lee and Kotagiri Ramamohanarao}, editor = {Shahida Sulaiman and Noor Maizura Mohamad Noor}, title = {Spectral Debugging with Weights and Incremental Ranking}, booktitle = {16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia}, pages = {168--175}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/APSEC.2009.32}, doi = {10.1109/APSEC.2009.32}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/NaishLR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jflp/Naish08, author = {Lee Naish}, title = {Probabilistic Declarative Debugging}, journal = {J. Funct. Log. Program.}, volume = {2008}, year = {2008}, url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2008/A2008-01/A2008-01.html}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jflp/Naish08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/TeagueRN08, author = {Vanessa Teague and Kim Ramchen and Lee Naish}, editor = {David L. Dill and Tadayoshi Kohno}, title = {Coercion-Resistant Tallying for {STV} Voting}, booktitle = {2008 {USENIX/ACCURATE} Electronic Voting Workshop, {EVT} 2008, July 28-29, 2008, San Jose, CA, USA, Proceedings}, publisher = {{USENIX} Association}, year = {2008}, url = {http://www.usenix.org/events/evt08/tech/full\_papers/teague/teague.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uss/TeagueRN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Naish07, author = {Lee Naish}, editor = {Ver{\'{o}}nica Dahl and Ilkka Niemel{\"{a}}}, title = {Resource-Oriented Deadlock Analysis}, booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto, Portugal, September 8-13, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4670}, pages = {302--316}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74610-2\_21}, doi = {10.1007/978-3-540-74610-2\_21}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Naish07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0711-0048, author = {Lee Naish}, title = {Declarative Diagnosis of Floundering}, journal = {CoRR}, volume = {abs/0711.0048}, year = {2007}, url = {http://arxiv.org/abs/0711.0048}, eprinttype = {arXiv}, eprint = {0711.0048}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0711-0048.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/Naish06, author = {Lee Naish}, title = {A three-valued semantics for logic programmers}, journal = {Theory Pract. Log. Program.}, volume = {6}, number = {5}, pages = {509--538}, year = {2006}, url = {https://doi.org/10.1017/S1471068406002742}, doi = {10.1017/S1471068406002742}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/Naish06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0508004, author = {Lee Naish}, title = {A three-valued semantics for logic programmers}, journal = {CoRR}, volume = {abs/cs/0508004}, year = {2005}, url = {http://arxiv.org/abs/cs/0508004}, eprinttype = {arXiv}, eprint = {cs/0508004}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsc/Naish03, author = {Lee Naish}, editor = {Michael J. Oudshoorn}, title = {Approximating the Success Set of Logic Programs Using Constrained Regular Types}, booktitle = {Computer Science 2003, Twenty-Sixth Australasian Computer Science Conference (ACSC2003), Adelaide, South Australia, February 2003}, series = {{CRPIT}}, volume = {16}, pages = {61--67}, publisher = {Australian Computer Society}, year = {2003}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV16Naish.html}, timestamp = {Wed, 10 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsc/Naish03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsc/PopeN03, author = {Bernard J. Pope and Lee Naish}, editor = {Michael J. Oudshoorn}, title = {A Program Transformation for Debugging Haskell 98}, booktitle = {Computer Science 2003, Twenty-Sixth Australasian Computer Science Conference (ACSC2003), Adelaide, South Australia, February 2003}, series = {{CRPIT}}, volume = {16}, pages = {227--236}, publisher = {Australian Computer Society}, year = {2003}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV16Pope.html}, timestamp = {Wed, 10 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsc/PopeN03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/PopeN03, author = {Bernard J. Pope and Lee Naish}, title = {Practical aspects of declarative debugging in Haskell 98}, booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden}, pages = {230--240}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/888251.888273}, doi = {10.1145/888251.888273}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/PopeN03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcse/SternN02, author = {Linda Stern and Lee Naish}, editor = {Judith L. Gersting and Henry MacKay Walker and Scott Grissom}, title = {Visual representations for recursive algorithms}, booktitle = {Proceedings of the 33rd {SIGCSE} Technical Symposium on Computer Science Education, {SIGCSE} 2002, Cincinnati, Kentucky, USA, February 27 - March 3, 2002}, pages = {196--200}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/563340.563414}, doi = {10.1145/563340.563414}, timestamp = {Tue, 23 Mar 2021 10:54:19 +0100}, biburl = {https://dblp.org/rec/conf/sigcse/SternN02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/SterlingNH01, author = {Leon Sterling and Lee Naish and Manuel V. Hermenegildo}, title = {Guest editor's introduction Special issue on Logic Programming and the Internet}, journal = {Theory Pract. Log. Program.}, volume = {1}, number = {3}, pages = {249--250}, year = {2001}, url = {https://doi.org/10.1017/S1471068401001156}, doi = {10.1017/S1471068401001156}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/SterlingNH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PopeN02, author = {Bernard J. Pope and Lee Naish}, editor = {Michael Hanus}, title = {Specialisation of Higher-Order Functions for Debugging}, booktitle = {International Workshop on Functional and (Constraint) Logic Programming, {WFLP} 2001, Kiel, Germany, September 13-15, 2001, Selected Papers}, series = {Electronic Notes in Theoretical Computer Science}, volume = {64}, pages = {277--291}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)80355-4}, doi = {10.1016/S1571-0661(04)80355-4}, timestamp = {Mon, 05 Dec 2022 15:44:50 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PopeN02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jflp/NaishS00, author = {Lee Naish and Leon Sterling}, title = {Stepwise Enhancement and Higher-Order Programming in Prolog}, journal = {J. Funct. Log. Program.}, volume = {2000}, number = {4}, year = {2000}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jflp/NaishS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsc/Naish00, author = {Lee Naish}, title = {A Three-Valued Declarative Debugging Scheme}, booktitle = {23rd Australasian Computer Science Conference {(ACSC} 2000), 31 January - 3 February 2000, Canberra, Australia}, pages = {166--173}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/ACSC.2000.824398}, doi = {10.1109/ACSC.2000.824398}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsc/Naish00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsc/Naish00a, author = {Lee Naish}, title = {A Three-Valued Semantic for Horn Clause Programs}, booktitle = {23rd Australasian Computer Science Conference {(ACSC} 2000), 31 January - 3 February 2000, Canberra, Australia}, pages = {174--180}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/ACSC.2000.824399}, doi = {10.1109/ACSC.2000.824399}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsc/Naish00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iticse/SternSN99, author = {Linda Stern and Harald S{\o}ndergaard and Lee Naish}, editor = {Carl Erickson and Tadeusz Wilusz and Mats Daniels and Ren{\'{e}}e McCauley and Bill Z. Manaris}, title = {A strategy for managing content complexity in algorithm animation}, booktitle = {Proceedings of the 4th Annual {SIGCSE} Conference on Innovation and Technology in Computer Science Education, ITiCSE 1999, Cracow, Poland, 27-30 June, 1999}, pages = {127--130}, publisher = {{ACM}}, year = {1999}, url = {https://doi.org/10.1145/305786.305891}, doi = {10.1145/305786.305891}, timestamp = {Fri, 12 Mar 2021 14:14:34 +0100}, biburl = {https://dblp.org/rec/conf/iticse/SternSN99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jflp/Naish97, author = {Lee Naish}, title = {A Declarative Debugging Scheme}, journal = {J. Funct. Log. Program.}, volume = {1997}, number = {3}, year = {1997}, url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-03/A97-03.html}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jflp/Naish97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/NaishS97, author = {Lee Naish and Leon Sterling}, editor = {Norbert E. Fuchs}, title = {A Higher Order Reconstruction of Stepwise Enhancement}, 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 = {245--262}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-49674-2\_13}, doi = {10.1007/3-540-49674-2\_13}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/NaishS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpe/Naish97, author = {Lee Naish}, editor = {Anthony J. Kusalik and Mireille Ducass{\'{e}} and Ulrich Neumerkel}, title = {A Three-Valued Declarative Debugging Scheme}, booktitle = {Proceedings of the 8th Workshop on Logic Programming Environments, {LPE} '97, post-conference workshop at {ICLP} 1997, Leuven, Belgium, July 11, 1997}, pages = {1--12}, year = {1997}, timestamp = {Mon, 02 Dec 2013 17:40:45 +0100}, biburl = {https://dblp.org/rec/conf/lpe/Naish97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iclp/1997, editor = {Lee Naish}, title = {Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997}, publisher = {{MIT} Press}, year = {1997}, isbn = {0-262-64035-X}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/1997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Naish96, author = {Lee Naish}, editor = {Michael J. Maher}, title = {A Declarative View of Modes}, booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996}, pages = {185--199}, publisher = {{MIT} Press}, year = {1996}, url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278927}, timestamp = {Mon, 09 Aug 2021 17:01:45 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Naish96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/Naish92, author = {Lee Naish}, title = {Declarative Diagnosis of Missing Answers}, journal = {New Gener. Comput.}, volume = {10}, number = {3}, pages = {255--286}, year = {1992}, url = {https://doi.org/10.1007/BF03037939}, doi = {10.1007/BF03037939}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ngc/Naish92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpe/Naish92, author = {Lee Naish}, editor = {Mireille Ducass{\'{e}} and Yow{-}Jian Lin and L. {\"{U}}mit Yal{\c{c}}inalp}, title = {Declarative Debugging of Lazy Functional Programs}, booktitle = {Proceedings of the 4th Workshop on Logic Programming Environments {(LPE} 1992), November 13th, 1992, In conjunction with {JICSLP} 1992, Washington, DC, {USA.} Technical Report {TR} 92-143}, pages = {29--34}, publisher = {Case Western Reserver University, Cleveland}, year = {1992}, timestamp = {Mon, 02 Dec 2013 17:40:45 +0100}, biburl = {https://dblp.org/rec/conf/lpe/Naish92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/mit/pfenning92/Naish92, author = {Lee Naish}, editor = {Frank Pfenning}, title = {Types and the Intended Meaning of Logic Programs}, booktitle = {Types in Logic Programming}, pages = {189--216}, publisher = {The {MIT} Press}, year = {1992}, timestamp = {Tue, 07 Nov 2023 12:00:44 +0100}, biburl = {https://dblp.org/rec/books/mit/pfenning92/Naish92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Naish91, author = {Lee Naish}, editor = {Jean{-}Marie Jacquet}, title = {Verification of Logic Programs and Imperative Programs}, booktitle = {Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 {ICLP}}, pages = {143--164}, publisher = {Wiley}, year = {1991}, timestamp = {Mon, 02 Dec 2013 17:40:44 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Naish91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/PalmerN91, author = {Doug Palmer and Lee Naish}, editor = {Koichi Furukawa}, title = {NUA-Prolog: An Extension to the {WAM} for Parallel Andorra}, booktitle = {Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991}, pages = {429--442}, publisher = {{MIT} Press}, year = {1991}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/PalmerN91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Naish91, author = {Lee Naish}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Adding equations to NU-Prolog}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {15--26}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_84}, doi = {10.1007/3-540-54444-5\_84}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Naish91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/MarriottNL90, author = {Kim Marriott and Lee Naish and Jean{-}Louis Lassez}, title = {Most Specific Logic Programs}, journal = {Ann. Math. Artif. Intell.}, volume = {1}, pages = {303--338}, year = {1990}, url = {https://doi.org/10.1007/BF01531082}, doi = {10.1007/BF01531082}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/MarriottNL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Naish89, author = {Lee Naish}, title = {Proving Properties of Committed Choice Logic Programs}, journal = {J. Log. Program.}, volume = {7}, number = {1}, pages = {63--84}, year = {1989}, url = {https://doi.org/10.1016/0743-1066(89)90010-1}, doi = {10.1016/0743-1066(89)90010-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Naish89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/NaishDZ89, author = {Lee Naish and Philip W. Dart and Justin Zobel}, editor = {Giorgio Levi and Maurizio Martelli}, title = {The NU-Prolog Debugging Environment}, booktitle = {Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989}, pages = {521--536}, publisher = {{MIT} Press}, year = {1989}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/NaishDZ89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/MarriottNL88, author = {Kim Marriott and Lee Naish and Jean{-}Louis Lassez}, editor = {Robert A. Kowalski and Kenneth A. Bowen}, title = {Most Specific Logic Programs}, booktitle = {Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)}, pages = {909--923}, publisher = {{MIT} Press}, year = {1988}, timestamp = {Sat, 23 Jun 2018 18:45:26 +0200}, biburl = {https://dblp.org/rec/conf/iclp/MarriottNL88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Naish88, author = {Lee Naish}, editor = {Robert A. Kowalski and Kenneth A. Bowen}, title = {Parallelizing NU-Prolog}, booktitle = {Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)}, pages = {1546--1564}, publisher = {{MIT} Press}, year = {1988}, timestamp = {Fri, 29 Nov 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Naish88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/eh/grayL88/RamamohanaraoSBPNTZD88, author = {Kotagiri Ramamohanarao and John Shepherd and Isaac Balbin and Graeme S. Port and Lee Naish and James A. Thom and Justin Zobel and Philip W. Dart}, editor = {Peter M. D. Gray and Robert J. Lucas}, title = {The NU-Prolog Deductive Database System}, booktitle = {Prolog and Databases, Implementations and New Directions.}, pages = {212--250}, publisher = {Ellis Horwood Ltd}, year = {1988}, timestamp = {Tue, 08 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/eh/grayL88/RamamohanaraoSBPNTZD88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/mk/minker88/ThomRN88, author = {James A. Thom and Kotagiri Ramamohanarao and Lee Naish}, editor = {Jack Minker}, title = {A Superjoin Algorithm for Deductive Databases}, booktitle = {Foundations of Deductive Databases and Logic Programming}, pages = {519--543}, publisher = {Morgan Kaufmann}, year = {1988}, url = {https://doi.org/10.1016/b978-0-934613-40-8.50017-8}, doi = {10.1016/B978-0-934613-40-8.50017-8}, timestamp = {Thu, 27 Jun 2019 09:09:21 +0200}, biburl = {https://dblp.org/rec/books/mk/minker88/ThomRN88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/RamamohanaraoSBPNTZD87, author = {Kotagiri Ramamohanarao and John Shepherd and Isaac Balbin and Graeme S. Port and Lee Naish and James A. Thom and Justin Zobel and Philip W. Dart}, title = {The NU-Prolog Deductive Database System}, journal = {{IEEE} Data Eng. Bull.}, volume = {10}, number = {4}, pages = {10--19}, year = {1987}, url = {http://sites.computer.org/debull/87DEC-CD.pdf}, timestamp = {Tue, 08 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/RamamohanaraoSBPNTZD87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Naish87, author = {Lee Naish}, editor = {Kesav V. Nori}, title = {Specification = Program + Types}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {287}, pages = {326--339}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-18625-5\_58}, doi = {10.1007/3-540-18625-5\_58}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Naish87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/NaishTR87, author = {Lee Naish and James A. Thom and Kotagiri Ramamohanarao}, editor = {Jean{-}Louis Lassez}, title = {Concurrent Database Updates in {PROLOG}}, booktitle = {Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)}, pages = {178--195}, publisher = {{MIT} Press}, year = {1987}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/NaishTR87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/sp/Naish86, author = {Lee Naish}, title = {Negation and Control in Prolog}, series = {Lecture Notes in Computer Science}, volume = {238}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/BFb0021681}, doi = {10.1007/BFB0021681}, isbn = {3-540-16815-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/Naish86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Naish86, author = {Lee Naish}, editor = {Ehud Shapiro}, title = {Negation and Quantifiers in NU-Prolog}, booktitle = {Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {225}, pages = {624--634}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-16492-8\_111}, doi = {10.1007/3-540-16492-8\_111}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Naish86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vldb/ThomRN86, author = {James A. Thom and Kotagiri Ramamohanarao and Lee Naish}, editor = {Wesley W. Chu and Georges Gardarin and Setsuo Ohsuga and Yahiko Kambayashi}, title = {A Superjoin Algorithm for Deductive Databases}, booktitle = {VLDB'86 Twelfth International Conference on Very Large Data Bases, August 25-28, 1986, Kyoto, Japan, Proceedings}, pages = {189--196}, publisher = {Morgan Kaufmann}, year = {1986}, url = {http://www.vldb.org/conf/1986/P189.PDF}, timestamp = {Wed, 29 Mar 2017 16:45:23 +0200}, biburl = {https://dblp.org/rec/conf/vldb/ThomRN86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Naish85, author = {Lee Naish}, title = {Automating Control for Logic Programs}, journal = {J. Log. Program.}, volume = {2}, number = {3}, pages = {167--183}, year = {1985}, url = {https://doi.org/10.1016/0743-1066(85)90017-2}, doi = {10.1016/0743-1066(85)90017-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Naish85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Naish85, author = {Lee Naish}, editor = {Aravind K. Joshi}, title = {Prolog Control Rules}, booktitle = {Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, CA, USA, August 1985}, pages = {720--722}, publisher = {Morgan Kaufmann}, year = {1985}, url = {http://ijcai.org/Proceedings/85-2/Papers/006.pdf}, timestamp = {Tue, 20 Aug 2019 16:19:04 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Naish85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/Naish85, author = {Lee Naish}, title = {All Solutions Predicates in Prolog}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {73--77}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 14:42:59 +0100}, biburl = {https://dblp.org/rec/conf/slp/Naish85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Naish84, author = {Lee Naish}, title = {Heterogeneous {SLD} Resolution}, journal = {J. Log. Program.}, volume = {1}, number = {4}, pages = {297--303}, year = {1984}, url = {https://doi.org/10.1016/0743-1066(84)90027-X}, doi = {10.1016/0743-1066(84)90027-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Naish84.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.