Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Richard J. Lipton
@inproceedings{DBLP:conf/lics/LiptonLNOP022,
author = {Richard Lipton and
Florian Luca and
Joris Nieuwveld and
Jo{\"{e}}l Ouaknine and
David Purser and
James Worrell},
editor = {Christel Baier and
Dana Fisman},
title = {On the Skolem Problem and the Skolem Conjecture},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {5:1--5:9},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533328},
doi = {10.1145/3531130.3533328},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/LiptonLNOP022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KenisonLO020,
author = {George Kenison and
Richard Lipton and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {On the skolem problem and prime powers},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {289--296},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404036},
doi = {10.1145/3373207.3404036},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KenisonLO020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-07432,
author = {George Kenison and
Richard Lipton and
Jo{\"{e}}l Ouaknine and
James Worrell},
title = {On the Skolem Problem and Prime Powers},
journal = {CoRR},
volume = {abs/2006.07432},
year = {2020},
url = {https://arxiv.org/abs/2006.07432},
eprinttype = {arXiv},
eprint = {2006.07432},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-07432.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LiptonOZ16,
author = {Richard J. Lipton and
Rafail Ostrovsky and
Vassilis Zikas},
editor = {Ioannis Chatzigiannakis and
Michael Mitzenmacher and
Yuval Rabani and
Davide Sangiorgi},
title = {Provably Secure Virus Detection: Using The Observer Effect Against
Malware},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
{ICALP} 2016, July 11-15, 2016, Rome, Italy},
series = {LIPIcs},
volume = {55},
pages = {32:1--32:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.32},
doi = {10.4230/LIPICS.ICALP.2016.32},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/LiptonOZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scn/BoldyrevaKLW16,
author = {Alexandra Boldyreva and
Taesoo Kim and
Richard J. Lipton and
Bogdan Warinschi},
editor = {Vassilis Zikas and
Roberto De Prisco},
title = {Provably-Secure Remote Memory Attestation for Heap Overflow Protection},
booktitle = {Security and Cryptography for Networks - 10th International Conference,
{SCN} 2016, Amalfi, Italy, August 31 - September 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9841},
pages = {83--103},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44618-9\_5},
doi = {10.1007/978-3-319-44618-9\_5},
timestamp = {Thu, 23 Jun 2022 19:58:57 +0200},
biburl = {https://dblp.org/rec/conf/scn/BoldyrevaKLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LiptonOZ15,
author = {Richard J. Lipton and
Rafail Ostrovsky and
Vassilis Zikas},
title = {Provable Virus Detection: Using the Uncertainty Principle to Protect
Against Malware},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {728},
year = {2015},
url = {http://eprint.iacr.org/2015/728},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/LiptonOZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BoldyrevaKLW15,
author = {Alexandra Boldyreva and
Taesoo Kim and
Richard J. Lipton and
Bogdan Warinschi},
title = {Towards Provably-Secure Remote Memory Attestation},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {729},
year = {2015},
url = {http://eprint.iacr.org/2015/729},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BoldyrevaKLW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0032993,
author = {Richard J. Lipton and
Kenneth W. Regan},
title = {People, Problems, and Proofs - Essays from G{\"{o}}del's Lost
Letter: 2010},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41422-0},
doi = {10.1007/978-3-642-41422-0},
isbn = {978-3-642-41421-3},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0032993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cc/LiptonW13,
author = {Richard J. Lipton and
Ryan Williams},
title = {Amplifying circuit lower bounds against polynomial time, with applications},
journal = {Comput. Complex.},
volume = {22},
number = {2},
pages = {311--343},
year = {2013},
url = {https://doi.org/10.1007/s00037-013-0069-5},
doi = {10.1007/S00037-013-0069-5},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cc/LiptonW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/ChalermsookKLN13,
author = {Parinya Chalermsook and
Shiva Kintali and
Richard J. Lipton and
Danupon Nanongkai},
title = {Graph Pricing Problem on Bounded Treewidth, Bounded Genus and k-Partite
Graphs},
journal = {Chic. J. Theor. Comput. Sci.},
volume = {2013},
year = {2013},
url = {http://cjtcs.cs.uchicago.edu/articles/2013/13/contents.html},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cjtcs/ChalermsookKLN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgaa/SarmaGLN13,
author = {Atish Das Sarma and
Amita Gajewar and
Richard J. Lipton and
Danupon Nanongkai},
title = {An Approximate Restatement of the Four-Color Theorem},
journal = {J. Graph Algorithms Appl.},
volume = {17},
number = {5},
pages = {567--573},
year = {2013},
url = {https://doi.org/10.7155/jgaa.00304},
doi = {10.7155/JGAA.00304},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jgaa/SarmaGLN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Lipton12,
author = {Richard J. Lipton},
title = {Might Turing Have Won a Turing Award?},
journal = {Computer},
volume = {45},
number = {6},
pages = {96--97},
year = {2012},
url = {https://doi.org/10.1109/MC.2012.211},
doi = {10.1109/MC.2012.211},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Lipton12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KalyanasundaramLRS12,
author = {Subrahmanyam Kalyanasundaram and
Richard J. Lipton and
Kenneth W. Regan and
Farbod Shokrieh},
title = {Improved simulation of nondeterministic Turing machines},
journal = {Theor. Comput. Sci.},
volume = {417},
pages = {66--73},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.05.018},
doi = {10.1016/J.TCS.2011.05.018},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KalyanasundaramLRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/LiptonW12,
author = {Richard J. Lipton and
Ryan Williams},
title = {Amplifying Circuit Lower Bounds against Polynomial Time with Applications},
booktitle = {Proceedings of the 27th Conference on Computational Complexity, {CCC}
2012, Porto, Portugal, June 26-29, 2012},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CCC.2012.44},
doi = {10.1109/CCC.2012.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/LiptonW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-3306,
author = {Richard J. Lipton and
Kenneth W. Regan and
Atri Rudra},
title = {Simulating Special but Natural Quantum Circuits},
journal = {CoRR},
volume = {abs/1201.3306},
year = {2012},
url = {http://arxiv.org/abs/1201.3306},
eprinttype = {arXiv},
eprint = {1201.3306},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-3306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-1940,
author = {Parinya Chalermsook and
Shiva Kintali and
Richard J. Lipton and
Danupon Nanongkai},
title = {Graph Pricing Problem on Bounded Treewidth, Bounded Genus and k-partite
graphs},
journal = {CoRR},
volume = {abs/1203.1940},
year = {2012},
url = {http://arxiv.org/abs/1203.1940},
eprinttype = {arXiv},
eprint = {1203.1940},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-1940.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SarmaLN11,
author = {Atish Das Sarma and
Richard J. Lipton and
Danupon Nanongkai},
title = {Best-order streaming model},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {23},
pages = {2544--2555},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2010.10.046},
doi = {10.1016/J.TCS.2010.10.046},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SarmaLN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/SarmaLNLX11,
author = {Atish Das Sarma and
Ashwin Lall and
Danupon Nanongkai and
Richard J. Lipton and
Jun (Jim) Xu},
editor = {Serge Abiteboul and
Klemens B{\"{o}}hm and
Christoph Koch and
Kian{-}Lee Tan},
title = {Representative skylines using threshold-based preference distributions},
booktitle = {Proceedings of the 27th International Conference on Data Engineering,
{ICDE} 2011, April 11-16, 2011, Hannover, Germany},
pages = {387--398},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICDE.2011.5767873},
doi = {10.1109/ICDE.2011.5767873},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/SarmaLNLX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LiptonRR11,
author = {Richard J. Lipton and
Kenneth W. Regan and
Atri Rudra},
editor = {Filip Murlak and
Piotr Sankowski},
title = {Symmetric Functions Capture General Functions},
booktitle = {Mathematical Foundations of Computer Science 2011 - 36th International
Symposium, {MFCS} 2011, Warsaw, Poland, August 22-26, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6907},
pages = {436--447},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22993-0\_40},
doi = {10.1007/978-3-642-22993-0\_40},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LiptonRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Lipton11,
author = {Richard J. Lipton},
editor = {Mitsunori Ogihara and
Jun Tarui},
title = {Quantum Complexity: Some Recent Results, Some Open Problems, Some
Thoughts},
booktitle = {Theory and Applications of Models of Computation - 8th Annual Conference,
{TAMC} 2011, Tokyo, Japan, May 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6648},
pages = {171},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20877-5\_18},
doi = {10.1007/978-3-642-20877-5\_18},
timestamp = {Sun, 25 Oct 2020 23:06:59 +0100},
biburl = {https://dblp.org/rec/conf/tamc/Lipton11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/NanongkaiSLLX10,
author = {Danupon Nanongkai and
Atish Das Sarma and
Ashwin Lall and
Richard J. Lipton and
Jun (Jim) Xu},
title = {Regret-Minimizing Representative Databases},
journal = {Proc. {VLDB} Endow.},
volume = {3},
number = {1},
pages = {1114--1124},
year = {2010},
url = {http://www.vldb.org/pvldb/vldb2010/pvldb\_vol3/R99.pdf},
doi = {10.14778/1920841.1920980},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/NanongkaiSLLX10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ChaPBL10,
author = {Sang Kil Cha and
Brian Pak and
David Brumley and
Richard Jay Lipton},
editor = {Ehab Al{-}Shaer and
Angelos D. Keromytis and
Vitaly Shmatikov},
title = {Platform-independent programs},
booktitle = {Proceedings of the 17th {ACM} Conference on Computer and Communications
Security, {CCS} 2010, Chicago, Illinois, USA, October 4-8, 2010},
pages = {547--558},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1866307.1866369},
doi = {10.1145/1866307.1866369},
timestamp = {Tue, 10 Nov 2020 20:00:21 +0100},
biburl = {https://dblp.org/rec/conf/ccs/ChaPBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faw/CaiCLL10,
author = {Jin{-}yi Cai and
Xi Chen and
Richard J. Lipton and
Pinyan Lu},
editor = {Der{-}Tsai Lee and
Danny Z. Chen and
Shi Ying},
title = {On Tractable Exponential Sums},
booktitle = {Frontiers in Algorithmics, 4th International Workshop, {FAW} 2010,
Wuhan, China, August 11-13, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6213},
pages = {148--159},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14553-7\_16},
doi = {10.1007/978-3-642-14553-7\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faw/CaiCLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KalyanasundaramLRS10,
author = {Subrahmanyam Kalyanasundaram and
Richard J. Lipton and
Kenneth W. Regan and
Farbod Shokrieh},
editor = {Petr Hlinen{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Improved Simulation of Nondeterministic Turing Machines},
booktitle = {Mathematical Foundations of Computer Science 2010, 35th International
Symposium, {MFCS} 2010, Brno, Czech Republic, August 23-27, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6281},
pages = {453--464},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15155-2\_40},
doi = {10.1007/978-3-642-15155-2\_40},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/KalyanasundaramLRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-2632,
author = {Jin{-}yi Cai and
Xi Chen and
Richard J. Lipton and
Pinyan Lu},
title = {On Tractable Exponential Sums},
journal = {CoRR},
volume = {abs/1005.2632},
year = {2010},
url = {http://arxiv.org/abs/1005.2632},
eprinttype = {arXiv},
eprint = {1005.2632},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-2632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorica/KolountzakisLMMV09,
author = {Mihail N. Kolountzakis and
Richard J. Lipton and
Evangelos Markakis and
Aranyak Mehta and
Nisheeth K. Vishnoi},
title = {On the Fourier spectrum of symmetric Boolean functions},
journal = {Comb.},
volume = {29},
number = {3},
pages = {363--387},
year = {2009},
url = {https://doi.org/10.1007/s00493-009-2310-z},
doi = {10.1007/S00493-009-2310-Z},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorica/KolountzakisLMMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BlaserHLV09,
author = {Markus Bl{\"{a}}ser and
Moritz Hardt and
Richard J. Lipton and
Nisheeth K. Vishnoi},
title = {Deterministically testing sparse polynomial identities of unbounded
degree},
journal = {Inf. Process. Lett.},
volume = {109},
number = {3},
pages = {187--192},
year = {2009},
url = {https://doi.org/10.1016/j.ipl.2008.09.029},
doi = {10.1016/J.IPL.2008.09.029},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BlaserHLV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AmmarCSKL09,
author = {Mostafa H. Ammar and
Deeparnab Chakrabarty and
Atish Das Sarma and
Subrahmanyam Kalyanasundaram and
Richard J. Lipton},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Algorithms for Message Ferrying on Mobile ad hoc Networks},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {13--24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2303},
doi = {10.4230/LIPICS.FSTTCS.2009.2303},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AmmarCSKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/SarmaLN09,
author = {Atish Das Sarma and
Richard J. Lipton and
Danupon Nanongkai},
editor = {Jianer Chen and
S. Barry Cooper},
title = {Best-Order Streaming Model},
booktitle = {Theory and Applications of Models of Computation, 6th Annual Conference,
{TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5532},
pages = {178--191},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02017-9\_21},
doi = {10.1007/978-3-642-02017-9\_21},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/SarmaLN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wasa/CrescenzoL09,
author = {Giovanni Di Crescenzo and
Richard J. Lipton},
editor = {Benyuan Liu and
Azer Bestavros and
Ding{-}Zhu Du and
Jie Wang},
title = {Social Network Privacy via Evolving Access Control},
booktitle = {Wireless Algorithms, Systems, and Applications, 4th International
Conference, {WASA} 2009, Boston, MA, USA, August 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5682},
pages = {551--560},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03417-6\_54},
doi = {10.1007/978-3-642-03417-6\_54},
timestamp = {Sun, 02 Jun 2019 21:10:29 +0200},
biburl = {https://dblp.org/rec/conf/wasa/CrescenzoL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/GopalanGL08,
author = {Parikshit Gopalan and
Venkatesan Guruswami and
Richard J. Lipton},
title = {Algorithms for Modular Counting of Roots of Multivariate Polynomials},
journal = {Algorithmica},
volume = {50},
number = {4},
pages = {479--496},
year = {2008},
url = {https://doi.org/10.1007/s00453-007-9097-3},
doi = {10.1007/S00453-007-9097-3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/GopalanGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/KhotLMM08,
author = {Subhash Khot and
Richard J. Lipton and
Evangelos Markakis and
Aranyak Mehta},
title = {Inapproximability Results for Combinatorial Auctions with Submodular
Utility Functions},
journal = {Algorithmica},
volume = {52},
number = {1},
pages = {3--18},
year = {2008},
url = {https://doi.org/10.1007/s00453-007-9105-7},
doi = {10.1007/S00453-007-9105-7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/KhotLMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cc/BasuBGL08,
author = {Saugata Basu and
Nayantara Bhatnagar and
Parikshit Gopalan and
Richard J. Lipton},
title = {Polynomials that Sign Represent Parity and Descartes' Rule of Signs},
journal = {Comput. Complex.},
volume = {17},
number = {3},
pages = {377--406},
year = {2008},
url = {https://doi.org/10.1007/s00037-008-0244-2},
doi = {10.1007/S00037-008-0244-2},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cc/BasuBGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/CashDDLLW07,
author = {David Cash and
Yan Zong Ding and
Yevgeniy Dodis and
Wenke Lee and
Richard J. Lipton and
Shabsi Walfish},
editor = {Salil P. Vadhan},
title = {Intrusion-Resilient Key Exchange in the Bounded Retrieval Model},
booktitle = {Theory of Cryptography, 4th Theory of Cryptography Conference, {TCC}
2007, Amsterdam, The Netherlands, February 21-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4392},
pages = {479--498},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70936-7\_26},
doi = {10.1007/978-3-540-70936-7\_26},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/tcc/CashDDLLW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BhatnagarGL06,
author = {Nayantara Bhatnagar and
Parikshit Gopalan and
Richard J. Lipton},
title = {Symmetric polynomials over Z\({}_{\mbox{\emph{m}}}\) and simultaneous
communication protocols},
journal = {J. Comput. Syst. Sci.},
volume = {72},
number = {2},
pages = {252--285},
year = {2006},
url = {https://doi.org/10.1016/j.jcss.2005.06.007},
doi = {10.1016/J.JCSS.2005.06.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BhatnagarGL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grc/PuWKLL06,
author = {Calton Pu and
Steve Webb and
Oleg M. Kolesnikov and
Wenke Lee and
Richard J. Lipton},
title = {Towards the integration of diverse spam filtering techniques},
booktitle = {2006 {IEEE} International Conference on Granular Computing, GrC 2006,
Atlanta, Georgia, USA, May 10-12, 2006},
pages = {17--20},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/GRC.2006.1635746},
doi = {10.1109/GRC.2006.1635746},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/grc/PuWKLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/GopalanGL06,
author = {Parikshit Gopalan and
Venkatesan Guruswami and
Richard J. Lipton},
editor = {Jos{\'{e}} R. Correa and
Alejandro Hevia and
Marcos A. Kiwi},
title = {Algorithms for Modular Counting of Roots of Multivariate Polynomials},
booktitle = {{LATIN} 2006: Theoretical Informatics, 7th Latin American Symposium,
Valdivia, Chile, March 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3887},
pages = {544--555},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11682462\_51},
doi = {10.1007/11682462\_51},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/GopalanGL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/CrescenzoLW06,
author = {Giovanni Di Crescenzo and
Richard J. Lipton and
Shabsi Walfish},
editor = {Shai Halevi and
Tal Rabin},
title = {Perfectly Secure Password Protocols in the Bounded Retrieval Model},
booktitle = {Theory of Cryptography, Third Theory of Cryptography Conference, {TCC}
2006, New York, NY, USA, March 4-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3876},
pages = {225--244},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11681878\_12},
doi = {10.1007/11681878\_12},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/tcc/CrescenzoLW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FortnowLMV05,
author = {Lance Fortnow and
Richard J. Lipton and
Dieter van Melkebeek and
Anastasios Viglas},
title = {Time-space lower bounds for satisfiability},
journal = {J. {ACM}},
volume = {52},
number = {6},
pages = {835--865},
year = {2005},
url = {https://doi.org/10.1145/1101821.1101822},
doi = {10.1145/1101821.1101822},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/FortnowLMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/GumLLF05,
author = {Ben Gum and
Richard J. Lipton and
Andrea S. LaPaugh and
Faith E. Fich},
title = {Estimating the maximum},
journal = {J. Algorithms},
volume = {54},
number = {1},
pages = {105--114},
year = {2005},
url = {https://doi.org/10.1016/j.jalgor.2004.04.005},
doi = {10.1016/J.JALGOR.2004.04.005},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/GumLLF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/XuL05,
author = {Jun (Jim) Xu and
Richard J. Lipton},
title = {On fundamental tradeoffs between delay bounds and computational complexity
in packet scheduling algorithms},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {13},
number = {1},
pages = {15--28},
year = {2005},
url = {https://doi.org/10.1109/TNET.2004.842223},
doi = {10.1109/TNET.2004.842223},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ton/XuL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/LiptonMMV05,
author = {Richard J. Lipton and
Evangelos Markakis and
Aranyak Mehta and
Nisheeth K. Vishnoi},
title = {On the Fourier Spectrum of Symmetric Boolean Functions with Applications
to Learning Symmetric Juntas},
booktitle = {20th Annual {IEEE} Conference on Computational Complexity {(CCC} 2005),
11-15 June 2005, San Jose, CA, {USA}},
pages = {112--119},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CCC.2005.19},
doi = {10.1109/CCC.2005.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/LiptonMMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/DagonLL05,
author = {David Dagon and
Wenke Lee and
Richard J. Lipton},
editor = {Andrew S. Patrick and
Moti Yung},
title = {Protecting Secret Data from Insider Attacks},
booktitle = {Financial Cryptography and Data Security, 9th International Conference,
{FC} 2005, Roseau, The Commonwealth of Dominica, February 28 - March
3, 2005, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3570},
pages = {16--30},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11507840\_2},
doi = {10.1007/11507840\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fc/DagonLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wine/KhotLMM05,
author = {Subhash Khot and
Richard J. Lipton and
Evangelos Markakis and
Aranyak Mehta},
editor = {Xiaotie Deng and
Yinyu Ye},
title = {Inapproximability Results for Combinatorial Auctions with Submodular
Utility Functions},
booktitle = {Internet and Network Economics, First International Workshop, {WINE}
2005, Hong Kong, China, December 15-17, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3828},
pages = {92--101},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11600930\_10},
doi = {10.1007/11600930\_10},
timestamp = {Sun, 18 Dec 2022 19:02:44 +0100},
biburl = {https://dblp.org/rec/conf/wine/KhotLMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/BasuBGL04,
author = {Saugata Basu and
Nayantara Bhatnagar and
Parikshit Gopalan and
Richard J. Lipton},
title = {Polynomials That Sign Represent Parity and Descartes Rule of Signs},
booktitle = {19th Annual {IEEE} Conference on Computational Complexity {(CCC} 2004),
21-24 June 2004, Amherst, MA, {USA}},
pages = {223--235},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CCC.2004.1313846},
doi = {10.1109/CCC.2004.1313846},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/BasuBGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DevanurLV04,
author = {Nikhil R. Devanur and
Richard J. Lipton and
Nisheeth K. Vishnoi},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {On the Complexity of Hilbert's 17th Problem},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {237--249},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_20},
doi = {10.1007/978-3-540-30538-5\_20},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DevanurLV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/LiptonM04,
author = {Richard J. Lipton and
Evangelos Markakis},
editor = {Martin Farach{-}Colton},
title = {Nash Equilibria via Polynomial Equations},
booktitle = {{LATIN} 2004: Theoretical Informatics, 6th Latin American Symposium,
Buenos Aires, Argentina, April 5-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2976},
pages = {413--422},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24698-5\_45},
doi = {10.1007/978-3-540-24698-5\_45},
timestamp = {Fri, 09 Apr 2021 18:42:35 +0200},
biburl = {https://dblp.org/rec/conf/latin/LiptonM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/LiptonMMS04,
author = {Richard J. Lipton and
Evangelos Markakis and
Elchanan Mossel and
Amin Saberi},
editor = {Jack S. Breese and
Joan Feigenbaum and
Margo I. Seltzer},
title = {On approximately fair allocations of indivisible goods},
booktitle = {Proceedings 5th {ACM} Conference on Electronic Commerce (EC-2004),
New York, NY, USA, May 17-20, 2004},
pages = {125--131},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/988772.988792},
doi = {10.1145/988772.988792},
timestamp = {Tue, 27 Nov 2018 11:56:48 +0100},
biburl = {https://dblp.org/rec/conf/sigecom/LiptonMMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR04-022,
author = {Nayantara Bhatnagar and
Parikshit Gopalan and
Richard J. Lipton},
title = {The Degree of Threshold Mod 6 and Diophantine Equations},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR04-022}},
year = {2004},
url = {https://eccc.weizmann.ac.il/eccc-reports/2004/TR04-022/index.html},
eprinttype = {ECCC},
eprint = {TR04-022},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR04-022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/LiptonOZ03,
author = {Richard J. Lipton and
Mitsunori Ogihara and
Yechezkel Zalcstein},
title = {A Note on Square Rooting of Time Functions of Turing Machines},
journal = {Theory Comput. Syst.},
volume = {36},
number = {3},
pages = {295--299},
year = {2003},
url = {https://doi.org/10.1007/s00224-002-1079-x},
doi = {10.1007/S00224-002-1079-X},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/LiptonOZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarakostasLV03,
author = {George Karakostas and
Richard J. Lipton and
Anastasios Viglas},
title = {On the complexity of intersecting finite state automata and {N} {L}
versus {N} {P}},
journal = {Theor. Comput. Sci.},
volume = {302},
number = {1-3},
pages = {257--274},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00830-7},
doi = {10.1016/S0304-3975(02)00830-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KarakostasLV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/LiptonV03,
author = {Richard J. Lipton and
Anastasios Viglas},
editor = {Andrzej Lingas and
Bengt J. Nilsson},
title = {Non-uniform Depth of Polynomial Time and Space Simulations},
booktitle = {Fundamentals of Computation Theory, 14th International Symposium,
{FCT} 2003, Malm{\"{o}}, Sweden, August 12-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2751},
pages = {311--320},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45077-1\_29},
doi = {10.1007/978-3-540-45077-1\_29},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/LiptonV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BhatnagarGL03,
author = {Nayantara Bhatnagar and
Parikshit Gopalan and
Richard J. Lipton},
title = {Symmetric Polynomials over Z\({}_{\mbox{m}}\) and Simultaneous Communication
Protocol},
booktitle = {44th Symposium on Foundations of Computer Science {(FOCS} 2003), 11-14
October 2003, Cambridge, MA, USA, Proceedings},
pages = {450--459},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SFCS.2003.1238218},
doi = {10.1109/SFCS.2003.1238218},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BhatnagarGL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GopalanLM03,
author = {Parikshit Gopalan and
Richard J. Lipton and
Aranyak Mehta},
editor = {Paritosh K. Pandya and
Jaikumar Radhakrishnan},
title = {Randomized Time-Space Tradeoffs for Directed Graph Connectivity},
booktitle = {{FST} {TCS} 2003: Foundations of Software Technology and Theoretical
Computer Science, 23rd Conference, Mumbai, India, December 15-17,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2914},
pages = {208--216},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24597-1\_18},
doi = {10.1007/978-3-540-24597-1\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/GopalanLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/XuLESZ03,
author = {Jun Xu and
Richard J. Lipton and
Irfan A. Essa and
Minho Sung and
Yong Zhu},
editor = {Ronald P. Luijten and
Luiz A. DaSilva and
E. K. Park},
title = {Mandatory human participation: a new authentication scheme for building
secure systems},
booktitle = {Proceedings of the 12th International Conference on Computer Communications
and Networks, {ICCCN} 2003, 20-22 October, 2003, Double Tree Lincoln
Centre, Dallas, Texas, {USA}},
pages = {547--552},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ICCCN.2003.1284222},
doi = {10.1109/ICCCN.2003.1284222},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icccn/XuLESZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saga/DevanurLV03,
author = {Nikhil R. Devanur and
Richard J. Lipton and
Nisheeth K. Vishnoi},
editor = {Andreas Alexander Albrecht and
Kathleen Steinh{\"{o}}fel},
title = {Who's The Weakest Link?},
booktitle = {Stochastic Algorithms: Foundations and Applications, Second International
Symposium, {SAGA} 2003, Hatfield, UK, September 22-23, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2827},
pages = {108--116},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39816-5\_10},
doi = {10.1007/978-3-540-39816-5\_10},
timestamp = {Mon, 26 Jun 2023 20:48:58 +0200},
biburl = {https://dblp.org/rec/conf/saga/DevanurLV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/LiptonMM03,
author = {Richard J. Lipton and
Evangelos Markakis and
Aranyak Mehta},
editor = {Daniel A. Menasc{\'{e}} and
Noam Nisan},
title = {Playing large games using simple strategies},
booktitle = {Proceedings 4th {ACM} Conference on Electronic Commerce (EC-2003),
San Diego, California, USA, June 9-12, 2003},
pages = {36--41},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/779928.779933},
doi = {10.1145/779928.779933},
timestamp = {Tue, 27 Nov 2018 11:56:48 +0100},
biburl = {https://dblp.org/rec/conf/sigecom/LiptonMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/LiptonV03,
author = {Richard J. Lipton and
Nisheeth K. Vishnoi},
title = {Deterministic identity testing for multivariate polynomials},
booktitle = {Proceedings of the Fourteenth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, January 12-14, 2003, Baltimore, Maryland, {USA}},
pages = {756--760},
publisher = {{ACM/SIAM}},
year = {2003},
url = {http://dl.acm.org/citation.cfm?id=644108.644233},
timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
biburl = {https://dblp.org/rec/conf/soda/LiptonV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR03-047,
author = {Nayantara Bhatnagar and
Parikshit Gopalan and
Richard J. Lipton},
title = {Symmetric Polynomials over Z\({}_{\mbox{m}}\) and Simultaneous Communication
Protocols},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR03-047}},
year = {2003},
url = {https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-047/index.html},
eprinttype = {ECCC},
eprint = {TR03-047},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR03-047.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/network/LiptonRS02,
author = {Richard J. Lipton and
S. Raj Rajagopalan and
Dimitrios Serpanos},
title = {Network and service security},
journal = {{IEEE} Netw.},
volume = {16},
number = {6},
pages = {6},
year = {2002},
url = {https://doi.org/10.1109/MNET.2002.1081759},
doi = {10.1109/MNET.2002.1081759},
timestamp = {Tue, 30 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/network/LiptonRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/LiptonRS02,
author = {Richard J. Lipton and
S. Raj Rajagopalan and
Dimitrios N. Serpanos},
title = {Spy: {A} Method to Secure Clients for Network Services},
booktitle = {22nd International Conference on Distributed Computing Systems, Workshops
{(ICDCSW} '02) July 2-5, 2002, Vienna, Austria, Proceedings},
pages = {23--28},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICDCSW.2002.1030743},
doi = {10.1109/ICDCSW.2002.1030743},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/LiptonRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/OrsoLHL02,
author = {Alessandro Orso and
Donglin Liang and
Mary Jean Harrold and
Richard J. Lipton},
editor = {Phyllis G. Frankl},
title = {Gamma system: continuous evolution of software after deployment},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
pages = {65--69},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/566172.566182},
doi = {10.1145/566172.566182},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/OrsoLHL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/XuL02,
author = {Jun (Jim) Xu and
Richard J. Lipton},
editor = {Matthew Mathis and
Peter Steenkiste and
Hari Balakrishnan and
Vern Paxson},
title = {On fundamental tradeoffs between delay bounds and computational complexity
in packet scheduling algorithms},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2002 Conference on Applications,
Technologies, Architectures, and Protocols for Computer Communication,
August 19-23, 2002, Pittsburgh, PA, {USA}},
pages = {279--292},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/633025.633052},
doi = {10.1145/633025.633052},
timestamp = {Wed, 21 Jul 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/XuL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0205035,
author = {Richard J. Lipton and
Neal E. Young},
title = {Simple Strategies for Large Zero-Sum Games with Applications to Complexity
Theory},
journal = {CoRR},
volume = {cs.CC/0205035},
year = {2002},
url = {https://arxiv.org/abs/cs/0205035},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-0205035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR02-057,
author = {Richard J. Lipton and
Anastasios Viglas},
title = {Non-uniform Depth of Polynomial Time and Space Simulations},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR02-057}},
year = {2002},
url = {https://eccc.weizmann.ac.il/eccc-reports/2002/TR02-057/index.html},
eprinttype = {ECCC},
eprint = {TR02-057},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR02-057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joc/BonehDL01,
author = {Dan Boneh and
Richard A. DeMillo and
Richard J. Lipton},
title = {On the Importance of Eliminating Errors in Cryptographic Computations},
journal = {J. Cryptol.},
volume = {14},
number = {2},
pages = {101--119},
year = {2001},
url = {https://doi.org/10.1007/s001450010016},
doi = {10.1007/S001450010016},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joc/BonehDL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/SerpanosL01,
author = {Dimitrios N. Serpanos and
Richard J. Lipton},
title = {Defense Against Man-in-the-Middle Attack in Client-Server Systems},
booktitle = {Proceedings of the Sixth {IEEE} Symposium on Computers and Communications
{(ISCC} 2001), 3-5 July 2001, Hammamet, Tunisia},
pages = {9--14},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISCC.2001.935348},
doi = {10.1109/ISCC.2001.935348},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/SerpanosL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdm/GumL01,
author = {Ben Gum and
Richard J. Lipton},
editor = {Vipin Kumar and
Robert L. Grossman},
title = {Cheaper by the Dozen: Batched Algorithms},
booktitle = {Proceedings of the First {SIAM} International Conference on Data Mining,
{SDM} 2001, Chicago, IL, USA, April 5-7, 2001},
pages = {1--11},
publisher = {{SIAM}},
year = {2001},
url = {https://doi.org/10.1137/1.9781611972719.23},
doi = {10.1137/1.9781611972719.23},
timestamp = {Wed, 17 May 2017 14:24:53 +0200},
biburl = {https://dblp.org/rec/conf/sdm/GumL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcb/FaulhammerLL00,
author = {Dirk Faulhammer and
Richard J. Lipton and
Laura F. Landweber},
title = {Fidelity of Enzymatic Ligation for {DNA} Computing},
journal = {J. Comput. Biol.},
volume = {7},
number = {6},
pages = {839--848},
year = {2000},
url = {https://doi.org/10.1089/10665270050514963},
doi = {10.1089/10665270050514963},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcb/FaulhammerLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pnas/FaulhammerCLL00,
author = {Dirk Faulhammer and
Anthony R. Cukras and
Richard J. Lipton and
Laura F. Landweber},
title = {Molecular computation: {RNA} solutions to chess problems},
journal = {Proc. Natl. Acad. Sci. {USA}},
volume = {97},
number = {4},
pages = {1385--1389},
year = {2000},
url = {https://doi.org/10.1073/pnas.97.4.1385},
doi = {10.1073/PNAS.97.4.1385},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pnas/FaulhammerCLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CaiLZ00,
author = {Jin{-}yi Cai and
Richard J. Lipton and
Yechezkel Zalcstein},
title = {The Complexity of the {A} {B} {C} Problem},
journal = {{SIAM} J. Comput.},
volume = {29},
number = {6},
pages = {1878--1888},
year = {2000},
url = {https://doi.org/10.1137/S0097539794276853},
doi = {10.1137/S0097539794276853},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/CaiLZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/KarakostasLV00,
author = {George Karakostas and
Richard J. Lipton and
Anastasios Viglas},
title = {On the Complexity of Intersecting Finite State Automata},
booktitle = {Proceedings of the 15th Annual {IEEE} Conference on Computational
Complexity, Florence, Italy, July 4-7, 2000},
pages = {229--234},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/CCC.2000.856753},
doi = {10.1109/CCC.2000.856753},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/KarakostasLV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/GalHLP99,
author = {Anna G{\'{a}}l and
Shai Halevi and
Richard J. Lipton and
Erez Petrank},
title = {Computing from Partial Solutions},
booktitle = {Proceedings of the 14th Annual {IEEE} Conference on Computational
Complexity, Atlanta, Georgia, USA, May 4-6, 1999},
pages = {34--45},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/CCC.1999.766260},
doi = {10.1109/CCC.1999.766260},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/GalHLP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/FaulhammerCLL99,
author = {Dirk Faulhammer and
Anthony R. Cukras and
Richard J. Lipton and
Laura F. Landweber},
editor = {Erik Winfree and
David K. Gifford},
title = {When the Knight falls: On constructing an {RNA} computer},
booktitle = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, New Brunswick,
New Jersey, USA, June 14-15, 1999},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {54},
pages = {1--7},
publisher = {{DIMACS/AMS}},
year = {1999},
url = {https://doi.org/10.1090/dimacs/054/01},
doi = {10.1090/DIMACS/054/01},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/FaulhammerCLL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/LiptonV99,
author = {Richard J. Lipton and
Anastasios Viglas},
title = {On the Complexity of {SAT}},
booktitle = {40th Annual Symposium on Foundations of Computer Science, {FOCS} '99,
17-18 October, 1999, New York, NY, {USA}},
pages = {459--464},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/SFFCS.1999.814618},
doi = {10.1109/SFFCS.1999.814618},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/LiptonV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ArLRS98,
author = {Sigal Ar and
Richard J. Lipton and
Ronitt Rubinfeld and
Madhu Sudan},
title = {Reconstructing Algebraic Functions from Mixed Data},
journal = {{SIAM} J. Comput.},
volume = {28},
number = {2},
pages = {487--510},
year = {1998},
url = {https://doi.org/10.1137/S0097539796297577},
doi = {10.1137/S0097539796297577},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/ArLRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/LiptonO98,
author = {Richard J. Lipton and
Rafail Ostrovsky},
editor = {Rafael Hirschfeld},
title = {Micropayments via Efficient Coin-Flipping},
booktitle = {Financial Cryptography, Second International Conference, FC'98, Anguilla,
British West Indies, February 23-25, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1465},
pages = {1--15},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055469},
doi = {10.1007/BFB0055469},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fc/LiptonO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/LandweberLR97,
author = {Laura F. Landweber and
Richard J. Lipton and
Michael O. Rabin},
editor = {Harvey Rubin and
David Harlan Wood},
title = {DNA\({}^{\mbox{2}}\)DNA computations: {A} potential "killer app?"},
booktitle = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, Philadelphia,
Pennsylvania, USA, June 23-25, 1997},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {48},
pages = {161--172},
publisher = {{DIMACS/AMS}},
year = {1997},
url = {https://doi.org/10.1090/dimacs/048/12},
doi = {10.1090/DIMACS/048/12},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/LandweberLR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/BonehDL97,
author = {Dan Boneh and
Richard A. DeMillo and
Richard J. Lipton},
editor = {Walter Fumy},
title = {On the Importance of Checking Cryptographic Protocols for Faults (Extended
Abstract)},
booktitle = {Advances in Cryptology - {EUROCRYPT} '97, International Conference
on the Theory and Application of Cryptographic Techniques, Konstanz,
Germany, May 11-15, 1997, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {1233},
pages = {37--51},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-69053-0\_4},
doi = {10.1007/3-540-69053-0\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocrypt/BonehDL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/LiptonMN97,
author = {Richard J. Lipton and
Paul J. Martino and
Andy Neitzke},
title = {On the Complexity of a Set-Union Problem},
booktitle = {38th Annual Symposium on Foundations of Computer Science, {FOCS} '97,
Miami Beach, Florida, USA, October 19-22, 1997},
pages = {110--115},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/SFCS.1997.646099},
doi = {10.1109/SFCS.1997.646099},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/LiptonMN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LandweberL97,
author = {Laura F. Landweber and
Richard J. Lipton},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {DNA{\({^2}\)}DNA Computations: {A} Potential "Killer App"?},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {56--64},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_164},
doi = {10.1007/3-540-63165-8\_164},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LandweberL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/BonehL97,
author = {Dan Boneh and
Richard J. Lipton},
title = {Effect of Operators on Straight Line Complexity},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {1--5},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595151},
doi = {10.1109/ISTCS.1997.595151},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/BonehL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/Lipton97,
author = {Richard J. Lipton},
editor = {Michael I. Jordan and
Michael J. Kearns and
Sara A. Solla},
title = {DNA\({}^{\mbox{2}}\)DNA Computation: {A} Potential Killer Application?},
booktitle = {Advances in Neural Information Processing Systems 10, {[NIPS} Conference,
Denver, Colorado, USA, 1997]},
publisher = {The {MIT} Press},
year = {1997},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/Lipton97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/BonehDLS96,
author = {Dan Boneh and
Christopher Dunworth and
Richard J. Lipton and
Jir{\'{\i}} Sgall},
title = {On the Computational Power of {DNA}},
journal = {Discret. Appl. Math.},
volume = {71},
number = {1-3},
pages = {79--94},
year = {1996},
url = {https://doi.org/10.1016/S0166-218X(96)00058-3},
doi = {10.1016/S0166-218X(96)00058-3},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/BonehDLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Lipton96,
author = {Richard J. Lipton},
title = {On Proving that a Graph has no Large Clique: {A} Connection with Ramsey
Theory},
journal = {Inf. Process. Lett.},
volume = {58},
number = {1},
pages = {39--42},
year = {1996},
url = {https://doi.org/10.1016/0020-0190(95)00209-X},
doi = {10.1016/0020-0190(95)00209-X},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Lipton96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/AmmannLS96,
author = {Paul Ammann and
Richard J. Lipton and
Ravi S. Sandhu},
title = {The Expressive Power of Multi-parent Creation in Monotonic Access
Control Models},
journal = {J. Comput. Secur.},
volume = {4},
number = {2/3},
pages = {149--166},
year = {1996},
url = {https://doi.org/10.3233/JCS-1996-42-303},
doi = {10.3233/JCS-1996-42-303},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/AmmannLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/BonehL96,
author = {Dan Boneh and
Richard J. Lipton},
editor = {Neal Koblitz},
title = {Algorithms for Black-Box Fields and their Application to Cryptography
(Extended Abstract)},
booktitle = {Advances in Cryptology - {CRYPTO} '96, 16th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1109},
pages = {283--297},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-68697-5\_22},
doi = {10.1007/3-540-68697-5\_22},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/crypto/BonehL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/BonehDLS96,
author = {Dan Boneh and
Christopher Dunworth and
Richard J. Lipton and
Jir{\'{\i}} Sgall},
editor = {Laura F. Landweber and
Eric B. Baum},
title = {Making {DNA} computers error resistant},
booktitle = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, Princeton,
New Jersey, USA, June 10-12, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {44},
pages = {163--170},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/044/13},
doi = {10.1090/DIMACS/044/13},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/BonehDLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Lipton96,
author = {Richard J. Lipton},
editor = {Laura F. Landweber and
Eric B. Baum},
title = {{DNA} computations can have global memory},
booktitle = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, Princeton,
New Jersey, USA, June 10-12, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {44},
pages = {259--265},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/044/21},
doi = {10.1090/DIMACS/044/21},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Lipton96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/EdahiroL96,
author = {Masato Edahiro and
Richard J. Lipton},
title = {Clock Buffer Placement Algorithm for Wire-Delay-Dominated Timing Model},
booktitle = {6th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '96), March 22-23,
1996, Ames, IA, {USA}},
pages = {143--147},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/GLSV.1996.497610},
doi = {10.1109/GLSV.1996.497610},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/EdahiroL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/Lipton96,
author = {Richard J. Lipton},
title = {{DNA} computations can have global memory},
booktitle = {1996 International Conference on Computer Design {(ICCD} '96), {VLSI}
in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings},
pages = {344--347},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICCD.1996.563577},
doi = {10.1109/ICCD.1996.563577},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/Lipton96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/BonehL96,
author = {Dan Boneh and
Richard J. Lipton},
title = {A Revocable Backup System},
booktitle = {Proceedings of the 6th {USENIX} Security Symposium, San Jose, CA,
USA, July 22-25, 1996},
publisher = {{USENIX} Association},
year = {1996},
url = {https://www.usenix.org/conference/6th-usenix-security-symposium/revocable-backup-system},
timestamp = {Mon, 01 Feb 2021 08:43:15 +0100},
biburl = {https://dblp.org/rec/conf/uss/BonehL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LiptonN95,
author = {Richard J. Lipton and
Jeffrey F. Naughton},
title = {Query Size Estimation by Adaptive Sampling},
journal = {J. Comput. Syst. Sci.},
volume = {51},
number = {1},
pages = {18--25},
year = {1995},
url = {https://doi.org/10.1006/jcss.1995.1050},
doi = {10.1006/JCSS.1995.1050},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LiptonN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/BonehL95,
author = {Dan Boneh and
Richard J. Lipton},
editor = {Don Coppersmith},
title = {Quantum Cryptanalysis of Hidden Linear Functions (Extended Abstract)},
booktitle = {Advances in Cryptology - {CRYPTO} '95, 15th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 27-31, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {963},
pages = {424--437},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-44750-4\_34},
doi = {10.1007/3-540-44750-4\_34},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/crypto/BonehL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/BonehDL95,
author = {Dan Boneh and
Christopher Dunworth and
Richard J. Lipton},
editor = {Richard J. Lipton and
Eric B. Baum},
title = {Breaking {DES} using a molecular computer},
booktitle = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, Princeton,
New Jersey, USA, April 4, 1995},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {27},
pages = {37--65},
publisher = {{DIMACS/AMS}},
year = {1995},
url = {https://doi.org/10.1090/dimacs/027/04},
doi = {10.1090/DIMACS/027/04},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/BonehDL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Lipton95,
author = {Richard J. Lipton},
editor = {Richard J. Lipton and
Eric B. Baum},
title = {Speeding up computations via molecular biology},
booktitle = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, Princeton,
New Jersey, USA, April 4, 1995},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {27},
pages = {67--74},
publisher = {{DIMACS/AMS}},
year = {1995},
url = {https://doi.org/10.1090/dimacs/027/05},
doi = {10.1090/DIMACS/027/05},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Lipton95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CaiLLORS95,
author = {Jin{-}yi Cai and
Richard J. Lipton and
Luc Longpr{\'{e}} and
Mitsunori Ogihara and
Kenneth W. Regan and
D. Sivakumar},
editor = {Ernst W. Mayr and
Claude Puech},
title = {Communication Complexity of Key Agreement on Small Ranges},
booktitle = {{STACS} 95, 12th Annual Symposium on Theoretical Aspects of Computer
Science, Munich, Germany, March 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {900},
pages = {38--49},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59042-0\_60},
doi = {10.1007/3-540-59042-0\_60},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CaiLLORS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dimacs/dimacs27,
editor = {Richard J. Lipton and
Eric B. Baum},
title = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, Princeton,
New Jersey, USA, April 4, 1995},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {27},
publisher = {{DIMACS/AMS}},
year = {1995},
url = {https://doi.org/10.1090/dimacs/027},
doi = {10.1090/DIMACS/027},
isbn = {978-0-8218-0973-0},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/dimacs27.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CaiCL94,
author = {Jin{-}yi Cai and
Anne Condon and
Richard J. Lipton},
title = {{PSPACE} Is Provable by Two Provers in One Round},
journal = {J. Comput. Syst. Sci.},
volume = {48},
number = {1},
pages = {183--193},
year = {1994},
url = {https://doi.org/10.1016/S0022-0000(05)80026-1},
doi = {10.1016/S0022-0000(05)80026-1},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CaiCL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CaiL94,
author = {Jin{-}yi Cai and
Richard J. Lipton},
title = {Subquadratic Simulations of Balanced Formulae by Branching Programs},
journal = {{SIAM} J. Comput.},
volume = {23},
number = {3},
pages = {563--572},
year = {1994},
url = {https://doi.org/10.1137/S0097539790181336},
doi = {10.1137/S0097539790181336},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/CaiL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ants/Lipton94,
author = {Richard J. Lipton},
editor = {Leonard M. Adleman and
Ming{-}Deh A. Huang},
title = {Straight-line complexity and integer factorization},
booktitle = {Algorithmic Number Theory, First International Symposium, ANTS-I,
Ithaca, NY, USA, May 6-9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {877},
pages = {71--79},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58691-1\_45},
doi = {10.1007/3-540-58691-1\_45},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/ants/Lipton94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/Lipton94,
author = {Richard J. Lipton},
title = {Some Consequences of Our Failure to Prove Non-Linear Lower Bounds
on Explicit Functions},
booktitle = {Proceedings of the Ninth Annual Structure in Complexity Theory Conference,
Amsterdam, The Netherlands, June 28 - July 1, 1994},
pages = {79--87},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/SCT.1994.315815},
doi = {10.1109/SCT.1994.315815},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/Lipton94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CaiLZ94,
author = {Jin{-}yi Cai and
Richard J. Lipton and
Yechezkel Zalcstein},
title = {The Complexity of the Membership Problem for 2-generated Commutative
Semigroups of Rational Matrices},
booktitle = {35th Annual Symposium on Foundations of Computer Science, Santa Fe,
New Mexico, USA, 20-22 November 1994},
pages = {135--142},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/SFCS.1994.365699},
doi = {10.1109/SFCS.1994.365699},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/CaiLZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/LiptonT94,
author = {Richard J. Lipton and
Andrew Tomkins},
editor = {Daniel Dominic Sleator},
title = {Online Interval Scheduling},
booktitle = {Proceedings of the Fifth Annual {ACM-SIAM} Symposium on Discrete Algorithms.
23-25 January 1994, Arlington, Virginia, {USA}},
pages = {302--311},
publisher = {{ACM/SIAM}},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=314464.314506},
timestamp = {Thu, 05 Jul 2018 07:29:19 +0200},
biburl = {https://dblp.org/rec/conf/soda/LiptonT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Lipton94,
author = {Richard J. Lipton},
editor = {Patrice Enjalbert and
Ernst W. Mayr and
Klaus W. Wagner},
title = {A New Approach To Information Theory},
booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
Science, Caen, France, February 24-26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {775},
pages = {699--708},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57785-8\_183},
doi = {10.1007/3-540-57785-8\_183},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Lipton94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LiptonY94,
author = {Richard J. Lipton and
Neal E. Young},
editor = {Frank Thomson Leighton and
Michael T. Goodrich},
title = {Simple strategies for large zero-sum games with applications to complexity
theory},
booktitle = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Theory of
Computing, 23-25 May 1994, Montr{\'{e}}al, Qu{\'{e}}bec,
Canada},
pages = {734--740},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/195058.195447},
doi = {10.1145/195058.195447},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LiptonY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/LiptonN93,
author = {Richard J. Lipton and
Jeffrey F. Naughton},
title = {Clocked Adversaries for Hashing},
journal = {Algorithmica},
volume = {9},
number = {3},
pages = {239--252},
year = {1993},
url = {https://doi.org/10.1007/BF01190898},
doi = {10.1007/BF01190898},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithmica/LiptonN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/KarmarkarKLLL93,
author = {Narendra Karmarkar and
Richard M. Karp and
Richard J. Lipton and
L{\'{a}}szl{\'{o}} Lov{\'{a}}sz and
Michael Luby},
title = {A Monte-Carlo Algorithm for Estimating the Permanent},
journal = {{SIAM} J. Comput.},
volume = {22},
number = {2},
pages = {284--293},
year = {1993},
url = {https://doi.org/10.1137/0222021},
doi = {10.1137/0222021},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/KarmarkarKLLL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiptonNSS93,
author = {Richard J. Lipton and
Jeffrey F. Naughton and
Donovan A. Schneider and
S. Seshadri},
title = {Efficient Sampling Strategies for Relational Database Operations},
journal = {Theor. Comput. Sci.},
volume = {116},
number = {1},
pages = {195--226},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90224-H},
doi = {10.1016/0304-3975(93)90224-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiptonNSS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/CaiLSY93,
author = {Jin{-}yi Cai and
Richard J. Lipton and
Robert Sedgewick and
Andrew Chi{-}Chih Yao},
title = {Towards Uncheatable benchmarks},
booktitle = {Proceedings of the Eigth Annual Structure in Complexity Theory Conference,
San Diego, CA, USA, May 18-21, 1993},
pages = {2--11},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/SCT.1993.336546},
doi = {10.1109/SCT.1993.336546},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/CaiLSY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/BonehL93,
author = {Dan Boneh and
Richard J. Lipton},
editor = {Lenny Pitt},
title = {Amplification of Weak Learning under the Uniform Distribution},
booktitle = {Proceedings of the Sixth Annual {ACM} Conference on Computational
Learning Theory, {COLT} 1993, Santa Cruz, CA, USA, July 26-28, 1993},
pages = {347--351},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/168304.168372},
doi = {10.1145/168304.168372},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/BonehL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/BlumFKL93,
author = {Avrim Blum and
Merrick L. Furst and
Michael J. Kearns and
Richard J. Lipton},
editor = {Douglas R. Stinson},
title = {Cryptographic Primitives Based on Hard Learning Problems},
booktitle = {Advances in Cryptology - {CRYPTO} '93, 13th Annual International Cryptology
Conference, Santa Barbara, California, USA, August 22-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {773},
pages = {278--291},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-48329-2\_24},
doi = {10.1007/3-540-48329-2\_24},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/crypto/BlumFKL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LaPaughLS92,
author = {Andrea S. LaPaugh and
Richard J. Lipton and
Jonathan S. Sandberg},
title = {How to Store a Triangular Matrix},
journal = {{IEEE} Trans. Computers},
volume = {41},
number = {7},
pages = {896--899},
year = {1992},
url = {https://doi.org/10.1109/12.256446},
doi = {10.1109/12.256446},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/LaPaughLS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaiCL92,
author = {Jin{-}yi Cai and
Anne Condon and
Richard J. Lipton},
title = {On Games of Incomplete Information},
journal = {Theor. Comput. Sci.},
volume = {103},
number = {1},
pages = {25--38},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90085-T},
doi = {10.1016/0304-3975(92)90085-T},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CaiCL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AmmannLS92,
author = {Paul Ammann and
Richard J. Lipton and
Ravi S. Sandhu},
title = {The Expressive Power of Multi-Parent Creation in a Monotonic Access
Control Model},
booktitle = {5th {IEEE} Computer Security Foundations Workshop - CSFW'92, Franconia,
New Hampshire, USA, June 16-18, 1992, Proceedings},
pages = {148--156},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/CSFW.1992.236780},
doi = {10.1109/CSFW.1992.236780},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/csfw/AmmannLS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ArLRS92,
author = {Sigal Ar and
Richard J. Lipton and
Ronitt Rubinfeld and
Madhu Sudan},
title = {Reconstructing Algebraic Functions from Mixed Data},
booktitle = {33rd Annual Symposium on Foundations of Computer Science, Pittsburgh,
Pennsylvania, USA, 24-27 October 1992},
pages = {503--512},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SFCS.1992.267801},
doi = {10.1109/SFCS.1992.267801},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/ArLRS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/SalemBL92,
author = {Kenneth Salem and
Daniel Barbar{\'{a}} and
Richard J. Lipton},
editor = {Forouzan Golshani},
title = {Probabilistic Dignosis of Hot Spots},
booktitle = {Proceedings of the Eighth International Conference on Data Engineering,
February 3-7, 1992, Tempe, Arizona, {USA}},
pages = {30--39},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICDE.1992.213208},
doi = {10.1109/ICDE.1992.213208},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/SalemBL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gc/AlonKLMRS91,
author = {Noga Alon and
Daniel J. Kleitman and
Richard J. Lipton and
Roy Meshulam and
Michael O. Rabin and
Joel H. Spencer},
title = {Set systems with no union of cardinality 0 modulo\emph{m}},
journal = {Graphs Comb.},
volume = {7},
number = {2},
pages = {97--99},
year = {1991},
url = {https://doi.org/10.1007/BF01788135},
doi = {10.1007/BF01788135},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gc/AlonKLMRS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/BarbaraL91,
author = {Daniel Barbar{\'{a}} and
Richard J. Lipton},
title = {A Class of Randomized Strategies for Low-Cost Comparison of File Copies},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {2},
number = {2},
pages = {160--170},
year = {1991},
url = {https://doi.org/10.1109/71.89062},
doi = {10.1109/71.89062},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/BarbaraL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DeMilloL91,
author = {Richard A. DeMillo and
Richard J. Lipton},
title = {Defining Software by Continuous, Smooth Functions},
journal = {{IEEE} Trans. Software Eng.},
volume = {17},
number = {4},
pages = {383--384},
year = {1991},
url = {https://doi.org/10.1109/32.90437},
doi = {10.1109/32.90437},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DeMilloL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/CaiCL91,
author = {Jin{-}yi Cai and
Anne Condon and
Richard J. Lipton},
title = {{PSPACE} Is Provable By Two Provers In One Round},
booktitle = {Proceedings of the Sixth Annual Structure in Complexity Theory Conference,
Chicago, Illinois, USA, June 30 - July 3, 1991},
pages = {110--115},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/SCT.1991.160250},
doi = {10.1109/SCT.1991.160250},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/CaiCL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GemmellLRSW91,
author = {Peter Gemmell and
Richard J. Lipton and
Ronitt Rubinfeld and
Madhu Sudan and
Avi Wigderson},
editor = {Cris Koutsougeras and
Jeffrey Scott Vitter},
title = {Self-Testing/Correcting for Polynomials and for Approximate Functions},
booktitle = {Proceedings of the 23rd Annual {ACM} Symposium on Theory of Computing,
May 5-8, 1991, New Orleans, Louisiana, {USA}},
pages = {32--42},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/103418.103429},
doi = {10.1145/103418.103429},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/GemmellLRSW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LiptonP90,
author = {Richard J. Lipton and
Arvin Park},
title = {The Processor Identity Problem},
journal = {Inf. Process. Lett.},
volume = {36},
number = {2},
pages = {91--94},
year = {1990},
url = {https://doi.org/10.1016/0020-0190(90)90103-5},
doi = {10.1016/0020-0190(90)90103-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LiptonP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigarch/ParkBL90,
author = {Arvin Park and
Jeffrey C. Becker and
Richard J. Lipton},
title = {IOStone: a synthetic file system benchmark},
journal = {{SIGARCH} Comput. Archit. News},
volume = {18},
number = {2},
pages = {45--52},
year = {1990},
url = {https://doi.org/10.1145/88237.88242},
doi = {10.1145/88237.88242},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigarch/ParkBL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/CaiCL90,
author = {Jin{-}yi Cai and
Anne Condon and
Richard J. Lipton},
title = {On Bounded Round Multi-Prover Interactive Proof Systems},
booktitle = {Proceedings: Fifth Annual Structure in Complexity Theory Conference,
Universitat Polit{\`{e}}cnica de Catalunya, Barcelona, Spain, July
8-11, 1990},
pages = {45--54},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/SCT.1990.113953},
doi = {10.1109/SCT.1990.113953},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/CaiCL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/LiptonS90,
author = {Richard J. Lipton and
Dimitrios N. Serpanos},
editor = {Benjamin W. Wah},
title = {Uniform-Cost Communication in Scalable Multiprocessors},
booktitle = {Proceedings of the 1990 International Conference on Parallel Processing,
Urbana-Champaign, IL, USA, August 1990. Volume 1: Architecture},
pages = {429--432},
publisher = {Pennsylvania State University Press},
year = {1990},
timestamp = {Mon, 28 Jul 2014 17:06:01 +0200},
biburl = {https://dblp.org/rec/conf/icpp/LiptonS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/LiptonN90,
author = {Richard J. Lipton and
Jeffrey F. Naughton},
editor = {Daniel J. Rosenkrantz and
Yehoshua Sagiv},
title = {Query Size Estimation by Adaptive Sampling},
booktitle = {Proceedings of the Ninth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee,
{USA}},
pages = {40--46},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/298514.298540},
doi = {10.1145/298514.298540},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/LiptonN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LiptonNS90,
author = {Richard J. Lipton and
Jeffrey F. Naughton and
Donovan A. Schneider},
editor = {Hector Garcia{-}Molina and
H. V. Jagadish},
title = {Practical Selectivity Estimation through Adaptive Sampling},
booktitle = {Proceedings of the 1990 {ACM} {SIGMOD} International Conference on
Management of Data, Atlantic City, NJ, USA, May 23-25, 1990},
pages = {1--11},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/93597.93611},
doi = {10.1145/93597.93611},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/LiptonNS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CaiCL90,
author = {Jin{-}yi Cai and
Anne Condon and
Richard J. Lipton},
editor = {Christian Choffrut and
Thomas Lengauer},
title = {Playing Games of Incomplete Information},
booktitle = {{STACS} 90, 7th Annual Symposium on Theoretical Aspects of Computer
Science, Rouen, France, February 22-24, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {415},
pages = {58--69},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52282-4\_32},
doi = {10.1007/3-540-52282-4\_32},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CaiCL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Lipton90,
author = {Richard J. Lipton},
editor = {Christian Choffrut and
Thomas Lengauer},
title = {Efficient Checking of Computations},
booktitle = {{STACS} 90, 7th Annual Symposium on Theoretical Aspects of Computer
Science, Rouen, France, February 22-24, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {415},
pages = {207--215},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52282-4\_44},
doi = {10.1007/3-540-52282-4\_44},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Lipton90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ParkBL89,
author = {Arvin Park and
Krishnaswamy Balasubramanian and
Richard J. Lipton},
title = {Array Access Bounds for Block Storage Memory Systems},
journal = {{IEEE} Trans. Computers},
volume = {38},
number = {6},
pages = {909--913},
year = {1989},
url = {https://doi.org/10.1109/12.24305},
doi = {10.1109/12.24305},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ParkBL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Lipton89,
author = {Richard J. Lipton},
editor = {Joan Feigenbaum and
Michael Merritt},
title = {New Directions In Testing},
booktitle = {Distributed Computing And Cryptography, Proceedings of a {DIMACS}
Workshop, Princeton, New Jersey, USA, October 4-6, 1989},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {2},
pages = {191--202},
publisher = {{DIMACS/AMS}},
year = {1989},
url = {https://doi.org/10.1090/dimacs/002/13},
doi = {10.1090/DIMACS/002/13},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Lipton89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CondonL89,
author = {Anne Condon and
Richard J. Lipton},
title = {On the Complexity of Space Bounded Interactive Proofs (Extended Abstract)},
booktitle = {30th Annual Symposium on Foundations of Computer Science, Research
Triangle Park, North Carolina, USA, 30 October - 1 November 1989},
pages = {462--467},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/SFCS.1989.63519},
doi = {10.1109/SFCS.1989.63519},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/CondonL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CaiL89,
author = {Jin{-}yi Cai and
Richard J. Lipton},
title = {Subquadratic Simulations of Circuits by Branching Programs},
booktitle = {30th Annual Symposium on Foundations of Computer Science, Research
Triangle Park, North Carolina, USA, 30 October - 1 November 1989},
pages = {568--573},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/SFCS.1989.63536},
doi = {10.1109/SFCS.1989.63536},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/CaiL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/BarbaraL89,
author = {Daniel Barbar{\'{a}} and
Richard J. Lipton},
title = {A Randomized Technique for Remote File Comparison},
booktitle = {9th International Conference on Distributed Computing Systems, {ICDCS}
1989, Newport Beach, CA, USA, June 5-9, 1989},
pages = {12--21},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/ICDCS.1989.37925},
doi = {10.1109/ICDCS.1989.37925},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/BarbaraL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/LiptonN89,
author = {Richard J. Lipton and
Jeffrey F. Naughton},
editor = {Peter M. G. Apers and
Gio Wiederhold},
title = {Estimating the Size of Generalized Transitive Closures},
booktitle = {Proceedings of the Fifteenth International Conference on Very Large
Data Bases, August 22-25, 1989, Amsterdam, The Netherlands},
pages = {165--171},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://www.vldb.org/conf/1989/P165.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:23 +0200},
biburl = {https://dblp.org/rec/conf/vldb/LiptonN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/KannanL86,
author = {Ravindran Kannan and
Richard J. Lipton},
title = {Polynomial-time algorithm for the orbit problem},
journal = {J. {ACM}},
volume = {33},
number = {4},
pages = {808--821},
year = {1986},
url = {https://doi.org/10.1145/6490.6496},
doi = {10.1145/6490.6496},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/KannanL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/LiptonL86,
author = {Richard J. Lipton and
Daniel P. Lopresti},
title = {Delta Transformations to Simplify {VLSI} Processor Arrays for Serial
Dynamic Programming},
booktitle = {International Conference on Parallel Processing, ICPP'86, University
Park, PA, USA, August 1986},
pages = {917--920},
publisher = {{IEEE} Computer Society Press},
year = {1986},
timestamp = {Mon, 28 Jul 2014 17:06:02 +0200},
biburl = {https://dblp.org/rec/conf/icpp/LiptonL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FurstLS85,
author = {Merrick L. Furst and
Richard J. Lipton and
Larry J. Stockmeyer},
title = {Pseudorandom Number Generation and Space Complexity},
journal = {Inf. Control.},
volume = {64},
number = {1-3},
pages = {43--51},
year = {1985},
url = {https://doi.org/10.1016/S0019-9958(85)80043-7},
doi = {10.1016/S0019-9958(85)80043-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FurstLS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChandraFL85,
author = {Ashok K. Chandra and
Steven Fortune and
Richard J. Lipton},
title = {Unbounded Fan-In Circuits and Associative Functions},
journal = {J. Comput. Syst. Sci.},
volume = {30},
number = {2},
pages = {222--234},
year = {1985},
url = {https://doi.org/10.1016/0022-0000(85)90015-7},
doi = {10.1016/0022-0000(85)90015-7},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChandraFL85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/LiptonNS85,
author = {Richard J. Lipton and
Stephen C. North and
Jonathan S. Sandberg},
editor = {Joseph O'Rourke},
title = {A method for drawing graphs},
booktitle = {Proceedings of the First Annual Symposium on Computational Geometry,
Baltimore, Maryland, USA, June 5-7, 1985},
pages = {153--160},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/323233.323254},
doi = {10.1145/323233.323254},
timestamp = {Wed, 16 Jun 2021 12:03:34 +0200},
biburl = {https://dblp.org/rec/conf/compgeom/LiptonNS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/CullingfordGL85,
author = {Richard E. Cullingford and
Hector Garcia{-}Molina and
Richard J. Lipton},
editor = {Michael L. Brodie and
John Mylopoulos},
title = {The Role Of Massive Memory In Knowledge-Base Management Systems},
booktitle = {On Knowledge Base Management Systems: Integrating Artificial Intelligence
and Database Technologies, Book resulting from the Islamorada Workshop
1985 (Islamorada, FL, {USA)}},
series = {Topics in Information Systems},
pages = {535--550},
publisher = {Springer},
year = {1985},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/CullingfordGL85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LadnerSL84,
author = {Richard E. Ladner and
Larry J. Stockmeyer and
Richard J. Lipton},
title = {Alternation Bounded Auxiliary Pushdown Automata},
journal = {Inf. Control.},
volume = {62},
number = {2/3},
pages = {93--108},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80029-7},
doi = {10.1016/S0019-9958(84)80029-7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LadnerSL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/LadnerLS84,
author = {Richard E. Ladner and
Richard J. Lipton and
Larry J. Stockmeyer},
title = {Alternating Pushdown and Stack Automata},
journal = {{SIAM} J. Comput.},
volume = {13},
number = {1},
pages = {135--155},
year = {1984},
url = {https://doi.org/10.1137/0213010},
doi = {10.1137/0213010},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/LadnerLS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Garcia-MolinaLV84,
author = {Hector Garcia{-}Molina and
Richard J. Lipton and
Jacobo Valdes},
title = {A Massive Memory Machine},
journal = {{IEEE} Trans. Computers},
volume = {33},
number = {5},
pages = {391--399},
year = {1984},
url = {https://doi.org/10.1109/TC.1984.1676454},
doi = {10.1109/TC.1984.1676454},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Garcia-MolinaLV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiptonVVNS83,
author = {Richard J. Lipton and
Jacobo Valdes and
Gopalakrishnan Vijayan and
Stephen C. North and
Robert Sedgewick},
title = {{VLSI} Layout as Programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {5},
number = {3},
pages = {405--421},
year = {1983},
url = {https://doi.org/10.1145/2166.357216},
doi = {10.1145/2166.357216},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LiptonVVNS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LaPaughL83,
author = {Andrea S. LaPaugh and
Richard J. Lipton},
editor = {Charles E. Radke},
title = {Total stuct-at-fault testing by circuit transformation},
booktitle = {Proceedings of the 20th Design Automation Conference, {DAC} '83, Miami
Beach, Florida, USA, June 27-29, 1983},
pages = {713--716},
publisher = {{ACM/IEEE}},
year = {1983},
url = {http://dl.acm.org/citation.cfm?id=800748},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/dac/LaPaughL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/FurstLS83,
author = {Merrick L. Furst and
Richard J. Lipton and
Larry J. Stockmeyer},
editor = {Marek Karpinski},
title = {Pseudorandom Number Generation and Space Complexity},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1983 International
FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
series = {Lecture Notes in Computer Science},
volume = {158},
pages = {171--176},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12689-9\_102},
doi = {10.1007/3-540-12689-9\_102},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/FurstLS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChandraFL83,
author = {Ashok K. Chandra and
Steven Fortune and
Richard J. Lipton},
editor = {Josep D{\'{\i}}az},
title = {Lower Bounds for Constant Depth Circuits for Prefix Problems},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {109--117},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036901},
doi = {10.1007/BFB0036901},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChandraFL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/LaPaughL83,
author = {Andrea S. LaPaugh and
Richard J. Lipton},
title = {Total Fault Testing Using the Bipartite Transformation},
booktitle = {Proceedings International Test Conference 1983, Philadelphia, PA,
USA, October 1983},
pages = {428--434},
publisher = {{IEEE} Computer Society},
year = {1983},
timestamp = {Tue, 05 Nov 2002 15:16:27 +0100},
biburl = {https://dblp.org/rec/conf/itc/LaPaughL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraFL83a,
author = {Ashok K. Chandra and
Steven Fortune and
Richard J. Lipton},
editor = {David S. Johnson and
Ronald Fagin and
Michael L. Fredman and
David Harel and
Richard M. Karp and
Nancy A. Lynch and
Christos H. Papadimitriou and
Ronald L. Rivest and
Walter L. Ruzzo and
Joel I. Seiferas},
title = {Unbounded Fan-in Circuits and Associative Functions},
booktitle = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
25-27 April, 1983, Boston, Massachusetts, {USA}},
pages = {52--60},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800061.808732},
doi = {10.1145/800061.808732},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/ChandraFL83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraFL83b,
author = {Ashok K. Chandra and
Merrick L. Furst and
Richard J. Lipton},
editor = {David S. Johnson and
Ronald Fagin and
Michael L. Fredman and
David Harel and
Richard M. Karp and
Nancy A. Lynch and
Christos H. Papadimitriou and
Ronald L. Rivest and
Walter L. Ruzzo and
Joel I. Seiferas},
title = {Multi-Party Protocols},
booktitle = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
25-27 April, 1983, Boston, Massachusetts, {USA}},
pages = {94--99},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800061.808737},
doi = {10.1145/800061.808737},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/ChandraFL83b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LiptonN82,
author = {Richard J. Lipton and
J. Daniel Nash},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {Design automation algorithms: Research and applications},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {410},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809237},
doi = {10.1145/800263.809237},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/LiptonN82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LiptonNSVV82,
author = {Richard J. Lipton and
Stephen C. North and
Robert Sedgewick and
Jacobo Valdes and
Gopalakrishnan Vijayan},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {{ALI:} {A} procedural language to describe {VLSI} layouts},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {467--474},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809246},
doi = {10.1145/800263.809246},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LiptonNSVV82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LiptonSV82,
author = {Richard J. Lipton and
Robert Sedgewick and
Jacobo Valdes},
editor = {Richard A. DeMillo},
title = {Programming Aspects of {VLSI}},
booktitle = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
pages = {57--65},
publisher = {{ACM} Press},
year = {1982},
url = {https://doi.org/10.1145/582153.582160},
doi = {10.1145/582153.582160},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LiptonSV82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BoothL81,
author = {Kellogg S. Booth and
Richard J. Lipton},
title = {Computing Extremal and Approximate Distances in Graphs Having Unit
Cost Edges},
journal = {Acta Informatica},
volume = {15},
pages = {319--328},
year = {1981},
url = {https://doi.org/10.1007/BF00264532},
doi = {10.1007/BF00264532},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BoothL81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ItaiLPR81,
author = {Alon Itai and
Richard J. Lipton and
Christos H. Papadimitriou and
Michael Rodeh},
title = {Covering Graphs by Simple Circuits},
journal = {{SIAM} J. Comput.},
volume = {10},
number = {4},
pages = {746--750},
year = {1981},
url = {https://doi.org/10.1137/0210058},
doi = {10.1137/0210058},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/ItaiLPR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LandweberLR81,
author = {Lawrence H. Landweber and
Richard J. Lipton and
Edward L. Robertson},
title = {On the Structure of Sets in {NP} and Other Complexity Classes},
journal = {Theor. Comput. Sci.},
volume = {15},
pages = {181--200},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90069-4},
doi = {10.1016/0304-3975(81)90069-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LandweberLR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/LiptonV81,
author = {Richard J. Lipton and
Jacobo Valdes},
title = {Census Functions: an Approach to {VLSI} Upper Bounds (Preliminary
Version)},
booktitle = {22nd Annual Symposium on Foundations of Computer Science, Nashville,
Tennessee, USA, 28-30 October 1981},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {1981},
url = {https://doi.org/10.1109/SFCS.1981.13},
doi = {10.1109/SFCS.1981.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/LiptonV81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/DavidaDL81,
author = {George I. Davida and
Richard A. DeMillo and
Richard J. Lipton},
title = {Multilevel Secure Distributed System},
booktitle = {Proceedings of the 2nd International Conference on Distributed Computing
Systems, Paris, France, 1981},
pages = {308--312},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Thu, 22 Sep 2005 10:45:08 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/DavidaDL81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LiptonS81,
author = {Richard J. Lipton and
Robert Sedgewick},
title = {Lower Bounds for {VLSI}},
booktitle = {Proceedings of the 13th Annual {ACM} Symposium on Theory of Computing,
May 11-13, 1981, Milwaukee, Wisconsin, {USA}},
pages = {300--307},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800076.802482},
doi = {10.1145/800076.802482},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LiptonS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/81,
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
publisher = {{ACM} Press},
year = {1981},
url = {http://dl.acm.org/citation.cfm?id=567532},
isbn = {0-89791-029-X},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LiptonRY80,
author = {Richard J. Lipton and
Arnold L. Rosenberg and
Andrew Chi{-}Chih Yao},
title = {External Hashing Schemes for Collections of Data Structures},
journal = {J. {ACM}},
volume = {27},
number = {1},
pages = {81--95},
year = {1980},
url = {https://doi.org/10.1145/322169.322177},
doi = {10.1145/322169.322177},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/LiptonRY80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DeMilloEL80,
author = {Richard A. DeMillo and
Stanley C. Eisenstat and
Richard J. Lipton},
title = {Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial
Embedding Theorem},
journal = {J. {ACM}},
volume = {27},
number = {1},
pages = {123--127},
year = {1980},
url = {https://doi.org/10.1145/322169.322180},
doi = {10.1145/322169.322180},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/DeMilloEL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/DobkinL80,
author = {David P. Dobkin and
Richard J. Lipton},
title = {Addition Chain Methods for the Evaluation of Specific Polynomials},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {1},
pages = {121--125},
year = {1980},
url = {https://doi.org/10.1137/0209011},
doi = {10.1137/0209011},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/DobkinL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/LiptonT80,
author = {Richard J. Lipton and
Robert Endre Tarjan},
title = {Applications of a Planar Separator Theorem},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {3},
pages = {615--627},
year = {1980},
url = {https://doi.org/10.1137/0209046},
doi = {10.1137/0209046},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/LiptonT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BuddDLS80,
author = {Timothy A. Budd and
Richard A. DeMillo and
Richard J. Lipton and
Frederick G. Sayward},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Theoretical and Emperical Studies on Using Program Mutation to Test
the Functional Correctness of Programs},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {220--233},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567468},
doi = {10.1145/567446.567468},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BuddDLS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/DavidaDL80,
author = {George I. Davida and
Richard A. DeMillo and
Richard J. Lipton},
title = {Protecting Shared Cryptographic Keys},
booktitle = {Proceedings of the 1980 {IEEE} Symposium on Security and Privacy,
Oakland, California, USA, April 14-16, 1980},
pages = {100--102},
publisher = {{IEEE} Computer Society},
year = {1980},
url = {https://doi.org/10.1109/SP.1980.10011},
doi = {10.1109/SP.1980.10011},
timestamp = {Thu, 21 Sep 2023 15:57:32 +0200},
biburl = {https://dblp.org/rec/conf/sp/DavidaDL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/DavidaDL80a,
author = {George I. Davida and
Richard A. DeMillo and
Richard J. Lipton},
title = {A System Architecture to Support a Verifiably Secure Multilevel Security
System},
booktitle = {Proceedings of the 1980 {IEEE} Symposium on Security and Privacy,
Oakland, California, USA, April 14-16, 1980},
pages = {137--144},
publisher = {{IEEE} Computer Society},
year = {1980},
url = {https://doi.org/10.1109/SP.1980.10007},
doi = {10.1109/SP.1980.10007},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/DavidaDL80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DeMilloL80,
author = {Richard A. DeMillo and
Richard J. Lipton},
editor = {Raymond E. Miller and
Seymour Ginsburg and
Walter A. Burkhard and
Richard J. Lipton},
title = {The Consistency of "P = NP" and Related Problems with Fragments
of Number Theory},
booktitle = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
April 28-30, 1980, Los Angeles, California, {USA}},
pages = {45--57},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800141.804652},
doi = {10.1145/800141.804652},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/DeMilloL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KannanL80,
author = {Ravindran Kannan and
Richard J. Lipton},
editor = {Raymond E. Miller and
Seymour Ginsburg and
Walter A. Burkhard and
Richard J. Lipton},
title = {The Orbit Problem is Decidable},
booktitle = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
April 28-30, 1980, Los Angeles, California, {USA}},
pages = {252--261},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800141.804673},
doi = {10.1145/800141.804673},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KannanL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KarpL80,
author = {Richard M. Karp and
Richard J. Lipton},
editor = {Raymond E. Miller and
Seymour Ginsburg and
Walter A. Burkhard and
Richard J. Lipton},
title = {Some Connections between Nonuniform and Uniform Complexity Classes},
booktitle = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
April 28-30, 1980, Los Angeles, California, {USA}},
pages = {302--309},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800141.804678},
doi = {10.1145/800141.804678},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/KarpL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1980,
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
publisher = {{ACM} Press},
year = {1980},
url = {http://dl.acm.org/citation.cfm?id=567446},
isbn = {0-89791-011-7},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/1980.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC12,
editor = {Raymond E. Miller and
Seymour Ginsburg and
Walter A. Burkhard and
Richard J. Lipton},
title = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
April 28-30, 1980, Los Angeles, California, {USA}},
publisher = {{ACM}},
year = {1980},
timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/STOC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DeMilloLP79,
author = {Richard A. DeMillo and
Richard J. Lipton and
Alan J. Perlis},
title = {Social Processes and Proofs of Theorems and Programs},
journal = {Commun. {ACM}},
volume = {22},
number = {5},
pages = {271--280},
year = {1979},
url = {https://doi.org/10.1145/359104.359106},
doi = {10.1145/359104.359106},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DeMilloLP79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DobkinLR79,
author = {David P. Dobkin and
Richard J. Lipton and
Steven P. Reiss},
title = {Linear Programming is Log-Space Hard for {P}},
journal = {Inf. Process. Lett.},
volume = {8},
number = {2},
pages = {96--97},
year = {1979},
url = {https://doi.org/10.1016/0020-0190(79)90152-2},
doi = {10.1016/0020-0190(79)90152-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DobkinLR79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DobkinL79,
author = {David P. Dobkin and
Richard J. Lipton},
title = {On the Complexity of Computations under Varying Sets of Primitives},
journal = {J. Comput. Syst. Sci.},
volume = {18},
number = {1},
pages = {86--91},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90054-0},
doi = {10.1016/0022-0000(79)90054-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DobkinL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/DeMilloL79,
author = {Richard A. DeMillo and
Richard J. Lipton},
title = {A Constructive Generalization of the Borel-Cantelli Lemma with Application
to the Complexity of Infinite Strings},
journal = {Math. Syst. Theory},
volume = {13},
pages = {95--104},
year = {1979},
url = {https://doi.org/10.1007/BF01744291},
doi = {10.1007/BF01744291},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/DeMilloL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/DeMilloL79,
author = {Richard A. DeMillo and
Richard J. Lipton},
title = {Review of "Proofs and refutations: the logic of mathematical
discovery" by Imre Lakatos. Cambridge University Press 1976},
journal = {{SIGACT} News},
volume = {11},
number = {2},
pages = {7--9},
year = {1979},
url = {https://doi.org/10.1145/1008620.1008628},
doi = {10.1145/1008620.1008628},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/DeMilloL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/DobkinJL79,
author = {David P. Dobkin and
Anita K. Jones and
Richard J. Lipton},
title = {Secure Databases: Protection Against User Influence},
journal = {{ACM} Trans. Database Syst.},
volume = {4},
number = {1},
pages = {97--106},
year = {1979},
url = {https://doi.org/10.1145/320064.320068},
doi = {10.1145/320064.320068},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/DobkinJL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/AleliunasKLLR79,
author = {Romas Aleliunas and
Richard M. Karp and
Richard J. Lipton and
L{\'{a}}szl{\'{o}} Lov{\'{a}}sz and
Charles Rackoff},
title = {Random Walks, Universal Traversal Sequences, and the Complexity of
Maze Problems},
booktitle = {20th Annual Symposium on Foundations of Computer Science, San Juan,
Puerto Rico, 29-31 October 1979},
pages = {218--223},
publisher = {{IEEE} Computer Society},
year = {1979},
url = {https://doi.org/10.1109/SFCS.1979.34},
doi = {10.1109/SFCS.1979.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/AleliunasKLLR79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DeMilloL79,
author = {Richard A. DeMillo and
Richard J. Lipton},
editor = {Michael J. Fischer and
Richard A. DeMillo and
Nancy A. Lynch and
Walter A. Burkhard and
Alfred V. Aho},
title = {Some Connections between Mathematical Logic and Complexity Theory},
booktitle = {Proceedings of the 11h Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1979, Atlanta, Georgia, {USA}},
pages = {153--159},
publisher = {{ACM}},
year = {1979},
url = {https://doi.org/10.1145/800135.804408},
doi = {10.1145/800135.804408},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/DeMilloL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DeMilloEL78,
author = {Richard A. DeMillo and
Stanley C. Eisenstat and
Richard J. Lipton},
title = {Preserving Average Proximity in Arrays},
journal = {Commun. {ACM}},
volume = {21},
number = {3},
pages = {218--231},
year = {1978},
url = {https://doi.org/10.1145/359361.359447},
doi = {10.1145/359361.359447},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DeMilloEL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/DeMilloLS78,
author = {Richard A. DeMillo and
Richard J. Lipton and
Frederick G. Sayward},
title = {Hints on Test Data Selection: Help for the Practicing Programmer},
journal = {Computer},
volume = {11},
number = {4},
pages = {34--41},
year = {1978},
url = {https://doi.org/10.1109/C-M.1978.218136},
doi = {10.1109/C-M.1978.218136},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/DeMilloLS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LiptonM78,
author = {Richard J. Lipton and
Raymond E. Miller},
title = {A Batching Method for Coloring Planar Graphs},
journal = {Inf. Process. Lett.},
volume = {7},
number = {4},
pages = {185--188},
year = {1978},
url = {https://doi.org/10.1016/0020-0190(78)90065-0},
doi = {10.1016/0020-0190(78)90065-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LiptonM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DemilloL78,
author = {Richard A. DeMillo and
Richard J. Lipton},
title = {A Probabilistic Remark on Algebraic Program Testing},
journal = {Inf. Process. Lett.},
volume = {7},
number = {4},
pages = {193--195},
year = {1978},
url = {https://doi.org/10.1016/0020-0190(78)90067-4},
doi = {10.1016/0020-0190(78)90067-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DemilloL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LiptonS78,
author = {Richard J. Lipton and
Larry J. Stockmeyer},
title = {Evaluation of Polynomials with Super-Preconditioning},
journal = {J. Comput. Syst. Sci.},
volume = {16},
number = {2},
pages = {124--139},
year = {1978},
url = {https://doi.org/10.1016/0022-0000(78)90041-7},
doi = {10.1016/0022-0000(78)90041-7},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LiptonS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DobkinL78,
author = {David P. Dobkin and
Richard J. Lipton},
title = {A Lower Bound of the {\textonehalf}n{\({^2}\)} on Linear Search Programs
for the Knapsack Problem},
journal = {J. Comput. Syst. Sci.},
volume = {16},
number = {3},
pages = {413--417},
year = {1978},
url = {https://doi.org/10.1016/0022-0000(78)90026-0},
doi = {10.1016/0022-0000(78)90026-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DobkinL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JonesL78,
author = {Anita K. Jones and
Richard J. Lipton},
title = {The Enforcement of Security Policies for Computation},
journal = {J. Comput. Syst. Sci.},
volume = {17},
number = {1},
pages = {35--55},
year = {1978},
url = {https://doi.org/10.1016/0022-0000(78)90033-8},
doi = {10.1016/0022-0000(78)90033-8},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/JonesL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Lipton78,
author = {Richard J. Lipton},
title = {Polynomials with 0-1 Coefficients that Are Hard to Evaluate},
journal = {{SIAM} J. Comput.},
volume = {7},
number = {1},
pages = {61--69},
year = {1978},
url = {https://doi.org/10.1137/0207004},
doi = {10.1137/0207004},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Lipton78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/LynchL78,
author = {Nancy A. Lynch and
Richard J. Lipton},
title = {On Structure Preserving Reductions},
journal = {{SIAM} J. Comput.},
volume = {7},
number = {2},
pages = {119--126},
year = {1978},
url = {https://doi.org/10.1137/0207010},
doi = {10.1137/0207010},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/LynchL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DijkstraDLP78,
author = {Edsger W. Dijkstra and
Richard A. DeMillo and
Richard J. Lipton and
Alan J. Perlis},
title = {On a political pamphlet from the middle ages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {3},
number = {2},
pages = {14--16},
year = {1978},
url = {https://doi.org/10.1145/1005888.1005890},
doi = {10.1145/1005888.1005890},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/DijkstraDLP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DeMilloLP78,
author = {Richard A. DeMillo and
Richard J. Lipton and
Alan J. Perlis},
title = {Response from R. A. DeMillo, R. J. Lipton, A. J. Perlis},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {3},
number = {2},
pages = {16--17},
year = {1978},
url = {https://doi.org/10.1145/1005888.1005891},
doi = {10.1145/1005888.1005891},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/DeMilloLP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DeMilloDL78,
author = {Richard A. DeMillo and
David P. Dobkin and
Richard J. Lipton},
title = {Even Data Bases That Lie Can Be Compromised},
journal = {{IEEE} Trans. Software Eng.},
volume = {4},
number = {1},
pages = {73--75},
year = {1978},
url = {https://doi.org/10.1109/TSE.1978.231469},
doi = {10.1109/TSE.1978.231469},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DeMilloDL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/BuddLDS78,
author = {Timothy A. Budd and
Richard J. Lipton and
Richard A. DeMillo and
Frederick G. Sayward},
editor = {Sakti P. Ghosh and
Leonard Y. Liu},
title = {The design of a prototype mutation system for program testing},
booktitle = {American Federation of Information Processing Societies: 1978 National
Computer Conference, June 5-8, 1978, Anaheim, CA, {USA}},
series = {{AFIPS} Conference Proceedings},
volume = {47},
pages = {623--629},
publisher = {{AFIPS} Press},
year = {1978},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/afips/BuddLDS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/LadnerLS78,
author = {Richard E. Ladner and
Richard J. Lipton and
Larry J. Stockmeyer},
title = {Alternating Pushdown Automata (Preliminary Report)},
booktitle = {19th Annual Symposium on Foundations of Computer Science, Ann Arbor,
Michigan, USA, 16-18 October 1978},
pages = {92--106},
publisher = {{IEEE} Computer Society},
year = {1978},
url = {https://doi.org/10.1109/SFCS.1978.6},
doi = {10.1109/SFCS.1978.6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/LadnerLS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Lipton78,
author = {Richard J. Lipton},
title = {Model Theoretic Aspects of Computational Complexity},
booktitle = {19th Annual Symposium on Foundations of Computer Science, Ann Arbor,
Michigan, USA, 16-18 October 1978},
pages = {193--200},
publisher = {{IEEE} Computer Society},
year = {1978},
url = {https://doi.org/10.1109/SFCS.1978.23},
doi = {10.1109/SFCS.1978.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Lipton78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC10,
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
publisher = {{ACM}},
year = {1978},
timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/STOC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LiptonS77,
author = {Richard J. Lipton and
Lawrence Snyder},
title = {A Linear Time Algorithm for Deciding Subject Security},
journal = {J. {ACM}},
volume = {24},
number = {3},
pages = {455--464},
year = {1977},
url = {https://doi.org/10.1145/322017.322025},
doi = {10.1145/322017.322025},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/LiptonS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LiptonZ77,
author = {Richard J. Lipton and
Yechezkel Zalcstein},
title = {Word Problems Solvable in Logspace},
journal = {J. {ACM}},
volume = {24},
number = {3},
pages = {522--526},
year = {1977},
url = {https://doi.org/10.1145/322017.322031},
doi = {10.1145/322017.322031},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/LiptonZ77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LiptonMS77,
author = {Richard J. Lipton and
Raymond E. Miller and
Lawrence Snyder},
title = {Synchronization and Computing Capabilities of Linear Asynchronous
Structures},
journal = {J. Comput. Syst. Sci.},
volume = {14},
number = {1},
pages = {49--72},
year = {1977},
url = {https://doi.org/10.1016/S0022-0000(77)80040-8},
doi = {10.1016/S0022-0000(77)80040-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LiptonMS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Lipton77,
author = {Richard J. Lipton},
title = {A Necessary and Sufficient Condition for the Existence of Hoare Logics},
booktitle = {18th Annual Symposium on Foundations of Computer Science, Providence,
Rhode Island, USA, 31 October - 1 November 1977},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {1977},
url = {https://doi.org/10.1109/SFCS.1977.1},
doi = {10.1109/SFCS.1977.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Lipton77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/LiptonT77,
author = {Richard J. Lipton and
Robert Endre Tarjan},
title = {Application of a Planar Separator Theorem},
booktitle = {18th Annual Symposium on Foundations of Computer Science, Providence,
Rhode Island, USA, 31 October - 1 November 1977},
pages = {162--170},
publisher = {{IEEE} Computer Society},
year = {1977},
url = {https://doi.org/10.1109/SFCS.1977.6},
doi = {10.1109/SFCS.1977.6},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/LiptonT77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/LiptonS77,
author = {Richard J. Lipton and
Lawrence Snyder},
editor = {Erich J. Neuhold},
title = {On the Power of Applicative Languages},
booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP}
Working Conference on Formal Description of Programming Concepts,
St. Andrews, NB, Canada, August 1-5, 1977},
pages = {203--210},
publisher = {North-Holland},
year = {1977},
timestamp = {Mon, 21 Jan 2019 18:41:33 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/LiptonS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DeMilloLP77,
author = {Richard A. DeMillo and
Richard J. Lipton and
Alan J. Perlis},
editor = {Robert M. Graham and
Michael A. Harrison and
Ravi Sethi},
title = {Social Processes and Proofs of Theorems and Programs},
booktitle = {Conference Record of the Fourth {ACM} Symposium on Principles of Programming
Languages, Los Angeles, California, USA, January 1977},
pages = {206--214},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/512950.512970},
doi = {10.1145/512950.512970},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DeMilloLP77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LiptonED76,
author = {Richard J. Lipton and
Stanley C. Eisenstat and
Richard A. DeMillo},
title = {Space and Time Hierarchies for Classes of Control Structures and Data
Structures},
journal = {J. {ACM}},
volume = {23},
number = {4},
pages = {720--732},
year = {1976},
url = {https://doi.org/10.1145/321978.321990},
doi = {10.1145/321978.321990},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/LiptonED76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/DobkinL76,
author = {David P. Dobkin and
Richard J. Lipton},
title = {Multidimensional Searching Problems},
journal = {{SIAM} J. Comput.},
volume = {5},
number = {2},
pages = {181--186},
year = {1976},
url = {https://doi.org/10.1137/0205015},
doi = {10.1137/0205015},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/DobkinL76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/LeunenL76,
author = {Mary{-}Claire Van Leunen and
Richard Lipton},
title = {How to have your abstract rejected},
journal = {{SIGACT} News},
volume = {8},
number = {3},
pages = {21--24},
year = {1976},
url = {https://doi.org/10.1145/1810926.1810928},
doi = {10.1145/1810926.1810928},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/LeunenL76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/DeMilloEL76,
author = {Richard A. DeMillo and
Stanley C. Eisenstat and
Richard J. Lipton},
title = {Can structured programs be efficient?},
journal = {{ACM} {SIGPLAN} Notices},
volume = {11},
number = {10},
pages = {10--18},
year = {1976},
url = {https://doi.org/10.1145/956020.956021},
doi = {10.1145/956020.956021},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/DeMilloEL76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiptonD76,
author = {Richard J. Lipton and
David P. Dobkin},
title = {Complexity Measures and Hierarchies for the Evaluation of Integers
and Polynomials},
journal = {Theor. Comput. Sci.},
volume = {3},
number = {3},
pages = {349--357},
year = {1976},
url = {https://doi.org/10.1016/0304-3975(76)90051-7},
doi = {10.1016/0304-3975(76)90051-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiptonD76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/JonesLS76,
author = {Anita K. Jones and
Richard J. Lipton and
Lawrence Snyder},
title = {A Linear Time Algorithm for Deciding Security},
booktitle = {17th Annual Symposium on Foundations of Computer Science, Houston,
Texas, USA, 25-27 October 1976},
pages = {33--41},
publisher = {{IEEE} Computer Society},
year = {1976},
url = {https://doi.org/10.1109/SFCS.1976.1},
doi = {10.1109/SFCS.1976.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/JonesLS76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DobkinL76,
author = {David P. Dobkin and
Richard J. Lipton},
editor = {Antoni W. Mazurkiewicz},
title = {A Lower Bound of {\textonehalf}n{\({^2}\)} on Linear Search Programs
for the Knapsack Problem},
booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
Gdansk, Poland, September 6-10, 1976, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {45},
pages = {265--269},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/3-540-07854-1\_185},
doi = {10.1007/3-540-07854-1\_185},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DobkinL76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CardozaLM76,
author = {E. Cardoza and
Richard J. Lipton and
Albert R. Meyer},
editor = {Ashok K. Chandra and
Detlef Wotschke and
Emily P. Friedman and
Michael A. Harrison},
title = {Exponential Space Complete Problems for Petri Nets and Commutative
Semigroups: Preliminary Report},
booktitle = {Proceedings of the 8th Annual {ACM} Symposium on Theory of Computing,
May 3-5, 1976, Hershey, Pennsylvania, {USA}},
pages = {50--54},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800113.803630},
doi = {10.1145/800113.803630},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/CardozaLM76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LiptonS76,
author = {Richard J. Lipton and
Larry J. Stockmeyer},
editor = {Ashok K. Chandra and
Detlef Wotschke and
Emily P. Friedman and
Michael A. Harrison},
title = {Evaluation of Polynomials with Super-Preconditioning},
booktitle = {Proceedings of the 8th Annual {ACM} Symposium on Theory of Computing,
May 3-5, 1976, Hershey, Pennsylvania, {USA}},
pages = {174--180},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800113.803645},
doi = {10.1145/800113.803645},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LiptonS76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lipton75,
author = {Richard J. Lipton},
title = {Reduction: {A} Method of Proving Properties of Parallel Programs},
journal = {Commun. {ACM}},
volume = {18},
number = {12},
pages = {717--721},
year = {1975},
url = {https://doi.org/10.1145/361227.361234},
doi = {10.1145/361227.361234},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lipton75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LiptonT75,
author = {Richard J. Lipton and
Robert W. Tuttle},
title = {A Synchronization Anomaly},
journal = {Inf. Process. Lett.},
volume = {3},
number = {3},
pages = {65--66},
year = {1975},
url = {https://doi.org/10.1016/0020-0190(75)90015-0},
doi = {10.1016/0020-0190(75)90015-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LiptonT75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/LiptonL75,
author = {Richard J. Lipton and
Nancy A. Lynch},
title = {A quantifier characterization for nondeterministic log space},
journal = {{SIGACT} News},
volume = {7},
number = {4},
pages = {24--25},
year = {1975},
url = {https://doi.org/10.1145/990502.990504},
doi = {10.1145/990502.990504},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/LiptonL75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/DobkinL75,
author = {David P. Dobkin and
Richard J. Lipton},
editor = {H. Barkhage},
title = {On the complexity of computations under varying sets of primitives},
booktitle = {Automata Theory and Formal Languages, 2nd {GI} Conference, Kaiserslautern,
May 20-23, 1975},
series = {Lecture Notes in Computer Science},
volume = {33},
pages = {110--117},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07407-4\_14},
doi = {10.1007/3-540-07407-4\_14},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/automata/DobkinL75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Lipton75,
author = {Richard J. Lipton},
title = {Polynomials with 0-1 Coefficients that Are Hard to Evaluate},
booktitle = {16th Annual Symposium on Foundations of Computer Science, Berkeley,
California, USA, October 13-15, 1975},
pages = {6--10},
publisher = {{IEEE} Computer Society},
year = {1975},
url = {https://doi.org/10.1109/SFCS.1975.25},
doi = {10.1109/SFCS.1975.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Lipton75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/LiptonMS75,
author = {Richard J. Lipton and
Raymond E. Miller and
Lawrence Snyder},
title = {Synchronization and Computing Capabilities of Linear Asynchronous
Structures},
booktitle = {16th Annual Symposium on Foundations of Computer Science, Berkeley,
California, USA, October 13-15, 1975},
pages = {19--28},
publisher = {{IEEE} Computer Society},
year = {1975},
url = {https://doi.org/10.1109/SFCS.1975.27},
doi = {10.1109/SFCS.1975.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/LiptonMS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Lipton75,
author = {Richard J. Lipton},
editor = {Robert M. Graham and
Michael A. Harrison and
John C. Reynolds},
title = {Reduction: {A} New Method of Proving Properties of Systems of Processes},
booktitle = {Conference Record of the Second {ACM} Symposium on Principles of Programming
Languages, Palo Alto, California, USA, January 1975},
pages = {78--86},
publisher = {{ACM} Press},
year = {1975},
url = {https://doi.org/10.1145/512976.512985},
doi = {10.1145/512976.512985},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Lipton75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/JonesL75,
author = {Anita K. Jones and
Richard J. Lipton},
editor = {James C. Browne and
Juan Rodriguez{-}Rosell},
title = {The Enforcement of Security Policies for Computation},
booktitle = {Proceedings of the Fifth Symposium on Operating System Principles,
{SOSP} 1975, The University of Texas at Austin, Austin, Texas, USA,
November 19-21, 1975},
pages = {197--206},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800213.806538},
doi = {10.1145/800213.806538},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/JonesL75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LiptonD75,
author = {Richard J. Lipton and
David P. Dobkin},
editor = {William C. Rounds and
Nancy Martin and
Jack W. Carlyle and
Michael A. Harrison},
title = {Complexity Measures and Hierarchies for the Evaluation of Integers,
Polynomials, and n-linear Forms},
booktitle = {Proceedings of the 7th Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1975, Albuquerque, New Mexico, {USA}},
pages = {1--5},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800116.803746},
doi = {10.1145/800116.803746},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LiptonD75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LiptonED75,
author = {Richard J. Lipton and
Stanley C. Eisenstat and
Richard A. DeMillo},
editor = {William C. Rounds and
Nancy Martin and
Jack W. Carlyle and
Michael A. Harrison},
title = {The Complexity of Control Structures and Data Structures},
booktitle = {Proceedings of the 7th Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1975, Albuquerque, New Mexico, {USA}},
pages = {186--193},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800116.803768},
doi = {10.1145/800116.803768},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LiptonED75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/LiptonS74,
author = {Richard J. Lipton and
Lawrence Snyder},
title = {On the Aanderaa-Rosenberg Conjecture},
journal = {{SIGACT} News},
volume = {6},
number = {1},
pages = {30--31},
year = {1974},
url = {https://doi.org/10.1145/1811129.1811133},
doi = {10.1145/1811129.1811133},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/LiptonS74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/LiptonSZ74,
author = {Richard J. Lipton and
Lawrence Snyder and
Yechezkel Zalcstein},
title = {A Comparative Study of Models of Parallel Computation},
booktitle = {15th Annual Symposium on Switching and Automata Theory, New Orleans,
Louisiana, USA, October 14-16, 1974},
pages = {145--155},
publisher = {{IEEE} Computer Society},
year = {1974},
url = {https://doi.org/10.1109/SWAT.1974.2},
doi = {10.1109/SWAT.1974.2},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/LiptonSZ74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Lipton74,
author = {Richard J. Lipton},
editor = {Erol Gelenbe and
Claude Kaiser},
title = {Schedulers as enforces in synchronization},
booktitle = {Operating Systems, Proceedings of an International Symposium held
at Rocquencourt, France, April 23-25, 1974},
series = {Lecture Notes in Computer Science},
volume = {16},
pages = {237--256},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/BFb0029363},
doi = {10.1007/BFB0029363},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/os/Lipton74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Lipton74,
author = {Richard J. Lipton},
editor = {Robert L. Constable and
Robert W. Ritchie and
Jack W. Carlyle and
Michael A. Harrison},
title = {Limitations of Synchronization Primitives with Conditional Branching
and Global Variables},
booktitle = {Proceedings of the 6th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1974, Seattle, Washington, {USA}},
pages = {230--241},
publisher = {{ACM}},
year = {1974},
url = {https://doi.org/10.1145/800119.803900},
doi = {10.1145/800119.803900},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Lipton74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DobkinL74,
author = {David P. Dobkin and
Richard J. Lipton},
editor = {Robert L. Constable and
Robert W. Ritchie and
Jack W. Carlyle and
Michael A. Harrison},
title = {On Some Generalizations of Binary Search},
booktitle = {Proceedings of the 6th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1974, Seattle, Washington, {USA}},
pages = {310--316},
publisher = {{ACM}},
year = {1974},
url = {https://doi.org/10.1145/800119.803909},
doi = {10.1145/800119.803909},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/DobkinL74.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-02-06 23:48 CET 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:
