BibTeX records: John H. Reif

download as .bib file

@article{DBLP:journals/corr/EshraSR17,
  author    = {Abeer Eshra and
               Shalin Shah and
               John H. Reif},
  title     = {{DNA} Hairpin Gate: {A} Renewable {DNA} Seesaw Motif Using Hairpins},
  journal   = {CoRR},
  volume    = {abs/1704.06371},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.06371},
  archivePrefix = {arXiv},
  eprint    = {1704.06371},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/EshraSR17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijuc/TyagiR16,
  author    = {Akhilesh Tyagi and
               John H. Reif},
  title     = {Energy Complexity of Optical Computations},
  journal   = {{IJUC}},
  volume    = {12},
  number    = {5-6},
  pages     = {393--412},
  year      = {2016},
  url       = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-12-number-5-6-2016/ijuc-12-5-6-p-393-412/},
  timestamp = {Wed, 07 Dec 2016 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/ijuc/TyagiR16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/nc/MajumderGLR16,
  author    = {Urmi Majumder and
               Sudhanshu Garg and
               Thomas H. LaBean and
               John H. Reif},
  title     = {Activatable tiles for compact robust programmable molecular assembly
               and other applications},
  journal   = {Natural Computing},
  volume    = {15},
  number    = {4},
  pages     = {611--634},
  year      = {2016},
  url       = {https://doi.org/10.1007/s11047-015-9532-3},
  doi       = {10.1007/s11047-015-9532-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/nc/MajumderGLR16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/chb/AlhalabiREFFTA15,
  author    = {Wadee Alhalabi and
               John H. Reif and
               Zeineb Elsheikh and
               Heba Felimban and
               Majda Fallata and
               Khalid Thabit and
               Abdullah Abusorrah},
  title     = {The co-learning in the design, simulation and optimization of a solar
               concentrating system},
  journal   = {Computers in Human Behavior},
  volume    = {51},
  pages     = {857--866},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.chb.2014.10.043},
  doi       = {10.1016/j.chb.2014.10.043},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/chb/AlhalabiREFFTA15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:books/crc/chb/BuiCGGMRS14,
  author    = {Hieu Bui and
               Harish Chandran and
               Sudhanshu Garg and
               Nikhil Gopalkrishnan and
               Reem Mokhtar and
               John H. Reif and
               Tianqi Song},
  title     = {{DNA} Computing},
  booktitle = {Computing Handbook, Third Edition: Computer Science and Software Engineering},
  pages     = {25: 1--42},
  year      = {2014},
  crossref  = {DBLP:books/crc/chb2014-1},
  timestamp = {Tue, 17 Jun 2014 14:00:46 +0200},
  biburl    = {http://dblp.org/rec/bib/books/crc/chb/BuiCGGMRS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/ChandranGR13,
  author    = {Harish Chandran and
               Nikhil Gopalkrishnan and
               John H. Reif},
  title     = {Tile Complexity of Approximate Squares},
  journal   = {Algorithmica},
  volume    = {66},
  number    = {1},
  pages     = {1--17},
  year      = {2013},
  url       = {https://doi.org/10.1007/s00453-012-9620-z},
  doi       = {10.1007/s00453-012-9620-z},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/algorithmica/ChandranGR13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijuc/Reif12,
  author    = {John H. Reif},
  title     = {Local Parallel Biomolecular Computation},
  journal   = {{IJUC}},
  volume    = {8},
  number    = {5-6},
  pages     = {459--507},
  year      = {2012},
  url       = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-8-number-5-6-2012/ijuc-8-5-6-p-459-507/},
  timestamp = {Thu, 07 Dec 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/ijuc/Reif12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/ChandranGR12,
  author    = {Harish Chandran and
               Nikhil Gopalkrishnan and
               John H. Reif},
  title     = {Tile Complexity of Linear Assemblies},
  journal   = {{SIAM} J. Comput.},
  volume    = {41},
  number    = {4},
  pages     = {1051--1073},
  year      = {2012},
  url       = {https://doi.org/10.1137/110822487},
  doi       = {10.1137/110822487},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/ChandranGR12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:reference/nc/ReifL12,
  author    = {John H. Reif and
               Thomas H. LaBean},
  title     = {Engineering Natural Computation by Autonomous DNA-Based Biomolecular
               Devices},
  booktitle = {Handbook of Natural Computing},
  pages     = {1319--1353},
  year      = {2012},
  crossref  = {DBLP:reference/nc/2012},
  url       = {https://doi.org/10.1007/978-3-540-92910-9_39},
  doi       = {10.1007/978-3-540-92910-9_39},
  timestamp = {Tue, 16 May 2017 14:02:21 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/nc/ReifL12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijcga/ReifS11,
  author    = {John H. Reif and
               Sam Slee},
  title     = {Asymptotically Optimal Kinodynamic Motion Planning for a Class of
               Modular Self-Reconfigurable Robots},
  journal   = {Int. J. Comput. Geometry Appl.},
  volume    = {21},
  number    = {2},
  pages     = {131--155},
  year      = {2011},
  url       = {https://doi.org/10.1142/S0218195911003585},
  doi       = {10.1142/S0218195911003585},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijcga/ReifS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/nc/MajumderR11,
  author    = {Urmi Majumder and
               John H. Reif},
  title     = {Design of a biomolecular device that executes process algebra},
  journal   = {Natural Computing},
  volume    = {10},
  number    = {1},
  pages     = {447--466},
  year      = {2011},
  url       = {https://doi.org/10.1007/s11047-010-9235-8},
  doi       = {10.1007/s11047-010-9235-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/nc/MajumderR11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/ReifSY11,
  author    = {John H. Reif and
               Sudheer Sahu and
               Peng Yin},
  title     = {Complexity of graph self-assembly in accretive systems and self-destructible
               systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {412},
  number    = {17},
  pages     = {1592--1605},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.tcs.2010.10.034},
  doi       = {10.1016/j.tcs.2010.10.034},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/ReifSY11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/ChandranGPR11,
  author    = {Harish Chandran and
               Nikhil Gopalkrishnan and
               Andrew Phillips and
               John H. Reif},
  title     = {Localized Hybridization Circuits},
  booktitle = {{DNA} Computing and Molecular Programming - 17th International Conference,
               {DNA} 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings},
  pages     = {64--83},
  year      = {2011},
  crossref  = {DBLP:conf/dna/2011},
  url       = {https://doi.org/10.1007/978-3-642-23638-9_8},
  doi       = {10.1007/978-3-642-23638-9_8},
  timestamp = {Fri, 19 May 2017 01:25:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/ChandranGPR11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iccabs/Reif11,
  author    = {John H. Reif},
  title     = {Keynote: DNA-based molecular devices},
  booktitle = {{IEEE} 1st International Conference on Computational Advances in Bio
               and Medical Sciences, {ICCABS} 2011, Orlando, FL, USA, February 3-5,
               2011},
  pages     = {3},
  year      = {2011},
  crossref  = {DBLP:conf/iccabs/2011},
  url       = {https://doi.org/10.1109/ICCABS.2011.5729934},
  doi       = {10.1109/ICCABS.2011.5729934},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iccabs/Reif11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/SahuR10,
  author    = {Sudheer Sahu and
               John H. Reif},
  title     = {Capabilities and Limits of Compact Error Resilience Methods for Algorithmic
               Self-Assembly},
  journal   = {Algorithmica},
  volume    = {56},
  number    = {4},
  pages     = {480--504},
  year      = {2010},
  url       = {https://doi.org/10.1007/s00453-008-9187-x},
  doi       = {10.1007/s00453-008-9187-x},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/algorithmica/SahuR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/nc/ReifM10,
  author    = {John H. Reif and
               Urmi Majumder},
  title     = {Isothermal reactivating Whiplash {PCR} for locally programmable molecular
               computation},
  journal   = {Natural Computing},
  volume    = {9},
  number    = {1},
  pages     = {183--206},
  year      = {2010},
  url       = {https://doi.org/10.1007/s11047-009-9148-6},
  doi       = {10.1007/s11047-009-9148-6},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/nc/ReifM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/GopalkrishnanCR10,
  author    = {Nikhil Gopalkrishnan and
               Harish Chandran and
               John H. Reif},
  title     = {High-Fidelity {DNA} Hybridization Using Programmable Molecular {DNA}
               Devices},
  booktitle = {{DNA} Computing and Molecular Programming - 16th International Conference,
               {DNA} 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers},
  pages     = {59--70},
  year      = {2010},
  crossref  = {DBLP:conf/dna/2010},
  url       = {https://doi.org/10.1007/978-3-642-18305-8_6},
  doi       = {10.1007/978-3-642-18305-8_6},
  timestamp = {Fri, 19 May 2017 01:25:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/GopalkrishnanCR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wafr/SleeR10,
  author    = {Sam Slee and
               John H. Reif},
  title     = {Robomotion: Scalable, Physically Stable Locomotion for Self-reconfigurable
               Robots},
  booktitle = {Algorithmic Foundations of Robotics {IX} - Selected Contributions
               of the Ninth International Workshop on the Algorithmic Foundations
               of Robotics, {WAFR} 2010, Singapore, December 13-15, 2010},
  pages     = {121--137},
  year      = {2010},
  crossref  = {DBLP:conf/wafr/2010},
  url       = {https://doi.org/10.1007/978-3-642-17452-0_8},
  doi       = {10.1007/978-3-642-17452-0_8},
  timestamp = {Fri, 19 May 2017 01:26:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wafr/SleeR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/ReifS09,
  author    = {John H. Reif and
               Sudheer Sahu},
  title     = {Autonomous programmable {DNA} nanorobotic devices using DNAzymes},
  journal   = {Theor. Comput. Sci.},
  volume    = {410},
  number    = {15},
  pages     = {1428--1439},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.tcs.2008.12.003},
  doi       = {10.1016/j.tcs.2008.12.003},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/ReifS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/MajumderR09,
  author    = {Urmi Majumder and
               John H. Reif},
  title     = {Design of a Biomolecular Device That Executes Process Algebra},
  booktitle = {{DNA} Computing and Molecular Programming, 15th International Conference,
               {DNA} 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected
               Papers},
  pages     = {97--105},
  year      = {2009},
  crossref  = {DBLP:conf/dna/2009},
  url       = {https://doi.org/10.1007/978-3-642-10604-0_10},
  doi       = {10.1007/978-3-642-10604-0_10},
  timestamp = {Fri, 19 May 2017 01:25:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/MajumderR09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChandranGR09,
  author    = {Harish Chandran and
               Nikhil Gopalkrishnan and
               John H. Reif},
  title     = {The Tile Complexity of Linear Assemblies},
  booktitle = {Automata, Languages and Programming, 36th International Colloquium,
               {ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {I}},
  pages     = {235--253},
  year      = {2009},
  crossref  = {DBLP:conf/icalp/2009-1},
  url       = {https://doi.org/10.1007/978-3-642-02927-1_21},
  doi       = {10.1007/978-3-642-02927-1_21},
  timestamp = {Tue, 23 May 2017 01:08:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/ChandranGR09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:reference/complexity/Reif09,
  author    = {John H. Reif},
  title     = {Mechanical Computing: The Computational Complexity of Physical Devices},
  booktitle = {Encyclopedia of Complexity and Systems Science},
  pages     = {5466--5482},
  year      = {2009},
  crossref  = {DBLP:reference/complexity/2009},
  url       = {https://doi.org/10.1007/978-0-387-30440-3_325},
  doi       = {10.1007/978-0-387-30440-3_325},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/complexity/Reif09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cma/ReifKS08,
  author    = {John H. Reif and
               Simon Kasif and
               Deepak Sherlekar},
  title     = {Formula dissection: {A} parallel algorithm for constraint satisfaction},
  journal   = {Computers {\&} Mathematics with Applications},
  volume    = {55},
  number    = {6},
  pages     = {1170--1177},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.camwa.2007.07.002},
  doi       = {10.1016/j.camwa.2007.07.002},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cma/ReifKS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/ReifM08,
  author    = {John H. Reif and
               Urmi Majumder},
  title     = {Isothermal Reactivating Whiplash {PCR} for Locally Programmable Molecular
               Computation},
  booktitle = {{DNA} Computing, 14th International Meeting on {DNA} Computing, {DNA}
               14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers},
  pages     = {41--56},
  year      = {2008},
  crossref  = {DBLP:conf/dna/2008},
  url       = {https://doi.org/10.1007/978-3-642-03076-5_5},
  doi       = {10.1007/978-3-642-03076-5_5},
  timestamp = {Fri, 19 May 2017 01:25:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/ReifM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/uc/MajumderR08,
  author    = {Urmi Majumder and
               John H. Reif},
  title     = {A Framework for Designing Novel Magnetic Tiles Capable of Complex
               Self-assemblies},
  booktitle = {Unconventional Computing, 7th International Conference, {UC} 2008,
               Vienna, Austria, August 25-28, 2008. Proceedings},
  pages     = {129--145},
  year      = {2008},
  crossref  = {DBLP:conf/uc/2008},
  url       = {https://doi.org/10.1007/978-3-540-85194-3_12},
  doi       = {10.1007/978-3-540-85194-3_12},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uc/MajumderR08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cacm/ReifL07,
  author    = {John H. Reif and
               Thomas H. LaBean},
  title     = {Autonomous programmable biomolecular devices using self-assembled
               {DNA} nanostructures},
  journal   = {Commun. {ACM}},
  volume    = {50},
  number    = {9},
  pages     = {46--53},
  year      = {2007},
  url       = {http://doi.acm.org/10.1145/1284621.1284647},
  doi       = {10.1145/1284621.1284647},
  timestamp = {Tue, 30 Oct 2007 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/cacm/ReifL07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/ReifC07,
  author    = {John H. Reif and
               Sukhendu Chakraborty},
  title     = {Efficient and exact quantum compression},
  journal   = {Inf. Comput.},
  volume    = {205},
  number    = {7},
  pages     = {967--981},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.ic.2007.01.005},
  doi       = {10.1016/j.ic.2007.01.005},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/ReifC07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tsmc/SunR07,
  author    = {Zheng Sun and
               John H. Reif},
  title     = {On Robotic Optimal Path Planning in Polygonal Regions With Pseudo-Euclidean
               Metrics},
  journal   = {{IEEE} Trans. Systems, Man, and Cybernetics, Part {B}},
  volume    = {37},
  number    = {4},
  pages     = {925--936},
  year      = {2007},
  url       = {https://doi.org/10.1109/TSMCB.2007.896021},
  doi       = {10.1109/TSMCB.2007.896021},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tsmc/SunR07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/MajumderLR07,
  author    = {Urmi Majumder and
               Thomas H. LaBean and
               John H. Reif},
  title     = {Activatable Tiles: Compact, Robust Programmable Assembly and Other
               Applications},
  booktitle = {{DNA} Computing, 13th International Meeting on {DNA} Computing, DNA13,
               Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers},
  pages     = {15--25},
  year      = {2007},
  crossref  = {DBLP:conf/dna/2007},
  url       = {https://doi.org/10.1007/978-3-540-77962-9_2},
  doi       = {10.1007/978-3-540-77962-9_2},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/MajumderLR07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/ReifS07,
  author    = {John H. Reif and
               Sudheer Sahu},
  title     = {Autonomous Programmable Nanorobotic Devices Using DNAzymes},
  booktitle = {{DNA} Computing, 13th International Meeting on {DNA} Computing, DNA13,
               Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers},
  pages     = {66--78},
  year      = {2007},
  crossref  = {DBLP:conf/dna/2007},
  url       = {https://doi.org/10.1007/978-3-540-77962-9_7},
  doi       = {10.1007/978-3-540-77962-9_7},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/ReifS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifip11-9/GehaniR07,
  author    = {Ashish Gehani and
               John H. Reif},
  title     = {Super-Resolution Video Analysis for Forensic Investigations},
  booktitle = {Advances in Digital Forensics {III} - {IFIP} International Conference
               on Digital Forensics, National Centre for Forensic Science, Orlando,
               Florida, January 28-31, 2007},
  pages     = {281--299},
  year      = {2007},
  crossref  = {DBLP:conf/ifip11-9/2007},
  url       = {https://doi.org/10.1007/978-0-387-73742-3_20},
  doi       = {10.1007/978-0-387-73742-3_20},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifip11-9/GehaniR07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rss/ReifS07,
  author    = {John H. Reif and
               Sam Slee},
  title     = {Optimal Kinodynamic Motion Planning for 2D Reconfiguration of Self-Reconfigurable
               Robots},
  booktitle = {Robotics: Science and Systems III, June 27-30, 2007, Georgia Institute
               of Technology, Atlanta, Georgia, {USA}},
  year      = {2007},
  crossref  = {DBLP:conf/rss/2007},
  url       = {http://www.roboticsproceedings.org/rss03/p20.html},
  timestamp = {Sun, 26 Oct 2008 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rss/ReifS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ReifL07,
  author    = {John H. Reif and
               Thomas H. LaBean},
  title     = {Autonomous Programmable Biomolecular Devices Using Self-assembled
               {DNA} Nanostructures},
  booktitle = {Logic, Language, Information and Computation, 14th International Workshop,
               WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  pages     = {297--306},
  year      = {2007},
  crossref  = {DBLP:conf/wollic/2007},
  url       = {https://doi.org/10.1007/978-3-540-73445-1_21},
  doi       = {10.1007/978-3-540-73445-1_21},
  timestamp = {Mon, 12 Jun 2017 16:41:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wollic/ReifL07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:reference/crc/2007pc,
  editor    = {Sanguthevar Rajasekaran and
               John H. Reif},
  title     = {Handbook of Parallel Computing - Models, Algorithms and Applications},
  publisher = {Chapman and Hall/CRC},
  year      = {2007},
  url       = {https://doi.org/10.1201/9781420011296},
  doi       = {10.1201/9781420011296},
  isbn      = {978-1-58488-623-5},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/crc/2007pc},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jal/SunR06,
  author    = {Zheng Sun and
               John H. Reif},
  title     = {On finding approximate optimal paths in weighted regions},
  journal   = {J. Algorithms},
  volume    = {58},
  number    = {1},
  pages     = {1--32},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.jalgor.2004.07.004},
  doi       = {10.1016/j.jalgor.2004.07.004},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jal/SunR06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/ReifS06,
  author    = {John H. Reif and
               Zheng Sun},
  title     = {On boundaries of highly visible spaces and applications},
  journal   = {Theor. Comput. Sci.},
  volume    = {354},
  number    = {3},
  pages     = {379--390},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.tcs.2005.11.027},
  doi       = {10.1016/j.tcs.2005.11.027},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/ReifS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/MajumderSLR06,
  author    = {Urmi Majumder and
               Sudheer Sahu and
               Thomas H. LaBean and
               John H. Reif},
  title     = {Design and Simulation of Self-repairing {DNA} Lattices},
  booktitle = {{DNA} Computing, 12th International Meeting on {DNA} Computing, DNA12,
               Seoul, Korea, June 5-9, 2006, Revised Selected Papers},
  pages     = {195--214},
  year      = {2006},
  crossref  = {DBLP:conf/dna/2006},
  url       = {https://doi.org/10.1007/11925903_15},
  doi       = {10.1007/11925903_15},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/MajumderSLR06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/SahuR06,
  author    = {Sudheer Sahu and
               John H. Reif},
  title     = {Capabilities and Limits of Compact Error Resilience Methods for Algorithmic
               Self-assembly in Two and Three Dimensions},
  booktitle = {{DNA} Computing, 12th International Meeting on {DNA} Computing, DNA12,
               Seoul, Korea, June 5-9, 2006, Revised Selected Papers},
  pages     = {223--238},
  year      = {2006},
  crossref  = {DBLP:conf/dna/2006},
  url       = {https://doi.org/10.1007/11925903_17},
  doi       = {10.1007/11925903_17},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/SahuR06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/SahuWR06,
  author    = {Sudheer Sahu and
               Bei Wang and
               John H. Reif},
  title     = {A Framework for Modeling {DNA} Based Molecular Systems},
  booktitle = {{DNA} Computing, 12th International Meeting on {DNA} Computing, DNA12,
               Seoul, Korea, June 5-9, 2006, Revised Selected Papers},
  pages     = {250--265},
  year      = {2006},
  crossref  = {DBLP:conf/dna/2006},
  url       = {https://doi.org/10.1007/11925903_19},
  doi       = {10.1007/11925903_19},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/SahuWR06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ncs/ReifSY06,
  author    = {John H. Reif and
               Sudheer Sahu and
               Peng Yin},
  title     = {Compact Error-Resilient Computational {DNA} Tilings},
  booktitle = {Nanotechnology: Science and Computation},
  pages     = {79--103},
  year      = {2006},
  crossref  = {DBLP:conf/ncs/2006nano},
  url       = {https://doi.org/10.1007/3-540-30296-4_5},
  doi       = {10.1007/3-540-30296-4_5},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ncs/ReifSY06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wafr/ReifS06,
  author    = {John H. Reif and
               Sam Slee},
  title     = {Asymptotically Optimal Kinodynamic Motion Planning for Self-reconfigurable
               Robots},
  booktitle = {Algorithmic Foundation of Robotics VII, Selected Contributions of
               the Seventh International Workshop on the Algorithmic Foundations
               of Robotics, {WAFR} 2006, July 16-18, 2006, New York, NY, {USA}},
  pages     = {457--472},
  year      = {2006},
  crossref  = {DBLP:conf/wafr/2006},
  url       = {https://doi.org/10.1007/978-3-540-68405-3_29},
  doi       = {10.1007/978-3-540-68405-3_29},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wafr/ReifS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/Reif05,
  author    = {John H. Reif},
  title     = {Efficient parallel factorization and solution of structured and unstructured
               linear systems},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {71},
  number    = {1},
  pages     = {86--143},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.jcss.2004.12.010},
  doi       = {10.1016/j.jcss.2004.12.010},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/Reif05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/trob/SunR05,
  author    = {Zheng Sun and
               John H. Reif},
  title     = {On finding energy-minimizing paths on terrains},
  journal   = {{IEEE} Trans. Robotics},
  volume    = {21},
  number    = {1},
  pages     = {102--114},
  year      = {2005},
  url       = {https://doi.org/10.1109/TRO.2004.837232},
  doi       = {10.1109/TRO.2004.837232},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/trob/SunR05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/trob/SunHJKR05,
  author    = {Zheng Sun and
               David Hsu and
               Tingting Jiang and
               Hanna Kurniawati and
               John H. Reif},
  title     = {Narrow passage sampling for probabilistic roadmap planning},
  journal   = {{IEEE} Trans. Robotics},
  volume    = {21},
  number    = {6},
  pages     = {1105--1115},
  year      = {2005},
  url       = {https://doi.org/10.1109/TRO.2005.853485},
  doi       = {10.1109/TRO.2005.853485},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/trob/SunHJKR05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/ReifSY05,
  author    = {John H. Reif and
               Sudheer Sahu and
               Peng Yin},
  title     = {Complexity of Graph Self-assembly in Accretive Systems and Self-destructible
               Systems},
  booktitle = {{DNA} Computing, 11th International Workshop on {DNA} Computing, DNA11,
               London, ON, Canada, June 6-9, 2005. Revised Selected Papers.},
  pages     = {257--274},
  year      = {2005},
  crossref  = {DBLP:conf/dna/2005},
  url       = {https://doi.org/10.1007/11753681_21},
  doi       = {10.1007/11753681_21},
  timestamp = {Sat, 16 Sep 2017 12:07:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/ReifSY05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/SahuYR05,
  author    = {Sudheer Sahu and
               Peng Yin and
               John H. Reif},
  title     = {A Self-assembly Model of Time-Dependent Glue Strength},
  booktitle = {{DNA} Computing, 11th International Workshop on {DNA} Computing, DNA11,
               London, ON, Canada, June 6-9, 2005. Revised Selected Papers.},
  pages     = {290--304},
  year      = {2005},
  crossref  = {DBLP:conf/dna/2005},
  url       = {https://doi.org/10.1007/11753681_23},
  doi       = {10.1007/11753681_23},
  timestamp = {Sat, 16 Sep 2017 12:07:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/SahuYR05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/YinSTR05,
  author    = {Peng Yin and
               Sudheer Sahu and
               Andrew J. Turberfield and
               John H. Reif},
  title     = {Design of Autonomous {DNA} Cellular Automata},
  booktitle = {{DNA} Computing, 11th International Workshop on {DNA} Computing, DNA11,
               London, ON, Canada, June 6-9, 2005. Revised Selected Papers.},
  pages     = {399--416},
  year      = {2005},
  crossref  = {DBLP:conf/dna/2005},
  url       = {https://doi.org/10.1007/11753681_32},
  doi       = {10.1007/11753681_32},
  timestamp = {Sat, 16 Sep 2017 12:07:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/YinSTR05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/ReifS04,
  author    = {John H. Reif and
               Zheng Sun},
  title     = {Movement Planning in the Presence of Flows},
  journal   = {Algorithmica},
  volume    = {39},
  number    = {2},
  pages     = {127--153},
  year      = {2004},
  url       = {https://doi.org/10.1007/s00453-003-1079-5},
  doi       = {10.1007/s00453-003-1079-5},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/algorithmica/ReifS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GehaniLR04,
  author    = {Ashish Gehani and
               Thomas H. LaBean and
               John H. Reif},
  title     = {DNA-based Cryptography},
  booktitle = {Aspects of Molecular Computing, Essays Dedicated to Tom Head on the
               Occasion of His 70th Birthday},
  pages     = {167--188},
  year      = {2004},
  crossref  = {DBLP:conf/birthday/2004head},
  url       = {https://doi.org/10.1007/978-3-540-24635-0_12},
  doi       = {10.1007/978-3-540-24635-0_12},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/GehaniLR04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/ReifSY04,
  author    = {John H. Reif and
               Sudheer Sahu and
               Peng Yin},
  title     = {Compact Error-Resilient Computational {DNA} Tiling Assemblies},
  booktitle = {{DNA} Computing, 10th International Workshop on {DNA} Computing, {DNA}
               10, Milan, Italy, June 7-10, 2004, Revised Selected Papers},
  pages     = {293--307},
  year      = {2004},
  crossref  = {DBLP:conf/dna/2004},
  url       = {https://doi.org/10.1007/11493785_26},
  doi       = {10.1007/11493785_26},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/ReifSY04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/YinTR04,
  author    = {Peng Yin and
               Andrew J. Turberfield and
               John H. Reif},
  title     = {Designs of Autonomous Unidirectional Walking {DNA} Devices},
  booktitle = {{DNA} Computing, 10th International Workshop on {DNA} Computing, {DNA}
               10, Milan, Italy, June 7-10, 2004, Revised Selected Papers},
  pages     = {410--425},
  year      = {2004},
  crossref  = {DBLP:conf/dna/2004},
  url       = {https://doi.org/10.1007/11493785_36},
  doi       = {10.1007/11493785_36},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/YinTR04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/YinTSR04,
  author    = {Peng Yin and
               Andrew J. Turberfield and
               Sudheer Sahu and
               John H. Reif},
  title     = {Design of an Autonomous {DNA} Nanomechanical Device Capable of Universal
               Computation and Universal Translational Motion},
  booktitle = {{DNA} Computing, 10th International Workshop on {DNA} Computing, {DNA}
               10, Milan, Italy, June 7-10, 2004, Revised Selected Papers},
  pages     = {426--444},
  year      = {2004},
  crossref  = {DBLP:conf/dna/2004},
  url       = {https://doi.org/10.1007/11493785_37},
  doi       = {10.1007/11493785_37},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/YinTSR04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/upp/ReifLSYY04,
  author    = {John H. Reif and
               Thomas H. LaBean and
               Sudheer Sahu and
               Hao Yan and
               Peng Yin},
  title     = {Design, Simulation, and Experimental Demonstration of Self-assembled
               {DNA} Nanostructures and Motors},
  booktitle = {Unconventional Programming Paradigms, International Workshop {UPP}
               2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised
               Selected and Invited Papers},
  pages     = {173--187},
  year      = {2004},
  crossref  = {DBLP:conf/upp/2004},
  url       = {https://doi.org/10.1007/11527800_14},
  doi       = {10.1007/11527800_14},
  timestamp = {Mon, 05 Jun 2017 12:39:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/upp/ReifLSYY04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2003,
  editor    = {Junghuei Chen and
               John H. Reif},
  title     = {{DNA} Computing, 9th International Workshop on {DNA} Based Computers,
               DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2943},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b95518},
  doi       = {10.1007/b95518},
  isbn      = {3-540-20930-1},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/Reif03,
  author    = {John H. Reif},
  title     = {Guest Editor's Foreword},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {67},
  number    = {2},
  pages     = {211},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0022-0000(03)00007-2},
  doi       = {10.1016/S0022-0000(03)00007-2},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/Reif03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/nc/Reif03,
  author    = {John H. Reif},
  title     = {The design of autonomous {DNA} nano-mechanical devices: Walking and
               rolling {DNA}},
  journal   = {Natural Computing},
  volume    = {2},
  number    = {4},
  pages     = {439--461},
  year      = {2003},
  url       = {https://doi.org/10.1023/B:NACO.0000006775.03534.92},
  doi       = {10.1023/B:NACO.0000006775.03534.92},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/nc/Reif03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/ReifS03,
  author    = {John H. Reif and
               Zheng Sun},
  title     = {On Frictional Mechanical Systems and Their Computational Power},
  journal   = {{SIAM} J. Comput.},
  volume    = {32},
  number    = {6},
  pages     = {1449--1474},
  year      = {2003},
  url       = {https://doi.org/10.1137/S0097539798346652},
  doi       = {10.1137/S0097539798346652},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/ReifS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ReifS03,
  author    = {John H. Reif and
               William L. Scherlis},
  title     = {Deriving Effcient Graph Algorithms},
  booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
               on the Occasion of His 64th Birthday},
  pages     = {645--681},
  year      = {2003},
  crossref  = {DBLP:conf/birthday/2003manna},
  url       = {https://doi.org/10.1007/978-3-540-39910-0_28},
  doi       = {10.1007/978-3-540-39910-0_28},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/ReifS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fct/SunR03,
  author    = {Zheng Sun and
               John H. Reif},
  title     = {Adaptive and Compact Discretization for Weighted Region Optimal Path
               Finding},
  booktitle = {Fundamentals of Computation Theory, 14th International Symposium,
               {FCT} 2003, Malm{\"{o}}, Sweden, August 12-15, 2003, Proceedings},
  pages     = {258--270},
  year      = {2003},
  crossref  = {DBLP:conf/fct/2003},
  url       = {https://doi.org/10.1007/978-3-540-45077-1_24},
  doi       = {10.1007/978-3-540-45077-1_24},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/SunR03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fct/ReifS03,
  author    = {John H. Reif and
               Zheng Sun},
  title     = {On Boundaries of Highly Visible Spaces and Applications},
  booktitle = {Fundamentals of Computation Theory, 14th International Symposium,
               {FCT} 2003, Malm{\"{o}}, Sweden, August 12-15, 2003, Proceedings},
  pages     = {271--283},
  year      = {2003},
  crossref  = {DBLP:conf/fct/2003},
  url       = {https://doi.org/10.1007/978-3-540-45077-1_25},
  doi       = {10.1007/978-3-540-45077-1_25},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/ReifS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icra/SunR03,
  author    = {Zheng Sun and
               John H. Reif},
  title     = {On energy-minimizing paths on terrains for a mobile robot},
  booktitle = {Proceedings of the 2003 {IEEE} International Conference on Robotics
               and Automation, {ICRA} 2003, September 14-19, 2003, Taipei, Taiwan},
  pages     = {3782--3788},
  year      = {2003},
  crossref  = {DBLP:conf/icra/2003},
  url       = {https://doi.org/10.1109/ROBOT.2003.1242177},
  doi       = {10.1109/ROBOT.2003.1242177},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icra/SunR03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icra/HsuJRS03,
  author    = {David Hsu and
               Tingting Jiang and
               John H. Reif and
               Zheng Sun},
  title     = {The bridge test for sampling narrow passages with probabilistic roadmap
               planners},
  booktitle = {Proceedings of the 2003 {IEEE} International Conference on Robotics
               and Automation, {ICRA} 2003, September 14-19, 2003, Taipei, Taiwan},
  pages     = {4420--4426},
  year      = {2003},
  crossref  = {DBLP:conf/icra/2003},
  url       = {https://doi.org/10.1109/ROBOT.2003.1242285},
  doi       = {10.1109/ROBOT.2003.1242285},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icra/HsuJRS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cse/Reif02,
  author    = {John H. Reif},
  title     = {{DNA} lattices: {A} method for molecular-scale patterning and computation},
  journal   = {Computing in Science and Engineering},
  volume    = {4},
  number    = {1},
  pages     = {32--41},
  year      = {2002},
  url       = {https://doi.org/10.1109/5992.976435},
  doi       = {10.1109/5992.976435},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cse/Reif02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ngc/Reif02,
  author    = {John H. Reif},
  title     = {The Emerging Discipline of Biomolecular Computation in the {US}},
  journal   = {New Generation Comput.},
  volume    = {20},
  number    = {3},
  pages     = {217--236},
  year      = {2002},
  url       = {https://doi.org/10.1007/BF03037357},
  doi       = {10.1007/BF03037357},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ngc/Reif02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/LiuRL02,
  author    = {Dage Liu and
               John H. Reif and
               Thomas H. LaBean},
  title     = {{DNA} Nanotubes: Construction and Characterization of Filaments Composed
               of TX-tile Lattice},
  booktitle = {{DNA} Computing, 8th International Workshop on {DNA} Based Computers,
               DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers},
  pages     = {10--21},
  year      = {2002},
  crossref  = {DBLP:conf/dna/2002},
  url       = {https://doi.org/10.1007/3-540-36440-4_2},
  doi       = {10.1007/3-540-36440-4_2},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/LiuRL02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/Reif02,
  author    = {John H. Reif},
  title     = {The Design of Autonomous {DNA} Nanomechanical Devices: Walking and
               Rolling {DNA}},
  booktitle = {{DNA} Computing, 8th International Workshop on {DNA} Based Computers,
               DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers},
  pages     = {22--37},
  year      = {2002},
  crossref  = {DBLP:conf/dna/2002},
  url       = {https://doi.org/10.1007/3-540-36440-4_3},
  doi       = {10.1007/3-540-36440-4_3},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/Reif02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Reif02,
  author    = {John H. Reif},
  title     = {Molecular Assembly and Computation: From Theory to Experimental Demonstrations},
  booktitle = {Automata, Languages and Programming, 29th International Colloquium,
               {ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
  pages     = {1--21},
  year      = {2002},
  crossref  = {DBLP:conf/icalp/2002},
  url       = {https://doi.org/10.1007/3-540-45465-9_1},
  doi       = {10.1007/3-540-45465-9_1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/Reif02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/2002,
  editor    = {John H. Reif},
  title     = {Proceedings on 34th Annual {ACM} Symposium on Theory of Computing,
               May 19-21, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
  publisher = {{ACM}},
  year      = {2002},
  isbn      = {1-58113-495-9},
  timestamp = {Thu, 16 Feb 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/Reif01,
  author    = {John H. Reif},
  title     = {Efficient Parallel Computation of the Characteristic Polynomial of
               a Sparse, Separable Matrix},
  journal   = {Algorithmica},
  volume    = {29},
  number    = {3},
  pages     = {487--510},
  year      = {2001},
  url       = {https://doi.org/10.1007/s004530010068},
  doi       = {10.1007/s004530010068},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/algorithmica/Reif01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/isci/ReifS01,
  author    = {John H. Reif and
               James A. Storer},
  title     = {Optimal encoding of non-stationary sources},
  journal   = {Inf. Sci.},
  volume    = {135},
  number    = {1-2},
  pages     = {87--105},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0020-0255(01)00103-7},
  doi       = {10.1016/S0020-0255(01)00103-7},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/isci/ReifS01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/Reif01,
  author    = {John H. Reif},
  title     = {Parallel Output-Sensitive Algorithms for Combinatorial and Linear
               Algebra Problems},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {62},
  number    = {3},
  pages     = {398--412},
  year      = {2001},
  url       = {https://doi.org/10.1006/jcss.2000.1740},
  doi       = {10.1006/jcss.2000.1740},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/Reif01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/ReifLPRGKW01,
  author    = {John H. Reif and
               Thomas H. LaBean and
               Michael Pirrung and
               Vipul S. Rana and
               Bo Guo and
               Carl Kingsford and
               Gene S. Wickham},
  title     = {Experimental Construction of Very Large Scale {DNA} Databases with
               Associative Search Capability},
  booktitle = {{DNA} Computing, 7th International Workshop on DNA-Based Computers,
               DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers},
  pages     = {231--247},
  year      = {2001},
  crossref  = {DBLP:conf/dna/2001},
  url       = {https://doi.org/10.1007/3-540-48017-X_22},
  doi       = {10.1007/3-540-48017-X_22},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/ReifLPRGKW01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icra/ReifLS01,
  author    = {John H. Reif and
               Thomas H. LaBean and
               Nadrian C. Seeman},
  title     = {Programmable Assembly at the Molecular Scale: Self-Assembly of {DNA}
               Lattices (Invited Paper)},
  booktitle = {Proceedings of the 2001 {IEEE} International Conference on Robotics
               and Automation, {ICRA} 2001, May 21-26, 2001, Seoul, Korea},
  pages     = {966--971},
  year      = {2001},
  crossref  = {DBLP:conf/icra/2001},
  url       = {https://doi.org/10.1109/ROBOT.2001.932675},
  doi       = {10.1109/ROBOT.2001.932675},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icra/ReifLS01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isaac/SunR01,
  author    = {Zheng Sun and
               John H. Reif},
  title     = {{BUSHWHACK:} An Approximation Algorithm for Minimal Paths through
               Pseudo-Euclidean Spaces},
  booktitle = {Algorithms and Computation, 12th International Symposium, {ISAAC}
               2001, Christchurch, New Zealand, December 19-21, 2001, Proceedings},
  pages     = {160--171},
  year      = {2001},
  crossref  = {DBLP:conf/isaac/2001},
  url       = {https://doi.org/10.1007/3-540-45678-3_15},
  doi       = {10.1007/3-540-45678-3_15},
  timestamp = {Fri, 26 May 2017 14:09:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isaac/SunR01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wads/ReifS01,
  author    = {John H. Reif and
               Zheng Sun},
  title     = {Movement Planning in the Presence of Flows},
  booktitle = {Algorithms and Data Structures, 7th International Workshop, {WADS}
               2001, Providence, RI, USA, August 8-10, 2001, Proceedings},
  pages     = {450--461},
  year      = {2001},
  crossref  = {DBLP:conf/wads/2001},
  url       = {https://doi.org/10.1007/3-540-44634-6_41},
  doi       = {10.1007/3-540-44634-6_41},
  timestamp = {Mon, 05 Jun 2017 12:38:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wads/ReifS01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/Reif00,
  author    = {John H. Reif},
  title     = {Fast Spatial Decomposition and Closest Pair Computation for Limited
               Precision Input},
  journal   = {Algorithmica},
  volume    = {28},
  number    = {3},
  pages     = {271--287},
  year      = {2000},
  url       = {https://doi.org/10.1007/s004530010040},
  doi       = {10.1007/s004530010040},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/algorithmica/Reif00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/Reif00,
  author    = {John H. Reif},
  title     = {On the Impossibility of Interaction-Free Quantum Sensing for Small
               {I/O} Bandwidth},
  journal   = {Inf. Comput.},
  volume    = {163},
  number    = {1},
  pages     = {103--122},
  year      = {2000},
  url       = {https://doi.org/10.1006/inco.2000.2880},
  doi       = {10.1006/inco.2000.2880},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/Reif00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/ReifW00,
  author    = {John H. Reif and
               Hongyan Wang},
  title     = {Nonuniform Discretization for Kinodynamic Motion Planning and its
               Applications},
  journal   = {{SIAM} J. Comput.},
  volume    = {30},
  number    = {1},
  pages     = {161--190},
  year      = {2000},
  url       = {https://doi.org/10.1137/S0097539798331975},
  doi       = {10.1137/S0097539798331975},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/ReifW00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/ReifL00,
  author    = {John H. Reif and
               Thomas H. LaBean},
  title     = {Computationally Inspired Biotechnologies: Improved {DNA} Synthesis
               and Associative Search Using Error-Correcting Codes and Vector-Quantization},
  booktitle = {{DNA} Computing, 6th International Workshop on DNA-Based Computers,
               {DNA} 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers},
  pages     = {145--172},
  year      = {2000},
  crossref  = {DBLP:conf/dna/2000},
  url       = {https://doi.org/10.1007/3-540-44992-2_11},
  doi       = {10.1007/3-540-44992-2_11},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/ReifL00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dna/ReifLS00,
  author    = {John H. Reif and
               Thomas H. LaBean and
               Nadrian C. Seeman},
  title     = {Challenges and Applications for Self-Assembled {DNA} Nanostructures},
  booktitle = {{DNA} Computing, 6th International Workshop on DNA-Based Computers,
               {DNA} 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers},
  pages     = {173--198},
  year      = {2000},
  crossref  = {DBLP:conf/dna/2000},
  url       = {https://doi.org/10.1007/3-540-44992-2_12},
  doi       = {10.1007/3-540-44992-2_12},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/ReifLS00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/Reif99,
  author    = {John H. Reif},
  title     = {Parallel Biomolecular Computation: Models and Simulations},
  journal   = {Algorithmica},
  volume    = {25},
  number    = {2-3},
  pages     = {142--175},
  year      = {1999},
  url       = {https://doi.org/10.1007/PL00008272},
  doi       = {10.1007/PL00008272},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/algorithmica/Reif99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ras/ReifW99,
  author    = {John H. Reif and
               Hongyan Wang},
  title     = {Social potential fields: {A} distributed behavioral control for autonomous
               robots},
  journal   = {Robotics and Autonomous Systems},
  volume    = {27},
  number    = {3},
  pages     = {171--194},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0921-8890(99)00004-4},
  doi       = {10.1016/S0921-8890(99)00004-4},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ras/ReifW99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/Reif99,
  author    = {John H. Reif},
  title     = {Approximate Complex Polynomial Evaluation in Near Constant Work Per
               Point},
  journal   = {{SIAM} J. Comput.},
  volume    = {28},
  number    = {6},
  pages     = {2059--2089},
  year      = {1999},
  url       = {https://doi.org/10.1137/S0097539797324291},
  doi       = {10.1137/S0097539797324291},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/Reif99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tpds/LiRG99,
  author    = {Zhiyong Li and
               John H. Reif and
               Sandeep K. S. Gupta},
  title     = {Synthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms
               Using Block-Cyclic Data Distributions},
  journal   = {{IEEE} Trans. Parallel Distrib. Syst.},
  volume    = {10},
  number    = {3},
  pages     = {297--315},
  year      = {1999},
  url       = {https://doi.org/10.1109/71.755830},
  doi       = {10.1109/71.755830},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tpds/LiRG99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/LaBeanWR99,
  author    = {Thomas H. LaBean and
               Erik Winfree and
               John H. Reif},
  title     = {Experimental progress in computation by self-assembly of {DNA} tilings},
  booktitle = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, New Brunswick,
               New Jersey, USA, June 14-15, 1999},
  pages     = {123--140},
  year      = {1999},
  crossref  = {DBLP:conf/dimacs/dimacs54},
  timestamp = {Tue, 15 Mar 2016 17:46:36 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/LaBeanWR99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/GehaniLR99,
  author    = {Ashish Gehani and
               Thomas H. LaBean and
               John H. Reif},
  title     = {DNA-based cryptography},
  booktitle = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, New Brunswick,
               New Jersey, USA, June 14-15, 1999},
  pages     = {233},
  year      = {1999},
  crossref  = {DBLP:conf/dimacs/dimacs54},
  timestamp = {Tue, 15 Mar 2016 17:46:36 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/GehaniLR99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jal/GazitR98,
  author    = {Hillel Gazit and
               John H. Reif},
  title     = {A Randomized Parallel Algorithm for Planar Graph Isomorphism},
  journal   = {J. Algorithms},
  volume    = {28},
  number    = {2},
  pages     = {290--314},
  year      = {1998},
  url       = {https://doi.org/10.1006/jagm.1998.0943},
  doi       = {10.1006/jagm.1998.0943},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jal/GazitR98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcc/ReifS98,
  author    = {John H. Reif and
               James A. Storer},
  title     = {Optimal Lossless Compression of a Class of Dynamic Sources},
  booktitle = {Data Compression Conference, {DCC} 1998, Snowbird, Utah, USA, March
               30 - April 1, 1998.},
  pages     = {501--510},
  year      = {1998},
  crossref  = {DBLP:conf/dcc/1998},
  url       = {https://doi.org/10.1109/DCC.1998.672221},
  doi       = {10.1109/DCC.1998.672221},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/ReifS98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Reif98,
  author    = {John H. Reif},
  title     = {Alternative Computational Models: {A} Comparison of Biomolecular and
               Quantum Computation},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science,
               18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
  pages     = {102--121},
  year      = {1998},
  crossref  = {DBLP:conf/fsttcs/1998},
  url       = {https://doi.org/10.1007/978-3-540-49382-2_10},
  doi       = {10.1007/978-3-540-49382-2_10},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsttcs/Reif98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/HanPR97,
  author    = {Yijie Han and
               Victor Y. Pan and
               John H. Reif},
  title     = {Efficient Parallel Algorithms for Computing All Pair Shortest Paths
               in Directed Graphs},
  journal   = {Algorithmica},
  volume    = {17},
  number    = {4},
  pages     = {399--415},
  year      = {1997},
  url       = {https://doi.org/10.1007/BF02523680},
  doi       = {10.1007/BF02523680},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/algorithmica/HanPR97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jal/ReifT97,
  author    = {John H. Reif and
               Stephen R. Tate},
  title     = {On Dynamic Algorithms for Algebraic Problems},
  journal   = {J. Algorithms},
  volume    = {22},
  number    = {2},
  pages     = {347--371},
  year      = {1997},
  url       = {https://doi.org/10.1006/jagm.1995.0807},
  doi       = {10.1006/jagm.1995.0807},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jal/ReifT97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ras/GelenbeSSR97,
  author    = {Erol Gelenbe and
               Nestor A. Schmajuk and
               John Staddon and
               John H. Reif},
  title     = {Autonomous search by robots and animals: {A} survey},
  journal   = {Robotics and Autonomous Systems},
  volume    = {22},
  number    = {1},
  pages     = {23--34},
  year      = {1997},
  url       = {https://doi.org/10.1016/S0921-8890(97)00014-6},
  doi       = {10.1016/S0921-8890(97)00014-6},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ras/GelenbeSSR97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/StorerR97,
  author    = {James A. Storer and
               John H. Reif},
  title     = {Error-Resilient Optimal Data Compression},
  journal   = {{SIAM} J. Comput.},
  volume    = {26},
  number    = {4},
  pages     = {934--949},
  year      = {1997},
  url       = {https://doi.org/10.1137/S0097539792240789},
  doi       = {10.1137/S0097539792240789},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/StorerR97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcc/StorerR97,
  author    = {James A. Storer and
               John H. Reif},
  title     = {Low-Cost Prevention of Error Propagation for Data Compression with
               Dynamic Dictionaries},
  booktitle = {Proceedings of the 7th Data Compression Conference {(DCC} '97), Snowbird,
               Utah, March 25-27, 1997.},
  pages     = {171--180},
  year      = {1997},
  crossref  = {DBLP:conf/dcc/1997},
  url       = {https://doi.org/10.1109/DCC.1997.582007},
  doi       = {10.1109/DCC.1997.582007},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/StorerR97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcc/ChenR97,
  author    = {Sefeng Chen and
               John H. Reif},
  title     = {Fast and Compact Volume Rendering in the Compressed Transform Domain},
  booktitle = {Proceedings of the 7th Data Compression Conference {(DCC} '97), Snowbird,
               Utah, March 25-27, 1997.},
  pages     = {271--280},
  year      = {1997},
  crossref  = {DBLP:conf/dcc/1997},
  url       = {https://doi.org/10.1109/DCC.1997.582050},
  doi       = {10.1109/DCC.1997.582050},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/ChenR97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Reif97,
  author    = {John H. Reif},
  title     = {Local parallel biomolecular computation},
  booktitle = {{DNA} Based Computers, Proceedings of a {DIMACS} Workshop, Philadelphia,
               Pennsylvania, USA, June 23-25, 1997},
  pages     = {217--254},
  year      = {1997},
  crossref  = {DBLP:conf/dimacs/dimacs48},
  timestamp = {Mon, 14 Mar 2016 19:27:05 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/Reif97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Reif97,
  author    = {John H. Reif},
  title     = {Approximate Complex Polynomial Evaluation in Near Constant Work Per
               Point},
  booktitle = {Proceedings of the Twenty-Ninth Annual {ACM} Symposium on the Theory
               of Computing, El Paso, Texas, USA, May 4-6, 1997},
  pages     = {30--39},
  year      = {1997},
  crossref  = {DBLP:conf/stoc/1997},
  url       = {http://doi.acm.org/10.1145/258533.258543},
  doi       = {10.1145/258533.258543},
  timestamp = {Thu, 16 Feb 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/Reif97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/KaoRT96,
  author    = {Ming{-}Yang Kao and
               John H. Reif and
               Stephen R. Tate},
  title     = {Searching in an Unknown Environment: An Optimal Randomized Algorithm
               for the Cow-Path Problem},
  journal   = {Inf. Comput.},
  volume    = {131},
  number    = {1},
  pages     = {63--79},
  year      = {1996},
  url       = {https://doi.org/10.1006/inco.1996.0092},
  doi       = {10.1006/inco.1996.0092},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/KaoRT96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jc/NeffR96,
  author    = {C. Andrew Neff and
               John H. Reif},
  title     = {An Efficient Algorithm for the Complex Roots Problem},
  journal   = {J. Complexity},
  volume    = {12},
  number    = {2},
  pages     = {81--115},
  year      = {1996},
  url       = {https://doi.org/10.1006/jcom.1996.0008},
  doi       = {10.1006/jcom.1996.0008},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jc/NeffR96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/paapp/LiMR96,
  author    = {Zhiyong Li and
               Peter Mills and
               John H. Reif},
  title     = {Models and Resource Metrics for Parallel and Distributed Computation},
  journal   = {Parallel Algorithms Appl.},
  volume    = {8},
  number    = {1},
  pages     = {35--59},
  year      = {1996},
  url       = {https://doi.org/10.1080/10637199608915543},
  doi       = {10.1080/10637199608915543},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/paapp/LiMR96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcc/ChenR96,
  author    = {Shenfeng Chen and
               John H. Reif},
  title     = {Efficient Lossless Compression of Trees and Graphs},
  booktitle = {Proceedings of the 6th Data Compression Conference {(DCC} '96), Snowbird,
               Utah, March 31 - April 3, 1996.},
  pages     = {428},
  year      = {1996},
  crossref  = {DBLP:conf/dcc/1996},
  url       = {https://doi.org/10.1109/DCC.1996.488356},
  doi       = {10.1109/DCC.1996.488356},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/ChenR96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/europar/NylandPGMRW96,
  author    = {Lars S. Nyland and
               Jan Prins and
               Allen Goldberg and
               Peter Mills and
               John H. Reif and
               Robert A. Wagner},
  title     = {A Refinement Methodology for Developing Data-Parallel Applications},
  booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
               Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
  pages     = {145--150},
  year      = {1996},
  crossref  = {DBLP:conf/europar/1996-1},
  url       = {https://doi.org/10.1007/3-540-61626-8_18},
  doi       = {10.1007/3-540-61626-8_18},
  timestamp = {Mon, 22 May 2017 16:14:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/europar/NylandPGMRW96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icpp/LiRG96,
  author    = {Zhiyong Li and
               John H. Reif and
               Sandeep K. S. Gupta},
  title     = {Synthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms
               Using Block-Cyclic Data Distributions},
  booktitle = {Proceedings of the 1996 International Conference on Parallel Processing,
               {ICCP} 1996, Bloomingdale, IL, USA, August 12-16, 1996. Volume 2:
               Algorithms {\&} Applications.},
  pages     = {142--149},
  year      = {1996},
  crossref  = {DBLP:conf/icpp/1996-2},
  url       = {https://doi.org/10.1109/ICPP.1996.537393},
  doi       = {10.1109/ICPP.1996.537393},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icpp/LiRG96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/PaturiRR95,
  author    = {Ramamohan Paturi and
               Sanguthevar Rajasekaran and
               John H. Reif},
  title     = {The Light Bulb Problem},
  journal   = {Inf. Comput.},
  volume    = {117},
  number    = {2},
  pages     = {187--192},
  year      = {1995},
  url       = {https://doi.org/10.1006/inco.1995.1038},
  doi       = {10.1006/inco.1995.1038},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/PaturiRR95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcc/ChenR95,
  author    = {Shenfeng Chen and
               John H. Reif},
  title     = {Fast Pattern Matching for Entropy Bounded Text},
  booktitle = {Proceedings of the {IEEE} Data Compression Conference, {DCC} 1995,
               Snowbird, Utah, March 28-30, 1995.},
  pages     = {282--291},
  year      = {1995},
  crossref  = {DBLP:conf/dcc/1995},
  url       = {https://doi.org/10.1109/DCC.1995.515518},
  doi       = {10.1109/DCC.1995.515518},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/ChenR95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/Reif95,
  author    = {John H. Reif},
  title     = {Efficient Parallel Solution of Sparse Eigenvalue and Eigenvector Problems},
  booktitle = {36th Annual Symposium on Foundations of Computer Science, Milwaukee,
               Wisconsin, 23-25 October 1995},
  pages     = {123--132},
  year      = {1995},
  crossref  = {DBLP:conf/focs/1995},
  url       = {https://doi.org/10.1109/SFCS.1995.492469},
  doi       = {10.1109/SFCS.1995.492469},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/Reif95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hicss/LiMR95,
  author    = {Zhiyong Li and
               Peter Mills and
               John H. Reif},
  title     = {Models and resource metrics for parallel and distributed computation},
  booktitle = {28th Annual Hawaii International Conference on System Sciences (HICSS-28),
               January 3-6, 1995, Kihei, Maui, Hawaii, {USA}},
  pages     = {51--60},
  year      = {1995},
  crossref  = {DBLP:conf/hicss/1995},
  url       = {https://doi.org/10.1109/HICSS.1995.375477},
  doi       = {10.1109/HICSS.1995.375477},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/hicss/LiMR95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NikoletseasRSY95,
  author    = {Sotiris E. Nikoletseas and
               John H. Reif and
               Paul G. Spirakis and
               Moti Yung},
  title     = {Stochastic Graphs Have Short Memory: Fully Dynamic Connectivity in
               Poly-Log Expected Time},
  booktitle = {Automata, Languages and Programming, 22nd International Colloquium,
               ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
  pages     = {159--170},
  year      = {1995},
  crossref  = {DBLP:conf/icalp/1995},
  url       = {https://doi.org/10.1007/3-540-60084-1_71},
  doi       = {10.1007/3-540-60084-1_71},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/NikoletseasRSY95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pdpcs/GuptaLR95,
  author    = {Sandeep K. S. Gupta and
               Zhiyong Li and
               John H. Reif},
  title     = {Generating Efficient Programs for Two-Level Memories from Tensor-products},
  booktitle = {Proceedings of the Seventh {IASTED/ISMM} International Conference
               on Parallel and Distributed Computing and Systems, Washington, D.C.,
               USA, October 19-21, 1995},
  pages     = {510--513},
  year      = {1995},
  crossref  = {DBLP:conf/pdpcs/1995},
  timestamp = {Tue, 07 Feb 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pdpcs/GuptaLR95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spaa/Reif95,
  author    = {John H. Reif},
  title     = {Parallel Molecular Computation},
  booktitle = {{SPAA}},
  pages     = {213--223},
  year      = {1995},
  url       = {http://doi.acm.org/10.1145/215399.215446},
  doi       = {10.1145/215399.215446},
  timestamp = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/spaa/Reif95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Reif95,
  author    = {John H. Reif},
  title     = {Work efficient parallel solution of Toeplitz systems and polynomial
               {GCD}},
  booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Theory
               of Computing, 29 May-1 June 1995, Las Vegas, Nevada, {USA}},
  pages     = {751--761},
  year      = {1995},
  crossref  = {DBLP:conf/stoc/STOC27},
  url       = {http://doi.acm.org/10.1145/225058.225293},
  doi       = {10.1145/225058.225293},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/Reif95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vr/YoshidaRR95,
  author    = {Akitoshi Yoshida and
               Jannick P. Rolland and
               John H. Reif},
  title     = {Design and applications of a high-resolution insert head-mounted-display},
  booktitle = {1995 Virtual Reality Annual International Symposium, {VRAIS} '95,
               Research Triangle Park, North Carolina, USA, March 11-15, 1995},
  pages     = {84--93},
  year      = {1995},
  crossref  = {DBLP:conf/vr/1995},
  url       = {https://doi.org/10.1109/VRAIS.1995.512483},
  doi       = {10.1109/VRAIS.1995.512483},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vr/YoshidaRR95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/combinatorica/CheriyanR94,
  author    = {Joseph Cheriyan and
               John H. Reif},
  title     = {Directed \emph{s-t} Numberings, Rubber Bands, and Testing Digraph
               \emph{k}-Vertex Connectivity},
  journal   = {Combinatorica},
  volume    = {14},
  number    = {4},
  pages     = {435--451},
  year      = {1994},
  url       = {https://doi.org/10.1007/BF01302965},
  doi       = {10.1007/BF01302965},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/combinatorica/CheriyanR94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dcg/ReifTY94,
  author    = {John H. Reif and
               J. D. Tygar and
               Akitoshi Yoshida},
  title     = {Computability and Complexity of Ray Tracing},
  journal   = {Discrete {\&} Computational Geometry},
  volume    = {11},
  pages     = {265--287},
  year      = {1994},
  url       = {https://doi.org/10.1007/BF02574009},
  doi       = {10.1007/BF02574009},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dcg/ReifTY94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/ReifS94,
  author    = {John H. Reif and
               Micha Sharir},
  title     = {Motion Planning in the Presence of Moving Obstacles},
  journal   = {J. {ACM}},
  volume    = {41},
  number    = {4},
  pages     = {764--790},
  year      = {1994},
  url       = {http://doi.acm.org/10.1145/179812.179911},
  doi       = {10.1145/179812.179911},
  timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/ReifS94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/StorerR94,
  author    = {James A. Storer and
               John H. Reif},
  title     = {Shortest Paths in the Plane with Polygonal Obstacles},
  journal   = {J. {ACM}},
  volume    = {41},
  number    = {5},
  pages     = {982--1012},
  year      = {1994},
  url       = {http://doi.acm.org/10.1145/185675.185795},
  doi       = {10.1145/185675.185795},
  timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/StorerR94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/ReifS94a,
  author    = {John H. Reif and
               James A. Storer},
  title     = {A Single-Exponential Upper Bound for Finding Shortest Paths in Three
               Dimensions},
  journal   = {J. {ACM}},
  volume    = {41},
  number    = {5},
  pages     = {1013--1019},
  year      = {1994},
  url       = {http://doi.acm.org/10.1145/185675.185811},
  doi       = {10.1145/185675.185811},
  timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/ReifS94a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/RamachandranR94,
  author    = {Vijaya Ramachandran and
               John H. Reif},
  title     = {Planarity Testing in Parallel},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {49},
  number    = {3},
  pages     = {517--561},
  year      = {1994},
  url       = {https://doi.org/10.1016/S0022-0000(05)80070-4},
  doi       = {10.1016/S0022-0000(05)80070-4},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/RamachandranR94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/ReifS94,
  author    = {John H. Reif and
               Sandeep Sen},
  title     = {Erratum: Optimal Parallel Randomized Algorithms for Three-Dimensional
               Convex Hulls and Related Problems},
  journal   = {{SIAM} J. Comput.},
  volume    = {23},
  number    = {2},
  pages     = {447--448},
  year      = {1994},
  url       = {https://doi.org/10.1137/0223030},
  doi       = {10.1137/0223030},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/ReifS94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/ReifS94a,
  author    = {John H. Reif and
               Sandeep Sen},
  title     = {Randomized Algorithms for Binary Search and Load Balancing on Fixed
               Connection Networks with Geometric Applications},
  journal   = {{SIAM} J. Comput.},
  volume    = {23},
  number    = {3},
  pages     = {633--651},
  year      = {1994},
  url       = {https://doi.org/10.1137/S0097539790184298},
  doi       = {10.1137/S0097539790184298},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/ReifS94a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcc/AzharBGKR94,
  author    = {S. Azhar and
               Greg J. Badros and
               A. Glodjo and
               Ming{-}Yang Kao and
               John H. Reif},
  title     = {Data Compression Techniques for Stock Market Prediction},
  booktitle = {Proceedings of the {IEEE} Data Compression Conference, {DCC} 1994,
               Snowbird, Utah, March 29-31, 1994.},
  pages     = {72--82},
  year      = {1994},
  crossref  = {DBLP:conf/dcc/1994},
  url       = {https://doi.org/10.1109/DCC.1994.305914},
  doi       = {10.1109/DCC.1994.305914},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/AzharBGKR94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/GoldbergMNPRR94,
  author    = {Allen Goldberg and
               Peter Mills and
               Lars S. Nyland and
               Jan Prins and
               John H. Reif and
               James Riely},
  title     = {Specification and Development of Parallel Algorithms with the ProteusSystem},
  booktitle = {Specification of Parallel Algorithms, Proceedings of a {DIMACS} Workshop,
               Princeton, New Jersey, USA, May 9-11, 1994},
  pages     = {383},
  year      = {1994},
  crossref  = {DBLP:conf/dimacs/dimacs18},
  timestamp = {Thu, 28 Jan 2016 15:18:15 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/GoldbergMNPRR94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/NeffR94,
  author    = {C. Andrew Neff and
               John H. Reif},
  title     = {An O(n{\^{}}1+epsilon log b) Algorithm for the Complex Roots Problem},
  booktitle = {35th Annual Symposium on Foundations of Computer Science, Santa Fe,
               New Mexico, USA, 20-22 November 1994},
  pages     = {540--547},
  year      = {1994},
  crossref  = {DBLP:conf/focs/FOCS35},
  url       = {https://doi.org/10.1109/SFCS.1994.365737},
  doi       = {10.1109/SFCS.1994.365737},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/NeffR94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Reif94,
  author    = {John H. Reif},
  title     = {Models and Resource Metrics for Parallel and Distributed Computation},
  booktitle = {Proceedings of the 8th International Symposium on Parallel Processing,
               Canc{\'{u}}n, Mexico, April 1994},
  pages     = {404},
  year      = {1994},
  crossref  = {DBLP:conf/ipps/1994},
  timestamp = {Fri, 01 Aug 2014 14:26:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ipps/Reif94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/ReifT94,
  author    = {John H. Reif and
               Stephen R. Tate},
  title     = {Dynamic Algebraic Algorithms},
  booktitle = {Proceedings of the Fifth Annual {ACM-SIAM} Symposium on Discrete Algorithms.
               23-25 January 1994, Arlington, Virginia.},
  pages     = {290--301},
  year      = {1994},
  crossref  = {DBLP:conf/soda/1994},
  url       = {http://dl.acm.org/citation.cfm?id=314464.314507},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/ReifT94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spaa/ReifT94,
  author    = {John H. Reif and
               Stephen R. Tate},
  title     = {Dynamic Parallel Tree Contraction (Extended Abstract)},
  booktitle = {{SPAA}},
  pages     = {114--121},
  year      = {1994},
  url       = {http://doi.acm.org/10.1145/181014.181050},
  doi       = {10.1145/181014.181050},
  timestamp = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/spaa/ReifT94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spaa/Reif94,
  author    = {John H. Reif},
  title     = {O(log{\({^2}\)} n) Time Efficient Parallel Factorization of Dense,
               Sparse Separable, and Banded Matrices},
  booktitle = {{SPAA}},
  pages     = {278--289},
  year      = {1994},
  url       = {http://doi.acm.org/10.1145/181014.181408},
  doi       = {10.1145/181014.181408},
  timestamp = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/spaa/Reif94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/ReifT93,
  author    = {John H. Reif and
               Stephen R. Tate},
  title     = {Continuous Alternation: The Complexity of Pursuit in Continuous Domains},
  journal   = {Algorithmica},
  volume    = {10},
  number    = {2-4},
  pages     = {156--181},
  year      = {1993},
  url       = {https://doi.org/10.1007/BF01891838},
  doi       = {10.1007/BF01891838},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/algorithmica/ReifT93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/DonaldXCR93,
  author    = {Bruce Randall Donald and
               Patrick G. Xavier and
               John F. Canny and
               John H. Reif},
  title     = {Kinodynamic Motion Planning},
  journal   = {J. {ACM}},
  volume    = {40},
  number    = {5},
  pages     = {1048--1066},
  year      = {1993},
  url       = {http://doi.acm.org/10.1145/174147.174150},
  doi       = {10.1145/174147.174150},
  timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/DonaldXCR93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/PanR93,
  author    = {Victor Y. Pan and
               John H. Reif},
  title     = {Fast and Efficient Parallel Solution of Sparse Linear Systems},
  journal   = {{SIAM} J. Comput.},
  volume    = {22},
  number    = {6},
  pages     = {1227--1250},
  year      = {1993},
  url       = {https://doi.org/10.1137/0222073},
  doi       = {10.1137/0222073},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/PanR93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcc/MarkasR93,
  author    = {Tassos Markas and
               John H. Reif},
  title     = {Multispectral Image Compression Algorithms},
  booktitle = {Proceedings of the {IEEE} Data Compression Conference, {DCC} 1993,
               Snowbird, Utah, March 30 - April 1, 1993.},
  pages     = {391--400},
  year      = {1993},
  crossref  = {DBLP:conf/dcc/1993},
  url       = {https://doi.org/10.1109/DCC.1993.253110},
  doi       = {10.1109/DCC.1993.253110},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/MarkasR93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/ChenR93,
  author    = {Shenfeng Chen and
               John H. Reif},
  title     = {Using Difficulty of Prediction to Decrease Computation: Fast Sort,
               Priority Queue and Convex Hull on Entropy Bounded Inputs},
  booktitle = {34th Annual Symposium on Foundations of Computer Science, Palo Alto,
               California, USA, 3-5 November 1993},
  pages     = {104--112},
  year      = {1993},
  crossref  = {DBLP:conf/focs/FOCS34},
  url       = {https://doi.org/10.1109/SFCS.1993.366877},
  doi       = {10.1109/SFCS.1993.366877},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/ChenR93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/Reif93,
  author    = {John H. Reif},
  title     = {An O(n log {\^{}}3 n) Algorithm for the Real Root Problem},
  booktitle = {34th Annual Symposium on Foundations of Computer Science, Palo Alto,
               California, USA, 3-5 November 1993},
  pages     = {626--635},
  year      = {1993},
  crossref  = {DBLP:conf/focs/FOCS34},
  url       = {https://doi.org/10.1109/SFCS.1993.366824},
  doi       = {10.1109/SFCS.1993.366824},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/Reif93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ReifT93,
  author    = {John H. Reif and
               Stephen R. Tate},
  title     = {The Complexity of N-body Simulation},
  booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
               ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
  pages     = {162--176},
  year      = {1993},
  crossref  = {DBLP:conf/icalp/1993},
  url       = {https://doi.org/10.1007/3-540-56939-1_70},
  doi       = {10.1007/3-540-56939-1_70},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/ReifT93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/KaoRT93,
  author    = {Ming{-}Yang Kao and
               John H. Reif and
               Stephen R. Tate},
  title     = {Searching in an Unknown Environment: An Optimal Randomized Algorithm
               for the Cow-Path Problem},
  booktitle = {Proceedings of the Fourth Annual {ACM/SIGACT-SIAM} Symposium on Discrete
               Algorithms, 25-27 January 1993, Austin, Texas.},
  pages     = {441--447},
  year      = {1993},
  crossref  = {DBLP:conf/soda/1993},
  url       = {http://dl.acm.org/citation.cfm?id=313559.313848},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/KaoRT93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spaa/CheriyanR93,
  author    = {Joseph Cheriyan and
               John H. Reif},
  title     = {Parallel and Output Sensitive Algorithms for Combinatorial and Linear
               Algebra Problems},
  booktitle = {{SPAA}},
  pages     = {50--56},
  year      = {1993},
  url       = {http://doi.acm.org/10.1145/165231.165238},
  doi       = {10.1145/165231.165238},
  timestamp = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/spaa/CheriyanR93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wads/ArmonR93,
  author    = {Deganit Armon and
               John H. Reif},
  title     = {A Dynamic Separator Algorithm},
  booktitle = {Algorithms and Data Structures, Third Workshop, {WADS} '93, Montr{\'{e}}al,
               Canada, August 11-13, 1993, Proceedings},
  pages     = {107--118},
  year      = {1993},
  crossref  = {DBLP:conf/wads/1993},
  url       = {https://doi.org/10.1007/3-540-57155-8_240},
  doi       = {10.1007/3-540-57155-8_240},
  timestamp = {Sat, 20 May 2017 15:32:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wads/ArmonR93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/ReifS92,
  author    = {John H. Reif and
               Sandeep Sen},
  title     = {Optimal Randomized Parallel Algorithms for Computational Geometry},
  journal   = {Algorithmica},
  volume    = {7},
  number    = {1},
  pages     = {91--117},
  year      = {1992},
  url       = {https://doi.org/10.1007/BF01758753},
  doi       = {10.1007/BF01758753},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/algorithmica/ReifS92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/ReifS92a,
  author    = {John H. Reif and
               Paul G. Spirakis},
  title     = {Expected Parallel Time and Sequential Space Complexity of Graph and
               Digraph Problems},
  journal   = {Algorithmica},
  volume    = {7},
  number    = {5{\&}6},
  pages     = {597--630},
  year      = {1992},
  url       = {https://doi.org/10.1007/BF01758779},
  doi       = {10.1007/BF01758779},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/algorithmica/ReifS92a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipm/MarkasR92,
  author    = {Tassos Markas and
               John H. Reif},
  title     = {Quad Tree Structures for Image Compression Applications},
  journal   = {Inf. Process. Manage.},
  volume    = {28},
  number    = {6},
  pages     = {707--722},
  year      = {1992},
  url       = {https://doi.org/10.1016/0306-4573(92)90063-6},
  doi       = {10.1016/0306-4573(92)90063-6},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ipm/MarkasR92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/ReifS92,
  author    = {John H. Reif and
               Sandeep Sen},
  title     = {Optimal Parallel Randomized Algorithms for Three-Dimensional Convex
               Hulls and Related Problems},
  journal   = {{SIAM} J. Comput.},
  volume    = {21},
  number    = {3},
  pages     = {466--485},
  year      = {1992},
  url       = {https://doi.org/10.1137/0221031},
  doi       = {10.1137/0221031},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/ReifS92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/ReifT92,
  author    = {John H. Reif and
               Stephen R. Tate},
  title     = {On Threshold Circuits and Polynomial Computation},
  journal   = {{SIAM} J. Comput.},
  volume    = {21},
  number    = {5},
  pages     = {896--908},
  year      = {1992},
  url       = {https://doi.org/10.1137/0221053},
  doi       = {10.1137/0221053},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/ReifT92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamsc/PanR92,
  author    = {Victor Pan and
               John H. Reif},
  title     = {Compact Multigrid},
  journal   = {{SIAM} J. Scientific Computing},
  volume    = {13},
  number    = {1},
  pages     = {119--127},
  year      = {1992},
  url       = {https://doi.org/10.1137/0913007},
  doi       = {10.1137/0913007},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamsc/PanR92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/RajasekaranR92,
  author    = {Sanguthevar Rajasekaran and
               John H. Reif},
  title     = {Nested Annealing: {A} Provable Improvement to Simulated Annealing},
  journal   = {Theor. Comput. Sci.},
  volume    = {99},
  number    = {1},
  pages     = {157--176},
  year      = {1992},
  url       = {https://doi.org/10.1016/0304-3975(92)90177-H},
  doi       = {10.1016/0304-3975(92)90177-H},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/RajasekaranR92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcc/ReifY92,
  author    = {John H. Reif and
               Akitoshi Yoshida},
  title     = {Optical Techniques for Image Compression},
  booktitle = {Proceedings of the {IEEE} Data Compression Conference, {DCC} 1992,
               Snowbird, Utah, March 24-27, 1992.},
  pages     = {32--41},
  year      = {1992},
  crossref  = {DBLP:conf/dcc/1992},
  url       = {https://doi.org/10.1109/DCC.1992.227478},
  doi       = {10.1109/DCC.1992.227478},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/ReifY92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/PanRT92,
  author    = {Victor Y. Pan and
               John H. Reif and
               Stephen R. Tate},
  title     = {The Power of Combining the Techiques of Algebraic and Numerical Computing:
               Improved Approximate Multipoint Polynomial Evaluation and Improved
               Multipole Algorithms},
  booktitle = {33rd Annual Symposium on Foundations of Computer Science, Pittsburgh,
               Pennsylvania, USA, 24-27 October 1992},
  pages     = {703--713},
  year      = {1992},
  crossref  = {DBLP:conf/focs/FOCS33},
  url       = {https://doi.org/10.1109/SFCS.1992.267780},
  doi       = {10.1109/SFCS.1992.267780},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/PanRT92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MillsNPR92,
  author    = {Peter Mills and
               Lars S. Nyland and
               Jan Prins and
               John H. Reif},
  title     = {Prototyping N-Body Simulation in Proteus},
  booktitle = {Proceedings of the 6th International Parallel Processing Symposium,
               Beverly Hills, CA, USA, March 1992},
  pages     = {476--482},
  year      = {1992},
  crossref  = {DBLP:conf/ipps/1992},
  url       = {https://doi.org/10.1109/IPPS.1992.222981},
  doi       = {10.1109/IPPS.1992.222981},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ipps/MillsNPR92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soda/CheriyanR92,
  author    = {Joseph Cheriyan and
               John H. Reif},
  title     = {Directed \emph{s-t} Bumberings, Rubber Bands, and Testing Digraph
               \emph{k}-Vertex Connectivity},
  booktitle = {Proceedings of the Third Annual {ACM/SIGACT-SIAM} Symposium on Discrete
               Algorithms, 27-29 January 1992, Orlando, Florida.},
  pages     = {335--344},
  year      = {1992},
  crossref  = {DBLP:conf/soda/1992},
  url       = {http://dl.acm.org/citation.cfm?id=139404.139473},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/CheriyanR92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spaa/HightowerPR92,
  author    = {William L. Hightower and
               Jan Prins and
               John H. Reif},
  title     = {Implementations of Randomized Sorting on Large Parallel Machines},
  booktitle = {{SPAA}},
  pages     = {158--167},
  year      = {1992},
  url       = {http://doi.acm.org/10.1145/140901.140918},
  doi       = {10.1145/140901.140918},
  timestamp = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/spaa/HightowerPR92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spaa/ArmonR92,
  author    = {Deganit Armon and
               John H. Reif},
  title     = {Space and Time Efficient Implementations of Parallel Nested Dissection},
  booktitle = {{SPAA}},
  pages     = {344--352},
  year      = {1992},
  url       = {http://doi.acm.org/10.1145/140901.141912},
  doi       = {10.1145/140901.141912},
  timestamp = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/spaa/ArmonR92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spaa/HanPR92,
  author    = {Yijie Han and
               Victor Y. Pan and
               John H. Reif},
  title     = {Efficient Parallel Algorithms for Computing all Pair Shortest Paths
               in Directed Graphs},
  booktitle = {{SPAA}},
  pages     = {353--362},
  year      = {1992},
  url       = {http://doi.acm.org/10.1145/140901.141913},
  doi       = {10.1145/140901.141913},
  timestamp = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/spaa/HanPR92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dcg/CannyRR91,
  author    = {John F. Canny and
               Ashutosh Rege and
               John H. Reif},
  title     = {An Exact Algorithm for Kinodynamic Planning in the Plane},
  journal   = {Discrete {\&} Computational Geometry},
  volume    = {6},
  pages     = {461--484},
  year      = {1991},
  url       = {https://doi.org/10.1007/BF02574702},
  doi       = {10.1007/BF02574702},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dcg/CannyRR91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/PanR91,
  author    = {Victor Y. Pan and
               John H. Reif},
  title     = {The Parallel Computation of Minimum Cost Paths in Graphs by Stream
               Contraction},
  journal   = {Inf. Process. Lett.},
  volume    = {40},
  number    = {2},
  pages     = {79--83},
  year      = {1991},
  url       = {https://doi.org/10.1016/0020-0190(91)90013-8},
  doi       = {10.1016/0020-0190(91)90013-8},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ipl/PanR91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jpdc/StorerR91,
  author    = {James A. Storer and
               John H. Reif},
  title     = {A Parallel Architecture for High-Speed Data Compression},
  journal   = {J. Parallel Distrib. Comput.},
  volume    = {13},
  number    = {2},
  pages     = {222--227},
  year      = {1991},
  url       = {https://doi.org/10.1016/0743-7315(91)90091-M},
  doi       = {10.1016/0743-7315(91)90091-M},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jpdc/StorerR91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/MillerR91,
  author    = {Gary L. Miller and
               John H. Reif},
  title     = {Parallel Tree Contraction, Part 2: Further Applications},
  journal   = {{SIAM} J. Comput.},
  volume    = {20},
  number    = {6},
  pages     = {1128--1147},
  year      = {1991},
  url       = {https://doi.org/10.1137/0220070},
  doi       = {10.1137/0220070},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/MillerR91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dcc/MarkasR91,
  author    = {Tassos Markas and
               John H. Reif},
  title     = {Image Compression Methods with Distortion Controlled Capabilities},
  booktitle = {Proceedings of the {IEEE} Data Compression Conference, {DCC} 1991,
               Snowbird, Utah, April 8-11, 1991.},
  pages     = {93--102},
  year      = {1991},
  crossref  = {DBLP:conf/dcc/1991},
  url       = {https://doi.org/10.1109/DCC.1991.213376},
  doi       = {10.1109/DCC.1991.213376},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/MarkasR91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BrennerFGKLMNPPRSSW91,
  author    = {Alfred Brenner and
               Richard F. Freund and
               R. Stockton Gaines and
               Rob Kelly and
               Louis Lome and
               Richard McAndrew and
               Alexandru Nicolau and
               Janak H. Patel and
               Thomas Probert and
               John H. Reif and
               Jorge L. C. Sanz and
               Howard Jay Siegel and
               Jon A. Webb},
  title     = {How Do We Make Parallel Processing a Reality? Bridging the Gap Between
               Theory and Practice},
  booktitle = {The Fifth International Parallel Processing Symposium, Proceedings,
               Anaheim, California, USA, April 30 - May 2, 1991.},
  pages     = {648--653},
  year      = {1991},
  crossref  = {DBLP:conf/ipps/1991},
  timestamp = {Fri, 01 Aug 2014 14:26:13 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ipps/BrennerFGKLMNPPRSSW91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spdp/MillsNPRW91,
  author    = {Peter Mills and
               Lars S. Nyland and
               Jan Prins and
               John H. Reif and
               Robert A. Wagner},
  title     = {Prototyping parallel and distributed programs in Proteus},
  booktitle = {Proceedings of the Third {IEEE} Symposium on Parallel and Distributed
               Processing, {SPDP} 1991, 2-5 December 1991, Dallas, Texas, {USA}},
  pages     = {26--34},
  year      = {1991},
  crossref  = {DBLP:conf/spdp/1991},
  url       = {https://doi.org/10.1109/SPDP.1991.218300},
  doi       = {10.1109/SPDP.1991.218300},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spdp/MillsNPRW91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DjidjevR91,
  author    = {Hristo Djidjev and
               John H. Reif},
  title     = {An Efficient Algorithm for the Genus Problem with Explicit Construction
               of Forbidden Subgraphs},
  booktitle = {Proceedings of the 23rd Annual {ACM} Symposium on Theory of Computing,
               May 5-8, 1991, New Orleans, Louisiana, {USA}},
  pages     = {337--347},
  year      = {1991},
  crossref  = {DBLP:conf/stoc/STOC23},
  url       = {http://doi.acm.org/10.1145/103418.103456},
  doi       = {10.1145/103418.103456},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/DjidjevR91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcc/1991,
  editor    = {James A. Storer and
               John H. Reif},
  title     = {Proceedings of the {IEEE} Data Compression Conference, {DCC} 1991,
               Snowbird, Utah, April 8-11, 1991},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=490},
  isbn      = {0-8186-9202-2},
  timestamp = {Tue, 13 Dec 2011 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijpp/ReifS90,
  author    = {John H. Reif and
               Scott A. Smolka},
  title     = {Data flow analysis of distributed communicating processes},
  journal   = {International Journal of Parallel Programming},
  volume    = {19},
  number    = {1},
  pages     = {1--30},
  year      = {1990},
  url       = {https://doi.org/10.1007/BF01407862},
  doi       = {10.1007/BF01407862},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ijpp/ReifS90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jpdc/BlevinsDHR90,
  author    = {Donald W. Blevins and
               Edward W. Davis and
               Robert A. Heaton and
               John H. Reif},
  title     = {{BLITZEN:} {A} Highly Integrated Massively Parallel Machine},
  journal   = {J. Parallel Distrib. Comput.},
  volume    = {8},
  number    = {2},
  pages     = {150--160},
  year      = {1990},
  url       = {https://doi.org/10.1016/0743-7315(90)90089-8},
  doi       = {10.1016/0743-7315(90)90089-8},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jpdc/BlevinsDHR90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/ReifT90,
  author    = {John H. Reif and
               Stephen R. Tate},
  title     = {Optimal Size Integer Division Circuits},
  journal   = {{SIAM} J. Comput.},
  volume    = {19},
  number    = {5},
  pages     = {912--924},
  year      = {1990},
  url       = {https://doi.org/10.1137/0219064},
  doi       = {10.1137/0219064},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/ReifT90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/CannyRR90,
  author    = {John F. Canny and
               Ashutosh Rege and
               John H. Reif},
  title     = {An Exact Algorithm for Kinodynamic Planning in the Plane},
  booktitle = {Proceedings of the Sixth Annual Symposium on Computational Geometry,
               Berkeley, CA, USA, June 6-8, 1990},
  pages     = {271--280},
  year      = {1990},
  crossref  = {DBLP:conf/compgeom/1990},
  url       = {http://doi.acm.org/10.1145/98524.98584},
  doi       = {10.1145/98524.98584},
  timestamp = {Fri, 30 Jan 2015 14:53:39 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/compgeom/CannyRR90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/ReifTY90,
  author    = {John H. Reif and
               J. D. Tygar and
               Akitoshi Yoshida},
  title     = {The Computability and Complexity of Optical Beam Tracing},
  booktitle = {31st Annual Symposium on Foundations of Computer Science, St. Louis,
               Missouri, USA, October 22-24, 1990, Volume {I}},
  pages     = {106--114},
  year      = {1990},
  crossref  = {DBLP:conf/focs/FOCS31a},
  url       = {https://doi.org/10.1109/FSCS.1990.89529},
  doi       = {10.1109/FSCS.1990.89529},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/ReifTY90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ReifT90,
  author    = {John H. Reif and
               Akhilesh Tyagi},
  title     = {Efficient Parallel Algorithms for Optical Computing with the {DFT}
               Primitive},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science,
               Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings},
  pages     = {149--160},
  year      = {1990},
  crossref  = {DBLP:conf/fsttcs/1990},
  url       = {https://doi.org/10.1007/3-540-53487-3_41},
  doi       = {10.1007/3-540-53487-3_41},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsttcs/ReifT90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PanR90,
  author    = {Victor Y. Pan and
               John H. Reif},
  title     = {On the Bit-Complexity of Discrete Solutions of PDEs: Compact Multigrid},
  booktitle = {Automata, Languages and Programming, 17th International Colloquium,
               ICALP90, Warwick University, England, July 16-20, 1990, Proceedings},
  pages     = {612--625},
  year      = {1990},
  crossref  = {DBLP:conf/icalp/1990},
  url       = {https://doi.org/10.1007/BFb0032062},
  doi       = {10.1007/BFb0032062},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/PanR90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spaa/GazitR90,
  author    = {Hillel Gazit and
               John H. Reif},
  title     = {A Randomized Parallel Algorithm for Planar Graph Isomorphism},
  booktitle = {{SPAA}},
  pages     = {210--219},
  year      = {1990},
  url       = {http://doi.acm.org/10.1145/97444.97687},
  doi       = {10.1145/97444.97687},
  timestamp = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/spaa/GazitR90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spaa/ReifS90,
  author    = {John H. Reif and
               Sandeep Sen},
  title     = {Randomized Algorithms for Binary Search and Load Balancing with Geometric
               Applications},
  booktitle = {{SPAA}},
  pages     = {327--339},
  year      = {1990},
  url       = {http://doi.acm.org/10.1145/97444.97700},
  doi       = {10.1145/97444.97700},
  timestamp = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/spaa/ReifS90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spdp/TyagiR90,
  author    = {Akhilesh Tyagi and
               John H. Reif},
  title     = {Energy complexity of optical computations},
  booktitle = {Proceedings of the Second {IEEE} Symposium on Parallel and Distributed
               Processing, {SPDP} 1990, Dallas, Texas, USA, December 9-13, 1990.},
  pages     = {14--21},
  year      = {1990},
  crossref  = {DBLP:conf/spdp/1990},
  url       = {https://doi.org/10.1109/SPDP.1990.143499},
  doi       = {10.1109/SPDP.1990.143499},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spdp/TyagiR90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/acr/MillerR89,
  author    = {Gary L. Miller and
               John H. Reif},
  title     = {Parallel Tree Contraction Part 1: Fundamentals},
  journal   = {Advances in Computing Research},
  volume    = {5},
  pages     = {47--72},
  year      = {1989},
  timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/acr/MillerR89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/WillardR89,
  author    = {Dan E. Willard and
               John H. Reif},
  title     = {Parallel Processing Can Be Harmful: The Unusual Behavior of Interpolation
               Search},
  journal   = {Inf. Comput.},
  volume    = {81},
  number    = {3},
  pages     = {364--379},
  year      = {1989},
  url       = {https://doi.org/10.1016/0890-5401(89)90038-2},
  doi       = {10.1016/0890-5401(89)90038-2},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/WillardR89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/PanR89,
  author    = {Victor Y. Pan and
               John H. Reif},
  title     = {Fast and Efficient Solution of Path Algebra Problems},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {38},
  number    = {3},
  pages     = {494--510},
  year      = {1989},
  url       = {https://doi.org/10.1016/0022-0000(89)90013-5},
  doi       = {10.1016/0022-0000(89)90013-5},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/PanR89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/RajasekaranR89,
  author    = {Sanguthevar Rajasekaran and
               John H. Reif},
  title     = {Optimal and Sublogarithmic Time Randomized Parallel Sorting Algorithms},
  journal   = {{SIAM} J. Comput.},
  volume    = {18},
  number    = {3},
  pages     = {594--607},
  year      = {1989},
  url       = {https://doi.org/10.1137/0218041},
  doi       = {10.1137/0218041},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/RajasekaranR89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/colt/PaturiRR89,
  author    = {Ramamohan Paturi and
               Sanguthevar Rajasekaran and
               John H. Reif},
  title     = {The Light Bulb Problem},
  booktitle = {Proceedings of the Second Annual Workshop on Computational Learning
               Theory, {COLT} 1989, Santa Cruz, CA, USA, July 31 - August 2, 1989.},
  pages     = {261--268},
  year      = {1989},
  crossref  = {DBLP:conf/colt/1989},
  url       = {http://dl.acm.org/citation.cfm?id=93363},
  timestamp = {Fri, 23 Dec 2011 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/colt/PaturiRR89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/RamachandranR89,
  author    = {Vijaya Ramachandran and
               John H. Reif},
  title     = {An Optimal Parallel Algorithm for Graph Planarity (Extended Abstract)},
  booktitle = {30th Annual Symposium on Foundations of Computer Science, Research
               Triangle Park, North Carolina, USA, 30 October - 1 November 1989},
  pages     = {282--287},
  year      = {1989},
  crossref  = {DBLP:conf/focs/FOCS30},
  url       = {https://doi.org/10.1109/SFCS.1989.63491},
  doi       = {10.1109/SFCS.1989.63491},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/RamachandranR89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ReifS89,
  author    = {John H. Reif and
               Sandeep Sen},
  title     = {Randomized Parallel Algorithms},
  booktitle = {{IFIP} Congress},
  pages     = {455--458},
  year      = {1989},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ifip/ReifS89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oa/ReifS89,
  author    = {John H. Reif and
               Sandeep Sen},
  title     = {Randomization in Parallel Algorithms and its Impact on Computational
               Geometry},
  booktitle = {Optimal Algorithms, International Symposium, Varna, Bulgaria, May
               29 - June 2, 1989, Proceedings},
  pages     = {1--8},
  year      = {1989},
  crossref  = {DBLP:conf/oa/1989},
  url       = {https://doi.org/10.1007/3-540-51859-2_1},
  doi       = {10.1007/3-540-51859-2_1},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oa/ReifS89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ReifT89,
  author    = {John H. Reif and
               Stephen R. Tate},
  title     = {Optimal Size Integer Division Circuits},
  booktitle = {Proceedings of the 21st Annual {ACM} Symposium on Theory of Computing,
               May 14-17, 1989, Seattle, Washigton, {USA}},
  pages     = {264--273},
  year      = {1989},
  crossref  = {DBLP:conf/stoc/STOC21},
  url       = {http://doi.acm.org/10.1145/73007.73032},
  doi       = {10.1145/73007.73032},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/ReifT89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ReifS89,
  author    = {John H. Reif and
               Sandeep Sen},
  title     = {Polling: {A} New Randomized Sampling Technique for Computational Geometry},
  booktitle = {Proceedings of the 21st Annual {ACM} Symposium on Theory of Computing,
               May 14-17, 1989, Seattle, Washigton, {USA}},
  pages     = {394--404},
  year      = {1989},
  crossref  = {DBLP:conf/stoc/STOC21},
  url       = {http://doi.acm.org/10.1145/73007.73045},
  doi       = {10.1145/73007.73045},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/ReifS89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/acta/ReifS88,
  author    = {John H. Reif and
               Scott A. Smolka},
  title     = {The Complexity of Reachability in Distributed Communicating Processes},
  journal   = {Acta Inf.},
  volume    = {25},
  number    = {3},
  pages     = {333--354},
  year      = {1988},
  url       = {https://doi.org/10.1007/BF00283332},
  doi       = {10.1007/BF00283332},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/acta/ReifS88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/GacsR88,
  author    = {P{\'{e}}ter G{\'{a}}cs and
               John H. Reif},
  title     = {A Simple Three-Dimensional Real-Time Reliable Cellular Array},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {36},
  number    = {2},
  pages     = {125--147},
  year      = {1988},
  url       = {https://doi.org/10.1016/0022-0000(88)90024-4},
  doi       = {10.1016/0022-0000(88)90024-4},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/GacsR88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/KleinR88,
  author    = {Philip N. Klein and
               John H. Reif},
  title     = {An Efficient Parallel Algorithm for Planarity},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {37},
  number    = {2},
  pages     = {190--246},
  year      = {1988},
  url       = {https://doi.org/10.1016/0022-0000(88)90006-2},
  doi       = {10.1016/0022-0000(88)90006-2},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/KleinR88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/ReifT88,
  author    = {John H. Reif and
               J. D. Tygar},
  title     = {Efficient Parallel Pseudorandom Number Generation},
  journal   = {{SIAM} J. Comput.},
  volume    = {17},
  number    = {2},
  pages     = {404--411},
  year      = {1988},
  url       = {https://doi.org/10.1137/0217024},
  doi       = {10.1137/0217024},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/ReifT88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/KleinR88,
  author    = {Philip N. Klein and
               John H. Reif},
  title     = {Parallel Time O(log n) Acceptance of Deterministic CFLs on an Exclusive-Write
               {P-RAM}},
  journal   = {{SIAM} J. Comput.},
  volume    = {17},
  number    = {3},
  pages     = {463--485},
  year      = {1988},
  url       = {https://doi.org/10.1137/0217027},
  doi       = {10.1137/0217027},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/KleinR88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/ReifS89,
  author    = {John H. Reif and
               Sandeep Sen},
  title     = {An Efficient Output-Sensitive Hidden Surface Removal Algorithm and
               Its Parallelization},
  booktitle = {Proceedings of the Fourth Annual Symposium on Computational Geometry,
               Urbana-Champaign, IL, USA, June 6-8, 1988},
  pages     = {193--200},
  year      = {1988},
  crossref  = {DBLP:conf/compgeom/1988},
  url       = {http://doi.acm.org/10.1145/73393.73413},
  doi       = {10.1145/73393.73413},
  timestamp = {Fri, 30 Jan 2015 14:53:39 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/compgeom/ReifS89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/CannyDRX88,
  author    = {John F. Canny and
               Bruce Randall Donald and
               John H. Reif and
               Patrick G. Xavier},
  title     = {On the Complexity of Kinodynamic Planning},
  booktitle = {29th Annual Symposium on Foundations of Computer Science, White Plains,
               New York, USA, 24-26 October 1988},
  pages     = {306--316},
  year      = {1988},
  crossref  = {DBLP:conf/focs/FOCS29},
  url       = {https://doi.org/10.1109/SFCS.1988.21947},
  doi       = {10.1109/SFCS.1988.21947},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/CannyDRX88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RajasekaranR88,
  author    = {Sanguthevar Rajasekaran and
               John H. Reif},
  title     = {Nested Annealing: {A} Provable Improvement to Simulated Annealing},
  booktitle = {Automata, Languages and Programming, 15th International Colloquium,
               ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings},
  pages     = {455--472},
  year      = {1988},
  crossref  = {DBLP:conf/icalp/1988},
  url       = {https://doi.org/10.1007/3-540-19488-6_134},
  doi       = {10.1007/3-540-19488-6_134},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/RajasekaranR88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/reifS88,
  author    = {John H. Reif and
               James A. Storer},
  title     = {3-Dimensional Shortest Paths in the Presence of Polyhedral Obstacles},
  booktitle = {Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad,
               Czechoslovakia, August 29 - September 2, 1988, Proceedings},
  pages     = {85--92},
  year      = {1988},
  crossref  = {DBLP:conf/mfcs/1988},
  url       = {https://doi.org/10.1007/BFb0017133},
  doi       = {10.1007/BFb0017133},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/reifS88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/awoc/1988,
  editor    = {John H. Reif},
  title     = {{VLSI} Algorithms and Architectures, 3rd Aegean Workshop on Computing,
               {AWOC} 88, Corfu, Greece, June 28 - July 1, 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {319},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/BFb0040367},
  doi       = {10.1007/BFb0040367},
  isbn      = {3-540-96818-0},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/awoc/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/Reif87,
  author    = {John H. Reif},
  title     = {A Topological Approach to Dynamic Graph Connectivity},
  journal   = {Inf. Process. Lett.},
  volume    = {25},
  number    = {1},
  pages     = {65--70},
  year      = {1987},
  url       = {https://doi.org/10.1016/0020-0190(87)90095-0},
  doi       = {10.1016/0020-0190(87)90095-0},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ipl/Reif87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/ReifV87,
  author    = {John H. Reif and
               Leslie G. Valiant},
  title     = {A logarithmic time sort for linear size networks},
  journal   = {J. {ACM}},
  volume    = {34},
  number    = {1},
  pages     = {60--76},
  year      = {1987},
  url       = {http://doi.acm.org/10.1145/7531.7532},
  doi       = {10.1145/7531.7532},
  timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/ReifV87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/trob/ReifS87,
  author    = {John H. Reif and
               James A. Storer},
  title     = {Minimizing turns for discrete movement in the interior of a polygon},
  journal   = {{IEEE} J. Robotics and Automation},
  volume    = {3},
  number    = {3},
  pages     = {182--193},
  year      = {1987},
  url       = {https://doi.org/10.1109/JRA.1987.1087092},
  doi       = {10.1109/JRA.1987.1087092},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/trob/ReifS87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coco/Reif87,
  author    = {John H. Reif},
  title     = {On threshold circuits and polynomial computation},
  booktitle = {Proceedings of the Second Annual Conference on Structure in Complexity
               Theory, Cornell University, Ithaca, New York, USA, June 16-19, 1987},
  year      = {1987},
  crossref  = {DBLP:conf/coco/1987},
  timestamp = {Tue, 22 Jan 2013 14:30:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/coco/Reif87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fct/RajasekaranR87,
  author    = {Sanguthevar Rajasekaran and
               John H. Reif},
  title     = {Ranomized Parallel Computation},
  booktitle = {Fundamentals of Computation Theory, International Conference FCT'87,
               Kazan, USSR, June 22-26, 1987, Proceedings},
  pages     = {364--376},
  year      = {1987},
  crossref  = {DBLP:conf/fct/1987},
  url       = {https://doi.org/10.1007/3-540-18740-5_79},
  doi       = {10.1007/3-540-18740-5_79},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/RajasekaranR87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/CannyR87,
  author    = {John F. Canny and
               John H. Reif},
  title     = {New Lower Bound Techniques for Robot Motion Planning Problems},
  booktitle = {28th Annual Symposium on Foundations of Computer Science, Los Angeles,
               California, USA, 27-29 October 1987},
  pages     = {49--60},
  year      = {1987},
  crossref  = {DBLP:conf/focs/FOCS28},
  url       = {https://doi.org/10.1109/SFCS.1987.42},
  doi       = {10.1109/SFCS.1987.42},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/CannyR87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/PanR87,
  author    = {Victor Y. Pan and
               John H. Reif},
  title     = {Some Polynomial and Toeplitz Matrix Computations},
  booktitle = {28th Annual Symposium on Foundations of Computer Science, Los Angeles,
               California, USA, 27-29 October 1987},
  pages     = {173--184},
  year      = {1987},
  crossref  = {DBLP:conf/focs/FOCS28},
  url       = {https://doi.org/10.1109/SFCS.1987.52},
  doi       = {10.1109/SFCS.1987.52},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/PanR87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icpp/ReifS87,
  author    = {John H. Reif and
               Sandeep Sen},
  title     = {Optimal Randomized Parallel Algorithms for Computational Geometry},
  booktitle = {International Conference on Parallel Processing, ICPP'87, University
               Park, PA, USA, August 1987.},
  pages     = {270--277},
  year      = {1987},
  crossref  = {DBLP:conf/icpp/1987},
  timestamp = {Mon, 28 Jul 2014 17:06:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icpp/ReifS87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/HomerR86,
  author    = {Steven Homer and
               John H. Reif},
  title     = {Arithmetic Theories for Computational Complexity Problems},
  journal   = {Information and Control},
  volume    = {69},
  number    = {1-3},
  pages     = {1--11},
  year      = {1986},
  url       = {https://doi.org/10.1016/S0019-9958(86)80041-9},
  doi       = {10.1016/S0019-9958(86)80041-9},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iandc/HomerR86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/Ben-OrKR86,
  author    = {Michael Ben{-}Or and
               Dexter Kozen and
               John H. Reif},
  title     = {The Complexity of Elementary Algebra and Geometry},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {32},
  number    = {2},
  pages     = {251--264},
  year      = {1986},
  url       = {https://doi.org/10.1016/0022-0000(86)90029-2},
  doi       = {10.1016/0022-0000(86)90029-2},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/Ben-OrKR86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/ReifL86,
  author    = {John H. Reif and
               Harry R. Lewis},
  title     = {Efficient Symbolic Analysis of Programs},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {32},
  number    = {3},
  pages     = {280--314},
  year      = {1986},
  url       = {https://doi.org/10.1016/0022-0000(86)90031-0},
  doi       = {10.1016/0022-0000(86)90031-0},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/ReifL86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/Reif86,
  author    = {John H. Reif},
  title     = {Logarithmic Depth Circuits for Algebraic Functions},
  journal   = {{SIAM} J. Comput.},
  volume    = {15},
  number    = {1},
  pages     = {231--242},
  year      = {1986},
  url       = {https://doi.org/10.1137/0215017},
  doi       = {10.1137/0215017},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/Reif86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/awoc/PanR86,
  author    = {Victor Y. Pan and
               John H. Reif},
  title     = {Fast and Efficient Parallel Linear Programming and Linear Least Squares
               Computations},
  booktitle = {{VLSI} Algorithms and Architectures, Aegean Workshop on Computing,
               Loutraki, Greece, July 8-11, 1986, Proceedings},
  pages     = {283--295},
  year      = {1986},
  crossref  = {DBLP:conf/awoc/1986},
  url       = {https://doi.org/10.1007/3-540-16766-8_26},
  doi       = {10.1007/3-540-16766-8_26},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/awoc/PanR86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/KleinR86,
  author    = {Philip N. Klein and
               John H. Reif},
  title     = {An Efficient Parallel Algorithm for Planarity},
  booktitle = {27th Annual Symposium on Foundations of Computer Science, Toronto,
               Canada, 27-29 October 1986},
  pages     = {465--477},
  year      = {1986},
  crossref  = {DBLP:conf/focs/FOCS27},
  url       = {https://doi.org/10.1109/SFCS.1986.6},
  doi       = {10.1109/SFCS.1986.6},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/KleinR86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PanR86,
  author    = {Victor Y. Pan and
               John H. Reif},
  title     = {Extension of the Parallel Nested Dissection Algorithm to Path Algebra
               Problems},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science,
               Sixth Conference, New Delhi, India, December 18-20, 1986, Proceedings},
  pages     = {470--487},
  year      = {1986},
  crossref  = {DBLP:conf/fsttcs/1986},
  url       = {https://doi.org/10.1007/3-540-17179-7_29},
  doi       = {10.1007/3-540-17179-7_29},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsttcs/PanR86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tark/LadnerR86,
  author    = {Richard E. Ladner and
               John H. Reif},
  title     = {The Logic of Distributed Protocols},
  booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, March 1986},
  pages     = {207--222},
  year      = {1986},
  crossref  = {DBLP:conf/tark/1986},
  timestamp = {Tue, 05 Mar 2002 15:50:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tark/LadnerR86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dm/ReifS85,
  author    = {John H. Reif and
               Paul G. Spirakis},
  title     = {k-connectivity in random undirected graphs},
  journal   = {Discrete Mathematics},
  volume    = {54},
  number    = {2},
  pages     = {181--191},
  year      = {1985},
  url       = {https://doi.org/10.1016/0012-365X(85)90079-2},
  doi       = {10.1016/0012-365X(85)90079-2},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dm/ReifS85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/Reif85,
  author    = {John H. Reif},
  title     = {Depth-First Search is Inherently Sequential},
  journal   = {Inf. Process. Lett.},
  volume    = {20},
  number    = {5},
  pages     = {229--234},
  year      = {1985},
  url       = {https://doi.org/10.1016/0020-0190(85)90024-9},
  doi       = {10.1016/0020-0190(85)90024-9},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ipl/Reif85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/ReifS85,
  author    = {John H. Reif and
               A. Prasad Sistla},
  title     = {A Multiprocess Network Logic with Temporal and Spatial Modalities},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {30},
  number    = {1},
  pages     = {41--53},
  year      = {1985},
  url       = {https://doi.org/10.1016/0022-0000(85)90003-0},
  doi       = {10.1016/0022-0000(85)90003-0},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/ReifS85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/ReifS85,
  author    = {John H. Reif and
               Paul G. Spirakis},
  title     = {Unbounded Speed Variability in Distributed Communications Systems},
  journal   = {{SIAM} J. Comput.},
  volume    = {14},
  number    = {1},
  pages     = {75--92},
  year      = {1985},
  url       = {https://doi.org/10.1137/0214005},
  doi       = {10.1137/0214005},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/ReifS85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/crypto/ReifT85,
  author    = {John H. Reif and
               J. D. Tygar},
  title     = {Efficient Parallel Pseudo-Random Number Generation},
  booktitle = {Advances in Cryptology - {CRYPTO} '85, Santa Barbara, California,
               USA, August 18-22, 1985, Proceedings},
  pages     = {433--446},
  year      = {1985},
  crossref  = {DBLP:conf/crypto/1985},
  url       = {https://doi.org/10.1007/3-540-39799-X_33},
  doi       = {10.1007/3-540-39799-X_33},
  timestamp = {Fri, 19 May 2017 12:26:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/crypto/ReifT85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fct/Reif85,
  author    = {John H. Reif},
  title     = {Probabilistic algorithms in group theory},
  booktitle = {Fundamentals of Computation Theory, {FCT} '85, Cottbus, GDR, September
               9-13, 1985},
  pages     = {341--350},
  year      = {1985},
  crossref  = {DBLP:conf/fct/1985},
  url       = {https://doi.org/10.1007/BFb0028818},
  doi       = {10.1007/BFb0028818},
  timestamp = {Fri, 19 May 2017 12:26:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/Reif85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/ReifS85,
  author    = {John H. Reif and
               Micha Sharir},
  title     = {Motion Planning in the Presence of Moving Obstacles},
  booktitle = {26th Annual Symposium on Foundations of Computer Science, Portland,
               Oregon, USA, 21-23 October 1985},
  pages     = {144--154},
  year      = {1985},
  crossref  = {DBLP:conf/focs/FOCS26},
  url       = {https://doi.org/10.1109/SFCS.1985.36},
  doi       = {10.1109/SFCS.1985.36},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/ReifS85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/MillerR85,
  author    = {Gary L. Miller and
               John H. Reif},
  title     = {Parallel Tree Contraction and Its Application},
  booktitle = {26th Annual Symposium on Foundations of Computer Science, Portland,
               Oregon, USA, 21-23 October 1985},
  pages     = {478--489},
  year      = {1985},
  crossref  = {DBLP:conf/focs/FOCS26},
  url       = {https://doi.org/10.1109/SFCS.1985.43},
  doi       = {10.1109/SFCS.1985.43},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/MillerR85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/Reif85,
  author    = {John H. Reif},
  title     = {An Optimal Parallel Algorithm for Integer Sorting},
  booktitle = {26th Annual Symposium on Foundations of Computer Science, Portland,
               Oregon, USA, 21-23 October 1985},
  pages     = {496--504},
  year      = {1985},
  crossref  = {DBLP:conf/focs/FOCS26},
  url       = {https://doi.org/10.1109/SFCS.1985.9},
  doi       = {10.1109/SFCS.1985.9},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/Reif85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/PanR85,
  author    = {Victor Y. Pan and
               John H. Reif},
  title     = {Efficient Parallel Solution of Linear Systems},
  booktitle = {Proceedings of the 17th Annual {ACM} Symposium on Theory of Computing,
               May 6-8, 1985, Providence, Rhode Island, {USA}},
  pages     = {143--152},
  year      = {1985},
  crossref  = {DBLP:conf/stoc/STOC17},
  url       = {http://doi.acm.org/10.1145/22145.22161},
  doi       = {10.1145/22145.22161},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/PanR85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GacsR85,
  author    = {P{\'{e}}ter G{\'{a}}cs and
               John H. Reif},
  title     = {A Simple Three-Dimensional Real-Time Reliable Cellular Array},
  booktitle = {Proceedings of the 17th Annual {ACM} Symposium on Theory of Computing,
               May 6-8, 1985, Providence, Rhode Island, {USA}},
  pages     = {388--395},
  year      = {1985},
  crossref  = {DBLP:conf/stoc/STOC17},
  url       = {http://doi.acm.org/10.1145/22145.22188},
  doi       = {10.1145/22145.22188},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/GacsR85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/Reif84,
  author    = {John H. Reif},
  title     = {Symmetric Complementation},
  journal   = {J. {ACM}},
  volume    = {31},
  number    = {2},
  pages     = {401--421},
  year      = {1984},
  url       = {http://doi.acm.org/10.1145/62.322436},
  doi       = {10.1145/62.322436},
  timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/Reif84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/Reif84,
  author    = {John H. Reif},
  title     = {The Complexity of Two-Player Games of Incomplete Information},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {29},
  number    = {2},
  pages     = {274--301},
  year      = {1984},
  url       = {https://doi.org/10.1016/0022-0000(84)90034-5},
  doi       = {10.1016/0022-0000(84)90034-5},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jcss/Reif84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/Reif84,
  author    = {John H. Reif},
  title     = {On Synchronous Parallel Computations with Independent Probabilistic
               Choice},
  journal   = {{SIAM} J. Comput.},
  volume    = {13},
  number    = {1},
  pages     = {46--56},
  year      = {1984},
  url       = {https://doi.org/10.1137/0213004},
  doi       = {10.1137/0213004},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/Reif84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/toplas/ReifS84,
  author    = {John H. Reif and
               Paul G. Spirakis},
  title     = {Real-Time Synchronization of Interprocess Communications},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {6},
  number    = {2},
  pages     = {215--238},
  year      = {1984},
  url       = {http://doi.acm.org/10.1145/2993.357244},
  doi       = {10.1145/2993.357244},
  timestamp = {Mon, 03 Apr 2006 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/toplas/ReifS84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ReifS84,
  author    = {John H. Reif and
               Paul G. Spirakis},
  title     = {Probabilistic Bidding Gives Optimal Distributed Resource Allocation},
  booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
               July 16-20, 1984, Proceedings},
  pages     = {391--402},
  year      = {1984},
  crossref  = {DBLP:conf/icalp/1984},
  url       = {https://doi.org/10.1007/3-540-13345-3_36},
  doi       = {10.1007/3-540-13345-3_36},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/ReifS84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Ben-OrKR84,
  author    = {Michael Ben{-}Or and
               Dexter Kozen and
               John H. Reif},
  title     = {The Complexity of Elementary Algebra and Geometry (Preliminary Abstract)},
  booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
               April 30 - May 2, 1984, Washington, DC, {USA}},
  pages     = {457--464},
  year      = {1984},
  crossref  = {DBLP:conf/stoc/STOC16},
  url       = {http://doi.acm.org/10.1145/800057.808712},
  doi       = {10.1145/800057.808712},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/Ben-OrKR84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/Reif83,
  author    = {John H. Reif},
  title     = {Minimum s-t Cut of a Planar Undirected Network in O(n log\({}^{\mbox{2}}\)(n))
               Time},
  journal   = {{SIAM} J. Comput.},
  volume    = {12},
  number    = {1},
  pages     = {71--81},
  year      = {1983},
  url       = {https://doi.org/10.1137/0212005},
  doi       = {10.1137/0212005},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/Reif83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/HalpernR83,
  author    = {Joseph Y. Halpern and
               John H. Reif},
  title     = {The Propositional Dynamic Logic of Deterministic, Well-Structured
               Programs},
  journal   = {Theor. Comput. Sci.},
  volume    = {27},
  pages     = {127--165},
  year      = {1983},
  url       = {https://doi.org/10.1016/0304-3975(83)90097-X},
  doi       = {10.1016/0304-3975(83)90097-X},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/HalpernR83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/Reif83,
  author    = {John H. Reif},
  title     = {Logarithmic Depth Circuits for Algebraic Functions},
  booktitle = {24th Annual Symposium on Foundations of Computer Science, Tucson,
               Arizona, USA, 7-9 November 1983},
  pages     = {138--145},
  year      = {1983},
  crossref  = {DBLP:conf/focs/FOCS24},
  url       = {https://doi.org/10.1109/SFCS.1983.29},
  doi       = {10.1109/SFCS.1983.29},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/Reif83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ReifS83,
  author    = {John H. Reif and
               A. Prasad Sistla},
  title     = {A Multiprocess Network Logic with Temporal and Spatial Modalities},
  booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
               July 18-22, 1983, Proceedings},
  pages     = {629--639},
  year      = {1983},
  crossref  = {DBLP:conf/icalp/1983},
  url       = {https://doi.org/10.1007/BFb0036943},
  doi       = {10.1007/BFb0036943},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/ReifS83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lop/ReifS83,
  author    = {John H. Reif and
               William L. Scherlis},
  title     = {Deriving Efficient Graph Algorithms (Summary)},
  booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
               PA, USA, June 6-8, 1983, Proceedings},
  pages     = {421--441},
  year      = {1983},
  crossref  = {DBLP:conf/lop/1983},
  url       = {https://doi.org/10.1007/3-540-12896-4_378},
  doi       = {10.1007/3-540-12896-4_378},
  timestamp = {Fri, 19 May 2017 12:26:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lop/ReifS83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ReifV83,
  author    = {John H. Reif and
               Leslie G. Valiant},
  title     = {A Logarithmic Time Sort for Linear Size Networks},
  booktitle = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
               25-27 April, 1983, Boston, Massachusetts, {USA}},
  pages     = {10--16},
  year      = {1983},
  crossref  = {DBLP:conf/stoc/STOC15},
  url       = {http://doi.acm.org/10.1145/800061.808727},
  doi       = {10.1145/800061.808727},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/ReifV83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/ReifT82,
  author    = {John H. Reif and
               Robert Endre Tarjan},
  title     = {Symbolic Program Analysis in Almost-Linear Time},
  journal   = {{SIAM} J. Comput.},
  volume    = {11},
  number    = {1},
  pages     = {81--93},
  year      = {1982},
  url       = {https://doi.org/10.1137/0211007},
  doi       = {10.1137/0211007},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/ReifT82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/Reif82,
  author    = {John H. Reif},
  title     = {Parallel Time O(log {N)} Acceptance of Deterministic CFLs},
  booktitle = {23rd Annual Symposium on Foundations of Computer Science, Chicago,
               Illinois, USA, 3-5 November 1982},
  pages     = {290--296},
  year      = {1982},
  crossref  = {DBLP:conf/focs/FOCS23},
  url       = {https://doi.org/10.1109/SFCS.1982.84},
  doi       = {10.1109/SFCS.1982.84},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/Reif82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Reif82,
  author    = {John H. Reif},
  title     = {On the Power of Probabilistic Choice in Synchronous Parallel Computations},
  booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
               July 12-16, 1982, Proceedings},
  pages     = {442--450},
  year      = {1982},
  crossref  = {DBLP:conf/icalp/1982},
  url       = {https://doi.org/10.1007/BFb0012790},
  doi       = {10.1007/BFb0012790},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/Reif82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/ReifS82,
  author    = {John H. Reif and
               Paul G. Spirakis},
  title     = {Real Time Resource Allocation in Distributed Systems},
  booktitle = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
               Ottawa, CanadaAugust 18-20, 1982},
  pages     = {84--94},
  year      = {1982},
  crossref  = {DBLP:conf/podc/1982},
  url       = {http://doi.acm.org/10.1145/800220.806685},
  doi       = {10.1145/800220.806685},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/podc/ReifS82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/ReifS82,
  author    = {John H. Reif and
               Paul G. Spirakis},
  title     = {Unbounded Speed Variability in Distributed Communication Systems},
  booktitle = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
               of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages     = {46--56},
  year      = {1982},
  crossref  = {DBLP:conf/popl/82},
  url       = {http://doi.acm.org/10.1145/582153.582159},
  doi       = {10.1145/582153.582159},
  timestamp = {Mon, 21 May 2012 16:19:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/ReifS82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Reif82,
  author    = {John H. Reif},
  title     = {Symmetric Complementation},
  booktitle = {Proceedings of the 14th Annual {ACM} Symposium on Theory of Computing,
               May 5-7, 1982, San Francisco, California, {USA}},
  pages     = {201--214},
  year      = {1982},
  crossref  = {DBLP:conf/stoc/STOC14},
  url       = {http://doi.acm.org/10.1145/800070.802193},
  doi       = {10.1145/800070.802193},
  timestamp = {Sun, 21 May 2017 00:22:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/Reif82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/HalpernR81,
  author    = {Joseph Y. Halpern and
               John H. Reif},
  title     = {The Propositional Dynamic Logic of Deterministic, Well-Structured
               Programs (Extended Abstract)},
  booktitle = {22nd Annual Symposium on Foundations of Computer Science, Nashville,
               Tennessee, USA, 28-30 October 1981},
  pages     = {322--334},
  year      = {1981},
  crossref  = {DBLP:conf/focs/FOCS22},
  url       = {https://doi.org/10.1109/SFCS.1981.49},
  doi       = {10.1109/SFCS.1981.49},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/HalpernR81},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Reif81,
  author    = {John H. Reif},
  title     = {Minimum {S-T} Cut of a Planar Undirected Network in O(n log{\({^2}\)}(n))
               Time},
  booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
               Israel, July 13-17, 1981, Proceedings},
  pages     = {56--67},
  year      = {1981},
  crossref  = {DBLP:conf/icalp/1981},
  url       = {https://doi.org/10.1007/3-540-10843-2_5},
  doi       = {10.1007/3-540-10843-2_5},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/Reif81},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ReifS81,
  author    = {John H. Reif and
               Paul G. Spirakis},
  title     = {Distributed Algorithms for Synchronizing Interprocess Communication
               within Real Time},
  booktitle = {Proceedings of the 13th Annual {ACM} Symposium on Theory of Computing,
               May 11-13, 1981, Milwaukee, Wisconsin, {USA}},
  pages     = {133--145},
  year      = {1981},
  crossref  = {DBLP:conf/stoc/STOC13},
  url       = {http://doi.acm.org/10.1145/800076.802467},
  doi       = {10.1145/800076.802467},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/ReifS81},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/siamcomp/Reif80,
  author    = {John H. Reif},
  title     = {Code Motion},
  journal   = {{SIAM} J. Comput.},
  volume    = {9},
  number    = {2},
  pages     = {375--395},
  year      = {1980},
  url       = {https://doi.org/10.1137/0209030},
  doi       = {10.1137/0209030},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/siamcomp/Reif80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/ReifP80,
  author    = {John H. Reif and
               Gary L. Peterson},
  title     = {A Dynamic Logic of Multiprocessing with Incomplete Information},
  booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
               of Programming Languages, Las Vegas, Nevada, USA, January 1980},
  pages     = {193--202},
  year      = {1980},
  crossref  = {DBLP:conf/popl/1980},
  url       = {http://doi.acm.org/10.1145/567446.567465},
  doi       = {10.1145/567446.567465},
  timestamp = {Mon, 21 May 2012 16:19:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/ReifP80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Reif80,
  author    = {John H. Reif},
  title     = {Logics for Probabilistic Programming (Extended Abstract)},
  booktitle = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
               April 28-30, 1980, Los Angeles, California, {USA}},
  pages     = {8--13},
  year      = {1980},
  crossref  = {DBLP:conf/stoc/STOC12},
  url       = {http://doi.acm.org/10.1145/800141.804647},
  doi       = {10.1145/800141.804647},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/Reif80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ReifS80,
  author    = {John H. Reif and
               Paul G. Spirakis},
  title     = {Random Matroids},
  booktitle = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
               April 28-30, 1980, Los Angeles, California, {USA}},
  pages     = {385--397},
  year      = {1980},
  crossref  = {DBLP:conf/stoc/STOC12},
  url       = {http://doi.acm.org/10.1145/800141.804688},
  doi       = {10.1145/800141.804688},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/ReifS80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/PetersonR79,
  author    = {Gary L. Peterson and
               John H. Reif},
  title     = {Multiple-Person Alternation},
  booktitle = {20th Annual Symposium on Foundations of Computer Science, San Juan,
               Puerto Rico, 29-31 October 1979},
  pages     = {348--363},
  year      = {1979},
  crossref  = {DBLP:conf/focs/FOCS20},
  url       = {https://doi.org/10.1109/SFCS.1979.25},
  doi       = {10.1109/SFCS.1979.25},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/PetersonR79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/Reif79,
  author    = {John H. Reif},
  title     = {Complexity of the Mover's Problem and Generalizations (Extended Abstract)},
  booktitle = {20th Annual Symposium on Foundations of Computer Science, San Juan,
               Puerto Rico, 29-31 October 1979},
  pages     = {421--427},
  year      = {1979},
  crossref  = {DBLP:conf/focs/FOCS20},
  url       = {https://doi.org/10.1109/SFCS.1979.10},
  doi       = {10.1109/SFCS.1979.10},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/focs/Reif79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/Reif79,
  author    = {John H. Reif},
  title     = {Data Flow Analysis of Communicating Processes},
  booktitle = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
               of Programming Languages, San Antonio, Texas, USA, January 1979},
  pages     = {257--268},
  year      = {1979},
  crossref  = {DBLP:conf/popl/79},
  url       = {http://doi.acm.org/10.1145/567752.567777},
  doi       = {10.1145/567752.567777},
  timestamp = {Mon, 21 May 2012 16:19:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/Reif79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FilottiMR79,
  author    = {I. S. Filotti and
               Gary L. Miller and
               John H. Reif},
  title     = {On Determining the Genus of a Graph in O(v{\^{}}O(g)) Steps},
  booktitle = {Proceedings of the 11h Annual {ACM} Symposium on Theory of Computing,
               April 30 - May 2, 1979, Atlanta, Georgia, {USA}},
  pages     = {27--37},
  year      = {1979},
  crossref  = {DBLP:conf/stoc/STOC11},
  url       = {http://doi.acm.org/10.1145/800135.804395},
  doi       = {10.1145/800135.804395},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/FilottiMR79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Reif79,
  author    = {John H. Reif},
  title     = {Universal Games of Incomplete Information},
  booktitle = {Proceedings of the 11h Annual {ACM} Symposium on Theory of Computing,
               April 30 - May 2, 1979, Atlanta, Georgia, {USA}},
  pages     = {288--308},
  year      = {1979},
  crossref  = {DBLP:conf/stoc/STOC11},
  url       = {http://doi.acm.org/10.1145/800135.804422},
  doi       = {10.1145/800135.804422},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/Reif79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/Reif78,
  author    = {John H. Reif},
  title     = {Symbolic Programming Analysis in Almost Linear Time},
  booktitle = {Conference Record of the Fifth Annual {ACM} Symposium on Principles
               of Programming Languages, Tucson, Arizona, USA, January 1978},
  pages     = {76--83},
  year      = {1978},
  crossref  = {DBLP:conf/popl/1978},
  url       = {http://doi.acm.org/10.1145/512760.512769},
  doi       = {10.1145/512760.512769},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/Reif78},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/ReifL77,
  author    = {John H. Reif and
               Harry R. Lewis},
  title     = {Symbolic Evaluation and the Global Value Graph},
  booktitle = {Conference Record of the Fourth {ACM} Symposium on Principles of Programming
               Languages, Los Angeles, California, USA, January 1977},
  pages     = {104--118},
  year      = {1977},
  crossref  = {DBLP:conf/popl/77},
  url       = {http://doi.acm.org/10.1145/512950.512961},
  doi       = {10.1145/512950.512961},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/ReifL77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/crc/chb2014-1,
  editor    = {Teofilo F. Gonzalez and
               Jorge Diaz{-}Herrera and
               Allen Tucker},
  title     = {Computing Handbook, Third Edition: Computer Science and Software Engineering},
  publisher = {{CRC} Press},
  year      = {2014},
  isbn      = {978-1-43-989852-9},
  timestamp = {Tue, 17 Jun 2014 14:00:46 +0200},
  biburl    = {http://dblp.org/rec/bib/books/crc/chb2014-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:reference/nc/2012,
  editor    = {Grzegorz Rozenberg and
               Thomas B{\"{a}}ck and
               Joost N. Kok},
  title     = {Handbook of Natural Computing},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-540-92910-9},
  doi       = {10.1007/978-3-540-92910-9},
  isbn      = {978-3-540-92909-3},
  timestamp = {Tue, 16 May 2017 14:02:21 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/nc/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2011,
  editor    = {Luca Cardelli and
               William M. Shih},
  title     = {{DNA} Computing and Molecular Programming - 17th International Conference,
               {DNA} 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6937},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23638-9},
  doi       = {10.1007/978-3-642-23638-9},
  isbn      = {978-3-642-23637-2},
  timestamp = {Fri, 19 May 2017 01:25:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iccabs/2011,
  editor    = {Ion I. Mandoiu and
               Satoru Miyano and
               Teresa M. Przytycka and
               Sanguthevar Rajasekaran},
  title     = {{IEEE} 1st International Conference on Computational Advances in Bio
               and Medical Sciences, {ICCABS} 2011, Orlando, FL, USA, February 3-5,
               2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5724107},
  isbn      = {978-1-61284-851-8},
  timestamp = {Fri, 08 Aug 2014 15:28:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iccabs/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2010,
  editor    = {Yasubumi Sakakibara and
               Yongli Mi},
  title     = {{DNA} Computing and Molecular Programming - 16th International Conference,
               {DNA} 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6518},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-18305-8},
  doi       = {10.1007/978-3-642-18305-8},
  isbn      = {978-3-642-18304-1},
  timestamp = {Fri, 19 May 2017 01:25:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wafr/2010,
  editor    = {David Hsu and
               Volkan Isler and
               Jean{-}Claude Latombe and
               Ming C. Lin},
  title     = {Algorithmic Foundations of Robotics {IX} - Selected Contributions
               of the Ninth International Workshop on the Algorithmic Foundations
               of Robotics, {WAFR} 2010, Singapore, December 13-15, 2010},
  series    = {Springer Tracts in Advanced Robotics},
  volume    = {68},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-17452-0},
  doi       = {10.1007/978-3-642-17452-0},
  isbn      = {978-3-642-17451-3},
  timestamp = {Fri, 19 May 2017 01:26:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wafr/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2009,
  editor    = {Russell J. Deaton and
               Akira Suyama},
  title     = {{DNA} Computing and Molecular Programming, 15th International Conference,
               {DNA} 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5877},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10604-0},
  doi       = {10.1007/978-3-642-10604-0},
  isbn      = {978-3-642-10603-3},
  timestamp = {Fri, 19 May 2017 01:25:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/2009-1,
  editor    = {Susanne Albers and
               Alberto Marchetti{-}Spaccamela and
               Yossi Matias and
               Sotiris E. Nikoletseas and
               Wolfgang Thomas},
  title     = {Automata, Languages and Programming, 36th International Colloquium,
               {ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5555},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02927-1},
  doi       = {10.1007/978-3-642-02927-1},
  isbn      = {978-3-642-02926-4},
  timestamp = {Tue, 23 May 2017 01:08:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/2009-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:reference/complexity/2009,
  editor    = {Robert A. Meyers},
  title     = {Encyclopedia of Complexity and Systems Science},
  publisher = {Springer},
  year      = {2009},
  isbn      = {978-0-387-75888-6},
  timestamp = {Fri, 25 Nov 2011 18:22:57 +0100},
  biburl    = {http://dblp.org/rec/bib/reference/complexity/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2008,
  editor    = {Ashish Goel and
               Friedrich C. Simmel and
               Petr Sos{\'{\i}}k},
  title     = {{DNA} Computing, 14th International Meeting on {DNA} Computing, {DNA}
               14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5347},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03076-5},
  doi       = {10.1007/978-3-642-03076-5},
  isbn      = {978-3-642-03075-8},
  timestamp = {Fri, 19 May 2017 01:25:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/uc/2008,
  editor    = {Cristian S. Calude and
               Jos{\'{e}} F{\'{e}}lix Costa and
               Rudolf Freund and
               Marion Oswald and
               Grzegorz Rozenberg},
  title     = {Unconventional Computing, 7th International Conference, {UC} 2008,
               Vienna, Austria, August 25-28, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5204},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85194-3},
  doi       = {10.1007/978-3-540-85194-3},
  isbn      = {978-3-540-85193-6},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uc/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2007,
  editor    = {Max H. Garzon and
               Hao Yan},
  title     = {{DNA} Computing, 13th International Meeting on {DNA} Computing, DNA13,
               Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4848},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-77962-9},
  doi       = {10.1007/978-3-540-77962-9},
  isbn      = {978-3-540-77961-2},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifip11-9/2007,
  editor    = {Philip Craiger and
               Sujeet Shenoi},
  title     = {Advances in Digital Forensics {III} - {IFIP} International Conference
               on Digital Forensics, National Centre for Forensic Science, Orlando,
               Florida, January 28-31, 2007},
  series    = {{IFIP}},
  volume    = {242},
  publisher = {Springer},
  year      = {2007},
  isbn      = {978-0-387-73741-6},
  timestamp = {Tue, 02 Dec 2014 21:26:02 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ifip11-9/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rss/2007,
  editor    = {Wolfram Burgard and
               Oliver Brock and
               Cyrill Stachniss},
  title     = {Robotics: Science and Systems III, June 27-30, 2007, Georgia Institute
               of Technology, Atlanta, Georgia, {USA}},
  publisher = {The {MIT} Press},
  year      = {2008},
  isbn      = {978-0-262-52484-1},
  timestamp = {Sun, 25 May 2008 17:41:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rss/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wollic/2007,
  editor    = {Daniel Leivant and
               Ruy J. G. B. de Queiroz},
  title     = {Logic, Language, Information and Computation, 14th International Workshop,
               WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4576},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73445-1},
  doi       = {10.1007/978-3-540-73445-1},
  isbn      = {978-3-540-73443-7},
  timestamp = {Mon, 12 Jun 2017 16:41:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wollic/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2006,
  editor    = {Chengde Mao and
               Takashi Yokomori},
  title     = {{DNA} Computing, 12th International Meeting on {DNA} Computing, DNA12,
               Seoul, Korea, June 5-9, 2006, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4287},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11925903},
  doi       = {10.1007/11925903},
  isbn      = {3-540-49024-8},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:conf/ncs/2006nano,
  editor    = {Junghuei Chen and
               Natasa Jonoska and
               Grzegorz Rozenberg},
  title     = {Nanotechnology: Science and Computation},
  series    = {Natural Computing Series},
  publisher = {Springer},
  year      = {2006},
  isbn      = {978-3-540-30295-7},
  timestamp = {Mon, 08 Sep 2008 07:42:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ncs/2006nano},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wafr/2006,
  editor    = {Srinivas Akella and
               Nancy M. Amato and
               Wesley H. Huang and
               Bud Mishra},
  title     = {Algorithmic Foundation of Robotics VII, Selected Contributions of
               the Seventh International Workshop on the Algorithmic Foundations
               of Robotics, {WAFR} 2006, July 16-18, 2006, New York, NY, {USA}},
  series    = {Springer Tracts in Advanced Robotics},
  volume    = {47},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-3-540-68404-6},
  timestamp = {Fri, 19 Sep 2008 14:42:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wafr/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2005,
  editor    = {Alessandra Carbone and
               Niles A. Pierce},
  title     = {{DNA} Computing, 11th International Workshop on {DNA} Computing, DNA11,
               London, ON, Canada, June 6-9, 2005. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3892},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11753681},
  doi       = {10.1007/11753681},
  isbn      = {3-540-34161-7},
  timestamp = {Sat, 16 Sep 2017 12:07:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2004head,
  editor    = {Natasa Jonoska and
               Gheorghe Paun and
               Grzegorz Rozenberg},
  title     = {Aspects of Molecular Computing, Essays Dedicated to Tom Head on the
               Occasion of His 70th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {2950},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b94864},
  doi       = {10.1007/b94864},
  isbn      = {3-540-20781-3},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2004head},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2004,
  editor    = {Claudio Ferretti and
               Giancarlo Mauri and
               Claudio Zandron},
  title     = {{DNA} Computing, 10th International Workshop on {DNA} Computing, {DNA}
               10, Milan, Italy, June 7-10, 2004, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3384},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136914},
  doi       = {10.1007/b136914},
  isbn      = {3-540-26174-5},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/upp/2004,
  editor    = {Jean{-}Pierre Ban{\^{a}}tre and
               Pascal Fradet and
               Jean{-}Louis Giavitto and
               Olivier Michel},
  title     = {Unconventional Programming Paradigms, International Workshop {UPP}
               2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised
               Selected and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3566},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11527800},
  doi       = {10.1007/11527800},
  isbn      = {3-540-27884-2},
  timestamp = {Mon, 05 Jun 2017 12:39:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/upp/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2003manna,
  editor    = {Nachum Dershowitz},
  title     = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
               on the Occasion of His 64th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {2772},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b12001},
  doi       = {10.1007/b12001},
  isbn      = {3-540-21002-4},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2003manna},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fct/2003,
  editor    = {Andrzej Lingas and
               Bengt J. Nilsson},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11926},
  doi       = {10.1007/b11926},
  isbn      = {3-540-40543-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icra/2003,
  title     = {Proceedings of the 2003 {IEEE} International Conference on Robotics
               and Automation, {ICRA} 2003, September 14-19, 2003, Taipei, Taiwan},
  publisher = {{IEEE}},
  year      = {2003},
  timestamp = {Tue, 27 Jan 2004 14:10:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/icra/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2002,
  editor    = {Masami Hagiya and
               Azuma Ohuchi},
  title     = {{DNA} Computing, 8th International Workshop on {DNA} Based Computers,
               DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2568},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36440-4},
  doi       = {10.1007/3-540-36440-4},
  isbn      = {3-540-00531-5},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/2002,
  editor    = {Peter Widmayer and
               Francisco Triguero Ruiz and
               Rafael Morales Bueno and
               Matthew Hennessy and
               Stephan Eidenbenz and
               Ricardo Conejo},
  title     = {Automata, Languages and Programming, 29th International Colloquium,
               {ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2380},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45465-9},
  doi       = {10.1007/3-540-45465-9},
  isbn      = {3-540-43864-5},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2001,
  editor    = {Natasa Jonoska and
               Nadrian C. Seeman},
  title     = {{DNA} Computing, 7th International Workshop on DNA-Based Computers,
               DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2340},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-48017-X},
  doi       = {10.1007/3-540-48017-X},
  isbn      = {3-540-43775-4},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icra/2001,
  title     = {Proceedings of the 2001 {IEEE} International Conference on Robotics
               and Automation, {ICRA} 2001, May 21-26, 2001, Seoul, Korea},
  publisher = {{IEEE}},
  year      = {2001},
  isbn      = {0-7803-6578-X},
  timestamp = {Wed, 05 Nov 2003 13:03:36 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/icra/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isaac/2001,
  editor    = {Peter Eades and
               Tadao Takaoka},
  title     = {Algorithms and Computation, 12th International Symposium, {ISAAC}
               2001, Christchurch, New Zealand, December 19-21, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2223},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45678-3},
  doi       = {10.1007/3-540-45678-3},
  isbn      = {3-540-42985-9},
  timestamp = {Fri, 26 May 2017 14:09:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isaac/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wads/2001,
  editor    = {Frank K. H. A. Dehne and
               J{\"{o}}rg{-}R{\"{u}}diger Sack and
               Roberto Tamassia},
  title     = {Algorithms and Data Structures, 7th International Workshop, {WADS}
               2001, Providence, RI, USA, August 8-10, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2125},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44634-6},
  doi       = {10.1007/3-540-44634-6},
  isbn      = {3-540-42423-7},
  timestamp = {Mon, 05 Jun 2017 12:38:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wads/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dna/2000,
  editor    = {Anne Condon and
               Grzegorz Rozenberg},
  title     = {{DNA} Computing, 6th International Workshop on DNA-Based Computers,
               {DNA} 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2054},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44992-2},
  doi       = {10.1007/3-540-44992-2},
  isbn      = {3-540-42076-2},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dna/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dimacs/dimacs54,
  editor    = {Erik Winfree and
               David K. Gifford},
  title     = {{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},
  publisher = {{DIMACS/AMS}},
  year      = {2000},
  url       = {http://dimacs.rutgers.edu/Volumes/Vol54.html},
  timestamp = {Tue, 15 Mar 2016 17:46:36 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/dimacs54},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcc/1998,
  title     = {Data Compression Conference, {DCC} 1998, Snowbird, Utah, USA, March
               30 - April 1, 1998},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5483},
  isbn      = {0-8186-8406-2},
  timestamp = {Tue, 12 May 2015 17:11:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1998,
  editor    = {Vikraman Arvind and
               Ramaswamy Ramanujam},
  title     = {Foundations of Software Technology and Theoretical Computer Science,
               18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1530},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/b71635},
  doi       = {10.1007/b71635},
  isbn      = {3-540-65384-8},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsttcs/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcc/1997,
  editor    = {James A. Storer and
               Martin Cohn},
  title     = {Proceedings of the 7th Data Compression Conference {(DCC} '97), Snowbird,
               Utah, March 25-27, 1997},
  publisher = {{IEEE} Computer Society},
  year      = {1997},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4456},
  isbn      = {0-8186-7761-9},
  timestamp = {Tue, 12 May 2015 17:11:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dimacs/dimacs48,
  editor    = {Harvey Rubin and
               David Harlan Wood},
  title     = {{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},
  publisher = {{DIMACS/AMS}},
  year      = {1999},
  url       = {http://dimacs.rutgers.edu/Volumes/Vol48.html},
  timestamp = {Mon, 14 Mar 2016 19:27:05 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/dimacs48},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/1997,
  editor    = {Frank Thomson Leighton and
               Peter W. Shor},
  title     = {Proceedings of the Twenty-Ninth Annual {ACM} Symposium on the Theory
               of Computing, El Paso, Texas, USA, May 4-6, 1997},
  publisher = {{ACM}},
  year      = {1997},
  isbn      = {0-89791-888-6},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcc/1996,
  editor    = {James A. Storer and
               Martin Cohn},
  title     = {Proceedings of the 6th Data Compression Conference {(DCC} '96), Snowbird,
               Utah, March 31 - April 3, 1996},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3509},
  isbn      = {0-8186-7358-3},
  timestamp = {Tue, 12 May 2015 17:11:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/europar/1996-1,
  editor    = {Luc Boug{\'{e}} and
               Pierre Fraigniaud and
               Anne Mignotte and
               Yves Robert},
  title     = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
               Lyon, France, August 26-29, 1996, Proceedings, Volume {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1123},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61626-8},
  doi       = {10.1007/3-540-61626-8},
  isbn      = {3-540-61626-8},
  timestamp = {Mon, 22 May 2017 16:14:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/europar/1996-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icpp/1996-2,
  editor    = {Adam W. Bojanczyk},
  title     = {Proceedings of the 1996 International Conference on Parallel Processing,
               {ICCP} 1996, Bloomingdale, IL, USA, August 12-16, 1996. Volume 2:
               Algorithms {\&} Applications},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=11247},
  timestamp = {Mon, 15 Jun 2015 19:00:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icpp/1996-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcc/1995,
  editor    = {James A. Storer and
               Martin Cohn},
  title     = {Proceedings of the {IEEE} Data Compression Conference, {DCC} 1995,
               Snowbird, Utah, March 28-30, 1995},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3874},
  isbn      = {0-8186-7012-6},
  timestamp = {Tue, 12 May 2015 17:11:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/1995,
  title     = {36th Annual Symposium on Foundations of Computer Science, Milwaukee,
               Wisconsin, 23-25 October 1995},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3752},
  isbn      = {0-8186-7183-1},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hicss/1995,
  title     = {28th Annual Hawaii International Conference on System Sciences (HICSS-28),
               January 3-6, 1995, Kihei, Maui, Hawaii, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3016},
  isbn      = {0-8186-6945-4},
  timestamp = {Tue, 05 Apr 2016 11:40:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/hicss/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1995,
  editor    = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
               Ferenc G{\'{e}}cseg},
  title     = {Automata, Languages and Programming, 22nd International Colloquium,
               ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {944},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60084-1},
  doi       = {10.1007/3-540-60084-1},
  isbn      = {3-540-60084-1},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pdpcs/1995,
  editor    = {M. H. Hamza},
  title     = {Proceedings of the Seventh {IASTED/ISMM} International Conference
               on Parallel and Distributed Computing and Systems, Washington, D.C.,
               USA, October 19-21, 1995},
  publisher = {{IASTED/ACTA} Press},
  year      = {1995},
  timestamp = {Wed, 14 Jul 2004 15:48:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pdpcs/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC27,
  editor    = {Frank Thomson Leighton and
               Allan Borodin},
  title     = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Theory
               of Computing, 29 May-1 June 1995, Las Vegas, Nevada, {USA}},
  publisher = {{ACM}},
  year      = {1995},
  isbn      = {0-89791-718-9},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC27},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vr/1995,
  title     = {1995 Virtual Reality Annual International Symposium, {VRAIS} '95,
               Research Triangle Park, North Carolina, USA, March 11-15, 1995},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3868},
  isbn      = {0-8186-7084-3},
  timestamp = {Thu, 25 Sep 2014 17:21:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vr/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcc/1994,
  editor    = {James A. Storer and
               Martin Cohn},
  title     = {Proceedings of the {IEEE} Data Compression Conference, {DCC} 1994,
               Snowbird, Utah, March 29-31, 1994},
  publisher = {{IEEE} Computer Society},
  year      = {1994},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=961},
  isbn      = {0-8186-5637-9},
  timestamp = {Tue, 13 Dec 2011 17:24:50 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dimacs/dimacs18,
  editor    = {Guy E. Blelloch and
               K. Mani Chandy and
               Suresh Jagannathan},
  title     = {Specification of Parallel Algorithms, Proceedings of a {DIMACS} Workshop,
               Princeton, New Jersey, USA, May 9-11, 1994},
  series    = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume    = {18},
  publisher = {{DIMACS/AMS}},
  year      = {1994},
  url       = {http://dimacs.rutgers.edu/Volumes/Vol18.html},
  timestamp = {Thu, 28 Jan 2016 15:18:15 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dimacs/dimacs18},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS35,
  title     = {35th Annual Symposium on Foundations of Computer Science, Santa Fe,
               New Mexico, USA, 20-22 November 1994},
  publisher = {{IEEE} Computer Society},
  year      = {1994},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=2955},
  isbn      = {0-8186-6580-7},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS35},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ipps/1994,
  editor    = {Howard Jay Siegel},
  title     = {Proceedings of the 8th International Symposium on Parallel Processing,
               Canc{\'{u}}n, Mexico, April 1994},
  publisher = {{IEEE} Computer Society},
  year      = {1994},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=958},
  isbn      = {0-8186-5602-6},
  timestamp = {Fri, 01 Aug 2014 14:26:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ipps/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/1994,
  editor    = {Daniel Dominic Sleator},
  title     = {Proceedings of the Fifth Annual {ACM-SIAM} Symposium on Discrete Algorithms.
               23-25 January 1994, Arlington, Virginia},
  publisher = {{ACM/SIAM}},
  year      = {1994},
  url       = {http://dl.acm.org/citation.cfm?id=314464},
  isbn      = {0-89871-329-3},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcc/1993,
  editor    = {James A. Storer and
               Martin Cohn},
  title     = {Proceedings of the {IEEE} Data Compression Conference, {DCC} 1993,
               Snowbird, Utah, March 30 - April 1, 1993},
  publisher = {{IEEE} Computer Society},
  year      = {1993},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=452},
  isbn      = {0-8186-3392-1},
  timestamp = {Tue, 13 Dec 2011 17:24:51 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS34,
  title     = {34th Annual Symposium on Foundations of Computer Science, Palo Alto,
               California, USA, 3-5 November 1993},
  publisher = {{IEEE} Computer Society},
  year      = {1993},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=2962},
  isbn      = {0-8186-4370-6},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS34},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1993,
  editor    = {Andrzej Lingas and
               Rolf G. Karlsson and
               Svante Carlsson},
  title     = {Automata, Languages and Programming, 20nd International Colloquium,
               ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {700},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56939-1},
  doi       = {10.1007/3-540-56939-1},
  isbn      = {3-540-56939-1},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/1993,
  editor    = {Vijaya Ramachandran},
  title     = {Proceedings of the Fourth Annual {ACM/SIGACT-SIAM} Symposium on Discrete
               Algorithms, 25-27 January 1993, Austin, Texas},
  publisher = {{ACM/SIAM}},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=313559},
  isbn      = {0-89791-562-3},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wads/1993,
  editor    = {Frank K. H. A. Dehne and
               J{\"{o}}rg{-}R{\"{u}}diger Sack and
               Nicola Santoro and
               Sue Whitesides},
  title     = {Algorithms and Data Structures, Third Workshop, {WADS} '93, Montr{\'{e}}al,
               Canada, August 11-13, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {709},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-57155-8},
  doi       = {10.1007/3-540-57155-8},
  isbn      = {3-540-57155-8},
  timestamp = {Sat, 20 May 2017 15:32:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wads/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcc/1992,
  editor    = {James A. Storer and
               Martin Cohn},
  title     = {Proceedings of the {IEEE} Data Compression Conference, {DCC} 1992,
               Snowbird, Utah, March 24-27, 1992},
  publisher = {{IEEE} Computer Society},
  year      = {1992},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=398},
  isbn      = {0-8186-2717-4},
  timestamp = {Tue, 13 Dec 2011 17:24:51 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS33,
  title     = {33rd Annual Symposium on Foundations of Computer Science, Pittsburgh,
               Pennsylvania, USA, 24-27 October 1992},
  publisher = {{IEEE} Computer Society},
  year      = {1992},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=424},
  isbn      = {0-8186-2900-2},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS33},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ipps/1992,
  editor    = {Viktor K. Prasanna and
               Larry H. Canter},
  title     = {Proceedings of the 6th International Parallel Processing Symposium,
               Beverly Hills, CA, USA, March 1992},
  publisher = {{IEEE} Computer Society},
  year      = {1992},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=394},
  isbn      = {0-8186-2672-0},
  timestamp = {Fri, 01 Aug 2014 14:26:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ipps/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soda/1992,
  editor    = {Greg N. Frederickson},
  title     = {Proceedings of the Third Annual {ACM/SIGACT-SIAM} Symposium on Discrete
               Algorithms, 27-29 January 1992, Orlando, Florida},
  publisher = {{ACM/SIAM}},
  year      = {1992},
  url       = {http://dl.acm.org/citation.cfm?id=139404},
  isbn      = {0-89791-466-X},
  timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/soda/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcc/1991,
  editor    = {James A. Storer and
               John H. Reif},
  title     = {Proceedings of the {IEEE} Data Compression Conference, {DCC} 1991,
               Snowbird, Utah, April 8-11, 1991},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=490},
  isbn      = {0-8186-9202-2},
  timestamp = {Tue, 13 Dec 2011 17:24:50 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dcc/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ipps/1991,
  editor    = {V. K. Prasanna Kumar},
  title     = {The Fifth International Parallel Processing Symposium, Proceedings,
               Anaheim, California, USA, April 30 - May 2, 1991},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=489},
  isbn      = {0-8186-9167-0},
  timestamp = {Fri, 01 Aug 2014 14:26:13 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ipps/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spdp/1991,
  title     = {Proceedings of the Third {IEEE} Symposium on Parallel and Distributed
               Processing, {SPDP} 1991, 2-5 December 1991, Dallas, Texas, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=373},
  isbn      = {0-8186-2310-1},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spdp/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC23,
  editor    = {Cris Koutsougeras and
               Jeffrey Scott Vitter},
  title     = {Proceedings of the 23rd Annual {ACM} Symposium on Theory of Computing,
               May 5-8, 1991, New Orleans, Louisiana, {USA}},
  publisher = {{ACM}},
  year      = {1991},
  isbn      = {0-89791-397-3},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC23},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/compgeom/1990,
  editor    = {Raimund Seidel},
  title     = {Proceedings of the Sixth Annual Symposium on Computational Geometry,
               Berkeley, CA, USA, June 6-8, 1990},
  publisher = {{ACM}},
  year      = {1990},
  url       = {http://doi.acm.org/10.1145/98524},
  doi       = {10.1145/98524},
  isbn      = {0-89791-362-0},
  timestamp = {Fri, 30 Jan 2015 14:53:39 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/compgeom/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS31a,
  title     = {31st Annual Symposium on Foundations of Computer Science, St. Louis,
               Missouri, USA, October 22-24, 1990, Volume {I}},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=310},
  isbn      = {0-8186-2082-X},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS31a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1990,
  editor    = {Kesav V. Nori and
               C. E. Veni Madhavan},
  title     = {Foundations of Software Technology and Theoretical Computer Science,
               Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {472},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/3-540-53487-3},
  doi       = {10.1007/3-540-53487-3},
  isbn      = {3-540-53487-3},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsttcs/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1990,
  editor    = {Mike Paterson},
  title     = {Automata, Languages and Programming, 17th International Colloquium,
               ICALP90, Warwick University, England, July 16-20, 1990, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {443},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/BFb0032016},
  doi       = {10.1007/BFb0032016},
  isbn      = {3-540-52826-1},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spdp/1990,
  title     = {Proceedings of the Second {IEEE} Symposium on Parallel and Distributed
               Processing, {SPDP} 1990, Dallas, Texas, USA, December 9-13, 1990},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=314},
  isbn      = {0-8186-2087-0},
  timestamp = {Fri, 01 Aug 2014 14:26:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spdp/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/colt/1989,
  editor    = {Ronald L. Rivest and
               David Haussler and
               Manfred K. Warmuth},
  title     = {Proceedings of the Second Annual Workshop on Computational Learning
               Theory, {COLT} 1989, Santa Cruz, CA, USA, July 31 - August 2, 1989},
  publisher = {Morgan Kaufmann},
  year      = {1989},
  url       = {http://dl.acm.org/citation.cfm?id=93335},
  isbn      = {1-55860-086-8},
  timestamp = {Mon, 12 Dec 2011 15:03:15 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/colt/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS30,
  title     = {30th Annual Symposium on Foundations of Computer Science, Research
               Triangle Park, North Carolina, USA, 30 October - 1 November 1989},
  publisher = {{IEEE} Computer Society},
  year      = {1989},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=260},
  isbn      = {0-8186-1982-1},
  timestamp = {Mon, 15 Dec 2014 18:48:45 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS30},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oa/1989,
  editor    = {Hristo Djidjev},
  title     = {Optimal Algorithms, International Symposium, Varna, Bulgaria, May
               29 - June 2, 1989, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {401},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/3-540-51859-2},
  doi       = {10.1007/3-540-51859-2},
  isbn      = {3-540-51859-2},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oa/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC21,
  editor    = {David S. Johnson},
  title     = {Proceedings of the 21st Annual {ACM} Symposium on Theory of Computing,
               May 14-17, 1989, Seattle, Washigton, {USA}},
  publisher = {{ACM}},
  year      = {1989},
  isbn      = {0-89791-307-8},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC21},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/compgeom/1988,
  editor    = {Herbert Edelsbrunner},
  title     = {Proceedings of the Fourth Annual Symposium on Computational Geometry,
               Urbana-Champaign, IL, USA, June 6-8, 1988},
  publisher = {{ACM}},
  year      = {1988},
  url       = {http://doi.acm.org/10.1145/73393},
  doi       = {10.1145/73393},
  isbn      = {0-89791-270-5},
  timestamp = {Fri, 30 Jan 2015 14:53:39 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/compgeom/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS29,
  title     = {29th Annual Symposium on Foundations of Computer Science, White Plains,
               New York, USA, 24-26 October 1988},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=219},
  isbn      = {0-8186-0877-3},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS29},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1988,
  editor    = {Timo Lepist{\"{o}} and
               Arto Salomaa},
  title     = {Automata, Languages and Programming, 15th International Colloquium,
               ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {317},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/3-540-19488-6},
  doi       = {10.1007/3-540-19488-6},
  isbn      = {3-540-19488-6},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1988,
  editor    = {Michal Chytil and
               Ladislav Janiga and
               V{\'{a}}clav Koubek},
  title     = {Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad,
               Czechoslovakia, August 29 - September 2, 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {324},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/BFb0017126},
  doi       = {10.1007/BFb0017126},
  isbn      = {3-540-50110-X},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mfcs/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coco/1987,
  title     = {Proceedings of the Second Annual Conference on Structure in Complexity
               Theory, Cornell University, Ithaca, New York, USA, June 16-19, 1987},
  publisher = {{IEEE} Computer Society},
  year      = {1987},
  timestamp = {Tue, 22 Jan 2013 14:30:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/coco/1987},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fct/1987,
  editor    = {Lothar Budach and
               Rais Gatic Bakharajev and
               Oleg Borisovic Lipanov},
  title     = {Fundamentals of Computation Theory, International Conference FCT'87,
               Kazan, USSR, June 22-26, 1987, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {278},
  publisher = {Springer},
  year      = {1987},
  url       = {https://doi.org/10.1007/3-540-18740-5},
  doi       = {10.1007/3-540-18740-5},
  isbn      = {3-540-18740-5},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/1987},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS28,
  title     = {28th Annual Symposium on Foundations of Computer Science, Los Angeles,
               California, USA, 27-29 October 1987},
  publisher = {{IEEE} Computer Society},
  year      = {1987},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4568244},
  isbn      = {0-8186-0807-2},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS28},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icpp/1987,
  title     = {International Conference on Parallel Processing, ICPP'87, University
               Park, PA, USA, August 1987},
  publisher = {Pennsylvania State University Press},
  year      = {1987},
  timestamp = {Mon, 28 Jul 2014 17:06:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icpp/1987},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/awoc/1986,
  editor    = {Fillia Makedon and
               Kurt Mehlhorn and
               Theodore S. Papatheodorou and
               Paul G. Spirakis},
  title     = {{VLSI} Algorithms and Architectures, Aegean Workshop on Computing,
               Loutraki, Greece, July 8-11, 1986, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {227},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/3-540-16766-8},
  doi       = {10.1007/3-540-16766-8},
  isbn      = {3-540-16766-8},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/awoc/1986},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS27,
  title     = {27th Annual Symposium on Foundations of Computer Science, Toronto,
               Canada, 27-29 October 1986},
  publisher = {{IEEE} Computer Society},
  year      = {1986},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4568183},
  isbn      = {0-8186-0740-8},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS27},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1986,
  editor    = {Kesav V. Nori},
  title     = {Foundations of Software Technology and Theoretical Computer Science,
               Sixth Conference, New Delhi, India, December 18-20, 1986, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {241},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/3-540-17179-7},
  doi       = {10.1007/3-540-17179-7},
  isbn      = {3-540-17179-7},
  timestamp = {Fri, 19 May 2017 12:26:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsttcs/1986},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tark/1986,
  editor    = {Joseph Y. Halpern},
  title     = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, March 1986},
  publisher = {Morgan Kaufmann},
  year      = {1986},
  isbn      = {0-934613-04-4},
  timestamp = {Tue, 05 Mar 2002 15:50:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/tark/1986},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/crypto/1985,
  editor    = {Hugh C. Williams},
  title     = {Advances in Cryptology - {CRYPTO} '85, Santa Barbara, California,
               USA, August 18-22, 1985, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {218},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/3-540-39799-X},
  doi       = {10.1007/3-540-39799-X},
  isbn      = {3-540-16463-4},
  timestamp = {Fri, 19 May 2017 12:26:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/crypto/1985},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fct/1985,
  editor    = {Lothar Budach},
  title     = {Fundamentals of Computation Theory, {FCT} '85, Cottbus, GDR, September
               9-13, 1985},
  series    = {Lecture Notes in Computer Science},
  volume    = {199},
  publisher = {Springer},
  year      = {1985},
  url       = {https://doi.org/10.1007/BFb0028784},
  doi       = {10.1007/BFb0028784},
  isbn      = {3-540-15689-5},
  timestamp = {Fri, 19 May 2017 12:26:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/1985},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS26,
  title     = {26th Annual Symposium on Foundations of Computer Science, Portland,
               Oregon, USA, 21-23 October 1985},
  publisher = {{IEEE} Computer Society},
  year      = {1985},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4568115},
  isbn      = {0-8186-0644-4},
  timestamp = {Wed, 17 Dec 2014 17:01:43 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS26},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC17,
  editor    = {Robert Sedgewick},
  title     = {Proceedings of the 17th Annual {ACM} Symposium on Theory of Computing,
               May 6-8, 1985, Providence, Rhode Island, {USA}},
  publisher = {{ACM}},
  year      = {1985},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1984,
  editor    = {Jan Paredaens},
  title     = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
               July 16-20, 1984, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {172},
  publisher = {Springer},
  year      = {1984},
  url       = {https://doi.org/10.1007/3-540-13345-3},
  doi       = {10.1007/3-540-13345-3},
  isbn      = {3-540-13345-3},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1984},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC16,
  editor    = {Richard A. DeMillo},
  title     = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
               April 30 - May 2, 1984, Washington, DC, {USA}},
  publisher = {{ACM}},
  year      = {1984},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS24,
  title     = {24th Annual Symposium on Foundations of Computer Science, Tucson,
               Arizona, USA, 7-9 November 1983},
  publisher = {{IEEE} Computer Society},
  year      = {1983},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4568048},
  isbn      = {0-8186-0508-1},
  timestamp = {Mon, 15 Dec 2014 18:48:45 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS24},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1983,
  editor    = {Josep D{\'{\i}}az},
  title     = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
               July 18-22, 1983, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {154},
  publisher = {Springer},
  year      = {1983},
  url       = {https://doi.org/10.1007/BFb0036892},
  doi       = {10.1007/BFb0036892},
  isbn      = {3-540-12317-2},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1983},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lop/1983,
  editor    = {Edmund M. Clarke and
               Dexter Kozen},
  title     = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
               PA, USA, June 6-8, 1983, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {164},
  publisher = {Springer},
  year      = {1984},
  url       = {https://doi.org/10.1007/3-540-12896-4},
  doi       = {10.1007/3-540-12896-4},
  isbn      = {3-540-12896-4},
  timestamp = {Fri, 19 May 2017 12:26:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lop/1983},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC15,
  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     = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
               25-27 April, 1983, Boston, Massachusetts, {USA}},
  publisher = {{ACM}},
  year      = {1983},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS23,
  title     = {23rd Annual Symposium on Foundations of Computer Science, Chicago,
               Illinois, USA, 3-5 November 1982},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4568363},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS23},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1982,
  editor    = {Mogens Nielsen and
               Erik Meineche Schmidt},
  title     = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
               July 12-16, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {140},
  publisher = {Springer},
  year      = {1982},
  url       = {https://doi.org/10.1007/BFb0012751},
  doi       = {10.1007/BFb0012751},
  isbn      = {3-540-11576-5},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1982},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/1982,
  editor    = {Robert L. Probert and
               Michael J. Fischer and
               Nicola Santoro},
  title     = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
               Ottawa, CanadaAugust 18-20, 1982},
  publisher = {{ACM}},
  year      = {1982},
  url       = {http://dl.acm.org/citation.cfm?id=800220},
  isbn      = {0-89791-081-8},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/podc/1982},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/82,
  editor    = {Richard A. DeMillo},
  title     = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
               of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  publisher = {{ACM} Press},
  year      = {1982},
  url       = {http://dl.acm.org/citation.cfm?id=582153},
  isbn      = {0-89791-065-6},
  timestamp = {Mon, 21 May 2012 16:19:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC14,
  editor    = {Harry R. Lewis and
               Barbara B. Simons and
               Walter A. Burkhard and
               Lawrence H. Landweber},
  title     = {Proceedings of the 14th Annual {ACM} Symposium on Theory of Computing,
               May 5-7, 1982, San Francisco, California, {USA}},
  publisher = {{ACM}},
  year      = {1982},
  url       = {http://doi.acm.org/10.1145/800070},
  doi       = {10.1145/800070},
  isbn      = {0-89791-067-2},
  timestamp = {Sun, 21 May 2017 00:22:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS22,
  title     = {22nd Annual Symposium on Foundations of Computer Science, Nashville,
               Tennessee, USA, 28-30 October 1981},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4568306},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS22},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/1981,
  editor    = {Shimon Even and
               Oded Kariv},
  title     = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
               Israel, July 13-17, 1981, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {115},
  publisher = {Springer},
  year      = {1981},
  url       = {https://doi.org/10.1007/3-540-10843-2},
  doi       = {10.1007/3-540-10843-2},
  isbn      = {3-540-10843-2},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/1981},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC13,
  title     = {Proceedings of the 13th Annual {ACM} Symposium on Theory of Computing,
               May 11-13, 1981, Milwaukee, Wisconsin, {USA}},
  publisher = {{ACM}},
  year      = {1981},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC13},
  bibsource = {dblp computer science bibliography, http://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 16:19:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/1980},
  bibsource = {dblp computer science bibliography, http://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 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS20,
  title     = {20th Annual Symposium on Foundations of Computer Science, San Juan,
               Puerto Rico, 29-31 October 1979},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4567990},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/focs/FOCS20},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/79,
  editor    = {Alfred V. Aho and
               Stephen N. Zilles and
               Barry K. Rosen},
  title     = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
               of Programming Languages, San Antonio, Texas, USA, January 1979},
  publisher = {{ACM} Press},
  year      = {1979},
  url       = {http://dl.acm.org/citation.cfm?id=567752},
  timestamp = {Mon, 21 May 2012 16:19:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/79},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC11,
  editor    = {Michael J. Fischer and
               Richard A. DeMillo and
               Nancy A. Lynch and
               Walter A. Burkhard and
               Alfred V. Aho},
  title     = {Proceedings of the 11h Annual {ACM} Symposium on Theory of Computing,
               April 30 - May 2, 1979, Atlanta, Georgia, {USA}},
  publisher = {{ACM}},
  year      = {1979},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/stoc/STOC11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/1978,
  editor    = {Alfred V. Aho and
               Stephen N. Zilles and
               Thomas G. Szymanski},
  title     = {Conference Record of the Fifth Annual {ACM} Symposium on Principles
               of Programming Languages, Tucson, Arizona, USA, January 1978},
  publisher = {{ACM} Press},
  year      = {1978},
  url       = {http://dl.acm.org/citation.cfm?id=512760},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/1978},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/77,
  editor    = {Robert M. Graham and
               Michael A. Harrison and
               Ravi Sethi},
  title     = {Conference Record of the Fourth {ACM} Symposium on Principles of Programming
               Languages, Los Angeles, California, USA, January 1977},
  publisher = {{ACM}},
  year      = {1977},
  url       = {http://dl.acm.org/citation.cfm?id=512950},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/popl/77},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier