Technische Berichte

Wissenschaftler/innen unseres Instituts haben die Möglichkeit, Technische Berichte zu veröffentlichen.

Zugriff auf bereits veröffentlichte Technischen Berichte.

Bitte beachten Sie die Hinweise zum Erstellen eines Technischen Berichts.

Seit dem 20. Juni 2011 haben die Berichte eine ISSN (International Standard Serial Number): 2192-6247.

 

 

 

Publikation

Autor / Titel

Datum

9203

Thomas Wilke 
Locally threshold testable languages of infinite words

Juli 1992

9304

Wolfgang Goerigk 
Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung

Februar 1993

9313

Thomas Wilke 
Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability

Juli 1993

9403

Jörg BruskeGerald Sommer 
Dynamic Cell Structures: Radial Basis Function Networks with Perfect Topology Preservation

Juni 1994

9408

Thomas Wilke 
Automaten und Logiken zur Beschreibung zeitabhaengiger Systeme

Juli 1994

9413

Markus MichaelisGerald Sommer 
Basic functions for early vision

August 1994

9415

Markus MichaelisGerald Sommer 
A Lie group approach to steerable filters

August 1994

9414

Karl Heinz Buth 
Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rew

Oktober 1994

9420

Carsta PetersohnJan PeleskaCornelis HuizingWillem-Paul de Roever 
Formal Semantics for Ward & Mellor's TRANSFORMATION SCHEMA's and its Application to Fault-Tolerant S

Dezember 1994

9509

Kostas DaniilidisChristian KraussMichael HansenGerald Sommer 
Real Time Tracking of Moving Objects with an Active Camera

Oktober 1995

9604

Jörg BruskeIngo AhrnsGerald Sommer 
An Integrated Architecture for Learning of Reactive Behaviors based on Dynamic Cell Structures

Mai 1996

9608

Jörg BruskeLars RiehnMichael HansenGerald Sommer 
Dynamic Cell Structures for Calibration-free Adaptive Saccade Control of a Four-Degrees-of-Freedom B

Juli 1996

9703

Jörg BruskeGerald Sommer 
Intrinsic Dimensionality Estimation with Optimally Topology Preserving Maps

Februar 1997

9708

Rudolf Berghammer 
Dijkstras wp-Funktion als Formeltransformer und ihre Verbindung zur denotationellen Semantik

März 1997

9711

Ralf BehnkeRudolf BerghammerPeter Schneider 
Machine Support of Relational Computationi: The Kiel RELVIEW System

Juni 1997

9715

Markus MichaelisGerald Sommer 
Steerable filters in finite dimensional function spaces

September 1997

9716

Markus Michaelis 
Low level image processing using steerable filters

September 1997

9706

Hans-Joachim KleinJochen Rasch 
Functional Dependencies for Object Databases: Motivation and Axiomatization

Oktober 1997

9717

Rudolf BerghammerFriedemann Simon 
Programming Languages and Fundamentals of Programming

November 1997

9804

Claus Reinke 
Functions, Frames, and Interactions-completing a lambda-calculus-based purely functional language wi

Mai 1998

9805

Josef Pauli 
Geometric/Photometric Consensus and Regular Shape Quasi-Invariants for ObjectLocalization and Bounda

Mai 1998

9806

Arnaud Maes 
Decidability of the First-Order Theory of for Morphic Predicates P

Mai 1998

9807

Oliver Matz 
First-Order Closure and the Monadic Second-Order Alternation Hierarchy

Mai 1998

9808

Barbara LeoniukHelmut LescowWolfgang Thomas 
Singleton Acceptance Conditions in omega-Automata

Mai 1998

9803

Rudolf BerghammerYassine Lakhnech 
Tool Support for System Specification, Development, and Verification

Juni 1998

9809

Jörg Bruske 
Dynamische Zellstrukturen - Theorie und Anwendung eines KNN-Modells

Juni 1998

9811

Martin DickhoeferThomas Wilke 
The Automata-Theoretic Method Works for TCTL Model Checking

September 1998

9810

Ina Schiering 
Hierarchical Accepting Systems and Monadic Second-Order Logic on Graphs

Oktober 1998

9812

Wolfgang GoerigkUlrich Hoffmann 
Compiling ComLisp to Executable Machine Code: Compiler Construction

