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.

2001  2000  1999  1998  1997  1996  1995  1994  1993  1992  1991  1990  1989  1988  1987


 

WSI-2001-19
H. Fernau:
Learning Tree Languages from Text ( PDF )

 

WSI-2001-3
J. Gramm, R. Niedermeier
Minimum Quartet Inconsistency is Fixed Parameter Tractable ( PDF )

 

WSI-2001-2
H. Fernau
Approximative Learning of Regular Languages ( PDF )

 

WSI-2001-1
H. Fernau
Learning XML Grammars ( PDF )


 

 

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