22.12.2013 Views

Reference List of Indexed Articles

Reference List of Indexed Articles

Reference List of Indexed Articles

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

372 <strong>Reference</strong> <strong>List</strong> / Information Processing Letters 78 (2001) 337–448<br />

1380. H. Samet, C.A. Shaffer and R.E. Webber, Digitizing the plane with cells <strong>of</strong> nonuniform size 24 (6) (1987)<br />

369–375<br />

1381. A. Blumer, A. Ehrenfeucht, D. Haussler and M.K. Warmuth, Occam’s Razor 24 (6) (1987) 377–380<br />

1382. M. Bajantri and D.B. Skillicorn, A fast multiprocessor message passing implementation 24 (6) (1987)<br />

381–389<br />

1383. C.W. Fraser and D.R. Hanson, Optimization <strong>of</strong> argument evaluation order 24 (6) (1987) 391–395<br />

1384. R. Marie and K.S. Trivedi, A note on the effect <strong>of</strong> preemptive policies on the stability <strong>of</strong> a priority queue<br />

24 (6) (1987) 397–401<br />

1385. W.E. Wright, A note on external sorting using almost single input buffering 24 (6) (1987) 403–405<br />

1386. M.K. Sridhar, A new algorithm for parallel solution <strong>of</strong> linear equations 24 (6) (1987) 407–412<br />

1387. H. Edelsbrunner and M.H. Overmars, Zooming by repeated range detection 24 (6) (1987) 413–417<br />

1388. J.H. Chang, O.H. Ibarra, B. Ravikumar and L. Berman, Some observations concerning alternating Turing<br />

machines using small space 25 (1) (1987) 1–9<br />

1389. A.A. Melkman, On-line construction <strong>of</strong> the convex hull <strong>of</strong> a simple polyline 25 (1) (1987) 11–12<br />

1390. B. Kirsig and K.-J. Lange, Separation with the Ruzzo, Simon, and Tompa relativization implies<br />

DSPACE(log n) ≠ NSPACE(log n) 25 (1) (1987) 13–15<br />

1391. R.G. Hamlet, Probable correctness theory 25 (1) (1987) 17–25<br />

1392. R.R. Howell, L.E. Rosier and H.-C. Yen, An O(n 1.5 ) algorithm to decide boundedness for conflict-free<br />

vector replacement systems 25 (1) (1987) 27–33<br />

1393. G. Cybenko, D.W. Krumme and K.N. Venkataraman, Fixed hypercube embedding 25 (1) (1987) 35–39<br />

1394. J.-P. Laumond, Obstacle growing in a nonpolygonal world 25 (1) (1987) 41–50<br />

1395. J. Naor, A fast parallel coloring <strong>of</strong> planar graphs with five colors 25 (1) (1987) 51–53<br />

1396. C.A. Wang and Y.H. Tsin, An O(log n) time parallel algorithm for triangulating a set <strong>of</strong> points in the plane<br />

25 (1) (1987) 55–60<br />

1397. G.A. Hyslop and E.A. Lamagna, Performance <strong>of</strong> distributive partitioned sort in a demand paging<br />

environment 25 (1) (1987) 61–64<br />

1398. J.H. Reif, A topological approach to dynamic graph connectivity 25 (1) (1987) 65–70<br />

1399. C.A.R. Hoare, J. He and J.W. Sanders, Prespecification in data refinement 25 (2) (1987) 71–76<br />

1400. J. Katajainen, O. Nevalainen and J. Teuhola, A linear expected-time algorithm for computing planar relative<br />

neighbourhood graphs 25 (2) (1987) 77–86<br />

1401. M. Atallah and C. Bajaj, Efficient algorithms for common transversals 25 (2) (1987) 87–91<br />

1402. M. Broy, Predicative specifications for functional programs describing communicating networks 25 (2)<br />

(1987) 93–101<br />

1403. K.B. Lakshmanan, N. Meenakshi and K. Thulasiraman, A time-optimal message-efficient distributed<br />

algorithm for depth-first-search 25 (2) (1987) 103–109<br />

1404. A.M. Frieze, Parallel algorithms for finding hamilton cycles in random graphs 25 (2) (1987) 111–117<br />

1405. F.M. Maley, An observation concerning constraint-based compaction 25 (2) (1987) 119–122<br />

1406. V.J. Rayward-Smith, The complexity <strong>of</strong> preemptive scheduling given interprocessor communication delays<br />

25 (2) (1987) 123–125<br />

1407. R.B. Boppana, J. Hastad and S. Zachos, Does co-NP have short interactive pro<strong>of</strong>s? 25 (2) (1987) 127–132<br />

1408. R.D. Tennent, Quantification in Algol-like languages 25 (2) (1987) 133–137<br />

1409. G. Mints and E. Tyugu, Semantics <strong>of</strong> a declarative language (Corrigendum) 25 (2) (1987) 139<br />

1410. Y. Toyama, Counterexamples to termination for the direct sum <strong>of</strong> term rewriting systems 25 (3) (1987)<br />

141–143<br />

1411. J.P. Verjus, On the pro<strong>of</strong> <strong>of</strong> a distributed algorithm 25 (3) (1987) 145–147<br />

1412. M.B. Dillencourt, A non-Hamiltonian, nondegenerate Delaunay triangulation 25 (3) (1987) 149–151<br />

1413. T.H. Lai and T.H. Yang, On distributed snapshots 25 (3) (1987) 153–158<br />

1414. A. Klapper, A lower bound on the complexity <strong>of</strong> the convex hull problem for simple polyhedra 25 (3)<br />

(1987) 159–161<br />

1415. Ö. Babao˜glu, Stopping times <strong>of</strong> distributed consensus protocols: A probabilistic analysis 25 (3) (1987)<br />

163–169<br />

1416. S. Kawai, Local authentication in insecure environments 25 (3) (1987) 171–174<br />

1417. M.J. Fischer and N. Immerman, Interpreting logics <strong>of</strong> knowledge in propositional dynamic logic with<br />

converse 25 (3) (1987) 175–181<br />

1418. T.-C. Chung and J.-W. Cho, History sensitive string for multiple alphabets 25 (3) (1987) 183–188

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!