Oktober 1998

9813

Josef Pauli 
Manipulator and Head Servoing for Tool Handling and Object Inspection

November 1998

9801

Carsta Petersohn 
Data and Control Flow Diagrams, Statecharts and Z: Their Formalization, Integration and Real-Time Ex

Dezember 1998

9802

Hans-Joachim Klein 
Gesicherte und moegliche Antworten auf Anfragen an relationale Datenbanken mit partiellen Relationen

Dezember 1998

9814

Ulrich Hoffmann 
Compiler Implementation Verification through Rigo

Dezember 1998

9901

Josef Pauli 
Learning Manipulator Behaviours using Visual Information

Januar 1999

9902

Michael Hansen 
Stereosehen-Ein verhaltensbasierter Zugang unter Echtzeitbedingungen

Januar 1999

9905

Rudolf BerghammerThorsten HoffmannBarbara Leoniuk 
Rechnergestützte Erstellung von Prototypen für Programme auf relationalen Strukturen

Juli 1999

9903

Thomas Buelow 
Hypercomplex Spectral Signal Representations for Image Processing and Analysis

August 1999

9906

Hailu Getachew 
Towards Real Learning Robots

Oktober 1999

9907

Thomas Clemen 
Zur Wavelet-gestuetzten Validierung von Simulationsmodellen in der Oekologie

Oktober 1999

9909

Rudolf BerghammerMarkus Tiedt 
Kiel - Interactive Evaluation Laboratory

November 1999

2000

Michael HanusSalvador Lucas 
An Evaluation Semantics for Narrowing-Based Functional Logic Languages

Februar 2000

2001

Michael Felsberg 
Structure Multivector for Local Analysis of Images

Februar 2000

2002

Volker KruegerGerald Sommer 
Gabor Wavelet Networks for Object Representation

Februar 2000

2003

Gerald SommerBodo RosenhahnYiwen Zhang 
Pose Estimation Using Geometric Constraints

März 2000

2006

Ryszard KozeraLyle Noakes 
Geometrical Enforcement of Integrability

Mai 2000

2005

Hans-Joachim Klein 
GI-Workshop 'Grundlagen von Datenbanken' of Integrability and 2-D Leap-Frog

Juni 2000

2007

Wolfgang Goerigk 
Programmiersprachen und Rechenkonzepte Schwerpunkt Softwarekomponenten

Juli 2000

2009

Michael FelsbergGerald Sommer 
The Monogenic Signal

September 2000

2011

Erich Mikk 
Semantics and Verification of Statecharts

Oktober 2000

2004

Weichuan YuKostas DaniilidisGerald Sommer 
Approximate Orientation Steerability Based on Angular Gaussians

November 2000

2008

Weichuan YuGerald SommerKostas Daniilidis 
Multiple Motion Analysis Using 3D Orientation Steerable Filters

Dezember 2000

2012

Weichuan Yu 
Local Orientation Analysis in Images and Image Sequences Using Steerable Filters

Dezember 2000

2010

Thomas BuelowGerald Sommer 
Hypercomplex Signals - A Novel Extension of the Analytic Signal to Multidimensional Signals

Februar 2001

2013

Andreas Wolf 
Weakest Relative Precondition Semantics - Balancing Approved Theory and Realistic Translation Verifi

Februar 2001

2014

Volker Krueger 
Gabor Wavelet Networks for Object Representation

April 2001

2015

Wolfgang GoerigkHans Langmaack 
Will Informatics be able to Justify the Construction of Large Computer Based Systems?

Mai 2001

2016

Michael FelsbergGerald Sommer 
The Monogenic Signal (überarbeitete 2. Ausgabe)

Mai 2001

2017

Michael Hanus 
Functional and (Constraint) Logic Programming (WFLP 2001)

September 2001

2018

Wolfgang GoerigkElke PulvermuellerAndreas Speck 
Sprachen, Architekturen und neue objektorientierte Softwaretechniken

Oktober 2001

2019

Carsten FritzThomas Wilke 
Simulation Relations for Alternating Büchi Automata

November 2001

0201

Ralf Kuesters 
On the Decidability of Cryptographic Group Protocols

Februar 2002

0203

Michael Felsberg 
Low-Level Image Processing with the Structure Multivector

März 2002

0204

