Thesis - PhD (436)
9521.
Thesis - PhD
A Uniform Constraint-based Framework for the Verification of Infinite State Systems. Dissertation, XVIII, 160 pp., Universität des Saarlandes, Saarbrücken (2001)
9522.
Thesis - PhD
Average-case Complexity of Shortest-paths Problems. Dissertation, Universität des Saarlandes, Saarbrücken (2001)
9523.
Thesis - PhD
Transaktionen in föderierten Datenbanksystemen unter eingeschränkten Isolation Levels. Dissertation, Universität des Saarlandes, Saarbrücken (2001)
9524.
Thesis - PhD
Efficient High-Quality Fairing of Discrete Curves and Surfaces. Dissertation, IV, 122 pp., Universität des Saarlandes, Saarbrücken (2001)
9525.
Thesis - PhD
Planar Nef Polyhedra and Generic Higher-dimensional Geometry. Dissertation, Universität des Saarlandes, Saarbrücken (2001)
9526.
Thesis - PhD
Constrained Shortest Paths and Related Problems. Dissertation, Universität des Saarlandes, Saarbrücken (2001)
9527.
Thesis - PhD
Provably Optimal Scheduling of Similar Tasks. Dissertation, Universität des Saarlandes, Saarbrücken (2000)
9528.
Thesis - PhD
Gomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra. Dissertation, Universität des Saarlandes, Saarbrücken (2000)
9529.
Thesis - PhD
Algorithms for Interval Coloring, Geometric Packing and Memory Optimization. Dissertation, 225 pp., Universität des Saarlandes, Saarbrücken (2000)
9530.
Thesis - PhD
New Approaches to Protein Docking. Dissertation, Universität des Saarlandes, Saarbrücken (2000)
9531.
Thesis - PhD
Effiziente Algorithmen für das verteilte Rechnen auf Workstation-Clustern. Dissertation, Universität des Saarlandes, Saarbrücken (2000)
9532.
Thesis - PhD
Superposition Theorem Proving for Commutative Algebraic Theories. Dissertation, Universität des Saarlandes, Saarbrücken (2000)
9533.
Thesis - PhD
Hybrid Languages. Dissertation, Universität des Saarlandes, Saarbrücken (2000)
9534.
Thesis - PhD
Crossing Minimization in Automatic Graph Drawing. Dissertation, 179 pp., Universität des Saarlandes, Saarbrücken (2000)
9535.
Thesis - PhD
Relations between Abstract Datatypes modeled as Abstract Datatypes. Dissertation, Universität des Saarlandes, Saarbrücken (1999)
9536.
Thesis - PhD
High-quality Shading and Lighting for Hardware-accelerated Rendering. Dissertation, Universität Erlangen-Nürnberg, Erlangen (1999)
9537.
Thesis - PhD
Resolution-Based Decision Procedures for Subclasses of First-Order Logic. Dissertation, Universität des Saarlandes, Saarbrücken (1999)
9538.
Thesis - PhD
Soft Typing for Clausal Inference Systems. Dissertation, Universität des Saarlandes, Saarbrücken (1999)
9539.
Thesis - PhD
Parallel molecular dynamics simulations for synthetic polymers. Dissertation, Universität des Saarlandes, Saarbrücken (1999)
9540.
Thesis - PhD
A polyhedral approach to sequence alignment problems. Dissertation, Universität des Saarlandes, Saarbrücken (1999)