Hochschulschrift - Doktorarbeit (12)
281.
Hochschulschrift - Doktorarbeit
Die XXL-Suchmaschine zur ontologiebasierten Ähnlichkeitssuche in XML-Dokumenten. Dissertation, Universität des Saarlandes, Saarbrücken (2004)
282.
Hochschulschrift - Doktorarbeit
Efficient Algorithms for Constraint Propagation and for Processing Tree Descriptions. Dissertation, Universität des Saarlandes, Saarbrücken (2004)
283.
Hochschulschrift - Doktorarbeit
Realtime Ray Tracing and Interactive Global Illumination. Dissertation, Universität des Saarlandes, Saarbrücken (2004)
284.
Hochschulschrift - Doktorarbeit
Collision detection for Curved Rigid Objects in the Context of Dynamics Simulations. Dissertation, Universität des Saarlandes, Saarbrücken (2004)
285.
Hochschulschrift - Doktorarbeit
Optimal Global Instruction Scheduling for the Itanium® Processor Architecture. Dissertation, Universität des Saarlandes, Saarbrücken (2004)
Hochschulschrift - Habilitation (1)
286.
Hochschulschrift - Habilitation
Algebraic and logical methods in automated theorem proving and in the study of concurrency. Habilitation, Universität des Saarlandes, Saarbrücken (2004)
Hochschulschrift - Diplom (12)
287.
Hochschulschrift - Diplom
Entwurf und Implementierung eines Mobile-Access-Servers. Diplom, Universität des Saarlandes, Saarbrücken (2004)
288.
Hochschulschrift - Diplom
Time-aware and Trend-based Authority Ranking. Diplom, Universität des Saarlandes, Saarbrücken (2004)
289.
Hochschulschrift - Diplom
Advanced Divide-and-Conquer Algorithms for Computing Two-Hop Covers for Large Collections of XML Documents. Diplom, Universität des Saarlandes, Saarbrücken (2004)
290.
Hochschulschrift - Diplom
Generische Anbindung von Datenhaltungssystemen mit Web Services am Beispiel von SAP R/3. Diplom, Universität des Saarlandes, Saarbrücken (2004)
291.
Hochschulschrift - Diplom
Reflectance of Human Faces: Image-Based Measurement and Modeling. Diplom, Universität des Saarlandes, Saarbrücken (2004)
292.
Hochschulschrift - Diplom
Ein automatisches Annotationswerkzeug für HTML- und XML-Daten unter Verwendung von Hidden Markov Models und Named Entity Recognition. Diplom, Universität des Saarlandes, Saarbrücken (2004)
293.
Hochschulschrift - Diplom
Instance Generation Methods for Automated Reasoning. Diplom, Universität des Saarlandes, Saarbrücken, Saarland (2004)
294.
Hochschulschrift - Diplom
Query-Log-based Authority Analysis for Web Information Search. Diplom, Universität des Saarlandes, Saarbrücken (2004)
295.
Hochschulschrift - Diplom
Query-log based Authority Analysis for Web Information Search. Diplom, Universität des Saarlandes, Saarbrücken (2004)
296.
Hochschulschrift - Diplom
External Memory Suffix Array Construction. Diplom, Universität des Saarlandes, Saarbrücken (2004)
297.
Hochschulschrift - Diplom
Local sequence-structure relationships in proteins. Diplom, Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen-Nürnberg (2004)
298.
Hochschulschrift - Diplom
Symbolic Shape Analysis. Diplom, Universität des Saarlandes, Saarbrücken (2004)
Hochschulschrift - Master (26)
299.
Hochschulschrift - Master
A Linear Time Algorithm for Integer Programming in the Plane. Master, Universität des Saarlandes, Saarbrücken (2004)
300.
Hochschulschrift - Master
BRDF Reconstruction from Video Streams of Multi-View Recordings. Master, Universität des Saarlandes, Saarbrücken (2004)