Zeitschriftenartikel (37)
21.
Zeitschriftenartikel
22 (6), S. 903 - 912 (1996)
Adaptive Broadcasting with Faulty Nodes. Parallel Computing 22.
Zeitschriftenartikel
8 (3), S. 273 - 282 (1996)
Mod-2-OBDDs - a Date Structure that generalizes EXOR-Sum-of-Products and Ordered Binary Decision Diagrams. Formal Methods in System Design 23.
Zeitschriftenartikel
6 (1), S. 46 - 63 (1996)
Using Amplification to Compute Majority with Small Majority Gates. Computational Complexity 24.
Zeitschriftenartikel
6 (1), S. 1 - 19 (1996)
Algorithms for Generalized Halfspace Range Searching and other Intersection Searching Problems. Computational Geometry 25.
Zeitschriftenartikel
6 (6), S. 371 - 391 (1996)
Fast Algorithms for Collision and Proximity Problems Involving Moving Geometric Objects. Computational Geometry 26.
Zeitschriftenartikel
5 (6), S. 321 - 340 (1996)
Algorithms for generalized halfspace range searching and other intersection searching problems. Computational Geometry 27.
Zeitschriftenartikel
16 (1), S. 33 - 59 (1996)
Maximum planar subgraphs and nice embeddings: Practical layout tools. Algorithmica 28.
Zeitschriftenartikel
25 (4), S. 775 - 796 (1996)
New Techniques for Exact and Approximate Dynamic Closest-point Problems. SIAM Journal on Computing 29.
Zeitschriftenartikel
168 (1), S. 121 - 154 (1996)
Hammock-on-ears decomposition: a technique for the efficient parallel solution of shortest paths and other problems. Theoretical Computer Science 30.
Zeitschriftenartikel
58 (5), S. 47 - 53 (1996)
Simple Atomic Snapshots: A Linear Complexity Solution with Unbounded Time-Stamps. Information Processing Letters 31.
Zeitschriftenartikel
16 (1/2), S. 113 - 145 (1996)
Middle-out Reasoning for Synthesis and Induction. Journal of Automated Reasoning 32.
Zeitschriftenartikel
33 (6), S. 595 - 606 (1996)
Relating Confluence, Innermost-confluence and Outermost-confluence Properties of Term Rewriting Systems. Acta Informatica 33.
Zeitschriftenartikel
16, S. 233 - 242 (1996)
On the Embedding Phase of the Hopcroft and Tarjan Planarity Testing Algorithm. Algorithmica 34.
Zeitschriftenartikel
57 (3), S. 159 - 163 (1996)
A Circuit for Exact Summation of Floating-Point Numbers. Information Processing Letters 35.
Zeitschriftenartikel
15 (1), S. 15 - 23 (1996)
Fitting Triangular B-Splines to Functional Scattered Data. Computer Graphics Forum 36.
Zeitschriftenartikel
89 (3), S. 564 - 569 (1996)
A Heuristic for Blocking Flow Algorithms. European Journal of Operational Research 37.
Zeitschriftenartikel
18 (2/4), S. 261 - 293 (1996)
Unification in Sort Theories and its Applications. Annals of Mathematics and Artificial Intelligence Buch (2)
38.
Buch
Logic-based 0-1 Constraint Programming. Kluwer, Boston, USA (1996), 272 S.
39.
Buch
Term Indexing. Springer, Berlin, Germany (1996), 284 S.
Buchkapitel (7)
40.
Buchkapitel
A Topography of Labelled Modal Logics. In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), S. 75 - 92 (Hg. Baader, F.; Schulz, K. U.). Kluwer, Dordrecht, The Netherlands (1996)