Ralf Kuesters 
On the Decidability of Cryptographic Protocols with Open-ended Data Structures

April 2002

0205

Christian B.U. PerwassGerald Sommer 
Dense Image Point Matching through Propagation of Local Constraints

Mai 2002

0209

Ralf KuestersThomas Wilke 
Deciding the First Level of Titel mu-calculus Alternation Hierarchy

Juli 2002

0207

Bodo RosenhahnGerald SommerChristian B.U. Perwass 
Pose Estimation 3D Free-form Contours

August 2002

0208

Michael FelsbergGerald Sommer 
The Poisson Scale-Space: A Unified Approach to Phase-Based Image Processing in Scale-Space

August 2002

0210

Michael HanusShiram KrishnamurthiSimon Thompson 
Functional and Declarative Programming in Education (FDPE 2002)

Oktober 2002

0206

Bodo RosenhahnGerald Sommer 
Pose Estimation in Conformal Geometric Algebra

November 2002

0211

Dirk Kukulenz 
A Software Agent for Adaptive Navigation Support in a Restricted Internet Area.

Dezember 2002

0301

Ralf Kuesters 
Tree Transducer-based Analysis of Cryptographic Protocols

Januar 2003

0302

Rudolf BerghammerMarkus Mueller-Olm 
Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables

Februar 2003

0303

Kai Neckels 
Multidimensional Wavelets and Computer Vision

Mai 2003

0305

Yannick ChevalierRalf KuestersMichaël RusinowitchMathieu Turuani 
Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents

Juni 2003

0307

Erika ÁbrahámFrank S. de BoerMarcello M. BonsangueMartin Steffen 
A structural operational semantics of a concurrent class calculus

August 2003

0308

Bodo Rosenhahn 
Pose Estimation Revisited

September 2003

0310

Christian B.U. PerwassDietmar Hildenbrand 
Aspects of Geometric Algebra in Euclidean, Projective and Conformal Space

September 2003

0311

Ralf KuestersThomas Wilke 
Automata-based Analysis of Recursive Cryptographic Protocols

September 2003

0309

Yohannes KassahunGerald Sommer 
Learning and Adaption: A Comparison of Methods in Case of Navigation in an Artificial Robot World

November 2003

0312

Dieter BettenElisa Montanucci 
An Elementary Introduction to Lie Groups

Dezember 2003

0313

Martin SteffenErika ÁbrahámFrank S. de BoerWillem-Paul de Roever 
A Deductive Proof System for Multithreaded Java with Exceptions

Dezember 2003

0401

Bodo RosenhahnGerald SommerReinhard Klette 
Pose Estimation of Free-form Objects (Theory and Experiments)

Januar 2004

0402

Jan LukoschusReinhard von HanxledenStephen A. Edwards 
Efficient Compilation of Cyclic Synchronous Programs

April 2004

0404

János DemetrovicsAndrás MolnárBernhard Thalheim 
Graphical and Spreadsheet Reasoning for Sets of Functional Dependendies

April 2004

0405

Bernhard ThalheimKlaus-Dieter Schewe 
Web Information Systems: Usage, Content, and Functionally Modelling

April 2004

0406

Steffen ProchnowReinhard von Hanxleden 
Visualisierung komplexer reaktiver Systeme - Annotierte Bibliographie

Juni 2004

0403

Christian B.U. Perwass 
Analysis of Local Image Structure using Intersections of Conics

Juli 2004

0407

Gerald SommerBodo RosenhahnChristian B.U. Perwass 
The Twist Representation of Shape

Juli 2004

0409

Detlef KaehlerRalf KuestersThomas Wilke 
Deciding Properties of Contract-Signing Protocols

September 2004

0410

Wolfgang Goerigk 
Programmiersprachen und Rechenkonzepte - 21. Workshop der GI-Fachgruppe 3.-5. Mai 2004 im Physikzen

Dezember 2004

0501

Vladimir Banarer 
Struktureller Bias in neuronalen Netzen mittels Clifford-Algebren

Januar 2005

0502

Jan LukoschusReinhard von Hanxleden 
Removing Cycles in Esterel Programs

März 2005

0503

Detlef KaehlerRalf Kuesters 
A Constraint-Based Algorithm for Contract-Signing Protocols

April 2005

0504

