Index of WSI's Research Reports
(ISSN 0946-3852)
Alle Jahrgänge ab 1997 sind unter "WSI-Berichte" in der TOBIAS-lib-Datenbank abrufbar.
Zudem sind die Printversionen aller Jahrgänge der WSI-Berichte in der Institutsbibliothek vorhanden.
WSI-Berichte 2001
WSI-Berichte 2000
WSI-2000-26
H. Fernau
Nonterminal complexity of programmed grammars ( PDF )
WSI-2000-25
H. Fernau, R. Stiebe
Sequential Grammar and Automata with Valences ( PDF )
WSI-2000-24
E. Adebiyi
External Memory Sorting of Strings: A practical Approach
WSI-2000-23
S. Stoev, I. Peter, W. Straßer
The Multi-LDI: an Image Based Rendering Approach for Interaction, Navigation, and Visualization in Complex Virtual Environments
WSI-2000-22
S. Stoev, D. Schmalstieg, W. Straßer
Through-The-Lens Techniques for Motion, Navigation and Remote Object Manipulation in Immensive Virtual Environments
WSI-2000-21
noch nicht erschienen
WSI-2000-20
M. Wand, M. Fischer, F. Meyer a.d. Heide
Randomized Point Sampling für Output-Sensitive Rendering of Complex Dynamic Scenes
WSI-2000-19
M. Weber
Studienplan für das Wintersemester 2000/01
WSI-2000-18
W. Lange
Effiziente Generierung von Zustandsautomaten mit integriertem Datenpfad aus taktgebundenen VHDL-Verhaltensbeschreibungen ( PDF )
WSI-2000-17
A. Speck
Feldbus CAN und das CANopen Protokoll
WSI-2000-16
noch nicht erschienen
WSI-2000-15
H. Fernau
Parallel Communicating Grammar Systems with Terminal Transmission ( PDF )
WSI-2000-14
Ch. Schmitz
Spezifikation objektorientierter Systeme
WSI-2000-13
H. Fernau
On Learning Function Distinguishable Languages ( PDF )
WSI-2000-12
J.-U. Hahn, W. Straßer
Simultaneous Progressive Refinement for Consistent Radiosity Animations
WSI-2000-11
B. Eberhardt, J.-U. Hahn, R. Klein, W. Straßer, A. Weber
Dynamic Implicit Surfaces for Fast Proximity Queries in Physically Based Modeling
WSI-2000-10
B. Eberhardt, J.-U. Hahn, T. Hüttner, W. Straßer
Raytracing and Collision Detection for Cloth Modeling
WSI-2000-9
H. Fernau
Efficient Learning of Some Linear Simple Matrix Languages ( PDF )
WSI-2000-8
A. Zell
Studienplan Bioinformatik
WSI-2000-7
M. Hauth, O. Etzmuss, B. Eberhardt
Implicit-Explicit Schemes for Fast Animation with Particle Systems
WSI-2000-6
W. Lange, W. Rosenstiel
Synthesis of ATM Switch Controller Modules with the Protocol Compiler™ from Synopsys™. ( PDF )
WSI-2000-5
F. Hanisch
Aufbau eines hypermedialen Autorenwerkzeugs für Interaktive Web-basiert Lernumgebungen in der Computergraphik
WSI-2000-4
O. Etzmuss, B. Eberhardt, M. Hauth, W. Straßer
Collision Adaptive Particle Systems for Textile Modeling
WSI-2000-3
J. Ruf
RAVEN: Real-Time Analyzing and Verification
WSI-2000-2
J. Ruf
Formal Verification of Timing Properties of a Holonic Material Transport System
WSI-2000-1
S. Gumhold
New Bounds on the Encoding of Planar Triangulations
WSI-Berichte 1999
WSI-99-23
H. Fernau
Lerning of Terminal Distinguishable Languages
WSI-99-22
noch nicht erschienen
WSI-99-21
S. Stoev
QteVtk-a Multi-Platform, Object-Oriented Visualization Interface Exploiting VTK
WSI-99-20
J. Gerlach, W. Rosenstiel
Ein modularer Ansatz zur Transformationssteuerung
WSI-99-19
J. Gerlach, W. Rosenstiel
Transformationale Optimierung von Entwurfsdarstellungen der algorithmischen Ebene
WSI-99-18
R. Niedermeier, P. Rossmanith
An Efficient Fixed Parameter Algorithm for 3-Hitting Set
WSI-99-17
H.-G. Martin, W. Rosenstiel
FPGA-Design unter besonderer Berücksichtigung von Multiplexer-Struktur und Verdrahtbarkeit ( PDF )
WSI-99-16
J. Busse u.a
Inhalte, Kontexte und Mediendidaktik in "Informatik und Gesellschaft" ( PDF )
WSI-99-15
noch nicht erschienen
WSI-99-14
J. Busse
Attribution von Verantwortung durch Metaphern-Analyse
WSI-99-13
M. Meißner, D. Bartz, T. Hüttner, G. Müller, J. Einighammer
Generation of Subdivision Hierarchies for Efficient Occlusion Culling of Large Polygonal Models ( PDF )
WSI-99-12
M. Doggett, A. Kugler
A Hardware Architecture for Displacement Mapping Using Scan Conversion
WSI-99-11
noch nicht erschienen
WSI-99-10
noch nicht erschienen
WSI-99-9
A. Jung, C. Richard , A. Weber
A Symbolic Numeric Environment for Analyzing Measurement Data in Multi-Model Settings
WSI-99-8
U. Heuser, W. Rosenstiel
Das hierarchische Radius-basierte Competitive Learning (HRCL) im Vergleich mit statistischen und neuronalen Clusteranalyseverfahren ( PDF )
WSI-99-7
J. Wunner, W. Rosenstiel
Multimedia in der Hochschullehre - Ein Überblick über die Grundlagen und aktuelle Konferenzwerkzeuge ( PDF )
WSI-99-6
noch nicht erschienen
WSI-99-5
H. Gast
Considerations on genericity for programming language design
WSI-99-4
M. Plümicke
OBJ-P The Polymorphic Extension of OBJ-3
WSI-99-3
S. Schmitt , W. Rosenstiel
Konzeption und Realisierung eingebetteter Systeme im Internet
WSI-99-2
noch nicht erschienen
WSI-99-1
W. Lange, W. Rosenstiel
High-Level-Synthese einer ATM-Switch-Steuerung mit dem Behavioral Compiler™ von Synopsys™ ( PDF )
WSI-Berichte 1998
WSI-98-17
A. Kugler , J. Hirche
TriRast: A Rendering Processor Architecture for Advanced Texture Shading
WSI-98-16
A. Kugler , J. Hirche
Texturing ASIC Specification
WSI-98-15
D. Krause
Diskussionen mit und ohne Netz. Erfahrungen mit der Netzkomponente im Fernstudium "Informatik und Gesellschaft" ( PDF )
WSI-98-14
W. Lange, W. Rosenstiel
High-Level-Synthese einer ATM-Switch-Steuerung mit Monet ( PDF )
WSI-98-13
J. Gerlach, W. Rosenstiel
Development of a High-Level Design Space Exploration Methodology ( PDF )
WSI-98-12
C. Wege
Vergleich der Anwendungsarchitekturen von Smalltalk und Java im Hinblick auf Migration ( PDF )
WSI-98-11
noch nicht erschienen
WSI-98-10
U. Heuser, W. Rosenstiel
Internetsuche und Neuronale Netze: Stand der Technik ( PDF )
WSI-98-9
noch nicht erschienen
WSI-98-8
C. Keller
"Globale Informationsgesellschaft": Wissenschaftliche Theroie - Politisches Programm - Globalisierte Geschäftssphäre (Dissertation) ( PDF )
WSI-98-7
B. Eberhardt, A. Weber
The Knitting Dimension
WSI-98-6
T. Hüttner, M. Meißner, D. Bartz
OpenGL-assisted Visibility Queries of Large Polygonal Models ( PDF )
WSI-98-5
C. Keller, O. Thelen
Informatik und Gesellschaft - Ein Fernstudienbaustein für Studierende der Informatik: Vom Konzept zur Erprobung
WSI-98-4
J. Hipp, A. Myka, R. Wirth, U. Güntzer
A New Algorithm for Faster Mining of Generalized Association Rules
WSI-98-3
J.-U. Hahn
Simultaneous Progressive Refinement in Dynamic Environments ( PDF )
WSI-98-2
A. Schilling, R. Klein
Texture dependent refinement of multiresolution meshes ( PDF )
WSI-98-1
S. Gumhold, R. Klein
Compression of Discrete Multiresolution Models
WSI-Berichte 1997
WSI-97-17
R. Klein, S. Gumhold
Data compression of multiresolution surfaces
WSI-97-16
A. Kugler
Interactive Bump- and Reflection-Mapping Hardware
WSI-97-15
A. Schilling PDF
Antialiasing of Bump-Maps ( PDF )
WSI-97-14
A. Schilling
Antialiasing of Environment-Maps ( PDF )
WSI-97-13
R. Weiss
SCMTOCPP: a configurable, intelligent back end for SUCHTHAT
WSI-97-12
U. Fößmeier
Interactive Orthogonal Graph Drawing: Algorithms and Bounds
WSI-97-11
A. Geser
Decidability of Termination in a Large Class of One-rule String Rewriting Systems
WSI-97-10
noch nicht erschienen
WSI-97-9
A. Geser
On the relative power of SPO versussemantic labelling composed with RPO
WSI-97-8
A. Kugler
Interactive Bump Mapping and Texturing ASIC Specification
WSI-97-7
H. Fernau, F. Stephan
How Powerful is Unconditional Transfer? When UT meets AC
WSI-97-6A
WSI (Hg.)
Studienplan
WSI-97-6
W. Lange, W. Rosenstiel
Modellierung einer ATM-Switch-Steuerung
WSI-97-5
J. Gerlach, W. Rosenstiel
Ein skalierbarer Ansatz zur Kostenabschätzung für die Steuerung von High-Level Transformationen
WSI-97-4
H. Lauer
-GRAVIS- A Dynamically Extensible Platform for Interactive Graph Algorithms
WSI-97-3
D. Weisskopf, M. Encarnacao
Intelligente Graphisch-Interaktive Benutzungsoberflächen: Grundlagen u. aktuelle Entwicklungen
WSI-97-2
M. Plümicke
Parametric Polymorphism in OBJ-3
WSI-97-1
M. Plümicke, C. Schmitz
Polymorphically order-sorted types in CBJ-3
WSI-Berichte 1996
WSI-96-34
A. Geser
On Normalizing, Non-terminating one-rule String Rewriting Systems
WSI-96-33
WSI (Hg.)
Studienplan zum Studium der Informatik an der Universität Tübingen
WSI-96-32
noch nicht erschienen
WSI-96-31
noch nicht erschienen
WSI-96-30
noch nicht erschienen
WSI-96-29
D. Dussart, P. Thiemann
Continuation-Based Program Generation
WSI-96-28
D. Dussart, P. Thiemann
Imperative Functional Specialization
WSI-96-27
R. Klein, M. Encarnacao
Computer Graphics Education on the Web: Concept, Realization, and Perspectives
WSI-96-26
H. Lauer, M. Kaufmann
Design and Implementation of the Extensible Graph Drawing System Dr.Graph
WSI-96-25
R. Nierdermeier, P. Rossmanith
Unambiguous Computations and Locally Definable Acceptance Types
WSI-96-24
noch nicht erschienen
WSI-96-23
A. Schilling
Rasterizer Setup for Stereo Rendering
WSI-96-22
T. Grundmann, T. Bubeck, W. Rosenstiel
Automatisches Generieren von DTS-Kopierfunktionen fuer C
WSI-96-21
H. Fernau
Unconditional Transfer in Regulated Rewriting
WSI-96-20
A. Gebhart, T. Eppler, W. Rosenstiel
Erweiterte Methoden zur automatischen Gesichtserkennung
WSI-96-19
H. Fernau, D. Wätjen
Remarks on Regulated Limited ETOL Systems and Regulated Context-Free Grammars
WSI-96-18
S. Schupp
Fortgeschrittene Konzepte der Standard Template Library (STL)
WSI-96-17
noch nicht erschienen
WSI-96-16
H. Fernau, M. Holzer
Regulated Finite Index Language Families Collapse
WSI-96-15
B. Amrhein, O. Gloor, W. Küchlin
Experiments with the Gröbner-Walk
WSI-96-14
B. Jenner, J. Toran
The Complexity of Obtaining Solutions for Problems in NP and NL
WSI-96-13
R. Bündgen
Abstract Completion for Non-Compatible Rewrite Relations
WSI-96-12
A. Myka, H. Argenton, U. Güntzer
Towards Automatic Hypertextual Representation of Linear Texts
WSI-96-11
W. Broll, D. England, J. Fechter, T. Koop
Towards Interactive Virtual Environments: Interaction and Behavior Extensions for VRML
WSI-96-10
L.M. Encarnacao, A. Stork
An Integrated Approach to User-Centered Interface Adaption
WSI-96-9
U. Fößmeier, M. Kaufmann
On Exact Solutions for the Rectilinear Steiner Problem: Part I: Theoretical Results
WSI-96-8
G. Simon
Interoperability between Computer Algebra Systems
WSI-96-7
S. Schupp
How To Lift a Library
WSI-96-6
O. Danvy, R. Glück, P. Thiemann
Dagstuhl Seminar Partial Evaluation February 1996 Draft Proceedings
WSI-96-5
L. M. Encarnacao, J. Fechter, T. Grunert
User-Tailored Interaction Development in 2D, 3D, and VR with UC-AID med
WSI-96-4
E. Gröller, R. T. Rau, W. Straßer
Modeling Textiles as Three Dimensional Textures
WSI-96-3
R. T. Rau
Visualization of Scientific Data in an Object-Oriented Framework
WSI-96-2
R. T. Rau
Visualization of Relativistic Flights
WSI-96-1
H. Fernau, M.Holzer
Bidirectional Cooperating Distributed Grammar Systems
WSI-Berichte 1995
WSI-95-26
L. M. Encarnacao
An Adaptive Hypermedia Help Component for Graphical User Interfaces
WSI-95-25
S. Schupp, R. Loos
Considerations for a Generic SAC Library
WSI-95-24
noch nicht erschienen
WSI-95-23
noch nicht erschienen
WSI-95-22
M. Plümicke, H. Klaeren
Concepts for Overloading and Subtyping in an Algebraic Specification Language
WSI-95-21
U. Fößmeier, M. Kaufmann
Drawing High Degree Graphs with Low Bend Numbers
WSI-95-20
WSI (Hg.)
Studienplan
WSI-95-19
R. Bündgen, W. Lauterbach
Partielle Evaluationsbereiche für Termersetzungsspezifikationen
WSI-95-18
E. Gröller, R. Rau, W. Straßer
Modeling and Visualization of Knitwear
WSI-95-17
R. Rau
An Object-Oriented Framework for the Visualization of Scientific Data
WSI-95-16
W. Küchlin
Informatik I. Programmierkonzepte. Eine objekt-orientierte Einführung mit C++
WSI-95-15
L.M. Encarnacao
A Concept of a Framework to Experiment with Adaptivity in Graphical User Interfaces
WSI-95-14
C. Damm, M. Holzer
Automata That Take Advice
WSI-95-13
E. Garcez
The Verification of a ATM Switching Fabric using the HSIS tool
WSI-95-12
nicht erschienen
WSI-95-11
M. Hiller
Verteiltes symbolisches Rechnen mit PARSAC-2
WSI-95-10
M. Holzer (Hg.)
4. GI Theorietag ``Automaten u. Formale Sprachen''
WSI-95-9
J.F. Sibeyn, M. Kaufmann
Solving Cheap Graph Problems on Meshes
WSI-95-8
E. Schubert, J. Bullmann
Division und Faktorisierung über Mehrbereichsdarstellungen boolescher Funktionen
WSI-95-7
P. Becker
An Embeddable and Extendable Language for large-scale Programming on the INTERNET
WSI-95-6
P. Maier, M. Göbel, R. Bündgen
A Multi-Threaded Unfailing Completion
WSI-95-5
H. Lauer
GRAPHEDITOREN. Eine Wunschliste
WSI-95-4
R. Bündgen, W. Lauterbach, W. Küchlin
A License to Fly: Verifying the Sparrow-0 Processor
WSI-95-3
W. Straßer (Hg.)
GRIS-Jahresbericht
WSI-95-2
J. Busse, H. Klaeren, G. Reich
Informatikkenntnisse von Jugendlichen, untersucht am Beispiel des 11. Bundeswettbewerbs Informatik 1992/93
WSI-95-1
P. Becker
A Temporal Logic Based Approach for Querying Lists, Trees, and DAGs in Databases
WSI-Berichte 1994
WSI-94-17
M. Encarnacao, J. Fechter
Applying Adaptive Interface Reasoning to Virtual Environments
WSI-94-16
R. Klein, J. Krämer
Schnelle Algorithmen zur Berechnung der 2D-Delaunay-Triangulierung
WSI-94-15
R. Klein, R. T. Rau
Mapping of 2D-Textures on 3D-Garments
WSI-94-14
M. Plümicke, H. Klaeren
Subtyping and Overloading in a Functional Programming Language
WSI-94-13
nicht erschienen
WSI-94-12
B. Amrhein
Gröbner-Basen (Vorlesungsskript)
WSI-94-11
H. Szczerbicka (Hg.)
noch nicht erschienen
WSI-94-10
WSI (Hg.)
Studienplan
WSI-94-9
H. Argenton, P. Becker
Efficient Retrieval of Labeled Binary Trees
WSI-94-8
P. Becker
M - Ein objekt-orientiertes Modell- und Methodenbanksystem für diskrete Optimierungsprobleme
WSI-94-7
M. Plümicke
Ordnungs-sortierte Algebren als Grundlage für Semantik und Typsystem einer algebraischen Spezifikationssprache
WSI-94-6
P. Berman, U. Fößmeier, M. Karpinski, M. Kaufmann, A. Zelikovsky
Approaching the 5/4 - Approximation for Rectilinear Steiner Trees
WSI-94-5
R. Bündgen, M. Göbel, W. Küchlin
Experiments with Multi-Threaded Knuth-Bendix Completion
WSI-94-4
H. Szczerbicka (Hg.)
Informatik und Gesellschaft
WSI-94-3
W. Straßer (Hg.)
GRIS-Jahresbericht
WSI-94-2
P. Becker
A New Algorithm for the Construction of Optimal B-Trees
WSI-94-1
E. Schubert
Technology mapping for LUTFPGA based on functional decision diagrams
WSI-Berichte 1993
WSI-93-15
U. Kebschull
Die Äquivalenz-Expansion Boolescher Funktionen
WSI-93-14
U. Fößmeier, M. Kaufmann, A. Zelikovsky
Fast Approximation Algorithms for the Rectilinear Steiner Tree Problem
WSI-93-13
R. Bündgen
The ReDuX System Documentation (Version 1.3)
WSI-93-12
J. Walter, R. Bündgen
The ReDuX User Guide (Version 1.3)
WSI-93-11
J. Brischar
Berechnung statt Entscheidung?
WSI-93-10
O. Aberth, M. Schaefer
The C++ Range Arithmetic System User's Guide
WSI-93-9
M. Encarnacao
NeuNIDA: Reasoning on Neural Net Algorithms as Basis for Intelligent GUI's in Advanced Design Applications
WSI-93-8
T. Bubeck
Eine Systemumgebung zum verteilten funktionalen Rechnen
WSI-93-7
T. Bubeck, U. Kebschull, W. Rosenstiel
Sparrow. Ein Mikroprozessor-Entwurfs- und Ausbildungssystem
WSI-93-6
U. Kebschull
Graphische Darstellung und Transformation von Normalformen Boolescher Funktionen
WSI-93-5
G. Hagel
Characterizations of the Macaulay-Matrix
WSI-93-4
G. Zinßmeister
Layout of Trees with Attribute Graph Grammars
WSI-93-3
R. Bündgen, J. Walter
A C-Backend for the ALDES Compiler
WSI-93-2
U. Kebschull, E. Schubert, W. Rosenstiel (Hg.)
Handouts for IFIP WG 10.5. Workshop on Applications of the Reed-Muller Expansion in Circuit Design Hamburg, Germany, Sept. 16-17, 1993
WSI-93-1
H. Thöne, W. Kießling, U. Güntzer
On Cautious Probabilistic Inference and Default Detachment
WSI-Berichte 1992
WSI-92-14
R. Loos, G. E. Collins
Revised Report on the Algorithm Description Language ALDES
WSI-92-13
P. Thiemann
A Safety Analysis for Functional Languages
WSI-92-12
A. Weber
Structuring the Type System of a Computer Algebra System
WSI-92-11
H. Klaeren
Gibt es Software Engineering?
WSI-92-10
P. Schroeder-Heister
Cut-Elimination in Logics with Definitional Reflection
WSI-92-9
H. Klaeren (Hg.)
2. Arbeitstreffen "Effiziente Implementierung Funktionaler Programmiersprachen"
WSI-92-8
WSI (Hg.)
Jahresbericht 1991
WSI-92-7
U. Oestermeier
Psychologische Theorien des logischen Schließens
WSI-92-6
S. Keronen
Natural Deduction Proof Theory for Logic Programming
WSI-92-5
W. Straßer (Hg.)
Jahresbericht 1991 Arbeitsbereich GRIS
WSI-92-4
J. Werner, U. Güntzer
X-TUMIS: Ausbau des Information-Retrieval-Management-Systems TUMIS für Analyse, Retrieval und Präsentation von Dokumenten
WSI-92-3
F. Sarre, A. Myka, T. Salzberger
Die Benutzerschnittstelle des HyperMan-Systems
WSI-92-2
J. Gough
The D-Code Compiler Front-end GP2D
WSI-92-1
J. Werner, U. Güntzer, T. Brychcy
Audio-Mail. Eine zweckmäßige Kombina- tion aus gesprochener Sprache, E-Mail und Datenbanken
WSI-Berichte 1991
WSI-91-15
nicht erschienen
WSI-91-14
nicht erschienen
WSI-91-13
nicht erschienen
WSI-91-12
P. Thiemann
Efficient Implementation of Structural Recursive Programs
WSI-91-11
G. Hagel
Formale Sprachen Implementierung einiger Algorithmen in Pascal
WSI-91-10
nicht erschienen
WSI-91-9
J. Walter, R. Bündgen
The ReDuX User Guide (Version 1.0)
WSI-91-8
nicht erschienen
WSI-91-7
V. Ajjanagadde
Abductive Reasoning in Connectionist Networks: Incorporating Variables, Background Knowledge, and Structured Explananda
WSI-91-6
V. Ajjanagadde
Incorporating Background Knowledge and Structured Explananda in Abductive Reasoning: A Framework
WSI-91-5
R. Bündgen
The ReDuX System Documentation (Version 1.0)
WSI-91-4
R. Loos
Publication ALDES
WSI-91-3
R. Bündgen
Term Completion Versus Algebraic Completion (Dissertation)
WSI-91-2
W. Straßer (Hg.)
Jahresbericht 1990 Arbeitsbereich GRIS
WSI-91-1
P. Thiemann
Tabulating Recursive Functions without Descent Laws
WSI-Berichte 1990
WSI-90-14
U. Güntzer, W. Kießling, H. Thöne
New Directions for Uncertainty Reasoning in Deductive Databases
WSI-90-13
L. Langemyr
An Implementation of the Cylindrical Algebraic Decomposition Algorithm with Multiple Algebraic Extensions
WSI-90-12
L. Langemyr
Converting SAC-2 Code to Common Lisp
WSI-90-11
nicht erschienen
WSI-90-10
B. Schneider
Proof - Interne Berichte
WSI-90-9
S. Seitz
Verteiltes Rechnen in SAC-2 (Dissertation)
WSI-90-8
R. Bündgen
Completion of Bases for Multivariate Polynomial Ideals over Commutative Rings with the Term Completion Procedure According to Peterson and Stickel
WSI-90-7
R. Loos
``... ein platonisches Gerät''
WSI-90-6
GDV-Praktikum
WSI-90-5
Jahresbericht des Arbeitsbereichs GRIS
WSI-90-4
G. E. Collins, R. Loos
Specification and Index of SAC-2 Algorithms
WSI-90-3
B.-O. Schneider
Eine objektorientierte Architektur für Hochleistungs-Display-Prozessoren (Dissertation)
WSI-90-2
J. Mayer
Implementierung eines Medianfilters
WSI-90-1
R. Loos
Die Informatik als Chance der Universität
WSI-Berichte 1989
WSI-89-9
H.-P. Seidel
Polynome, Splines und symmetrische rekursive Algorithmen in Computer Aided Geometric Design (Habilitationsschrift)
WSI-89-8
H. Klaeren, P. Thiemann
A Clean Modula-2 Interface to Abstract Data Types
WSI-89-7
R. Stübner
Vektorrechner, Funktionsweise, Perspektive und ihre Anwendung im Bereich der Computer-Algebra
WSI-89-6
R. Loos
Was heißt und zu welchem Ende studieren wir Informatik? (Antrittsvorlesung)
WSI-89-5
M. Arnold
Non Uniform Rational B-Splines zur Darstellung von Kurven und exakten Repräsentation von Kegelschnitten
WSI-89-4
R. Stübner
Modellierung von Petri-Netzen mittels relationaler Datenbanken
WSI-89-3
R. Bündgen
Application of the Knuth-Bendix Completion Algorithms to Finite Groups
WSI-89-2
R. Loos
Formale Sprachen, Theorie und Anwendungen
WSI-89-1
Xiaolin Zhou
Parametrisierung der Flächen zweiten Grades und Konvertierung in die NURBS-Tensor-Produktdarstellung
WSI-Berichte 1988
WSI-88-5
H.-P. Seidel
A New Multiaffine Approach to B-Splines
WSI-88-4
H.-P. Seidel
Eurographics '88 Tutorial Notes: PC Graphics
WSI-88-3
U. Claussen
Beleuchtungsmodelle und Beleuchtungsalgorithmen in der GDV
WSI-88-2
B.-O. Schneider
PROOF: An Object-Oriented System
WSI-88-1
W. Straßer (Hg.)
Final Report: Machine Vision
WSI-Berichte 1987
WSI-87-1
W. Straßer (Hg.)
Workshop Objektprozessorpipeline