Zeitschriftenartikel (46)
21.
Zeitschriftenartikel
An Empirical Analysis of Modal Theorem Provers. Journal of Applied Non-Classical Logics 9 (4), S. 479 - 522 (1999)
22.
Zeitschriftenartikel
Transmissions in a network with capacities and delays. Networks 33 (3), S. 167 - 174 (1999)
23.
Zeitschriftenartikel
Multiresolution Hierarchies on Unstructured Triangle Meshes. Computational Geometry: Theory and Applications 14 (1-3), S. 5 - 24 (1999)
24.
Zeitschriftenartikel
The STO problem is NP-complete. Journal of Symbolic Computation 27 (2), S. 207 - 219 (1999)
25.
Zeitschriftenartikel
An exact solution for the segment-to-segment multiple sequence alignment problem. Bioinformatics 15 (3), S. 203 - 210 (1999)
26.
Zeitschriftenartikel
Recursive Program Optimization Through Inductive Synthesis Proof Transformation. Journal of Automated Reasoning 22 (1), S. 65 - 115 (1999)
27.
Zeitschriftenartikel
Mutations in the ABC1 gene in familial HDL deficiency with defective cholesterol efflux. The Lancet 354 (9187), S. 1341 - 6 (1999)
28.
Zeitschriftenartikel
Checking geometric programs or verification of geometric structures. Computational Geometry: Theory and Applications 12, S. 85 - 104 (1999)
29.
Zeitschriftenartikel
Editorial. Computational Geometry 12, S. 153 - 154 (1999)
30.
Zeitschriftenartikel
An Optimality Proof of the LRU-K Page Replacement Algorithm. Journal of the ACM 46 (1), S. 92 - 112 (1999)
31.
Zeitschriftenartikel
A case study in scalability: an ADI method for the two-dimensional time-dependent Dirac equation. Parallel Computing 25 (5), S. 525 - 534 (1999)
32.
Zeitschriftenartikel
Analysis of nearest neighbor load balancing algorithms for random loads. Parallel Computing 25, S. 1013 - 1033 (1999)
33.
Zeitschriftenartikel
Decidability by Resolution for Propositional Modal Logics. Journal of Automated Reasoning 22 (4), S. 379 - 396 (1999)
34.
Zeitschriftenartikel
Randomized online scheduling with delivery times. Journal of Combinatorial Optimization 3 (4), S. 399 - 416 (1999)
35.
Zeitschriftenartikel
Row-Major Sorting on Meshes. SIAM Journal on Computing 28 (3), S. 847 - 863 (1999)
36.
Zeitschriftenartikel
Practical Parallel List Ranking. Journal of Parallel and Distributed Computing 56 (2), S. 156 - 180 (1999)
37.
Zeitschriftenartikel
Minimum Coloring k-Colorable Graphs in Polynomial Average Time. Journal of Algorithms 33, S. 112 - 123 (1999)
38.
Zeitschriftenartikel
Contrary-to-duty reasoning with preference-based dyadic obligations. Annals of Mathematics and Artificial Intelligence 27, S. 49 - 78 (1999)
39.
Zeitschriftenartikel
Diagnosis and Decision Making in Normative Reasoning. Journal of Artificial Intelligence and Law 7, S. 51 - 67 (1999)
40.
Zeitschriftenartikel
The ground-negative fragment of first-order logics is $\pi^p_2$-complete. The Journal of Symbolic Logic 64 (3), S. 984 - 990 (1999)