Sven Buchholz 
A Theory of Neural Computation with Clifford Algebras

Mai 2005

0505

Erika ÁbrahámAndreas GruenerMartin Steffen 
An open structural operational semantics for an object-oriented calculus with thread classes

Mai 2005

0506

Xin LiReinhard von Hanxleden 
KEP2 (Kiel Esterel Processor 2) THE ESTEREL PROCESSOR

Juni 2005

0507

Harald FecherMarcel KyasJens Schönborn 
Semantic Issues in UML 2.0 State Machines

Juni 2005

0508

Yohannes KassahunGerald Sommer 
Evolution of Neural Networks Through Incremental Acquisition of Neural Structures

Juni 2005

0510

Andreas BaltzLasse KliemannAnand Srivastav 
The Price of Anarchy in Selfish Multicast Routing

Juni 2005

0513

Michael HanusFrank Huch 
Programmiersprachen und Rechenkonzepte

Oktober 2005

0509

Xin LiReinhard von Hanxleden 
A Concurrent Reactive Esterel Processor Based on Multi-Threading

November 2005

0601

Erika ÁbrahámAndreas GruenerMartin Steffen 
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes

Februar 2006

0602

Yohannes Kassahun 
Towards a Unified Approach to Learning and Adaptation

Februar 2006

0604

Harald FecherMichael Huth 
Complete abstraction through extensions of disjunctive modal transition systems

März 2006

0605

Gunar FiedlerAndreas CzerniakDirk FleischerHeye RumohrMichael Spindler,Bernhard Thalheim 
Content Warehouses

März 2006

0607

Detlef KaehlerRalf KuestersThomas Wilke 
A Dolev-Yao-based Definition of Abuse-free Protocols

Mai 2006

0609

Max Tuengerthal 
Implementing a Unification Algorithm for Protocol Analysis with XOR

Mai 2006

0606

Di ZangGerald Sommer 
A Novel Representation for Two-dimensional Image Structures

Juni 2006

0611

Helena FohlinLasse KliemannAnand Srivastav 
Randomized Algorithms for Mixed Matching and Covering in Hypergraphs in 3D Seed Reconstruction in Brachytherapy

Juli 2006

0603

Xin LiMarian BoldtReinhard von Hanxleden 
Mapping Esterel onto a Multi-Threaded Embedded Processor

September 2006

0612

Erika ÁbrahámAndreas GruenerMartin Steffen 
Abstract Interface Behavior of Object-Oriented Languages with Monitors

Oktober 2006

0613

Klaus-Dieter ScheweBernhard Thalheim 
Usage-Based Storyboarding for Web Information Systems

November 2006

0614

Wolfram Timm 
Markovianity of Trabecular Networks

Dezember 2006

0701

Gunar FiedlerBernhard Thalheim 
An Approach to Conceptual Schema Evolution

Januar 2007

0702

Detlef KaehlerRalf KuestersTomasz Truderung 
Infinite State AMC-Model Checking for Cryptographic Protocols

Februar 2007

0703

Oliver Matz 
A Kleene Theorem for Regular Picture Languages

Februar 2007

0704

Alfs BerztissBernhard Thalheim 
Exceptions in Information Systems

April 2007

0705

Di Zang 
Signal Modeling for Two-Dimensional Image Structures and Scale-Space Based Image Analysis

Mai 2007

0707

Bernd BrasselMichael Hanus 
24. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef, 2.-4. Mai 2007

August 2007

0709

Klaas Ole Kürtz 
Selecting Theories and Nonce Generation for Recursive Protocols

September 2007

0711

Bernd BrasselJan Christiansen 
Denotation by Transformation - Towards Obtaining a Denotational Semantics by Transformation to Point-free Style

Dezember 2007

0712

René NoackBernhard Thalheim 
Intention-Driven Screenography

Dezember 2007

0713

Florian Hoppe 
Local Learning for Visual Robotic Systems

Dezember 2007

0803

Michael Hanus 
Call Pattern Analysis for Functional Logic Programs

Juni 2008

0804

Hui MaKlaus-Dieter ScheweBernhard ThalheimQing Wang 
Composing Personalised Services on top of Abstract State Services

Juni 2008

0807

Reinhard von HanxledenMichael MendlerClaus Traulsen 
WCRT Algebra and Scheduling Interfaces for Esterel-Style Synchronous Multithreading

