Wissenschaftliche Publikationen - MPI für Informatik

11561.

Bericht

Hustadt, U.; Schmidt, R. A.: On evaluating decision procedures for modal logic. Max-Planck-Institut für Informatik, Saarbrücken (1997), 50 S.

MPG.PuRe

Full

11562.

Bericht

Jung, B.; Lenhof, H.-P.; Müller, P.; Rüb, C.: Parallel algorithms for MD-simulations of synthetic polymers. Max-Planck-Institut für Informatik, Saarbrücken (1997), 32 S.

MPG.PuRe

Full

11563.

Bericht

Jünger, M.; Leipert, S.; Mutzel, P.: Pitfalls of using PQ-Trees in automatic graph drawing. Max-Planck-Institut für Informatik, Saarbrücken (1997), 12 S.

MPG.PuRe

Full

11564.

Bericht

Lenhof, H.-P.: New contact measures for the protein docking problem. Max-Planck-Institut für Informatik, Saarbrücken (1997), 10 S.

MPG.PuRe

Full

11565.

Bericht

Leonardi, S.; Marchetti-Spaccamela, A. P.: Randomized on-line call control revisited. Max-Planck-Institut für Informatik, Saarbrücken (1997), 19 S.

MPG.PuRe

Full

11566.

Bericht

Lermen, M.; Reinert, K.: The practical use of the A* algorithm for exact multiple sequence alignment. (1997)

MPG.PuRe

Full

11567.

Bericht

Mutzel, P.: An alternative method to crossing minimization on hierarchical graphs. Max-Planck-Institut für Informatik, Saarbrücken (1997), 15 S.

MPG.PuRe

Full

11568.

Bericht

Rüb, C.: On Batcher's Merge Sorts as Parallel Sorting Algorithms. Max-Planck-Institut für Informatik, Saarbrücken (1997), 23 S.

MPG.PuRe

Full

11569.

Bericht

Schirra, S.: Designing a Computational Geometry Algorithms Library. Max-Planck-Institut für Informatik, Saarbrücken (1997), 8 S.

MPG.PuRe

Full

11570.

Bericht

Schmidt, R. A.: Resolution is a decision procedure for many propositional modal logics. Max-Planck-Institut für Informatik, Saarbrücken (1997), 60 S.

MPG.PuRe

Full

11571.

Bericht

Sibeyn, J.: From parallel to external list ranking. Max-Planck-Institut für Informatik, Saarbrücken (1997), 15 S.

MPG.PuRe

Full

11572.

Bericht

Sibeyn, J.; Kaufmann, M.: BSP-like external-memory computation. Max-Planck-Institut für Informatik, Saarbrücken (1997), 14 S.

MPG.PuRe

Full

11573.

Bericht

Thorup, M.: Faster deterministic sorting and priority queues in linear space. Max-Planck-Institut für Informatik, Saarbrücken (1997), 9 S.

MPG.PuRe

Full

11574.

Bericht

Vorobyov, S.: Third-order matching in $\lambda\rightarrow$-Curry is undecidable. Max-Planck-Institut für Informatik, Saarbrücken (1997), 17 S.

MPG.PuRe

Full

11575.

Bericht

Vorobyov, S.; Voronkov, A.: Complexity of nonrecursive logic programs with complex values. Max-Planck-Institut für Informatik, Saarbrücken (1997), 46 S.

MPG.PuRe

Full

11576.

Bericht

Wang, Y.: Bicriteria job sequencing with release dates. Max-Planck-Institut für Informatik, Saarbrücken (1997), 18 S.

MPG.PuRe

Full

11577.

Bericht

Albers, S.; Westbrook, J.: A survey of self-organizing data structures. Max-Planck-Institut für Informatik, Saarbrücken (1996), 39 S.

MPG.PuRe

Full