default search action
BibTeX 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, 29 Jul 2024 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 = {Mon, 29 Jul 2024 01:00:00 +0200}, 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, 29 Jul 2024 01:00:00 +0200}, 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 = {Mon, 29 Jul 2024 01:00:00 +0200}, 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 = {Mon, 29 Jul 2024 01:00:00 +0200}, 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 = {Mon, 29 Jul 2024 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 = {Mon, 29 Jul 2024 01:00:00 +0200}, 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} }
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.