Juli 2008

0802

Lennart WietzkeGerald Sommer 
The 2D Analytic Signal

September 2008

0808

Klaus JansenRalf Thöle 
Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2

September 2008

0809

Henning Schnoor 
Symbolic Verification of Computational Security for Branching-Time Properties

September 2008

0810

Klaas Ole KürtzHenning SchnoorThomas Wilke 
Computationally Secure Two-Round Authenticated Message Exchange

Oktober 2008

0811

Michael HanusSebastian Fischer 
25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef, 5.-7. Mai 2008

Oktober 2008

0812

Florian DiedrichKlaus JansenFanny PascualDenis Trystram 
Approximation Algorithms for Scheduling with Reservations

Oktober 2008

0806

Lars Prädel 
Reverse-Fit: Ein approximativer Algorithmus für das Strip-Packing-Problem

Dezember 2008

0814

Lasse Kliemann 
The Price of Anarchy and Computation of Equilibria in Non-atomic Consumption-Relevance Congestion Games

Dezember 2008

0815

Lasse Kliemann 
Experimental Studies of the Price of Anarchy in Non-atomic Consumption-Relevance Congestion Games

Dezember 2008

0901

Hauke FuhrmannReinhard von Hanxleden 
Enhancing Graphical Model-Based System Design - An Avionics Case Study

Januar 2009

0805

Stephen J. Hegner 
Information-Based Distance Measures and the Canonical Reflection of View Updates

Januar 2009

0902

Florian DiedrichKlaus Jansen 
Tight Approximation Algorithms for Scheduling with Fixed Jobs and Non-Availability

Februar 2009

0903

Hannu JaakkolaBernhard Thalheim 
A Formal Approach to High Quality Software Design and Development

Februar 2009

0904

Klaus JansenLars PrädelUlrich M. Schwarz 
A 2-approximation for 2D bin packing

März 2009

0906

Klaus JansenHu Zhang 
Scheduling Malleable Tasks with Precedence Constraints

März 2009

0907

Falk StarkeClaus TraulsenReinhard von Hanxleden 
Executing Safe State Machines on a Reactive Processor

März 2009

0908

Klaus JansenLars Prädel 
How to Maximize the Total Area of Rectangles Packed into a Rectangle?

März 2009

0909

Klaus Jansen 
Parameterized Approximation Scheme for the Multiple Knapsack Problem

März 2009

0911

Mihhail AizatulinHenning SchnoorThomas Wilke 
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol

April 2009

0912

Partha S. RoopSidharta AndalamReinhard von HanxledenSimon YuanClaus Traulsen 
Tight WCRT Analysis for Synchronous C Programs

Mai 2009

0910

Reinhard von Hanxleden 
SyncCharts in C

Mai 2009

0913

Hauke FuhrmannReinhard von Hanxleden 
On the Pragmatics of Model-Based Design

Juni 2009

0914

Miro SpönemannHauke FuhrmannReinhard von Hanxleden 
Automatic Layout of Data Flow Diagrams in KIELER and Ptolemy II

Juli 2009

0915

Bernd BrasselMichael Hanus 
Programmiersprachen und Rechenkonzepte - 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 4.-6. Mai 2009

Juli 2009

0916

Klaus Jansen 
A fast approximation scheme for the multiple knapsack problem

Juli 2009

0917

Klaas Ole KürtzHenning SchnoorThomas Wilke 
A Simulation-Based Treatment of Authenticated Message Exchange

August 2009

0918

Henning Schnoor 
Probabilistic ATL with Incomplete Information

September 2009

0919

Johannes RückeltVolkmar SauerlandThomas SlawigAnand SrivastavB. Ward,C. Patvardhan 
Parameter Optimization and Validation of a Marine Biogeochemical Model using a Hybrid Algorithm

Oktober 2009

0922

Marco Antonio Chavarria Fabila 
Monocular Pose Estimation Based on Global and Local Features

November 2009

0921

André van HoornMatthias RohrWilhelm HasselbringJan WallerJens Ehlers,Sören FreyDennis Kieselhorst 
Continuous Monitoring of Software Services: Design and Application of the Kieker Framework

Dezember 2009

0923

Christian MotikaHauke FuhrmannReinhard von Hanxleden 
Semantics and Execution of Domain Specific Models

