Search dblp for Publications

export results for "toc:db/conf/istcs/istcs1993.bht:"

 download as .bib file

@inproceedings{DBLP:conf/istcs/AfekH93,
  author       = {Yehuda Afek and
                  Danny Hendler},
  title        = {On the Complexity of Global Computation in the Presence of Link Failures:
                  The General Case},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {160--166},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253473},
  doi          = {10.1109/ISTCS.1993.253473},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/AfekH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Bellare93,
  author       = {Mihir Bellare},
  title        = {Interactive Proofs and Approximation: Reduction from Two Provers in
                  One Round},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {266--274},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253462},
  doi          = {10.1109/ISTCS.1993.253462},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/Bellare93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Ben-DorH93,
  author       = {Amir Ben{-}Dor and
                  Shai Halevi},
  title        = {Zero-One Permanent is \emph{{\#}P}-Complete, {A} Simpler Proof},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {108--117},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253457},
  doi          = {10.1109/ISTCS.1993.253457},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/Ben-DorH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/CaiC93,
  author       = {Liming Cai and
                  Jianer Chen},
  title        = {On Fixed-Parameter Tractability and Approximability of \emph{NP}-Hard
                  Optimization Problems},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {118--126},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253478},
  doi          = {10.1109/ISTCS.1993.253478},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/CaiC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Chaudhuri93,
  author       = {Shiva Chaudhuri},
  title        = {A Lower Bound for Linear Approximate Compaction},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {25--32},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253487},
  doi          = {10.1109/ISTCS.1993.253487},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/Chaudhuri93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Cohen93,
  author       = {Edith Cohen},
  title        = {Using Selective Path-Doubling for Parallel Shortest-Path Computations},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {78--87},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253481},
  doi          = {10.1109/ISTCS.1993.253481},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/Cohen93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/ColeHPZ93,
  author       = {Richard Cole and
                  Ramesh Hariharan and
                  Mike Paterson and
                  Uri Zwick},
  title        = {Which Patterns are Hard to Find?},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {59--68},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253483},
  doi          = {10.1109/ISTCS.1993.253483},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/ColeHPZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/CondonH93,
  author       = {Anne Condon and
                  Diane Hernek},
  title        = {Random Walks on Colored Graphs},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {134--140},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253476},
  doi          = {10.1109/ISTCS.1993.253476},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/CondonH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Dinitz93,
  author       = {Yefim Dinitz},
  title        = {Maintaining the 4-Edge-Connected Components of a Graph On-Line},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {88--97},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253480},
  doi          = {10.1109/ISTCS.1993.253480},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/Dinitz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/DolevHP93,
  author       = {Danny Dolev and
                  Yuval Harari and
                  Michal Parnas},
  title        = {Finding the Neighborhood of a Query in a Dictionary},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {33--42},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253486},
  doi          = {10.1109/ISTCS.1993.253486},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/DolevHP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/EfratG93,
  author       = {Alon Efrat and
                  Craig Gotsman},
  title        = {Subpixel Image Registration Using Circular Fiducials},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {49--58},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253484},
  doi          = {10.1109/ISTCS.1993.253484},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/EfratG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/El-YanivK93,
  author       = {Ran El{-}Yaniv and
                  Richard M. Karp},
  title        = {The Mortgage Problem},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {304--312},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253458},
  doi          = {10.1109/ISTCS.1993.253458},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/El-YanivK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/FiatR93,
  author       = {Amos Fiat and
                  Moty Ricklin},
  title        = {Competitive Algorithms for the Weighted Server Problem},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {294--303},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253459},
  doi          = {10.1109/ISTCS.1993.253459},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/FiatR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/GarayGKMY93,
  author       = {Juan A. Garay and
                  Inder S. Gopal and
                  Shay Kutten and
                  Yishay Mansour and
                  Moti Yung},
  title        = {Efficient On-Line Call Control Algorithms},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {285--293},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253460},
  doi          = {10.1109/ISTCS.1993.253460},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/GarayGKMY93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Goldwasser93,
  author       = {Shafi Goldwasser},
  title        = {Efficient Interactive Proofs and Applications to Approximation},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  timestamp    = {Tue, 31 May 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/istcs/Goldwasser93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/GreenbergS93,
  author       = {Ronald I. Greenberg and
                  Jau{-}Der Shih},
  title        = {Feasible Offset an Optimal Offset for Single-Layer Channel Routing},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {193--201},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253470},
  doi          = {10.1109/ISTCS.1993.253470},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/GreenbergS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/HastadPS93,
  author       = {Johan H{\aa}stad and
                  Steven J. Phillips and
                  Shmuel Safra},
  title        = {A Well-Characterized Approximation Problem},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {261--265},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253463},
  doi          = {10.1109/ISTCS.1993.253463},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/istcs/HastadPS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/ItaiS93,
  author       = {Alon Itai and
                  Hadas Shachnai},
  title        = {Adaptive Source Routing in High-Speed Networks},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {212--221},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253468},
  doi          = {10.1109/ISTCS.1993.253468},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/ItaiS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/KhannaLS93,
  author       = {Sanjeev Khanna and
                  Nathan Linial and
                  Shmuel Safra},
  title        = {On the Hardness of Approximating the Chromatic Number},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {250--260},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253464},
  doi          = {10.1109/ISTCS.1993.253464},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/istcs/KhannaLS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Khasidashvili93,
  author       = {Zurab Khasidashvili},
  title        = {On the Equivalence of Persistent Term Rewriting Systems and Recursive
                  Program Schemes},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {240--249},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253465},
  doi          = {10.1109/ISTCS.1993.253465},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/Khasidashvili93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/KokK93,
  author       = {Joost N. Kok and
                  Peter M. W. Knijnenburg},
  title        = {Divergence Models for Atomized Statements and Parallel Choice},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {231--239},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253466},
  doi          = {10.1109/ISTCS.1993.253466},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/KokK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/KuttenOP93,
  author       = {Shay Kutten and
                  Rafail Ostrovsky and
                  Boaz Patt{-}Shamir},
  title        = {The Las-Vegas Processor Identity Problem (How and When to Be Unique)},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {150--159},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253474},
  doi          = {10.1109/ISTCS.1993.253474},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/KuttenOP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Lengauer93,
  author       = {Thomas Lengauer},
  title        = {Algorithmic Research Problems in Molecular Bioinformatics},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {177--192},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253471},
  doi          = {10.1109/ISTCS.1993.253471},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/Lengauer93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/LinialPRS93,
  author       = {Nathan Linial and
                  David Peleg and
                  Yuri Rabinovich and
                  Michael E. Saks},
  title        = {Sphere Packing and Local Majorities in Graphs},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {141--149},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253475},
  doi          = {10.1109/ISTCS.1993.253475},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/LinialPRS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/LubySZ93,
  author       = {Michael Luby and
                  Alistair Sinclair and
                  David Zuckerman},
  title        = {Optimal Speedup of Las Vegas Algorithms},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {128--133},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253477},
  doi          = {10.1109/ISTCS.1993.253477},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/LubySZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/LubyVW93,
  author       = {Michael Luby and
                  Boban Velickovic and
                  Avi Wigderson},
  title        = {Deterministic Approximate Counting of Depth-2 Circuits},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {18--24},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253488},
  doi          = {10.1109/ISTCS.1993.253488},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/LubyVW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/MegiddoNA93,
  author       = {Nimrod Megiddo and
                  Moni Naor and
                  David P. Anderson},
  title        = {The Minimum Reservation Rate Problem in Digital Audio/Video Systems},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {43--48},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253485},
  doi          = {10.1109/ISTCS.1993.253485},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/MegiddoNA93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/NewmanS93,
  author       = {Ilan Newman and
                  Assaf Schuster},
  title        = {Hot-Potato Worm Routing is Almost as Easy as Store-and-Forward Packet
                  Routing},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {202--211},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253469},
  doi          = {10.1109/ISTCS.1993.253469},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/NewmanS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/OstrovskyW93,
  author       = {Rafail Ostrovsky and
                  Avi Wigderson},
  title        = {One-Way Fuctions are Essential for Non-Trivial Zero-Knowledge},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {3--17},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253489},
  doi          = {10.1109/ISTCS.1993.253489},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/OstrovskyW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/PelegSW93,
  author       = {David Peleg and
                  Gideon Schechtman and
                  Avishai Wool},
  title        = {Approximating Bounded 0-1 Integer Linear Programs},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {69--77},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253482},
  doi          = {10.1109/ISTCS.1993.253482},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/PelegSW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Petrank93,
  author       = {Erez Petrank},
  title        = {The Hardness of Approximation: Gap Location},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {275--284},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253461},
  doi          = {10.1109/ISTCS.1993.253461},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/Petrank93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Sere93,
  author       = {Kaisa Sere},
  title        = {A Formalization of Superposition Refinement},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {222--230},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253467},
  doi          = {10.1109/ISTCS.1993.253467},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/Sere93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Shamir93,
  author       = {Adi Shamir},
  title        = {Practical Cryptography - Recent Trends and Results},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {127},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  timestamp    = {Tue, 31 May 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/istcs/Shamir93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/SiegelmannS93,
  author       = {Hava T. Siegelmann and
                  Eduardo D. Sontag},
  title        = {Analog Computation Via Neural Networks},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {98--107},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253479},
  doi          = {10.1109/ISTCS.1993.253479},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/SiegelmannS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Stomp93,
  author       = {Frank A. Stomp},
  title        = {Structured Design of Self-Stabilizing Programs},
  booktitle    = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  pages        = {167--176},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISTCS.1993.253472},
  doi          = {10.1109/ISTCS.1993.253472},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/istcs/Stomp93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/istcs/1993,
  title        = {Second Israel Symposium on Theory of Computing Systems, {ISTCS} 1993,
                  Natanya, Israel, June 7-9, 1993, Proceedings},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/459/proceeding},
  isbn         = {0-8186-3630-0},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/istcs/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics