TUD Logo

TUD Home » ... » Research » Publications » Technical reports

Faculty of Computer Science

against racism

Technical Reports of the Department

Inhaltsverzeichnis

[Einleitung]
[Jahrgang 2013]
[Jahrgang 2012]
[Jahrgang 2011]
[Jahrgang 2010]
[Jahrgang 2009]
[Jahrgang 2008]
[Jahrgang 2007]
[Jahrgang 2006]
[Jahrgang 2005]
[Jahrgang 2004]
[Jahrgang 2003]
[Jahrgang 2002]
[Jahrgang 2001]
[Jahrgang 2000]
[Jahrgang 1999]
[Jahrgang 1998]
[Jahrgang 1997]
[Jahrgang 1996]
[Jahrgang 1995]
[Jahrgang 1994]

     

Hinweis

Ab Heft 96/07 erfolgte die Veröffentlichung mit ISSN 1430-211X.

     

Jahrgang 2013

  • Test Modeling of Dynamic Variable Systems using Feature Petri Nets
    Püschel, Seidl, Gorzel, Neufert, Aßmann
    TUD-FI13-01-September 2013
  • Selective Core Boosting: The Return of the Turbo Button
    Wamhoff, Marlier, Dice
    TUD-FI13-02-November 2013

     

Jahrgang 2012

  • Extended Version of Elucidatative Development for Model-Based Documentation and Language Specification
    Wilke, Bartho, Schroeter, Karol, Aßmann
    TUD-FI12-01-Januar 2012
  • Architecture of an Intelligent Test Error Detection Agent
    Kirmse, Petersohn
    TUD-FI12-02-Februar 2012
  • Approaching Concept Drift by Context Feature Partitioning
    Hoffmann, Kirmse, Petersohn
    TUD-FI12-03- Februar 2012
  • Consistency of Probabilistic Context-Free Grammars
    Stüber
    TUD-FI12-04-März 2012
  • Innovationsforum open4INNOVATION2012 regional kooperativ-global innovativ - Beiträge zum Fachforum
    Gräning, Röttger (Ed.)
    TUD-FI12-05-Mai 2012
  • Proceedings of the Workshop Weighted Automata: Theory and Applications 2012
    Droste, Vogler
    TUD-FI12-06-Mai 2012
  • Communication Overhead of Network Coding Schemes Secure against Pollution Attacks
    TUD-FI12-07-Mai 2012
    Franz, Pfennig, Fischer
  • RACR: A Scheme Library for Rederence Attribute Grammar Controlles Rewriting
    Bürger
    TUD-FI12-09-Dezember 2012
  • Comparing Mobile Applications Ernergy Consumption
    Wilke et al
    TUD-FI12-10-Dezember 2012

     

Jahrgang 2011

  • Towards a Unifying Visualization Ontology
    Voigt, Polowinski
    TUD-FI11-01-März 2011
  • Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011)
    Brauer, Roveri, Tews
    TUD-FI11-02-August 2011
  • Aspects of Software's Enerrgy Consumption
    Waltsgott, Götz, Fritzsche, Cech, Wilke
    TUD-FI11-04-Sept. 2011
  • State of the Art: Optimization of Energy Consumption in Storage Systems
    Waltsgott, Götz, Fritzsche, Cech, Wilke
    TUD-FI11-05-Sept.2011
  • State of the Art: Hardware Energy Management
    Waltsgott, Götz, Fritzsche, Cech, Wilke
    TUD-FI11-06-Sept.2011
  • Extended Version of Multi-Perspectives on Feature Models
    Schroeter, Lochau, Winkelmann
    TUD-FI11-07-Dez.2011

     

Jahrgang 2010

  • Providing Mainstream Parser Generators with Modular Language Definition Support
    Sven Karol, Steffen Zschaler
    TUD-FI10-01 - Januar 2010
  • XASM - A Generic and Retargetable Assembler
    Marco Kaufmann
    TUD-FI10-02 - Januar 2010
  • Towards Attribute Grammars for Metamodel Semantics
    Christoff Bürger, Sven Karol
    TUD-FI10-03 - März 2010
  • An extended Framework for Snake-based Contour Extraction
    Gosda, Schiekel, Richter, Petersohn
    TUD-FI10-04-April 2010
  • Feature-based Customisation of MDSD Tool Enviroments
    Wende, Zivkovic, Aßmann, Kühn
    TUD-FI10-05-Juli 2010
  • Optimizing Hybrid Transactional Memory: The Importance of Nonspeculative Operations
    Riegel, Marlier, Nowack, Felber, Fetzer
    TUD-FI10-06-November 2010
  • Weighted Monadic Datalog Tree Transducers
    Geisler, Stüber
    TUD-FI10-07-Dezember 2010
  • THEATRE Resource MAnager Interface Specification v. 1.0
    Götz, Wilke, Schmidt, Cech, Waltsgott, Fritzsche
    TUD-FI10-08-Dezember 2010

     