Dezember 2009

0924

Oliver Fleischmann 
The Hilbert transform on the two-sphere: A spectral characterization

Dezember 2009

tr_1001

Christian Gebken 
Conformal Geometric Algebra in Stochastic Optimization Problems of 3D-Vision Applications

Februar 2010

tr_1002

Klaus Jansen 
An EPTAS for scheduling jobs on uniform processors using an MILP relaxation with a constant number of integral variables

Februar 2010

tr_1004

Klaus JansenMonaldo Mastrolilli 
Scheduling unrelated parallel machines: linear programming strikes back

März 2010

tr_1003

Hauke FuhrmannReinhard von Hanxleden 
Taming Graphical Modeling

Mai 2010

tr_1006

Claus TraulsenTorsten AmendeReinhard von Hanxleden 
Compiling SyncCharts to Synchronous C

Juli 2010

tr_1007

Klaus JansenRoberto Solis-Oba 
An Opt+1 algorithm for the cutting stock problem with a constant number of object lengths

August 2010

tr_1008

Henning Schnoor 
Explicit Strategies and Quantification for ATL with Incomplete Information and Probabilistic Games

August 2010

tr_1009

Klaus JansenRoberto Solis-Oba 
A simple OPT + 1 algorithm for cutting stock under the modified integer round-up property assumption

September 2010

tr_1010

Michael HanusFabian Reck 
Programmiersprachen und Rechenkonzepte - 27.Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 3.-5. Mai 2010

September 2010

tr_1011

Florian DiedrichKlaus JansenUlrich M. SchwarzOla Svensson 
Tight Approximation Algorithms for Scheduling with Fixed Jobs and Non-Availability

September 2010

tr_1012

Henning Schnoor 
Deciding Epistemic and Strategic Properties of Cryptographic Protocols

Oktober 2010

tr_1013

Johannes RückeltAndreas OschliesThomas Slawig 
Optimization of Parameters and Initial Values in a Marine NPZD-Type Ecosystem Model

November 2010

tr_1014

Malte PrießThomas Slawig 
Aggressive Space Mapping for the Optimization of a Marine Ecosystem Model

November 2010

tr_1015

Robert von MassowAndré van HoornWilhelm Hasselbring 
Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures

November 2010

tr_1016

Jaroslaw PiwonskiThomas Slawig 
The Idea and Concept of Metos3D -- A Marine Ecosystem Toolkit for Optimization and Simulation in 3-D

November 2010

tr_1017

Michael Gnewuch 
Weighted Geometric Discrepancies and Numerical Integration on Reproducing Kernel Hilbert Spaces

Dezember 2010

tr_1018

Michael SkusaBernhard Thalheim 
Kohärente Softwareentwicklung - Grundlagen, Arbeitsumgebungen, Vorgehensweisen

Dezember 2010

tr_1101

Sebastian EggertLasse KliemannPeter MunstermannAnand Srivastav 
Bipartite Matching in the Semi-Streaming Model

Januar 2011

tr_1102

Malte PrießS. KozielThomas Slawig 
Surrogate-Based Optimization of Climate Model Parameters Using Response Correction (eine korrigierte Version finden Sie unter tr_1104)

Februar 2011

tr_1103

Michael Hanus 
Declarative Processing of Semistructured Web Data

März 2011

tr_1104

Malte PrießS. KozielThomas Slawig 
Surrogate-Based Optimization of Climate Model Parameters Using Response Correction

März 2011

tr_1105

Rolf HarrenKlaus JansenLars PrädelRob van Stee 
A (5/3 + eps)- Approximation for Strip Packing

Juli 2011

tr_1106

Joscha Reimer 
Die Experimental Design Toolbox zur optimalen Versuchsplanung

Juli 2011

tr_1107

Elena Sivogolov 
Evaluation of Impact of Data Quality on Clustering with Syntactic Cluster Validity Methods

August 2011

tr_1108

Marin BougeretPierre-Francois DutotKlaus JansenChristina RobenekDenis Trystram 
Multiple Strip Packing and Scheduling Parallel Jobs in Platforms

September 2011

tr_1109

Klaus JansenChristina Robenek 
Scheduling on Uniform Processors Revisited

November 2011

tr_1110

