Technische Berichte der Fakultät Informatik
Die Technischen Berichte der Fakultät Informatik sind auch über
NCSTRL (Networked Computer Science Technical Reports Library) verfügbar.
Hinweise:
- Ab Heft 96/07 erfolgt die Veröffentlichung mit ISSN 1430-211X.
- Ab 15.10.98 erfolgt die Bezeichnung der Report-Nummer in der Form TUD-FIjj-nn, um im NCSTRL recherchierbar zu sein. Bitte beachten Sie, daß auf den Deckblättern der bisher erschienenen Berichte noch die Report-Nummer in der Form TUD/FIjj/nn steht.
Jahrgang 2005
Jahrgang 2004
-
Connecting Real-Time and Non-Real-Time Components
Pohlack, Aigner, Härtig
TUD-FI04-01 - Februar 2004
-
Overlay Window Management: User interaction with multiple security domains
Feske, Helmuth
TUD-FI04-02 - März 2004
-
The COMQUAD Component Container Archtitecture and Contract Negotiation
Göbel, Pohl, Aigner et all
TUD-FI04-04 - April 2004
-
Weighted Automata: Theory and Applications
Droste, Vogler
TUD-FI04-05 - Mai 2004
-
phiRecognizable Formal Power Series are phiRational - An Alternative Proof
Heiko Vogler
TUD-FI04-06 - May 2004
-
Inclusion Diagrams for Classes of Deterministic Bottom-up
Tree-to-Tree-Series
Transformations
Andreas Maletti
TUD-FI04-07 - May 2004
-
Formal Efficiency Analysis for Tree Transcuder Composition
Janis Voigtländer
TUD-FI04-08 - Juni 2004
-
Dualizing clones as Lawvere theories
D. Masulovic
TUD-FI04-09 - Juni 2004
-
Über die Kontaktdruckmodelle der Spiralphyllotaxis I
Heini Hellwig
TUD-FI04-10 - Juni 2004
-
The wisent Parser Generator
Thomas Preußer
TUD-FI04-11 - September 2004
-
Proceedings of the 1st International Workshop in Models for
Non-functionals Aspects of Component-Based Software
Bruel, Georg, Hussmann, Ober, Pohl, Whittle, Zschaler
TUD-FI04-12 - September 2004
-
A categorical logic for invariants of computations
D. Masulovic
TUD-FI04-13 - Dezember 2004
Jahrgang 2003
-
Weighted Tree Transducers
Fülöp, Vogler
TUD-FI03-01 - Januar 2003
- Block SOR for Kronecker structured representations
Buchholz, Dayar
TUD-FI03-02 - März 2003
-
17.Workshop Logische Programmierung
B. Fronhoefer, S. Hoelldobler
TUD-FI03-03 - April 2003
-
Teture Segmentation of Images on the basis of Markov Random fields
Kovtun
TUD-FI03-04 - Mai 2003
- Block SOR Preconditioned Projection Methods for
Kronecker Structured Markovian Representations
Buchholz, Dayar
TUD-FI03-05 - Mai 2003
-
Elaboration of two-dimensional raster code for positional encoding of
documents
Kulakov, Egorova
TUD.FI03-06 - Mai 2003
-
Behavioural Equivalences for Coalgebras
Rothe Masilovic
TUD-FI03-07 - Mai 2003
-
An I/O Architecture for Microkernel-Based Operating Systems
Härtig, Löser, Mehnert et all
TUD-FI03-08 - Juli 2003
- Zwischenbericht der DFG-Forschergruppe 428 "Components with Quantitative Properties and Adaptivity (Comquad)"
Aigner, Franz, Göbel, Härtig, Hussmann, Meissner, Meyer-Wegener, Meyerhöfer, Pfitzmann, Pohl, Pohlack, Röttger, Schill, Wehner, Zschaler
TUD-FI03-10 - August 2003
-
DOpE - a Window Server for Real-Time and Embedded Systems
Norman Feske, Hermann Härtig
TUD-FI03-10a - September 2003
-
Modellierung virtueller Unternehmen und ihrer informationstechnischen
Unterstützung
Detlef Neumann
TUD-FI03-11 - November 2003
-
Konzeption und experimentelle Erforschung der VCE KONUS
Engelien, Hohmann, Hunger et all
TUD-FI03-12 - November 2003
-
Markov Theory to Recognize Hand Printed Amharic Bank Checks
Worku, Fuchs
TUD-FI03-13 - November 2003
-
Incomparability Results for Classes of Polynomial Tree Series
Transformations
Maletti, Vogler
TUD-FI03-14 - Dezember 2003
-
Buffer Bounds of a FIFO Multiplexer
Jork Löser
TUD-FI03-15 - November 2003
-
Measuring Microsecond Delays
Jork Löser
TUD-FI03-16 - November 2003
-
Analysis and Structured Representation of the Theory of Abstract Cell
Complexes Applied to Digital Topology and Digital Geometry
Schulz, Fuchs, Kovalevsky
TUD-FI03-17 - Dezember 2003
-
NEBUS -Netzwerk Behinderung und Studium- eine virtuelle Gemeinschaft und
ihre
Web-Plattform
Hunger, Engelien, Riedel, Bunk
TUD-FI03-18 - Dezember 2003
Jahrgang 2002
- Tree Series Transformations that Respect Copying
Z. Fülöp, H. Vogler
TUD-FI02-01 - Februar 2002
-
Weighted Automata: Theory and Applications
M. Droste, H. Vogler
TUD-FI02-02 - März 2002
-
Applying source-code verification to a
microkernel - The VFiasco project
M. Hohmuth, H. Tews, S. Stephens
TUD-FI02-03 - März 2002
-
A Kleene theorem for weighted tree automata
M. Droste, H. Vogler
TUD-FI02-04 - Juni 2002
-
Entwicklung eines gestisch-intuitiven Mensch-Maschine-Interfaces
auf Basis der videogestützten Erkennung von Handzeichen
S. Funck, S. Fuchs
TUD-FI02-05 - Juli 2002
-
Cache Influence on Worst Case
Execution Time of Network Stacks
J. Löser
TUD-FI02-07 - Juli 2002
-
COMQUAD
Göbel
TUD-FI02-10 - November.2002
-
Towards Weak Bisimulation For Coalgebras
Jan Rothe, Dragan Masulovic
TUD-FI02-11 - September 2002
Jahrgang 2001
- VFiasco - Towards a Provably Correct μ-Kernel
Hendrik Tews, Hermann Härtig, Michael Hohmuth
Institut für Theoretische Informatik
TUD-FI01-01 - Januar 2001
- Remarks on a Quality Measure
Torsten Wierschin
Institut für Künstliche Intelligenz
TUD-FI01-03 - Februar 2001
E-mail: wierschin@inf.tu-dresden.de
- Plattform virtueller Unternehmen - ein Anwendungsframework
M. Halatchev
Institut für Angewandte Informatik, Privatdozentur Angewandte Informatik
TUD-FI01-02 - März 2001
E-mail: mh10@inf.tu-dresden.de
- Different Approaches to the Semantics of Workflow
P. Buchholz, M. Droste, B. Ganter, S. Hölldobler, K. Meyer-Wegener, R.
Pöschel, H. Reichel, M. Thielscher, H. Vogler
Graduiertenkolleg 334
TUD-FI01-04 - Juli 2001
- Automatische und interaktive Interpretation von Leitungsplänen
Petra Neumann, Gabor Müller, Siegfried Fuchs
Institut für Künstliche Intelligenz
TUD-FI01-05 - Juli 2001
- Untersuchung statistischer Modelle für die Registrierung von MR und PE (bzw. SPEC) Tomogrammen
Tilo Pfliegner; Boris Flach; Siegfried Fuchs
Institut für Künstliche Intelligenz
TUD-FI01-06 - Juli 2001
-
Tree Transducer Composition as Deforestation Method
for Functional Programs
A. Kühnemann, J. Voigtländer
TUD-FI01-07 - August 2001
- Composition of Functions with
Accumulating Parameters
J. Voigtländer, A. Kühnemann
TUD-FI01-08 - August 2001
- A Streaming Interface for Real-Time Interprocess Communication
J. Löser, L. Reuther, H. Härtig
Graduiertenkolleg 191
TUD-FI01-09 August 2001
- Syntacitc composition of top-down tree transducers is
short cut fusion
Claus Jürgensen, Heiko Vogler
TUD-FI01-10 - November 2001
Jahrgang 2000
- Modellgesteuerte, automatisierte Erfassung
von Leitungsplänen und Integration in Geoinformationssysteme
Dipl.-Inf. Oliver Bringmann
Institut für Künstliche Intelligenz
TUD-FI00-01 - April 2000
E-mail:fuchs@iki101.inf.tu-dresden.de
- TUD-FI00-02 wird nicht mehr veröffentlicht
- Automatische Extraktion von festigkeits- und optisch
relevanten Merkmalen aus Farbbildern von Schnittholzoberflächen
S. Bischoff; B. Flach; E. Kask; S. Fuchs
Institut für Künstliche Intelligenz
TUD-FI00-03 - Mai 2000
E-mail: fuchs@iki101.inf.tu-dresden.de
- Bewertung von Algorithmen in der
Bildverarbeitung und Mustererkennung
- Stand der Technik und Anwendung -
T. Wierschin; S. Fuchs
TUD-FI00-04 - Mai 2000
E-mail: fuchs@iki101.inf.tu-dresden.de
- A universal functional approach to DNA
computing and its experimental practicability
T. Hinze; M. Sturm
Institut für Theoretische Informatik
TUD-FI00-05 - Juni 2000
E-mail: sturm@tcs.inf.tu-drsden.de
E-mail: th1@irz.inf.tu-dresden.de
- MASSIV PARALLELE SYSTEME
Teil 2: Topologiesynthese
Rainer W. Schulze
Institut für Technische Informatik
TUD-FI00-06 - August 2000
E-mail: schulze@irzr17.inf.tu-dresden.de
- TUD-FI00-07 wird nicht mehr veröffentlicht
- A numerical analysis of a communication system with
advance reservations
Peter Buchholz
Institut für Angewandte Informatik
Sabine Kühn; Frank Breiter
Institut für Systemarchitektur
TUD-FI00-08 - September 2000
E-mail: p.buchholz@inf.tu-dresden.de
E-mail: kuehn@rn.inf.tu-dresden.de
E-mail: breiter@rn.inf.tu-drsden.de
- The Coalgebraic Specification Language CCSL
Jan Rothe, Hendrik Tews,Bart Jacobs
Institut für Theoretische Informatik
TUD-FI00-09 - Oktober 2000
E-mail: janr@tcs.inf.tu-dresden.de
E-mail: tews@tcs.inf.tu-dresden.de
E-mail: bart@cs.kun.nl
- Bottom-up and Top-down
Tree Series Transformations
Z.Fülöp, Szeged Jozsef Attila University
H. Vogler, Dresden University of Technology
TUD-FI00-10 - Oktober 2000
E-mail: fulop@inf.u-szeged.hu
T-mail: vogler@inf.tu-dresden.de
- Tau-Equivalences and Refinement for Petri Nets Based Design
Igor V. Tarasyuk
Institute of Informatics Systems, Novosibirsk
TUD-FI00-11 - November 2000
E-mail: itar@iis.nsk.su
- A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions
Peter Buchholz, Igor V. Tarasyuk
Institute of Applied Computer Science, Dresden University of Technology,
Insitute of Informatics Systems, Novosibirsk
TUD-FI00-12 - November 2000
E-mail: p.buchholz@inf.tu-dresden.de
- A Formalization of Hylomorphism Based Deforestation
with an Application to an Extended Typed l-Calculus
Claus Jürgensen
Institut für Theoretische Informatik
TUD-FI00-13 - November 2000
E-mail: Claus@Orchid.Inf.TU-Dresden.DE
Jahrgang 1999
Jahrgang 1998
Jahrgang 1997
- Probabilistic Modeling of Distributed Information Retrieval
Christoph Baumgarten
TUD-FI97-01 - Februar 1997
e-mail: baumgart@is2201.inf.tu-dresden.de
- Programmiereinführung in OPAL
A. Wehrenpfennig
TUD-FI97-02 - März 1997
e-mail: aw@irs261.inf.tu-dresden.de
- VLSI-Realisierungen für ATM: eine Übersicht
Forchel, D; Spallek, R.G.
TUD-FI97-03 - April 1997
e-mail: forchel@ite.inf.tu-dresden.de
e-mail: rgs@ite.inf.tu-dresden.de
- Gruppenorientiertes Konfigurationsmanagement auf Basis von Lotus Notes
D. Hanzelmann, VSS Atlas Datensysteme GmbH Dresden
R. Liskowsky/S. Löscher, TU Dresden, Fakultät Informatik
TUD-FI97-04 - April 1997
e-mail: d.hanzelmann@vss-dd.de
e-mail: rl2@inf.tu-dresden.de
- Entwurf und Realisierung eines Informationssystems zur
Prozeßdatenverwaltung und -verarbeitung im durchgängigen
Halbleitertechnologieprozeß
Gratz, A.; Schulz, P.; Spallek, R.G.
TUD-FI97-05 - Mai 1997
e-mail: gratz@ite.inf.tu-dresden.de
e-mail: schulz@freia.inf.tu-dresden.de
e-mail: rgs@ite.inf.tu-dresden.de
- Konzeption eines dreistufigen Transfers für die maschinelle Übersetzung natürlicher Sprachen
Annett Laube; Hans-Ulrich Karl
TUD-FI97-06 - August 1997
e-mail: laube@heidelbg.ibm.com
e-mail: huk@inf.tu-dresden.de
- Segmentation of 3D Data
Torsten Ihle
TUD-FI97-07 - September 1997
e-mail: ihle@iki.inf.tu-dresden.de
- Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme
S. Schwigon; P. Hofstedt
TUD-FI97-08 - Oktober 1997
e-mail: schwigon@inf.tu-dresden.de
e-mail: hofstedt@inf.tu-dresden.de
- Eine Methode für Entwurf und Bewertung von Integrationsvarianten für Anwendungsprogramme und Workflow-Management-Systeme in Geschäftsprozessen
M. Böhm
TUD-FI97-09 - Oktober 1997
e-mail: markus.boehm@inf.tu-dresden.de
- Verfolgung von Objekten mit gekrümmter Oberfläche
Katrin Stark
TUD-FI97-10 - Juli 1997
e-mail: ks14@inf.tu-dresden.de
- Laterale Verkopplung im visuellen System der Vertebraten - beschrieben im Zellularen Beobachtungsraum
Schulze, Rainer
TUD-FI97-11 - Oktober 1997
e-mail: schulze@irs.inf.tu-dresden.de
- Attributed Context-Free Hypergraph Grammars
Sebastian Maneth, Heiko Vogler
TUD-FI97-12 - Oktober 1997
e-mail: maneth@inf.-tu-dresden.de
e-mail: vogler@inf.tu-dresden.de
- Grundlagen der Parallelität
Workshop der GI-Fachgruppen 0.0.1 und 0.1.7
im Rahmen der INFORMATIK '97
Jörg Desel, Horst Reichel
TUD-FI97-13 - November 1997
e-mail: reichel@tcs.inf.tu-dresden.de
e-mail: desel@aifb.uni-karlsruhe.de
- Labor- und Feldtests als Mittel für Akzeptanzuntersuchungen in Lehr-/Lernsystemen
Gunter Dubrau
TUD-FI97-14 - November 1997
e-mail: gd1@inf.tu-dresden.de
- A Characterization of Attributed Tree Transformations
Z. Fülöp, Szeged Jozsef Attila University
H. Vogler, Dresden University of Technology
TUD-FI97-15 - Dezember 1997
e-mail: fulop@inf.u-steged.hu
e-mail: vogler@inf.tu-dresden.de
Jahrgang 1996
- Gegenwärtiger Entwicklungsstand und Perspektiven von Fehlertoleranztechniken in der parallelen Verarbeitung
Robert Dietze, Peter Sobe
TUD-FI96-01 - Januar 1996
e-mail: ps1@irz.inf.tu-dresden.de
- OPAL - Objektorientiertes und paralleles Programmieren
A. Wehrenpfennig
TUD-FI96-02 - Januar 1996
e-mail: aw@irs261.inf.tu-dresden.de
- Ein uniformer Ansatz zur Implementation paralleler Algorithmen
H. Haß, Th. Stirner
TUD-FI96-03 - Januar 1996
e-mail: hart@irs261.inf.tu-dresden.de
e-mail: tom@irs261.inf.tu-dresden.de
- Reduzierung des Befehlsstroms eines RISC-PROZESSORS durch Anwendung der Datenkompression
S. Sawitzki; G. Kemnitz; R.G. Spallek
TUD-FI96-04 - Januar 1996
e-mail: rgs@ite.inf.tu-dresden.de
- Erstellung skalierbarer paralleler Programme für den Parsytec-PowerXPlorer
Sobe, Peter
TUD-FI96-05 - Februar 1996
e-mail: ps1@irz.inf.tu-dresden.de
- Arbeitstreffen über:
Grundlagen, Spezifikation, Implementierung und Verifikation von Programmiersprachen
Heiko Vogler
TUD-FI96-06 - Februar 1996
e-mail: vogler@inf.tu-dresden.de
- Verfahren zum Nachweis der Ein-/Ausgabeäquivalenz zweier endlicher, deterministischer, abstraktiver Automaten mit binären Ein- und Ausgängen
J. Schönherr
TUD-FI96-07 - April 1996
e-mail:js9@irz.inf.tu-dresden.de
- Inhaltsorientierte Suche nach Multimedia-Objekten
Beate Kochinka
TUD-FI96-08 - April 1996
e-mail:kochinka@is2201.inf.tu-dresden.de
- Untersuchungen zur Struktur des Spatiotemporalen Kontinuums
Torsten Ihle
TUD-FI96-09 - Juli 1996
e-mail:ihle@iki101.inf.tu-dresden.de
- A Method for Tracking the Pose of Known 3-D-Objects Based on an Active Contour Model
Katrin Stark
TUD-FI96-10 - August 1996
e-mail: stark@iki101.inf.tu-dresden.de
- TUD-FI96-11 wird nicht mehr veröffentlicht
- Entwicklung und Programmierung eines Verfahrens zur verteilten Fehlersimulation analoger Netzwerke
Holubek, A.
TUD-FI96-12 - Juni 1996
e-mail: ah3@irz.inf.tu-dresden.de
- Internetdienste für Schulen am Beispiel eines Prototyp-Servers
S. Friedrich/T. Peters
TUD-FI96-13 - Juni 1996
e-mail:
tp1@irz.inf.tu-dresden.de
friedrich@inf.tu-dresden.de
- Statisches Scheduling in MIMD-Maschinen mit nichtdeterministischer Kommunikation
Forchel, D.
TUD-FI96-14 - Juli 1996
e-mail: df2@inf.tu-dresden.de
- Wechselwirkungen in einem Zellularen Beobachtungsgebiet
- dargestellt am Beispiel einer Neuronenpopulation
Schulze, Rainer
TUD-FI96-15 - August 1996
e-mail: schulze@irs.inf.tu-dresden.de
- Formal Methods for Concurrency (Abstracts)
Colloquium Munich, July 1996
Jörg Desel, Horst Reichel
TUD-FI96-16 - September 1996
e-mail: reichel@tcs.inf.tu-dresden.de
- The equivalence of bottom-up and top-down tree-to-graph transducers
Joost Engelfriet (Leiden University/NL) and Heiko Vogler
TUD-FI96-17 - Oktober 1996
e-mail: vogler@inf.tu-dresden.de
- Technisch orientierte Modellierung der Erregungsausbreitung in neuronalen Systemen
Schulze, Rainer
TUD-FI96-18 - November 1996
e-mail: schulze@irs.inf.tu-dresden.de
- On the Generating Power of Deterministic Tree Transducers
Sebastian Maneth
TUD-FI96-19 - November 1996
e-mail: maneth@inf.tu-dresden.de
- Analytische Beschreibung von Ereignisabhängigkeiten in neuronalen Systemen
Schulze, Rainer
TUD-FI96-20 - November 1996
e-mail: schulze@irs.inf.tu-dresden.de
- A Strict Border for the Decidability of E-Unification for Recursive Functions
Sebastian Maneth, Technische Universität Dresden
Heinz Faßbender, Deutsche Forschungsanstalt für Luft und Raumfahrt e.V.
TUD-FI96-21 - November 1996
e-mail: maneth@inf.tu-dresden.de
Jahrgang 1995
Jahrgang 1994
- Systemunterstützung für verteilte Mobilrechner - Anwendungen
W. Böhmak, B. Bellmann, T. Reibger, A. Schill
TUD-FI94-01 - Juli 1994
e-mail: bellmann@ibdr.inf.tu-dresden.de;schill@ibdr.inf.tu-dresden.de
- Management Support and Quality of Service
Abstractions for XTPX
T. Hutschenreuther, A. Schill, G. Schreiter, F. Wildenhain
TUD-FI94-02 - Juli 1994
e-mail:th8@inf.tu-dresden.de;schill@ibdr.inf.tu-drsden.de
- Trader Support for a Competitive Market of Services
Ch. Mittasch
Institut Betriebssysteme, Datendanken, Rechnernetze
TUD-FI94-03 - September 1994
- Modellierung und Simulation - Terminilogische Probleme
M. Frank
Insitut für Informationssysteme
TUD-FI94-04 - November 1994
- Akquirierung, Repräsentation und Anwendung attributierten Wissens
in einem Lehr- und Lernsystem für die Ingenieurwissenschaft
H.-U. Karl/A. Schreiber/ G. Wegner
TUD-FI94-05 - Dezember 1994
e-mail: huk@inf.tu-dresden.de