Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/istcs:"
download as .bib file
@inproceedings{DBLP:conf/istcs/AdlerBBLR97,
author = {Micah Adler and
Yair Bartal and
John W. Byers and
Michael Luby and
Danny Raz},
title = {A Modular Analysis of Network Transmission Protocols},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {54--62},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595157},
doi = {10.1109/ISTCS.1997.595157},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/AdlerBBLR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/AfekD97,
author = {Yehuda Afek and
Shlomi Dolev},
title = {Local Stabilizer},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {74--84},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595159},
doi = {10.1109/ISTCS.1997.595159},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/AfekD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Asano97,
author = {Takao Asano},
title = {Approximation Algorithms for {MAX} {SAT:} Yannakakis vs. Goemans-Williamson},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {24--37},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595154},
doi = {10.1109/ISTCS.1997.595154},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Asano97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/AzarE97,
author = {Yossi Azar and
Leah Epstein},
title = {On-Line Load Balancing of Temporary Tasks on Identical Machines},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {119--125},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595163},
doi = {10.1109/ISTCS.1997.595163},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/AzarE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Beigel97,
author = {Richard Beigel},
title = {Closure Properties of GapP and {\#}P},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {144--146},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595166},
doi = {10.1109/ISTCS.1997.595166},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Beigel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/BeigelC97,
author = {Richard Beigel and
Richard Chang},
title = {Commutative Queries},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {159--165},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595168},
doi = {10.1109/ISTCS.1997.595168},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/BeigelC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/BonehL97,
author = {Dan Boneh and
Richard J. Lipton},
title = {Effect of Operators on Straight Line Complexity},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {1--5},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595151},
doi = {10.1109/ISTCS.1997.595151},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/BonehL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/BrassardH97,
author = {Gilles Brassard and
Peter H{\o}yer},
title = {An Exact Quantum Polynomial-Time Algorithm for Simon's Problem},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {12--23},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595153},
doi = {10.1109/ISTCS.1997.595153},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/BrassardH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/CapelleH97,
author = {Christian Capelle and
Michel Habib},
title = {Graph decompositions and factorizing permutations},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {132--143},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595165},
doi = {10.1109/ISTCS.1997.595165},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/CapelleH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/CohenL97,
author = {Jaime Cohen and
Claudio L. Lucchesi},
title = {Minimax relations for T-join packing problems},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {38--44},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595155},
doi = {10.1109/ISTCS.1997.595155},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/CohenL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/DinitzEMZ97,
author = {Yefim Dinitz and
Tamar Eilam and
Shlomo Moran and
Shmuel Zaks},
title = {On the total\({}_{\mbox{k}}\)-diameter of connection networks},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {96--106},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595161},
doi = {10.1109/ISTCS.1997.595161},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/DinitzEMZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/FeigeK97,
author = {Uriel Feige and
Robert Krauthgamer},
title = {Stereoscopic families of permutations, and their applications},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {85--95},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595160},
doi = {10.1109/ISTCS.1997.595160},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/FeigeK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Frankel97,
author = {Pat Frankel},
title = {Exact Analysis of Exact Change},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {107--118},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595162},
doi = {10.1109/ISTCS.1997.595162},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Frankel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/FuB97,
author = {Bin Fu and
Richard Beigel},
title = {A Comparison of Resource-Bounded Molecular Computation Models},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {6--11},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595152},
doi = {10.1109/ISTCS.1997.595152},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/FuB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/GolinS97,
author = {Mordecai J. Golin and
Assaf Schuster},
title = {Optimal point-to-point broadcast algorithms via lopsided trees},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {63--73},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595158},
doi = {10.1109/ISTCS.1997.595158},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/GolinS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/GrebinskiK97,
author = {Vladimir Grebinski and
Gregory Kucherov},
title = {Optimal Query Bounds for Reconstructing a Hamiltonian Cycle in Complete
Graphs},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {166--173},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595169},
doi = {10.1109/ISTCS.1997.595169},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/GrebinskiK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/IshaiK97,
author = {Yuval Ishai and
Eyal Kushilevitz},
title = {Private Simultaneous Messages Protocols with Applications},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {174--184},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595170},
doi = {10.1109/ISTCS.1997.595170},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/IshaiK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/JacksonSS97,
author = {Jeffrey C. Jackson and
Eli Shamir and
Clara Shwartzman},
title = {Learning with Queries Corrupted by Classification Noise},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {45--53},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595156},
doi = {10.1109/ISTCS.1997.595156},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/JacksonSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/KupfermanV97,
author = {Orna Kupferman and
Moshe Y. Vardi},
title = {Weak Alternating Automata Are Not That Weak},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {147--158},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595167},
doi = {10.1109/ISTCS.1997.595167},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/KupfermanV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/ShamirT97,
author = {Ron Shamir and
Dekel Tsur},
title = {Faster subtree isomorphism},
booktitle = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
pages = {126--131},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISTCS.1997.595164},
doi = {10.1109/ISTCS.1997.595164},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/ShamirT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/istcs/1997,
title = {Fifth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://ieeexplore.ieee.org/xpl/conhome/4625/proceeding},
isbn = {0-8186-8037-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/AltenkirchHS96,
author = {Thorsten Altenkirch and
Martin Hofmann and
Thomas Streicher},
title = {Reduction-Free Normalisation for a Polymorphic System},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {146},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 15:27:26 +0200},
biburl = {https://dblp.org/rec/conf/istcs/AltenkirchHS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/AndreevCR96,
author = {Alexander E. Andreev and
Andrea E. F. Clementi and
Jos{\'{e}} D. P. Rolim},
title = {On the Parallel Computation of Boolean Functions on Unrelated inputs},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {155--161},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/AndreevCR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/AwerbuchAF96,
author = {Baruch Awerbuch and
Yossi Azar and
Amos Fiat},
title = {Packet Routing via Min-Cost Circuit Routing},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {37--42},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/AwerbuchAF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Bar-IlanKP96,
author = {Judit Bar{-}Ilan and
Guy Kortsarz and
David Peleg},
title = {Generalized Submodular Cover Problems and Applications},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {110--118},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Bar-IlanKP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Bar-NoyST96,
author = {Amotz Bar{-}Noy and
Hadas Shachnai and
Tami Tamir},
title = {On Chromatic Sums and Distributed Resource Allocation},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {119--128},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Bar-NoyST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/BoldiSVCGS96,
author = {Paolo Boldi and
Shella Shammah and
Sebastiano Vigna and
Bruno Codenotti and
Peter Gemmell and
Janos Simon},
title = {Symmetry Breaking in Anonymous Networks: Characterizations},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {16--26},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/BoldiSVCGS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/CadoliDLS96,
author = {Marco Cadoli and
Francesco M. Donini and
Paolo Liberatore and
Marco Schaerf},
title = {Feasibility and Unfeasibility of Off-Line Processing},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/CadoliDLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/ChorI96,
author = {Benny Chor and
Yuval Ishai},
title = {On Privacy and Partition Arguments},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {191--194},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/ChorI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/CodishL96,
author = {Michael Codish and
Vitaly Lagoon},
title = {Type Dependencies for Logic Programs Using ACI-Unification},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/CodishL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/CrescenziST96,
author = {Pierluigi Crescenzi and
Riccardo Silvestri and
Luca Trevisan},
title = {To Weight or Not to Weight: Where is the Question?},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {68--77},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/CrescenziST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/DolevKK96,
author = {Shlomi Dolev and
Evangelos Kranakis and
Danny Krizanc},
title = {Baked Potato Routing},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {27--36},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/DolevKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/EvenNSZ96,
author = {Guy Even and
Joseph Naor and
Baruch Schieber and
Leonid Zosin},
title = {Approximating Minimum Subset Feedback Sets in Undirected Graphs with
Applications},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {78--88},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/EvenNSZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/FeigeR96,
author = {Uriel Feige and
Yuri Rabinovich},
title = {Deterministic Approximation of the Cover Time},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {208--218},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/FeigeR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/KannKLP96,
author = {Viggo Kann and
Sanjeev Khanna and
Jens Lagergren and
Alessandro Panconesi},
title = {On the Hardness of Approximating Max k-Cut and Its Dual},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {61--67},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/KannKLP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/KaplanS96,
author = {Haim Kaplan and
Ron Shamir},
title = {Physical Maps and Interval Sandwich Problems: Bounded Degrees Help},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {195--201},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/KaplanS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Karasik96,
author = {Y. B. Karasik},
title = {On Advances in Optical Computational Models and Problems which They
Help to Solve},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {52--60},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Karasik96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Leighton96,
author = {Frank Thomson Leighton},
title = {How to Pick a Winner Almost Every Time: Provably-Good Algorithms for
Decision Making in the Face of Uncertainty},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Leighton96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/LynchR96,
author = {Nancy A. Lynch and
Sergio Rajsbaum},
title = {On the Borowsky-Gafni Simulation Algorithm},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {4--15},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/LynchR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/MansourP96,
author = {Yishay Mansour and
Michal Parnas},
title = {On Learning Conjunctions with Malicious Noise},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {170--175},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/MansourP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/MargolisSW96,
author = {Stuart W. Margolis and
Mark V. Sapir and
Pascal Weil},
title = {On the Indecomposibility of Certain Language Classes},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {129--134},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/MargolisSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/MullerP96,
author = {Silvia M. M{\"{u}}ller and
Wolfgang J. Paul},
title = {Making the Original Scoreboard Mechanism Deadlock Free},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {92--99},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/MullerP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/NaorR96,
author = {Moni Naor and
Sitvanit Ruah},
title = {On the Decisional Complexity of Problems Over the Reals},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {176--187},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/NaorR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Pulleyblank96,
author = {William R. Pulleyblank},
title = {The Airline Crew Pairing Optimization Problem},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {189},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Pulleyblank96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/SharanW96,
author = {Roded Sharan and
Avi Wigderson},
title = {A New \emph{NC}Algorithm for Perfect Matching in Bipartite Cubic Graphs},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {202--207},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/SharanW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Sharir96,
author = {Micha Sharir},
title = {Arrangements of Curves and Surfaces in Computational Geometry},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {44--50},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Sharir96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Ullman96,
author = {Shimon Ullman},
title = {Visual Object Recognition},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {90},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Ullman96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/WagnerLB96,
author = {Israel A. Wagner and
Michael Lindenbaum and
Alfred M. Bruckstein},
title = {Smell as a Computational Resource - {A} Lesson We Can Learn from the
Ant},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {219--230},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/WagnerLB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/WitteveenH96,
author = {Cees Witteveen and
Wiebe van der Hoek},
title = {Updating Nonmonotonic Databases},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {147--153},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/WitteveenH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Zippel96,
author = {Richard Zippel},
title = {On Satisfiability},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {162--169},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Zippel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/istcs/1996,
title = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
publisher = {{IEEE} Computer Society},
year = {1996},
isbn = {0-8186-7610-8},
timestamp = {Tue, 31 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/AroyaNS95,
author = {Ishai Ben{-}Aroya and
Ilan Newman and
Assaf Schuster},
title = {Randomized Single-Target Hot-Potato Routing},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {20--29},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377050},
doi = {10.1109/ISTCS.1995.377050},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/AroyaNS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/BellareFK95,
author = {Mihir Bellare and
Uriel Feige and
Joe Kilian},
title = {On the Role of Shared Randomness in Two Prover Proof Systems},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {199--208},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377031},
doi = {10.1109/ISTCS.1995.377031},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/BellareFK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Ben-DorIS95,
author = {Amir Ben{-}Dor and
Amos Israeli and
Asaf Shirazi},
title = {Dynamic Counting},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {111--120},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377040},
doi = {10.1109/ISTCS.1995.377040},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Ben-DorIS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/BerkmanGM95,
author = {Omer Berkman and
Phillip B. Gibbons and
Yossi Matias},
title = {On the Power of Randomization for the Common {PRAM}},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {229--240},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377027},
doi = {10.1109/ISTCS.1995.377027},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/BerkmanGM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/BritMT95,
author = {Hagit Brit and
Shlomo Moran and
Gadi Taubenfeld},
title = {Public Data Structures: Counters as a Special Case (Abridged Version)},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {98--110},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377041},
doi = {10.1109/ISTCS.1995.377041},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/BritMT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/CzumajHS95,
author = {Artur Czumaj and
Friedhelm Meyer auf der Heide and
Volker Stemann},
title = {Improved Optimal Shared Memory Simulations, and the Power of Reconfiguration},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {11--19},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377051},
doi = {10.1109/ISTCS.1995.377051},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/CzumajHS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/DorZ95,
author = {Dorit Dor and
Uri Zwick},
title = {Finding percentile elements},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {88--97},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377042},
doi = {10.1109/ISTCS.1995.377042},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/DorZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Feige95,
author = {Uriel Feige},
title = {Observations on Hot Potato Routing},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {30--39},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377049},
doi = {10.1109/ISTCS.1995.377049},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Feige95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/FeigeG95,
author = {Uriel Feige and
Michel X. Goemans},
title = {Aproximating the Value of Two Prover Proof Systems, With Applications
to {MAX} 2SAT and {MAX} {DICUT}},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {182--189},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377033},
doi = {10.1109/ISTCS.1995.377033},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/FeigeG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/FriedlS95,
author = {Katalin Friedl and
Madhu Sudan},
title = {Some Improvements to Total Degree Tests},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {190--198},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377032},
doi = {10.1109/ISTCS.1995.377032},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/FriedlS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/GemundJMPS95,
author = {G. Gem{\"{u}}nd and
M. Jakob and
Werner Massonne and
Wolfgang J. Paul and
B. Spengler},
title = {High Performance Transaction Systems on the {SB-PRAM}},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377052},
doi = {10.1109/ISTCS.1995.377052},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/GemundJMPS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/GerthKPP95,
author = {Rob Gerth and
Ruurd Kuiper and
Doron A. Peled and
Wojciech Penczek},
title = {A Partial Order Approach to Branching Time Logic Model Checking},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377038},
doi = {10.1109/ISTCS.1995.377038},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/GerthKPP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/GoldbergZ95,
author = {Tal Goldberg and
Uri Zwick},
title = {Optimal deterministic approximate parallel prefix sums and their applications},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {220--228},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377028},
doi = {10.1109/ISTCS.1995.377028},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/GoldbergZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/HarelS95,
author = {David Harel and
Eli Singerman},
title = {More on Nonregular {PDL:} Expressive Power, Finite Models, Fibonacci
Programs},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {140--149},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377037},
doi = {10.1109/ISTCS.1995.377037},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/HarelS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Hoyer95,
author = {Peter H{\o}yer},
title = {A General Technique for Implementation of Efficient Priority Queues},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {57--66},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377045},
doi = {10.1109/ISTCS.1995.377045},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Hoyer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Katz95,
author = {Matthew J. Katz},
title = {Improved Algorithms in Geometric Optimization via Expanders},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {78--87},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377043},
doi = {10.1109/ISTCS.1995.377043},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Katz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/KilianN95,
author = {Joe Kilian and
Moni Naor},
title = {On the Complexity of Statistical Reasoning (extended abtract)},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {209--217},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377030},
doi = {10.1109/ISTCS.1995.377030},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/KilianN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/KleinbergAL95,
author = {Jon M. Kleinberg and
Hagit Attiya and
Nancy A. Lynch},
title = {Trade-offs between Message Delivery and Quiesce Times in Conection
Management Protocols (Preliminary Report)},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {258--267},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377024},
doi = {10.1109/ISTCS.1995.377024},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/KleinbergAL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/MayerNS95,
author = {Alain J. Mayer and
Moni Naor and
Larry J. Stockmeyer},
title = {Local Computations on Static and Dynamic Graphs (Preliminary Version)},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {268--278},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377023},
doi = {10.1109/ISTCS.1995.377023},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/MayerNS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Moran95,
author = {Shlomo Moran},
title = {Using Approximate Agreement to Obtain Complete Disagreement: The Output
Structure of Input-Free Asynchronous Computations},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {251--257},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377025},
doi = {10.1109/ISTCS.1995.377025},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Moran95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Petersen95,
author = {Holger Petersen},
title = {Automata with Sensing Heads},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {150--157},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377036},
doi = {10.1109/ISTCS.1995.377036},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Petersen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/PevznerW95,
author = {Pavel A. Pevzner and
Michael S. Waterman},
title = {Open Combinatorial Problems in Computational Molecular Biology},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {158--173},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377035},
doi = {10.1109/ISTCS.1995.377035},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/PevznerW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/RianyST95,
author = {Yaron Riany and
Nir Shavit and
Dan Touitou},
title = {Towards {A} Practical Snapshot Algorithm},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {121--129},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377039},
doi = {10.1109/ISTCS.1995.377039},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/RianyST95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/RossnerS95,
author = {Carsten R{\"{o}}ssner and
Claus{-}Peter Schnorr},
title = {Computation of Highly Regular Nearby Points},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {174--181},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377034},
doi = {10.1109/ISTCS.1995.377034},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/RossnerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Schmidt95,
author = {Jeanette P. Schmidt},
title = {All Shortest Paths in Weighted Grid Graphs and its Application to
Finding All Approximate Repeats in Strings},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {67--77},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377044},
doi = {10.1109/ISTCS.1995.377044},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Schmidt95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Sgall95,
author = {Jir{\'{\i}} Sgall},
title = {Randomized On-Line Scheduling of Parallel Jobs},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {241--250},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377026},
doi = {10.1109/ISTCS.1995.377026},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Sgall95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/TardosB95,
author = {G{\'{a}}bor Tardos and
David A. Mix Barrington},
title = {A Lower Bound on the Mod 6 Degree of the {OR} Function},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {52--56},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377046},
doi = {10.1109/ISTCS.1995.377046},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/TardosB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Vereshchagin95,
author = {Nikolai K. Vereshchagin},
title = {NP-sets are Co-NP-immune Relative to a Random Oracle},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {40--45},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377048},
doi = {10.1109/ISTCS.1995.377048},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Vereshchagin95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Vereshchagin95a,
author = {Nikolai K. Vereshchagin},
title = {Lower Bounds for Perceptrons Solving some Separation Problems and
Oracle Separation of {AM} from {PP}},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {46--51},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377047},
doi = {10.1109/ISTCS.1995.377047},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Vereshchagin95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Wigderson95,
author = {Avi Wigderson},
title = {Computational Pseudo-Randomness},
booktitle = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
pages = {218--219},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISTCS.1995.377029},
doi = {10.1109/ISTCS.1995.377029},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/istcs/Wigderson95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/istcs/1995,
title = {Third Israel Symposium on Theory of Computing and Systems, {ISTCS}
1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/conhome/3021/proceeding},
isbn = {0-8186-6915-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/istcs/Ben-AsherPS92,
author = {Yosi Ben{-}Asher and
David Peleg and
Assaf Schuster},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {The Complexity of Reconfiguring Network Models},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {79--90},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035168},
doi = {10.1007/BFB0035168},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Ben-AsherPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Bshouty92,
author = {Nader H. Bshouty},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Lower Bounds for the Complexity of Functions in a Realistic {RAM}
Model},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {12--23},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035162},
doi = {10.1007/BFB0035162},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Bshouty92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Chen92,
author = {Jingsen Chen},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Merging and Splitting Priority Queues and Deques in Parallel},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {1--11},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035161},
doi = {10.1007/BFB0035161},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Chen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/CohenM92,
author = {Edith Cohen and
Nimrod Megiddo},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {New Algorithms for Generalized Network Flows},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {103--114},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035170},
doi = {10.1007/BFB0035170},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/CohenM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Dosch92,
author = {Walter Dosch},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Reduction Relations in Strict Applicative Language},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {55--66},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035166},
doi = {10.1007/BFB0035166},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Dosch92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/DworkHPW92,
author = {Cynthia Dwork and
Maurice Herlihy and
Serge A. Plotkin and
Orli Waarts},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Time-Lapse Snapshots},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {154--170},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035175},
doi = {10.1007/BFB0035175},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/DworkHPW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/GalHI92,
author = {Shmuel Gal and
Yona Hollander and
Alon Itai},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Optimal Mapping in Direct Mapped Cache Environments},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {91--102},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035169},
doi = {10.1007/BFB0035169},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/GalHI92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/GawlickLS92,
author = {Rainer Gawlick and
Nancy A. Lynch and
Nir Shavit},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Concurrent Timestamping Made Simple},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {171--183},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035176},
doi = {10.1007/BFB0035176},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/GawlickLS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/GolumbicS92,
author = {Martin Charles Golumbic and
Ron Shamir},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Interval Graphs, Interval Orders and the Consistency of Temporal Events},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {32--42},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035164},
doi = {10.1007/BFB0035164},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/GolumbicS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Hartman92,
author = {Irith Ben{-}Arroyo Hartman},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Optimal K-Coloring and K-Nesting of Intervals},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {207--220},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035179},
doi = {10.1007/BFB0035179},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Hartman92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/HelaryR92,
author = {Jean{-}Michel H{\'{e}}lary and
Michel Raynal},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Distributed Evaluation: {A} Tool for Constructing Distributed Detection
Programs},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {184--194},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035177},
doi = {10.1007/BFB0035177},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/HelaryR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/KenyonK92,
author = {Claire Kenyon and
Valerie King},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {On Boolean Decision Trees with Faulty Nodes},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {24--31},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035163},
doi = {10.1007/BFB0035163},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/KenyonK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/KortsarzP92,
author = {Guy Kortsarz and
David Peleg},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Approximation Algorithms for Minimum Time Broadcast},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {67--78},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035167},
doi = {10.1007/BFB0035167},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/KortsarzP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Linzer92,
author = {Elliot L. Linzer},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Can Symmetric Toeplitz Solvers be Strongly Stable?},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {137--146},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035173},
doi = {10.1007/BFB0035173},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Linzer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Luk-Silberman92,
author = {Evgeny V. Luk{-}Silberman},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Foundations of Asymptotical Theory of Determinate Compact Testing},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {195--206},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035178},
doi = {10.1007/BFB0035178},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Luk-Silberman92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Miller92,
author = {Victor S. Miller},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Factoring Polynomials via Relation-Finding},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {115--121},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035171},
doi = {10.1007/BFB0035171},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Miller92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Pan92,
author = {Victor Y. Pan},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {New Resultant Inequalities and Complex Polynomial Factorization},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {122--136},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035172},
doi = {10.1007/BFB0035172},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Pan92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/SadehA92,
author = {Ilan Sadeh and
Amir Averbuch},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Bounds on Parallel Computation of Multivariate Polynomials},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {147--153},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035174},
doi = {10.1007/BFB0035174},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/SadehA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/Voronkov92,
author = {Andrei Voronkov},
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Higher Order Functions in First Order Theory},
booktitle = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
pages = {43--54},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035165},
doi = {10.1007/BFB0035165},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/Voronkov92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/istcs/1992,
editor = {Danny Dolev and
Zvi Galil and
Michael Rodeh},
title = {Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa,
Israel, May 1992},
series = {Lecture Notes in Computer Science},
volume = {601},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0035160},
doi = {10.1007/BFB0035160},
isbn = {3-540-55553-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/istcs/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-07-30 10:08 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