Malte PrießS. KozielThomas Slawig 
A Fast and Robust Optimization Methodology for a Marine Ecosystem Model Using Surrogates

November 2011

tr_1112

Sören FreyAndré van HoornReiner JungWilhelm HasselbringBenjamin Kiel 
MAMBA: A Measurement Architecture for Model-Based Analysis

Dezember 2011

tr_1111

Hans LangmaackAndrzej SalwickiMarek Warpechowski 
Establishing static scope name binding and direct superclassing in the external language of the object oriented Java with inner classes is a difficult and subtle task

Januar 2012

tr_1201

Lennart Wietzke 
Algebraic Representation and Geometric Interpretation of Hilbert Transformed Signals

Januar 2012

tr_1202

Jens SchönbornMarcel Kyas 
Semantics of UML 2.2 State Machines in Rewriting Logic

Februar 2012

tr_1203

Klaus Jansen 
A (3/2+\epsilon) approximation algorithm for scheduling malleable and non-malleable parallel tasks

Februar 2012

tr_1204

Eike SiewertsenJaroslaw PiwonskiThomas Slawig 
Simulation von biogeochemischen Prozessen in 3-D auf GPUs

Mai 2012

tr_1205

Steffen BörmJessica Gördes 
Low-rank approximation of integral operators by using the Green formula and quadrature

Mai 2012

tr_1207

Philipp Sieweck 
SAT Solving mit GPU Unterstützung

Juni 2012

tr_1209

Michael Hanus 
Improving Lazy Non-Deterministic Computations by Demand Analysis

Juni 2012

tr_1208

Pawel GawrychowskiFlorin ManeaRobert MercasDirk NowotkaCatalin Tiseanu
Finding Pseudo-Repetitions

Juni 2012

tr_1206

Christian SchneiderMiro SpönemannReinhard von Hanxleden 
Transient View Generation in Eclipse

Juli 2012

tr_1210

Klaus JansenKim-Manuel Klein 
A Robust AFPTAS for Online Bin Packing with Polynomial Migration

Juli 2012

tr_1211

Christian WulfSören FreyWilhelm Hasselbring 
A Three-Phase Approach to Efficiently Transform C# into KDM

August 2012

tr_1212

Subarno Banerjee 
Timing Analysis for the Precision Timed ARM Processor

September 2012

tr_1213

Christian MotikaReinhard von HanxledenMirko Heinold 
Synchronous Java: Light-Weight, Deterministic Concurrency and Preemption in Java

Oktober 2012

tr_1214

Christian MotikaHauke FuhrmannReinhard von HanxledenEdward A. Lee 
Executing Domain-Specific Models in Eclipse

Oktober 2012

tr_1215

Reinhard von Hanxledenet al. 
The WCET Tool Challenge 2011

Oktober 2012

tr_1216

Oliver Fleischmann 
On the Analysis and Decomposition of Intrinsically One-Dimensional Signals and their Superpositions

Dezember 2012

tr_1217

Pierre-Francois DutotKlaus JansenChristina RobenekDenis Trystram 
A $(2+\epsilon)$-approximation for scheduling parallel jobs in platforms

Februar 2013

tr_1302

Klaus JansenKati LandFelix Land 
Bounding the Running Time of Algorithms for Scheduling and Packing Problems

April 2013

tr_1303

Lin ChenKlaus JansenGuochuan Zhang 
On optimality of exact and approximation algorithms for scheduling problems

Juni 2013

tr_1304

Michael Hanus 
Adding Plural Arguments to Curry Programs

Juni 2013

tr_1305

André van HoornSören FreyWolfgang GoerigkWilhelm HasselbringHolger KnocheSönke KösterHarald KrauseMarcus PorembskiThomas StahlMarcus SteinkampNorman Wittmüss 
DynaMod: Dynamische Analyse für modellgetriebene Software-Modernisierung

August 2013

tr_1307

Klaus JansenLars Prädel 
New Approximability Results for Two-Dimensional Bin Packing

August 2013

tr_1308

Reinhard von HanxledenMichael MendlerJoaquin AquadoBjörn Duderstadt,Insa FuhrmannChristian MotikaStephen MercerOwen O'BrienPartha S. Roop 
Sequentially Constructive Concurrency A Conservative Extension of the Synchronous Model of Computation

August 2013