Jahrgang 2009

     

Jahrgang 2008

  • Vektoranalytische Beschreibung eines diskret Massiven Systems
    Schulze
    TUD-FI08-01 - Januar 2008
  • Refactoring-Based Adaption of Adapter Specifications
    L. Savga, M. Rudolf
    TUD-FI08-02 - Februrar 2008
  • Bissimulation Minimization of Weighted Automata on Unranked Trees
    J. Högberg, A. Maletti, H. Vogler
    TUD-FI08-03 - März 2008
  • Decomposition of Weighted Multioperator Tree Automata
    T. Stüber, H. Vogler, Z. Fülöp
    TUD-FI08-04 - Mai 2008
  • Weighted Automata: Theory and Applications
    M. Droste, H. Vogler
    TUD-FI08-05 - Mai 2008
  • Collaborating Languages and Tool - A Study in Feasibility
    Steffen Zschaler, Christian Wende
    TUD-FI08-06 - Juli 2008
  • E-Learning 2.0
    E. Rawolle, H. Rohland
    TUD-FI08-07 - Dezember 2008
  • Parametricity for Haskell with Imprecise Error Semantics
    Stenger, Voigtländer
    TUD-FI08-08 - November 2008
  • Proceedings of 6th International Fujaba Days
    Uwe Aßmann, Jendrik Johannes, Albert Zündorf
    TUD-FI08-09 - September 2008

     

Jahrgang 2007

     

Jahrgang 2006

     

Jahrgang 2005

  • The Town Map: A new approach for Privacy Enhancing Human Computer Interfaces
    Bergmann, Rost, Petersson
    TUD-FI05-01 - Januar 2005
  • An Approach to Computable Coalgebras based on Recursive Functions
    Frank Felfe
    TUD-FI05-02 - Januar 2005
  • Modellierung der Encoding-Kosten und der Qualität kodierter Videoobjekte am Beispiel von WMV-9 und MPEG-1
    Buchholz, Heidel
    TUD-FI05-03 - Januar 2005
  • 7th International Symposium on Logical Formalizations of Commonsense Reasoning
    M. Thielscher, P. Peppas, S. Mcllraith
    TUD-FI05-04 - Mai 2005
  • Compositions of Tree Series Transformations
    Maletti
    TUD-FI05-05 - Oktober 2005
  • Recognizable and Rational Formal Power Series with General Discounting
    M. Droste, H. Vogler
    TUD-FI05-06 - Juni 2005
  • Discrete Fractional Clock Generation for Systems-on-FPGA
    Preußer, Köhler
    TUD-FI05-07 - Juni 2005
  • Structures and deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)
    Paola Bruscoli, Francois Lamarche, Charles Stewart
    TUD-FI05-08 - Juli 2005
  • Informatik und Schule 2005 - Unterrichtskonzepte für informatische Bildung
    Hrsg. Rohland, Holger
    TUD-FI05-09 - September 2005
  • Weighted Tree Automata and Weighted Logics
    M. Droste, H. Vogler
    TUD-FI05-10 - Juli 2005
  • Schwankungsbeschränkte Ströme
    Hamann, Claude-J.
    TUD-FI05-11 - August 2005
  • Methods of Category Theory in Software Engineering
    Vogler, Heiko
    TUD-FI05-12 - November 2005
  • Decomposition Results for Pebbe Macro Tree Transducers
    Fülöp, Muzamel
    TUD-FI05-13 - Dezember 2005
  • Deaccumulation Techniques for Improving Provability
    Kühnemann, Voigtländer, Giesl
    TUD-FI05-14 - Dezember 2005
  • The VFiasco approach for a verfied operating system
    Hohmuth, Tews
    TUD-FI05-15 - Dezember 2005

     

Jahrgang 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 al.
    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
  • Plattform virtueller Unternehmen - ein Anwendungsframework
    M. Halatchev
    Institut für Angewandte Informatik, Privatdozentur Angewandte Informatik
    TUD-FI01-02 - März 2001
  • 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 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

     

Jahrgang 1999

     

Jahrgang 1998

     

Jahrgang 1997

     

Jahrgang 1996

     

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
  • Management Support and Quality of Service Abstractions for XTPX
    T. Hutschenreuther, A. Schill, G. Schreiter, F. Wildenhain
    TUD-FI94-02 - Juli 1994
  • 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
Last modified: 14th Feb 2014, 7.51 AM
Author: Webmaster

Contact
Ing.
Silvia Kapplusch

Phone: +49 (0) 351 463-38465
Fax: +49 (0) 351 463-38221
e-mail contact form

Prof. Dr. rer. nat.
Stefan Gumhold

Phone: +49 (0) 351 463-38212
Fax: +49 (0) 351 463-38396
e-mail contact form