Scientific Publications

2821.

Journal Article

Schmidt, R. A.: Decidability by Resolution for Propositional Modal Logics. Journal of Automated Reasoning 22 (4), pp. 379 - 396 (1999)

MPG.PuRe

2822.

Journal Article

Seiden, S. S.: Randomized online scheduling with delivery times. Journal of Combinatorial Optimization 3 (4), pp. 399 - 416 (1999)

MPG.PuRe

2823.

Journal Article

Sibeyn, J. F.: Row-Major Sorting on Meshes. SIAM Journal on Computing 28 (3), pp. 847 - 863 (1999)

MPG.PuRe

2824.

Journal Article

Sibeyn, J. F.; Guillaume, F.; Seidel, T.: Practical Parallel List Ranking. Journal of Parallel and Distributed Computing 56 (2), pp. 156 - 180 (1999)

MPG.PuRe

2825.

Journal Article

Subramanian, C. R.: Minimum Coloring k-Colorable Graphs in Polynomial Average Time. Journal of Algorithms 33, pp. 112 - 123 (1999)

MPG.PuRe

2826.

Journal Article

van der Torre, L. W. N.; Tan, Y.-H.: Contrary-to-duty reasoning with preference-based dyadic obligations. Annals of Mathematics and Artificial Intelligence 27, pp. 49 - 78 (1999)

MPG.PuRe

2827.

Journal Article

van der Torre, L. W. N.; Tan, Y.-H.: Diagnosis and Decision Making in Normative Reasoning. Journal of Artificial Intelligence and Law 7, pp. 51 - 67 (1999)

MPG.PuRe

2828.

Journal Article

Voronkov, A.: The ground-negative fragment of first-order logics is $\pi^p_2$-complete. The Journal of Symbolic Logic 64 (3), pp. 984 - 990 (1999)

MPG.PuRe

2829.

Journal Article

Wang, Y.: Randomness, Stochasticity, and Approximation. Theory of Computing Systems 32, pp. 517 - 529 (1999)

MPG.PuRe

2830.

Journal Article

Weidenbach, C.: SPASS V0.95TPTP. Journal of Automated Reasoning 23 (1), p. 21 - 21 (1999)

MPG.PuRe

2831.

Journal Article

Weikum, G.: Review - Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce. ACM SIGMOD Digital Review 1 (1999)

MPG.PuRe

2832.

Journal Article

Weikum, G.; König, A. C.; Kraiss, A.; Sinnwell, M.: Towards Self-Tuning Memory Management for Data Servers. IEEE Data(Base) Engineering Bulletin 22 (2), pp. 3 - 11 (1999)

MPG.PuRe

2833.

Journal Article

Westermann, R.; Kobbelt, L.; Ertl, T.: Real-time Exploration of Regular Volume Data by Adaptive Reconstruction of Iso-Surfaces. The Visual Computer 15 (2), pp. 100 - 111 (1999)

MPG.PuRe

2834.

Journal Article

Zeilfelder, F.: Strong unicity of best uniform approximation from periodic spline spaces. Journal of Approximation Theory 99 (2), pp. 1 - 29 (1999)

MPG.PuRe

2835.

Journal Article

Albers, S.: A competitive analysis of the list update problem with lookahead. Theoretical Computer Science 197 (1/2), pp. 95 - 109 (1998)

MPG.PuRe

2836.

Journal Article

Albers, S.: Improved randomized on-line algorithms for the list update problem. SIAM Journal on Computing 27 (3), pp. 682 - 693 (1998)

MPG.PuRe

2837.

Journal Article

Albers, S.; Koga, H.: New on-line algorithms for the page replication problem. Journal of Algorithms 27, pp. 75 - 96 (1998)

MPG.PuRe

2838.

Journal Article

Albers, S.; Mitzenmacher, M.: Average case analyses of list update algorithms, with applications to data compression. Algorithmica 21 (3), pp. 312 - 329 (1998)

MPG.PuRe

2839.

Journal Article

Althaus, E.; Mehlhorn, K.: Maximum Network Flow with Floating Point Arithmetic. Information Processing Letters 66 (3), pp. 109 - 113 (1998)

MPG.PuRe

DOI

2840.

Journal Article

Arikati, S. R.; Chaudhuri, S.; Zaroliagis, C.: All-Pairs Min-Cut in Sparse Networks. Journal of Algorithms 29, pp. 82 - 110 (1998)

MPG.PuRe

Journal Article (3187)

Notification Settings