Hustadt, U.; Schmidt, R. A.: An Empirical Analysis of Modal Theorem Provers. Journal of Applied Non-Classical Logics 9 (4), pp. 479 - 522 (1999)

Kagaris, D.; Pantziou, G. E.; Tragoudas, S.; Zaroliagis, C.: Transmissions in a network with capacities and delays. Networks 33 (3), pp. 167 - 174 (1999)

Kobbelt, L. P.; Vorsatz, J.; Seidel, H.-P.: Multiresolution Hierarchies on Unstructured Triangle Meshes. Computational Geometry: Theory and Applications 14 (1-3), pp. 5 - 24 (1999)

Krysta, P.; Pacholski, L.: The STO problem is NP-complete. Journal of Symbolic Computation 27 (2), pp. 207 - 219 (1999)

Lenhof, H.-P.; Morgenstern, B.; Reinert, K.: An exact solution for the segment-to-segment multiple sequence alignment problem. Bioinformatics 15 (3), pp. 203 - 210 (1999)

Madden, P.; Bundy, A.; Smaill, A.: Recursive Program Optimization Through Inductive Synthesis Proof Transformation. Journal of Automated Reasoning 22 (1), pp. 65 - 115 (1999)

Marcil, M.; Brooks-Wilson, A.; Clee, S. M.; Roomp, K.; Zhang, L.-H.; Yu, L.; Collins, J. A.; van Dam, M.; Molhuizen, H. O.; Loubser, O. et al.; Ouelette, B. F.; Sensen, C. W.; Fichter, K.; Mott, S.; Denis, M.; Boucher, B.; Pimstone, S.; Genest, J.; Kastelein, J. J. P.; Hayden, M. R.: Mutations in the ABC1 gene in familial HDL deficiency with defective cholesterol efflux. The Lancet 354 (9187), pp. 1341 - 6 (1999)

Mehlhorn, K.; Näher, S.; Seel, M.; Seidel, R.; Schilz, T.; Schirra, S.; Uhrig, C.: Checking geometric programs or verification of geometric structures. Computational Geometry: Theory and Applications 12, pp. 85 - 104 (1999)

Mehlhorn, K.; Sack, J.-R.; Urrutia, J.: Editorial. Computational Geometry 12, pp. 153 - 154 (1999)

O'Neil, E. J.; O'Neil, P. E.; Weikum, G.: An Optimality Proof of the LRU-K Page Replacement Algorithm. Journal of the ACM 46 (1), pp. 92 - 112 (1999)

Rathe, U.; Sanders, P.; Knight, P.: A case study in scalability: an ADI method for the two-dimensional time-dependent Dirac equation. Parallel Computing 25 (5), pp. 525 - 534 (1999)

Sanders, P.: Analysis of nearest neighbor load balancing algorithms for random loads. Parallel Computing 25, pp. 1013 - 1033 (1999)

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

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

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

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

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

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)

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)

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)