1. ISTCS 1992:
Haifa,
Israel
Danny Dolev, Zvi Galil, Michael Rodeh (Eds.):
Theory of Computing and Systems, ISTCS'92, Israel Symposium, Haifa, Israel, May 1992.
Lecture Notes in Computer Science 601 Springer 1992, ISBN 3-540-55553-6 BibTeX
@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},
booktitle = {ISTCS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {601},
year = {1992},
isbn = {3-540-55553-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Jingsen Chen:
Merging and Splitting Priority Queues and Deques in Parallel.
1-11 BibTeX
- Nader H. Bshouty:
Lower Bounds for the Complexity of Functions in a Realistic RAM Model.
12-23 BibTeX
- Claire Kenyon, Valerie King:
On Boolean Decision Trees with Faulty Nodes.
24-31 BibTeX
- Martin Charles Golumbic, Ron Shamir:
Interval Graphs, Interval Orders and the Consistency of Temporal Events.
32-42 BibTeX
- Andrei Voronkov:
Higher Order Functions in First Order Theory.
43-54 BibTeX
- Walter Dosch:
Reduction Relations in Strict Applicative Language.
55-66 BibTeX
- Guy Kortsarz, David Peleg:
Approximation Algorithms for Minimum Time Broadcast.
67-78 BibTeX
- Yosi Ben-Asher, David Peleg, Assaf Schuster:
The Complexity of Reconfiguring Network Models.
79-90 BibTeX
- Shmuel Gal, Yona Hollander, Alon Itai:
Optimal Mapping in Direct Mapped Cache Environments.
91-102 BibTeX
- Edith Cohen, Nimrod Megiddo:
New Algorithms for Generalized Network Flows.
103-114 BibTeX
- Victor S. Miller:
Factoring Polynomials via Relation-Finding.
115-121 BibTeX
- Victor Y. Pan:
New Resultant Inequalities and Complex Polynomial Factorization.
122-136 BibTeX
- Elliot L. Linzer:
Can Symmetric Toeplitz Solvers be Strongly Stable?
137-146 BibTeX
- Ilan Sadeh, Amir Averbuch:
Bounds on Parallel Computation of Multivariate Polynomials.
147-153 BibTeX
- Cynthia Dwork, Maurice Herlihy, Serge A. Plotkin, Orli Waarts:
Time-Lapse Snapshots.
154-170 BibTeX
- Rainer Gawlick, Nancy A. Lynch, Nir Shavit:
Concurrent Timestamping Made Simple.
171-183 BibTeX
- Jean-Michel Hélary, Michel Raynal:
Distributed Evaluation: A Tool for Constructing Distributed Detection Programs.
184-194 BibTeX
- Evgeny V. Luk-Silberman:
Foundations of Asymptotical Theory of Determinate Compact Testing.
195-206 BibTeX
- Irith Ben-Arroyo Hartman:
Optimal K-Coloring and K-Nesting of Intervals.
207-220 BibTeX
Acknowledgement:
The information on this page was contributed by Andrei Voronkov
Copyright © Sat May 16 23:26:30 2009
by Michael Ley (ley@uni-trier.de)