Gasieniec, L.; Pelc, A.: Adaptive Broadcasting with Faulty Nodes. Parallel Computing 22 (6), pp. 903 - 912 (1996)

Gergov, J.; Meinel, C.: Mod-2-OBDDs - a Date Structure that generalizes EXOR-Sum-of-Products and Ordered Binary Decision Diagrams. Formal Methods in System Design 8 (3), pp. 273 - 282 (1996)

Gupta, A.; Mahajan, S.: Using Amplification to Compute Majority with Small Majority Gates. Computational Complexity 6 (1), pp. 46 - 63 (1996)

Gupta, P.; Janardan, R.; Smid, M.: Algorithms for Generalized Halfspace Range Searching and other Intersection Searching Problems. Computational Geometry 6 (1), pp. 1 - 19 (1996)

Gupta, P.; Janardan, R.; Smid, M.: Fast Algorithms for Collision and Proximity Problems Involving Moving Geometric Objects. Computational Geometry 6 (6), pp. 371 - 391 (1996)

Gupta, P.; Janardan, R.; Smid, M.: Algorithms for generalized halfspace range searching and other intersection searching problems. Computational Geometry 5 (6), pp. 321 - 340 (1996)

Jünger, M.; Mutzel, P.: Maximum planar subgraphs and nice embeddings: Practical layout tools. Algorithmica 16 (1), pp. 33 - 59 (1996)

Kapoor, S.; Smid, M.: New Techniques for Exact and Approximate Dynamic Closest-point Problems. SIAM Journal on Computing 25 (4), pp. 775 - 796 (1996)

Kavvadias, D. J.; Pantziou, G. E.; Spirakis, P. G.; Zaroliagis, C.: Hammock-on-ears decomposition: a technique for the efficient parallel solution of shortest paths and other problems. Theoretical Computer Science 168 (1), pp. 121 - 154 (1996)

Kirousis, L.; Spirakis, P. G.; Tsigas, P.: Simple Atomic Snapshots: A Linear Complexity Solution with Unbounded Time-Stamps. Information Processing Letters 58 (5), pp. 47 - 53 (1996)

Kraan, I.; Basin, D. A.; Bundy, A.: Middle-out Reasoning for Synthesis and Induction. Journal of Automated Reasoning 16 (1/2), pp. 113 - 145 (1996)

Krishna Rao, M. R. K.: Relating Confluence, Innermost-confluence and Outermost-confluence Properties of Term Rewriting Systems. Acta Informatica 33 (6), pp. 595 - 606 (1996)

Mehlhorn, K.; Mutzel, P.: On the Embedding Phase of the Hopcroft and Tarjan Planarity Testing Algorithm. Algorithmica 16, pp. 233 - 242 (1996)

Müller, M.; Rüb, C.; Rülling, W.: A Circuit for Exact Summation of Floating-Point Numbers. Information Processing Letters 57 (3), pp. 159 - 163 (1996)

Pfeifle, R.; Seidel, H.-P.: Fitting Triangular B-Splines to Functional Scattered Data. Computer Graphics Forum 15 (1), pp. 15 - 23 (1996)

Träff, J. L.: A Heuristic for Blocking Flow Algorithms. European Journal of Operational Research 89 (3), pp. 564 - 569 (1996)

Weidenbach, C.: Unification in Sort Theories and its Applications. Annals of Mathematics and Artificial Intelligence 18 (2/4), pp. 261 - 293 (1996)

Barth, P.: Logic-based 0-1 Constraint Programming. Kluwer, Boston, USA (1996), 272 pp.

Carbonell, J. G.; Siekmann, J. (Eds.): Term Indexing. Springer, Berlin, Germany (1996), 284 pp.

Basin, D. A.; Matthews, S.; Viganò, L.: A Topography of Labelled Modal Logics. In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), pp. 75 - 92 (Eds. Baader, F.; Schulz, K. U.). Kluwer, Dordrecht, The Netherlands (1996)