BibTeX records: Ashok K. Chandra

download as .bib file

@inproceedings{DBLP:conf/ecir/LvFC14,
  author    = {Yuanhua Lv and
               Ariel Fuxman and
               Ashok K. Chandra},
  title     = {Evaluation of {IR} Applications with Constrained Real Estate},
  booktitle = {Advances in Information Retrieval - 36th European Conference on {IR}
               Research, {ECIR} 2014, Amsterdam, The Netherlands, April 13-16, 2014.
               Proceedings},
  pages     = {160--171},
  year      = {2014},
  crossref  = {DBLP:conf/ecir/2014},
  url       = {https://doi.org/10.1007/978-3-319-06028-6\_14},
  doi       = {10.1007/978-3-319-06028-6\_14},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecir/LvFC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/FuxmanPLCCGHKNPZ14,
  author    = {Ariel Fuxman and
               Patrick Pantel and
               Yuanhua Lv and
               Ashok K. Chandra and
               Pradeep Chilakamarri and
               Michael Gamon and
               David Hamilton and
               Bernhard Kohlmeier and
               Dhyanesh Narayanan and
               Evangelos E. Papalexakis and
               Bo Zhao},
  title     = {Contextual insights},
  booktitle = {23rd International World Wide Web Conference, {WWW} '14, Seoul, Republic
               of Korea, April 7-11, 2014, Companion Volume},
  pages     = {265--266},
  year      = {2014},
  crossref  = {DBLP:conf/www/2014c},
  url       = {https://doi.org/10.1145/2567948.2577280},
  doi       = {10.1145/2567948.2577280},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/www/FuxmanPLCCGHKNPZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-6016,
  author    = {Jim Gemmell and
               Benjamin I. P. Rubinstein and
               Ashok K. Chandra},
  title     = {Improving Entity Resolution with Global Constraints},
  journal   = {CoRR},
  volume    = {abs/1108.6016},
  year      = {2011},
  url       = {http://arxiv.org/abs/1108.6016},
  archivePrefix = {arXiv},
  eprint    = {1108.6016},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-6016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/ChandraKC03,
  author    = {Ashok K. Chandra and
               Ambuj Kumar and
               Premala Chandra},
  title     = {Propagation of 2000 MHz radio signal into a multistoreyed building
               through outdoor-indoor interface},
  booktitle = {Proceedings of the {IEEE} 14th International Symposium on Personal,
               Indoor and Mobile Radio Communications, {PIMRC} 2003, 7-10 September
               2003, Beijing, China},
  pages     = {2983--2987},
  year      = {2003},
  crossref  = {DBLP:conf/pimrc/2003},
  url       = {https://doi.org/10.1109/PIMRC.2003.1259298},
  doi       = {10.1109/PIMRC.2003.1259298},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pimrc/ChandraKC03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cc/ChandraRRST97,
  author    = {Ashok K. Chandra and
               Prabhakar Raghavan and
               Walter L. Ruzzo and
               Roman Smolensky and
               Prasoon Tiwari},
  title     = {The Electrical Resistance of a Graph Captures its Commute and Cover
               Times},
  journal   = {Computational Complexity},
  volume    = {6},
  number    = {4},
  pages     = {312--340},
  year      = {1997},
  url       = {https://doi.org/10.1007/BF01270385},
  doi       = {10.1007/BF01270385},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cc/ChandraRRST97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/ChaudhuriCDGSWV96,
  author    = {Surajit Chaudhuri and
               Ashok K. Chandra and
               Umeshwar Dayal and
               Jim Gray and
               Michael Stonebraker and
               Gio Wiederhold and
               Moshe Y. Vardi},
  title     = {Database Research: Lead, Follow, or Get Out of the Way? - Panel Abstract},
  booktitle = {Proceedings of the Twelfth International Conference on Data Engineering,
               February 26 - March 1, 1996, New Orleans, Louisiana, {USA}},
  pages     = {190},
  year      = {1996},
  crossref  = {DBLP:conf/icde/96},
  timestamp = {Tue, 19 Jun 2018 07:55:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icde/ChaudhuriCDGSWV96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/ChandraIJJNRMYAGW95,
  author    = {Ashok K. Chandra and
               Vijay S. Iyengar and
               D. Jameson and
               R. V. Jawalekar and
               Indira Nair and
               Barry K. Rosen and
               Michael P. Mullen and
               J. Yoon and
               R. Armoni and
               Daniel Geist and
               Yaron Wolfsthal},
  title     = {{AVPGEN-A} test generator for architecture verification},
  journal   = {{IEEE} Trans. {VLSI} Syst.},
  volume    = {3},
  number    = {2},
  pages     = {188--200},
  year      = {1995},
  url       = {https://doi.org/10.1109/92.386220},
  doi       = {10.1109/92.386220},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tvlsi/ChandraIJJNRMYAGW95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/Chandra94,
  author    = {Ashok K. Chandra},
  title     = {Supply and Demand for Computer Science PHDs (Abstract)},
  booktitle = {Proceedings of the {ACM} 22rd Annual Computer Science Conference on
               Scaling up: Meeting the Challenge of Complexity in Real-World Computing
               Applications, {CSC} '94, Phoenix, Arizona, USA, March 8-10, 1994},
  pages     = {429},
  year      = {1994},
  crossref  = {DBLP:conf/acm/1994},
  url       = {https://doi.org/10.1145/197530.197695},
  doi       = {10.1145/197530.197695},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acm/Chandra94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/ChandraIJMNR94,
  author    = {Ashok K. Chandra and
               Vijay S. Iyengar and
               R. V. Jawalekar and
               Michael P. Mullen and
               Indira Nair and
               Barry K. Rosen},
  title     = {Architectural Verification of Processors Using Symbolic Instruction
               Graphs},
  booktitle = {Proceedings 1994 {IEEE} International Conference on Computer Design:
               {VLSI} in Computer {\&} Processors, {ICCD} '94, Cambridge, MA,
               USA, October 10-12, 1994},
  pages     = {454--459},
  year      = {1994},
  crossref  = {DBLP:conf/iccd/1994},
  url       = {https://doi.org/10.1109/ICCD.1994.331949},
  doi       = {10.1109/ICCD.1994.331949},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/ChandraIJMNR94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Chandra93,
  author    = {Ashok K. Chandra},
  title     = {Editor's Foreword: Selected Papers of {PODS} 1989},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {47},
  number    = {1},
  pages     = {1},
  year      = {1993},
  url       = {https://doi.org/10.1016/0022-0000(93)90018-R},
  doi       = {10.1016/0022-0000(93)90018-R},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/Chandra93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/ChandraI92,
  author    = {Ashok K. Chandra and
               Vijay S. Iyengar},
  title     = {Constraint Slving for Test Case Generation},
  booktitle = {Proceedings 1992 {IEEE} International Conference on Computer Design:
               {VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
               USA, October 11-14, 1992},
  pages     = {245--248},
  year      = {1992},
  crossref  = {DBLP:conf/iccd/1992},
  url       = {https://doi.org/10.1109/ICCD.1992.276260},
  doi       = {10.1109/ICCD.1992.276260},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/ChandraI92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/ChandraT90,
  author    = {Ashok K. Chandra and
               Martin Tompa},
  title     = {The complexity of short two-person games},
  journal   = {Discrete Applied Mathematics},
  volume    = {29},
  number    = {1},
  pages     = {21--33},
  year      = {1990},
  url       = {https://doi.org/10.1016/0166-218X(90)90080-V},
  doi       = {10.1016/0166-218X(90)90080-V},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dam/ChandraT90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AggarwalCS90,
  author    = {Alok Aggarwal and
               Ashok K. Chandra and
               Marc Snir},
  title     = {Communication Complexity of PRAMs},
  journal   = {Theor. Comput. Sci.},
  volume    = {71},
  number    = {1},
  pages     = {3--28},
  year      = {1990},
  url       = {https://doi.org/10.1016/0304-3975(90)90188-N},
  doi       = {10.1016/0304-3975(90)90188-N},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AggarwalCS90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/AggarwalCS89,
  author    = {Alok Aggarwal and
               Ashok K. Chandra and
               Marc Snir},
  title     = {On Communication Latency in {PRAM} Computations},
  booktitle = {Proceedings of the {ACM} Symposium on Parallel Algorithms and Architectures,
               {SPAA} '89, Santa Fe, New Mexico, USA, June 18-21, 1989},
  pages     = {11--21},
  year      = {1989},
  crossref  = {DBLP:conf/spaa/1989},
  url       = {https://doi.org/10.1145/72935.72937},
  doi       = {10.1145/72935.72937},
  timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spaa/AggarwalCS89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraRRST89,
  author    = {Ashok K. Chandra and
               Prabhakar Raghavan and
               Walter L. Ruzzo and
               Roman Smolensky and
               Prasoon Tiwari},
  title     = {The Electrical Resistance of a Graph Captures its Commute and Cover
               Times (Detailed Abstract)},
  booktitle = {Proceedings of the 21st Annual {ACM} Symposium on Theory of Computing,
               May 14-17, 1989, Seattle, Washigton, {USA}},
  pages     = {574--586},
  year      = {1989},
  crossref  = {DBLP:conf/stoc/STOC21},
  url       = {https://doi.org/10.1145/73007.73062},
  doi       = {10.1145/73007.73062},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/ChandraRRST89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AggarwalC88,
  author    = {Alok Aggarwal and
               Ashok K. Chandra},
  title     = {Communication Complexity of PRAMs (Preliminary Version)},
  booktitle = {Automata, Languages and Programming, 15th International Colloquium,
               ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings},
  pages     = {1--17},
  year      = {1988},
  crossref  = {DBLP:conf/icalp/1988},
  url       = {https://doi.org/10.1007/3-540-19488-6\_103},
  doi       = {10.1007/3-540-19488-6\_103},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/AggarwalC88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Chandra88,
  author    = {Ashok K. Chandra},
  title     = {Theory of Database Queries},
  booktitle = {Proceedings of the Seventh {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, March 21-23, 1988, Austin, Texas,
               {USA}},
  pages     = {1--9},
  year      = {1988},
  crossref  = {DBLP:conf/pods/88},
  url       = {https://doi.org/10.1145/308386.308396},
  doi       = {10.1145/308386.308396},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/Chandra88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AggarwalC88,
  author    = {Alok Aggarwal and
               Ashok K. Chandra},
  title     = {Virtual Memory Algorithms (Preliminary Version)},
  booktitle = {Proceedings of the 20th Annual {ACM} Symposium on Theory of Computing,
               May 2-4, 1988, Chicago, Illinois, {USA}},
  pages     = {173--185},
  year      = {1988},
  crossref  = {DBLP:conf/stoc/STOC20},
  url       = {https://doi.org/10.1145/62212.62227},
  doi       = {10.1145/62212.62227},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/AggarwalC88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AggarwalCR88,
  author    = {Alok Aggarwal and
               Ashok K. Chandra and
               Prabhakar Raghavan},
  title     = {Energy Consumption in {VLSI} Circuits (Preliminary Version)},
  booktitle = {Proceedings of the 20th Annual {ACM} Symposium on Theory of Computing,
               May 2-4, 1988, Chicago, Illinois, {USA}},
  pages     = {205--216},
  year      = {1988},
  crossref  = {DBLP:conf/stoc/STOC20},
  url       = {https://doi.org/10.1145/62212.62230},
  doi       = {10.1145/62212.62230},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/AggarwalCR88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/AggarwalCS87,
  author    = {Alok Aggarwal and
               Ashok K. Chandra and
               Marc Snir},
  title     = {Hierarchical Memory with Block Transfer},
  booktitle = {28th Annual Symposium on Foundations of Computer Science, Los Angeles,
               California, USA, 27-29 October 1987},
  pages     = {204--216},
  year      = {1987},
  crossref  = {DBLP:conf/focs/FOCS28},
  url       = {https://doi.org/10.1109/SFCS.1987.31},
  doi       = {10.1109/SFCS.1987.31},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/focs/AggarwalCS87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AggarwalACS87,
  author    = {Alok Aggarwal and
               Bowen Alpern and
               Ashok K. Chandra and
               Marc Snir},
  title     = {A Model for Hierarchical Memory},
  booktitle = {Proceedings of the 19th Annual {ACM} Symposium on Theory of Computing,
               1987, New York, New York, {USA}},
  pages     = {305--314},
  year      = {1987},
  crossref  = {DBLP:conf/stoc/STOC19},
  url       = {https://doi.org/10.1145/28395.28428},
  doi       = {10.1145/28395.28428},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/AggarwalACS87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChandraFL85,
  author    = {Ashok K. Chandra and
               Steven Fortune and
               Richard J. Lipton},
  title     = {Unbounded Fan-In Circuits and Associative Functions},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {30},
  number    = {2},
  pages     = {222--234},
  year      = {1985},
  url       = {https://doi.org/10.1016/0022-0000(85)90015-7},
  doi       = {10.1016/0022-0000(85)90015-7},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/ChandraFL85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ChandraH85,
  author    = {Ashok K. Chandra and
               David Harel},
  title     = {Horn Clauses Queries and Generalizations},
  journal   = {J. Log. Program.},
  volume    = {2},
  number    = {1},
  pages     = {1--15},
  year      = {1985},
  url       = {https://doi.org/10.1016/0743-1066(85)90002-0},
  doi       = {10.1016/0743-1066(85)90002-0},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/ChandraH85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ChandraV85,
  author    = {Ashok K. Chandra and
               Moshe Y. Vardi},
  title     = {The Implication Problem for Functional and Inclusion Dependencies
               is Undecidable},
  journal   = {{SIAM} J. Comput.},
  volume    = {14},
  number    = {3},
  pages     = {671--677},
  year      = {1985},
  url       = {https://doi.org/10.1137/0214049},
  doi       = {10.1137/0214049},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/siamcomp/ChandraV85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ParikhCHM85,
  author    = {Rohit Parikh and
               Ashok K. Chandra and
               Joseph Y. Halpern and
               Albert R. Meyer},
  title     = {Equations Between Regular Terms and an Application to Process Logic},
  journal   = {{SIAM} J. Comput.},
  volume    = {14},
  number    = {4},
  pages     = {935--942},
  year      = {1985},
  url       = {https://doi.org/10.1137/0214066},
  doi       = {10.1137/0214066},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/siamcomp/ParikhCHM85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ChandraSV84,
  author    = {Ashok K. Chandra and
               Larry J. Stockmeyer and
               Uzi Vishkin},
  title     = {Constant Depth Reducibility},
  journal   = {{SIAM} J. Comput.},
  volume    = {13},
  number    = {2},
  pages     = {423--439},
  year      = {1984},
  url       = {https://doi.org/10.1137/0213028},
  doi       = {10.1137/0213028},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/siamcomp/ChandraSV84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/ChandraKMZ83,
  author    = {Ashok K. Chandra and
               Lawrence T. Kou and
               George Markowsky and
               Shmuel Zaks},
  title     = {On Sets of Boolean \emph{ n } -Projections Surjective},
  journal   = {Acta Inf.},
  volume    = {20},
  pages     = {103--111},
  year      = {1983},
  url       = {https://doi.org/10.1007/BF00264296},
  doi       = {10.1007/BF00264296},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/ChandraKMZ83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChandraFL83,
  author    = {Ashok K. Chandra and
               Steven Fortune and
               Richard J. Lipton},
  title     = {Lower Bounds for Constant Depth Circuits for Prefix Problems},
  booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
               July 18-22, 1983, Proceedings},
  pages     = {109--117},
  year      = {1983},
  crossref  = {DBLP:conf/icalp/1983},
  url       = {https://doi.org/10.1007/BFb0036901},
  doi       = {10.1007/BFb0036901},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/ChandraFL83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraFL83a,
  author    = {Ashok K. Chandra and
               Steven Fortune and
               Richard J. Lipton},
  title     = {Unbounded Fan-in Circuits and Associative Functions},
  booktitle = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
               25-27 April, 1983, Boston, Massachusetts, {USA}},
  pages     = {52--60},
  year      = {1983},
  crossref  = {DBLP:conf/stoc/STOC15},
  url       = {https://doi.org/10.1145/800061.808732},
  doi       = {10.1145/800061.808732},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/ChandraFL83a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraFL83b,
  author    = {Ashok K. Chandra and
               Merrick L. Furst and
               Richard J. Lipton},
  title     = {Multi-Party Protocols},
  booktitle = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
               25-27 April, 1983, Boston, Massachusetts, {USA}},
  pages     = {94--99},
  year      = {1983},
  crossref  = {DBLP:conf/stoc/STOC15},
  url       = {https://doi.org/10.1145/800061.808737},
  doi       = {10.1145/800061.808737},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/ChandraFL83b},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChandraH82,
  author    = {Ashok K. Chandra and
               David Harel},
  title     = {Structure and Complexity of Relational Queries},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {25},
  number    = {1},
  pages     = {99--128},
  year      = {1982},
  url       = {https://doi.org/10.1016/0022-0000(82)90012-5},
  doi       = {10.1016/0022-0000(82)90012-5},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/ChandraH82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ChandraSV82,
  author    = {Ashok K. Chandra and
               Larry J. Stockmeyer and
               Uzi Vishkin},
  title     = {A Complexity Theory for Unbounded Fan-In Parallelism},
  booktitle = {23rd Annual Symposium on Foundations of Computer Science, Chicago,
               Illinois, USA, 3-5 November 1982},
  pages     = {1--13},
  year      = {1982},
  crossref  = {DBLP:conf/focs/FOCS23},
  url       = {https://doi.org/10.1109/SFCS.1982.3},
  doi       = {10.1109/SFCS.1982.3},
  timestamp = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/focs/ChandraSV82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ChandraH82,
  author    = {Ashok K. Chandra and
               David Harel},
  title     = {Horn Clauses and the Fixpoint Query Hierarchy},
  booktitle = {Proceedings of the {ACM} Symposium on Principles of Database Systems,
               March 29-31, 1982, Los Angeles, California, {USA}},
  pages     = {158--163},
  year      = {1982},
  crossref  = {DBLP:conf/pods/82},
  url       = {https://doi.org/10.1145/588111.588137},
  doi       = {10.1145/588111.588137},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/ChandraH82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ChaitinACCHM81,
  author    = {Gregory J. Chaitin and
               Marc A. Auslander and
               Ashok K. Chandra and
               John Cocke and
               Martin E. Hopkins and
               Peter W. Markstein},
  title     = {Register Allocation Via Coloring},
  journal   = {Comput. Lang.},
  volume    = {6},
  number    = {1},
  pages     = {47--57},
  year      = {1981},
  url       = {https://doi.org/10.1016/0096-0551(81)90048-5},
  doi       = {10.1016/0096-0551(81)90048-5},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cl/ChaitinACCHM81},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ChandraKS81,
  author    = {Ashok K. Chandra and
               Dexter Kozen and
               Larry J. Stockmeyer},
  title     = {Alternation},
  journal   = {J. {ACM}},
  volume    = {28},
  number    = {1},
  pages     = {114--133},
  year      = {1981},
  url       = {https://doi.org/10.1145/322234.322243},
  doi       = {10.1145/322234.322243},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/ChandraKS81},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Chandra81,
  author    = {Ashok K. Chandra},
  title     = {Programming Primitives for Database Languages},
  booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
               of Programming Languages, Williamsburg, Virginia, USA, January 1981},
  pages     = {50--62},
  year      = {1981},
  crossref  = {DBLP:conf/popl/81},
  url       = {https://doi.org/10.1145/567532.567537},
  doi       = {10.1145/567532.567537},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/Chandra81},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraLM81,
  author    = {Ashok K. Chandra and
               Harry R. Lewis and
               Johann A. Makowsky},
  title     = {Embedded Implicational Dependencies and their Inference Problem},
  booktitle = {Proceedings of the 13th Annual {ACM} Symposium on Theory of Computing,
               May 11-13, 1981, Milwaukee, Wisconsin, {USA}},
  pages     = {342--354},
  year      = {1981},
  crossref  = {DBLP:conf/stoc/STOC13},
  url       = {https://doi.org/10.1145/800076.802488},
  doi       = {10.1145/800076.802488},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/ChandraLM81},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraHMP81,
  author    = {Ashok K. Chandra and
               Joseph Y. Halpern and
               Albert R. Meyer and
               Rohit Parikh},
  title     = {Equations between Regular Terms and an Application to Process Logic},
  booktitle = {Proceedings of the 13th Annual {ACM} Symposium on Theory of Computing,
               May 11-13, 1981, Milwaukee, Wisconsin, {USA}},
  pages     = {384--390},
  year      = {1981},
  crossref  = {DBLP:conf/stoc/STOC13},
  url       = {https://doi.org/10.1145/800076.802493},
  doi       = {10.1145/800076.802493},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/ChandraHMP81},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BlumCW80,
  author    = {Manuel Blum and
               Ashok K. Chandra and
               Mark N. Wegman},
  title     = {Equivalence of Free Boolean Graphs can be Decided Probabilistically
               in Polynomial Time},
  journal   = {Inf. Process. Lett.},
  volume    = {10},
  number    = {2},
  pages     = {80--82},
  year      = {1980},
  url       = {https://doi.org/10.1016/S0020-0190(80)90078-2},
  doi       = {10.1016/S0020-0190(80)90078-2},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/BlumCW80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChandraH80,
  author    = {Ashok K. Chandra and
               David Harel},
  title     = {Computable Queries for Relational Data Bases},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {21},
  number    = {2},
  pages     = {156--178},
  year      = {1980},
  url       = {https://doi.org/10.1016/0022-0000(80)90032-X},
  doi       = {10.1016/0022-0000(80)90032-X},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/ChandraH80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ChandraH80,
  author    = {Ashok K. Chandra and
               David Harel},
  title     = {Structure and Complexity of Relational Queries},
  booktitle = {21st Annual Symposium on Foundations of Computer Science, Syracuse,
               New York, USA, 13-15 October 1980},
  pages     = {333--347},
  year      = {1980},
  crossref  = {DBLP:conf/focs/FOCS21},
  url       = {https://doi.org/10.1109/SFCS.1980.41},
  doi       = {10.1109/SFCS.1980.41},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/focs/ChandraH80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/ChandraH80,
  author    = {Ashok K. Chandra and
               David Harel},
  title     = {Structure and Complexity of Relational Queries},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  crossref  = {DBLP:conf/xp/1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/xp/ChandraH80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/ChandraLM80,
  author    = {Ashok K. Chandra and
               Harry R. Lewis and
               Johann A. Makowsky},
  title     = {Embedded Implicational Dependencies and their Inference Problem},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  crossref  = {DBLP:conf/xp/1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/xp/ChandraLM80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HirschbergCS79,
  author    = {Daniel S. Hirschberg and
               Ashok K. Chandra and
               Dilip V. Sarwate},
  title     = {Computing Connected Components on Parallel Computers},
  journal   = {Commun. {ACM}},
  volume    = {22},
  number    = {8},
  pages     = {461--464},
  year      = {1979},
  url       = {https://doi.org/10.1145/359138.359141},
  doi       = {10.1145/359138.359141},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/HirschbergCS79},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/StrongMC79,
  author    = {H. Raymond Strong and
               George Markowsky and
               Ashok K. Chandra},
  title     = {Search within a Page},
  journal   = {J. {ACM}},
  volume    = {26},
  number    = {3},
  pages     = {457--482},
  year      = {1979},
  url       = {https://doi.org/10.1145/322139.322146},
  doi       = {10.1145/322139.322146},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/StrongMC79},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/StockmeyerC79,
  author    = {Larry J. Stockmeyer and
               Ashok K. Chandra},
  title     = {Provably Difficult Combinatorial Games},
  journal   = {{SIAM} J. Comput.},
  volume    = {8},
  number    = {2},
  pages     = {151--174},
  year      = {1979},
  url       = {https://doi.org/10.1137/0208013},
  doi       = {10.1137/0208013},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/siamcomp/StockmeyerC79},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ChandraW79,
  author    = {Ashok K. Chandra and
               C. K. Wong},
  title     = {The Movement and Permutation of Columns in Magnetic Bubble Lattice
               Files},
  journal   = {{IEEE} Trans. Computers},
  volume    = {28},
  number    = {1},
  pages     = {8--15},
  year      = {1979},
  url       = {https://doi.org/10.1109/TC.1979.1675217},
  doi       = {10.1109/TC.1979.1675217},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/ChandraW79},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraH79,
  author    = {Ashok K. Chandra and
               David Harel},
  title     = {Computable Queries for Relational Data Bases (Preliminary Report)},
  booktitle = {Proceedings of the 11h Annual {ACM} Symposium on Theory of Computing,
               April 30 - May 2, 1979, Atlanta, Georgia, {USA}},
  pages     = {309--318},
  year      = {1979},
  crossref  = {DBLP:conf/stoc/STOC11},
  url       = {https://doi.org/10.1145/800135.804423},
  doi       = {10.1145/800135.804423},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/ChandraH79},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/ChandraM78,
  author    = {Ashok K. Chandra and
               George Markowsky},
  title     = {On the number of prime implicants},
  journal   = {Discrete Mathematics},
  volume    = {24},
  number    = {1},
  pages     = {7--11},
  year      = {1978},
  url       = {https://doi.org/10.1016/0012-365X(78)90168-1},
  doi       = {10.1016/0012-365X(78)90168-1},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dm/ChandraM78},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Chandra78,
  author    = {Ashok K. Chandra},
  title     = {Computable Nondeterministic Functions},
  booktitle = {19th Annual Symposium on Foundations of Computer Science, Ann Arbor,
               Michigan, USA, 16-18 October 1978},
  pages     = {127--131},
  year      = {1978},
  crossref  = {DBLP:conf/focs/FOCS19},
  url       = {https://doi.org/10.1109/SFCS.1978.10},
  doi       = {10.1109/SFCS.1978.10},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/focs/Chandra78},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraM77,
  author    = {Ashok K. Chandra and
               Philip M. Merlin},
  title     = {Optimal Implementation of Conjunctive Queries in Relational Data Bases},
  booktitle = {Proceedings of the 9th Annual {ACM} Symposium on Theory of Computing,
               May 4-6, 1977, Boulder, Colorado, {USA}},
  pages     = {77--90},
  year      = {1977},
  crossref  = {DBLP:conf/stoc/STOC9},
  url       = {https://doi.org/10.1145/800105.803397},
  doi       = {10.1145/800105.803397},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/ChandraM77},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BookC76,
  author    = {Ronald V. Book and
               Ashok K. Chandra},
  title     = {Inherently Nonplanar Automata},
  journal   = {Acta Inf.},
  volume    = {6},
  pages     = {89--94},
  year      = {1976},
  url       = {https://doi.org/10.1007/BF00263745},
  doi       = {10.1007/BF00263745},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/BookC76},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ChandraM76,
  author    = {Ashok K. Chandra and
               Zohar Manna},
  title     = {On the Power of Programming Features},
  journal   = {Comput. Lang.},
  volume    = {1},
  number    = {3},
  pages     = {219--232},
  year      = {1976},
  url       = {https://doi.org/10.1016/0096-0551(75)90032-6},
  doi       = {10.1016/0096-0551(75)90032-6},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cl/ChandraM76},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/WongC76,
  author    = {C. K. Wong and
               Ashok K. Chandra},
  title     = {Bounds for the String Editing Problem},
  journal   = {J. {ACM}},
  volume    = {23},
  number    = {1},
  pages     = {13--16},
  year      = {1976},
  url       = {https://doi.org/10.1145/321921.321923},
  doi       = {10.1145/321921.321923},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/WongC76},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Chandra76,
  author    = {Ashok K. Chandra},
  title     = {Generalized Program Schemas},
  journal   = {{SIAM} J. Comput.},
  volume    = {5},
  number    = {3},
  pages     = {402--413},
  year      = {1976},
  url       = {https://doi.org/10.1137/0205032},
  doi       = {10.1137/0205032},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/siamcomp/Chandra76},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChandraHW76,
  author    = {Ashok K. Chandra and
               Daniel S. Hirschberg and
               C. K. Wong},
  title     = {Approximate Algorithms for Some Generalized Knapsack Problems},
  journal   = {Theor. Comput. Sci.},
  volume    = {3},
  number    = {3},
  pages     = {293--304},
  year      = {1976},
  url       = {https://doi.org/10.1016/0304-3975(76)90048-7},
  doi       = {10.1016/0304-3975(76)90048-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/ChandraHW76},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ChandraS76,
  author    = {Ashok K. Chandra and
               Larry J. Stockmeyer},
  title     = {Alternation},
  booktitle = {17th Annual Symposium on Foundations of Computer Science, Houston,
               Texas, USA, 25-27 October 1976},
  pages     = {98--108},
  year      = {1976},
  crossref  = {DBLP:conf/focs/FOCS17},
  url       = {https://doi.org/10.1109/SFCS.1976.4},
  doi       = {10.1109/SFCS.1976.4},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/focs/ChandraS76},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC8,
  editor    = {Ashok K. Chandra and
               Detlef Wotschke and
               Emily P. Friedman and
               Michael A. Harrison},
  title     = {Proceedings of the 8th Annual {ACM} Symposium on Theory of Computing,
               May 3-5, 1976, Hershey, Pennsylvania, {USA}},
  publisher = {{ACM}},
  year      = {1976},
  timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/STOC8},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ChandraW75,
  author    = {Ashok K. Chandra and
               C. K. Wong},
  title     = {Worst-Case Analysis of a Placement Algorithm Related to Storage Allocation},
  journal   = {{SIAM} J. Comput.},
  volume    = {4},
  number    = {3},
  pages     = {249--263},
  year      = {1975},
  url       = {https://doi.org/10.1137/0204021},
  doi       = {10.1137/0204021},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/siamcomp/ChandraW75},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/Chandra74,
  author    = {Ashok K. Chandra},
  title     = {Independent Permutations, as Related to a Problem of Moser and a Theorem
               of P{\'{o}}lya},
  journal   = {J. Comb. Theory, Ser. {A}},
  volume    = {16},
  number    = {1},
  pages     = {111--120},
  year      = {1974},
  url       = {https://doi.org/10.1016/0097-3165(74)90076-4},
  doi       = {10.1016/0097-3165(74)90076-4},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jct/Chandra74},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Chandra74,
  author    = {Ashok K. Chandra},
  title     = {Generalized Program Schemas},
  booktitle = {Automata, Languages and Programming, 2nd Colloquium, University of
               Saarbr{\"{u}}cken, Germany, July 29 - August 2, 1974, Proceedings},
  pages     = {562--576},
  year      = {1974},
  crossref  = {DBLP:conf/icalp/1974},
  url       = {https://doi.org/10.1007/3-540-06841-4\_90},
  doi       = {10.1007/3-540-06841-4\_90},
  timestamp = {Tue, 19 Jun 2018 07:52:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/Chandra74},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Chandra74,
  author    = {Ashok K. Chandra},
  title     = {The Power of Parallelism and Nondeterminism in Programming},
  booktitle = {{IFIP} Congress},
  pages     = {461--465},
  year      = {1974},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip/Chandra74},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Chandra74,
  author    = {Ashok K. Chandra},
  title     = {Degrees of Translatability and Canonical Forms in Program Schemas:
               Part {I}},
  booktitle = {Proceedings of the 6th Annual {ACM} Symposium on Theory of Computing,
               April 30 - May 2, 1974, Seattle, Washington, {USA}},
  pages     = {1--12},
  year      = {1974},
  crossref  = {DBLP:conf/stoc/STOC6},
  url       = {https://doi.org/10.1145/800119.803879},
  doi       = {10.1145/800119.803879},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/Chandra74},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Chandra73,
  author    = {Ashok K. Chandra},
  title     = {Efficient Compilation of Linear Recursive Programs},
  booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
               Iowa, USA, October 15-17, 1973},
  pages     = {16--25},
  year      = {1973},
  crossref  = {DBLP:conf/focs/FOCS14},
  url       = {https://doi.org/10.1109/SWAT.1973.7},
  doi       = {10.1109/SWAT.1973.7},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/focs/Chandra73},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Chandra73,
  author    = {Ashok K. Chandra},
  title     = {On the Decision Problems of Program Schemas with Commutative and Invertable
               Functions},
  booktitle = {Conference Record of the {ACM} Symposium on Principles of Programming
               Languages, Boston, Massachusetts, USA, October 1973},
  pages     = {235--242},
  year      = {1973},
  crossref  = {DBLP:conf/popl/1973},
  url       = {https://doi.org/10.1145/512927.512949},
  doi       = {10.1145/512927.512949},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/Chandra73},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ChandraM72,
  author    = {Ashok K. Chandra and
               Zohar Manna},
  title     = {Program Schemas with Equality},
  booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing,
               May 1-3, 1972, Denver, Colorado, {USA}},
  pages     = {52--64},
  year      = {1972},
  crossref  = {DBLP:conf/stoc/STOC4},
  url       = {https://doi.org/10.1145/800152.804896},
  doi       = {10.1145/800152.804896},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/ChandraM72},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecir/2014,
  editor    = {Maarten de Rijke and
               Tom Kenter and
               Arjen P. de Vries and
               ChengXiang Zhai and
               Franciska de Jong and
               Kira Radinsky and
               Katja Hofmann},
  title     = {Advances in Information Retrieval - 36th European Conference on {IR}
               Research, {ECIR} 2014, Amsterdam, The Netherlands, April 13-16, 2014.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8416},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06028-6},
  doi       = {10.1007/978-3-319-06028-6},
  isbn      = {978-3-319-06027-9},
  timestamp = {Sun, 21 May 2017 00:22:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecir/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/www/2014c,
  editor    = {Chin{-}Wan Chung and
               Andrei Z. Broder and
               Kyuseok Shim and
               Torsten Suel},
  title     = {23rd International World Wide Web Conference, {WWW} '14, Seoul, Republic
               of Korea, April 7-11, 2014, Companion Volume},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2567948},
  isbn      = {978-1-4503-2745-9},
  timestamp = {Tue, 15 Apr 2014 21:35:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/www/2014c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pimrc/2003,
  title     = {Proceedings of the {IEEE} 14th International Symposium on Personal,
               Indoor and Mobile Radio Communications, {PIMRC} 2003, 7-10 September
               2003, Beijing, China},
  publisher = {{IEEE}},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8905},
  isbn      = {0-7803-7822-9},
  timestamp = {Thu, 18 Jul 2013 11:26:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pimrc/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icde/96,
  editor    = {Stanley Y. W. Su},
  title     = {Proceedings of the Twelfth International Conference on Data Engineering,
               February 26 - March 1, 1996, New Orleans, Louisiana, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3551},
  isbn      = {0-8186-7240-4},
  timestamp = {Tue, 19 Jun 2018 07:55:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icde/96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acm/1994,
  editor    = {John Werth and
               Laurie Honour Werth},
  title     = {Proceedings of the {ACM} 22rd Annual Computer Science Conference on
               Scaling up: Meeting the Challenge of Complexity in Real-World Computing
               Applications, {CSC} '94, Phoenix, Arizona, USA, March 8-10, 1994},
  publisher = {{ACM}},
  year      = {1994},
  url       = {http://dl.acm.org/citation.cfm?id=197530},
  isbn      = {0-89791-634-4},
  timestamp = {Thu, 23 Apr 2015 17:57:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acm/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/1994,
  title     = {Proceedings 1994 {IEEE} International Conference on Computer Design:
               {VLSI} in Computer {\&} Processors, {ICCD} '94, Cambridge, MA,
               USA, October 10-12, 1994},
  publisher = {{IEEE} Computer Society},
  year      = {1994},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=1002},
  isbn      = {0-8186-6565-3},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/1992,
  title     = {Proceedings 1992 {IEEE} International Conference on Computer Design:
               {VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
               USA, October 11-14, 1992},
  publisher = {{IEEE} Computer Society},
  year      = {1992},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=442},
  isbn      = {0-8186-3110-4},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spaa/1989,
  editor    = {Frank Thomson Leighton},
  title     = {Proceedings of the {ACM} Symposium on Parallel Algorithms and Architectures,
               {SPAA} '89, Santa Fe, New Mexico, USA, June 18-21, 1989},
  publisher = {{ACM}},
  year      = {1989},
  url       = {https://doi.org/10.1145/72935},
  doi       = {10.1145/72935},
  isbn      = {0-89791-323-X},
  timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spaa/1989},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/stoc/STOC21},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/icalp/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/88,
  editor    = {Chris Edmondson{-}Yurkanan and
               Mihalis Yannakakis},
  title     = {Proceedings of the Seventh {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, March 21-23, 1988, Austin, Texas,
               {USA}},
  publisher = {{ACM}},
  year      = {1988},
  url       = {http://dl.acm.org/citation.cfm?id=308386},
  isbn      = {0-89791-263-2},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pods/88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC20,
  editor    = {Janos Simon},
  title     = {Proceedings of the 20th Annual {ACM} Symposium on Theory of Computing,
               May 2-4, 1988, Chicago, Illinois, {USA}},
  publisher = {{ACM}},
  year      = {1988},
  isbn      = {0-89791-264-0},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/STOC20},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/focs/FOCS28},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC19,
  editor    = {Alfred V. Aho},
  title     = {Proceedings of the 19th Annual {ACM} Symposium on Theory of Computing,
               1987, New York, New York, {USA}},
  publisher = {{ACM}},
  year      = {1987},
  isbn      = {0-89791-221-7},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/STOC19},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/icalp/1983},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/stoc/STOC15},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/focs/FOCS23},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/82,
  editor    = {Jeffrey D. Ullman and
               Alfred V. Aho},
  title     = {Proceedings of the {ACM} Symposium on Principles of Database Systems,
               March 29-31, 1982, Los Angeles, California, {USA}},
  publisher = {{ACM}},
  year      = {1982},
  url       = {http://dl.acm.org/citation.cfm?id=588111},
  isbn      = {0-89791-070-2},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pods/82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/81,
  editor    = {John White and
               Richard J. Lipton and
               Patricia C. Goldberg},
  title     = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
               of Programming Languages, Williamsburg, Virginia, USA, January 1981},
  publisher = {{ACM} Press},
  year      = {1981},
  url       = {http://dl.acm.org/citation.cfm?id=567532},
  isbn      = {0-89791-029-X},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/81},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/stoc/STOC13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS21,
  title     = {21st Annual Symposium on Foundations of Computer Science, Syracuse,
               New York, USA, 13-15 October 1980},
  publisher = {{IEEE} Computer Society},
  year      = {1980},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4567793},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/focs/FOCS21},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/xp/1980,
  editor    = {David Maier},
  title     = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/xp/1980},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/stoc/STOC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS19,
  title     = {19th Annual Symposium on Foundations of Computer Science, Ann Arbor,
               Michigan, USA, 16-18 October 1978},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4567951},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/focs/FOCS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC9,
  editor    = {John E. Hopcroft and
               Emily P. Friedman and
               Michael A. Harrison},
  title     = {Proceedings of the 9th Annual {ACM} Symposium on Theory of Computing,
               May 4-6, 1977, Boulder, Colorado, {USA}},
  publisher = {{ACM}},
  year      = {1977},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/STOC9},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS17,
  title     = {17th Annual Symposium on Foundations of Computer Science, Houston,
               Texas, USA, 25-27 October 1976},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4567877},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/focs/FOCS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1974,
  editor    = {Jacques Loeckx},
  title     = {Automata, Languages and Programming, 2nd Colloquium, University of
               Saarbr{\"{u}}cken, Germany, July 29 - August 2, 1974, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {14},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/3-540-06841-4},
  doi       = {10.1007/3-540-06841-4},
  isbn      = {3-540-06841-4},
  timestamp = {Tue, 19 Jun 2018 07:52:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/1974},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC6,
  editor    = {Robert L. Constable and
               Robert W. Ritchie and
               Jack W. Carlyle and
               Michael A. Harrison},
  title     = {Proceedings of the 6th Annual {ACM} Symposium on Theory of Computing,
               April 30 - May 2, 1974, Seattle, Washington, {USA}},
  publisher = {{ACM}},
  year      = {1974},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/STOC6},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS14,
  title     = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
               Iowa, USA, October 15-17, 1973},
  publisher = {{IEEE} Computer Society},
  year      = {1973},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4569717},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/focs/FOCS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1973,
  editor    = {Patrick C. Fischer and
               Jeffrey D. Ullman},
  title     = {Conference Record of the {ACM} Symposium on Principles of Programming
               Languages, Boston, Massachusetts, USA, October 1973},
  publisher = {{ACM} Press},
  year      = {1973},
  url       = {http://dl.acm.org/citation.cfm?id=512927},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1973},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC4,
  editor    = {Patrick C. Fischer and
               H. Paul Zeiger and
               Jeffrey D. Ullman and
               Arnold L. Rosenberg},
  title     = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing,
               May 1-3, 1972, Denver, Colorado, {USA}},
  publisher = {{ACM}},
  year      = {1972},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/STOC4},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier