Publications

This page gives an overview of all publications that appeared in the DASMOD cluster so far. If you are interested in only those publications that belong to a certain project, please view that project's page.

2009

On k-max Optimization

Jochen Gorski, Stefan Ruzika. In: Operations Research Letters. 2009

Bounded distance decoding of linear error-correcting codes with Gröbner bases

Stanislav Bulygin, Ruud Pellikaan. In: Journal of Symbolic Computation Special Issue Gröbner Bases Techniques in Cryptography and Coding Theory, to appear. Available online: http://dx.doi.org/10.1016/j.jsc.2007.12.003, 2009

Decoding linear error-correcting codes up to half the minimum distance with Gröbner bases

Stanislav Bulygin, Ruud Pellikaan. In: T. Mora and L. Perret and S. Sakata and M. Sala and C. Traverso ed., Working Title: "Gröbner Bases, Coding, and Cryptography". Proceedings of the Special Semester on Gröbner Bases, to appear, volume 4, RISC Book Series (Springer, Heidelberg), 2009

A new sequential extraction heuristic for optimising the delivery of cancer radiation treatment using multileaf collimators

Davaatseren Baatar, Natashia Boland, Robert Johnston, Horst W. Hamacher. In: INFORMS Journal on Computing. 2009

2008

How hard is it to find extreme Nash equilibria in network congestion games?

Elisabeth Gassner, Johannes Hatzl, Sven O. Krumke, Heike Sperber, Gerhard J. Woeginger. In: Christos Papadimitriou and Shuzhong Zhang ed., The 4th International Workshop On Internet And Network Economics (WINE 2008) , Shanghai, China. LNCS, volume 5385, Springer, p. 82-93, December, 2008

A General Scheme for Designing Monotone Algorithms for Scheduling Problems with Precedence Constraints

Clemens Thielen, Sven O. Krumke. In: 6th Workshop on Approximation and Online Algorithms, WAOA 2008 , Karlsruhe, Germany. LNCS, volume 5426, Springer, p. 105- -118, September, 2008

Mathematical optimization in intensity modulated radiation therapy (Invited survey)

Matthias Ehrgott, Cigdem Güler, Horst W. Hamacher, Lizhen Shao. In: A Quarterly Journal of Operations Research: 4OR. volume 6, p. 199--262, September, 2008

Gröbner-free normal forms for Boolean polynomials

Michael Brickenstein, Alexander Dreyer. In: Proceedings of the twenty-first international symposium on Symbolic and algebraic computation (ISSAC '08), Linz/Hagenberg, Austria. ACM, New York, NY, USA, p. 55-62, July, 2008

Slicing for Model Reduction in Adaptive Embedded Systems Development

Ina Schaefer, Arnd Poetzsch-Heffter. In: Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008), Leipzig, Germany. May, 2008

Optimizing Lock Protocols for Native XML Processing

Michael P. Haustein, Theo Härder. In: Data & Knowledge Engineering. volume 65, number 1, Elsevier, p. 147 -- 173, April, 2008

Attacking AES via Solving Systems in the Key Variables Only

Michael Brickenstein, Stanislav Bulygin. In: First International Conference on Symbolic Computation and Cryptography, Beijing, China. p. 118--123, April, 2008

Probabilistic assessment of safety-critical adaptive systems, considering signal delays and cycles

Rasmus Adler, Dominik J. Domis, Marc Förster, Mario Trapp. In: The 54th Annual Reliability & Maintainability Symposium (RAMS), Las Vegas, Nevada, USA. January, 2008

Solving optimal investment problems with structured products under CVaR constraints

Ralf Korn, Serkan Zeytun. In: Proc. International Symposium on Combinatorial Optimization 2008. 2008

Optimal Portfolios: New Variations of an Old Theme

Ralf Korn. In: Computational Management Science. 2008

Continuous-time delegated portfolio management with homogeneous expectations

Holger Kraft, Ralf Korn. In: Financial Markets and Portfolio Management. 2008

3D simulation of the macroscopic heat and mass transfer properties from the microstructure of wood fibre networks

H. Thoemen, T. Walther, Andreas Wiegmann. In: Composites Science and Technology. 2008

Evaluating Performance and Quality of XML-based Similarity Joins

Leonardo Ribeiro, Theo Härder. In: ADBIS 2008, Pori, Finland. 2008

Towards Cost-based Query Optimization in Native XML Database Management

Andreas M. Weiner, Christian Mathis, Theo Härder. In: SYRCoDIS Symposium, St. Petersburg. 2008

Tailor-Made XML Synopses

Jose de Aguiar Moraes Filho, Theo Härder. In: Baltic DB&IS, Tallinn, Estonia. 2008

Tailor-made Lock Protocols and their DBMS Integration

Sebastian Bächle, Theo Härder. In: EDBT-SETMDM Workshop, Nantes, France. 2008

Rules for Query Rewrite in Native XML Databases

Andreas M. Weiner, Theo Härder. In: EDBT-DATAX Workshop, Nantes, France. 2008

Accurate Histogram-based XML Summarization

Jose de Aguiar Moraes Filho, Theo Härder. In: Sac 2008, Fortaleza, Brazil. 2008

Decoding and finding the minimum distance with Gröbner bases: history and new insights

Stanislav Bulygin, Ruud Pellikaan. In: Selected Topics in Information and Coding Theory. World Scientific, 2008

Combining Fact and Document Retrieval with Spreading Activation for Semantic Desktop Search

Kinga Schumacher, Michael Sintek, Leo Sauermann. In: Proceedings of the 5th European Semantic Web Conference (ESWC 08). LNCS, volume 5021, Springer, p. 569--583, 2008

Improved Construction Heuristics and Local Search for the Routing and Wavelength Assignment Problem

Kerstin Bauer, Thomas Fischer, Sven O. Krumke, Katharina Gerhardt nee Rupp, Stephan Westphal, Peter Merz. In: Proceedings of EvoCOP 2008 - Eigth European Conference on Evolutionary Computation in Combinatorial Optimisation. Lecture Notes in Computer Science, 2008

Nested Partitioning for the Minimum Energy Broadcast Problem

Sameh Al-Shihabi, Peter Merz, Steffen Wolf. In: LION~II: Learning and Intelligent OptimizatioN Conference. LNCS, Won a Best Paper Award. Post-Proceedings still to be published, 2008

Stop location design in public transportation networks: covering and accessibility objectives

Dwi Retnani Poetranto, Horst W. Hamacher, Simone Horn, Anita Schöbel. In: TOP (Journal der Spanischen OR Gesellschaft), Online First. 2008

Optimising Transition Processes in Urban Water Management - A Mathematical Approach

Inka Kaufmann, Marcel Kalsch, Tanja Meyer. In: Proceedings of the 4th IWA Young Water Professionals Conference. University of California, Berkeley, USA, 2008

Semi-Preemptive Routing on Trees

Sven O. Krumke, Dirk Räbiger, Rainer Schrader. In: Discrete Applied Mathematics. volume 156, number 17, p. 3298- -3304, 2008

A monotone approximation algorithm for scheduling with precedence constraints

Sven O. Krumke, Anne M. Schwahn, Rob van Stee, Stephan Westphal. In: Operations Research Letters. volume 36, number 2, p. 247- -249, 2008

Capacity inverse minimum cost flow problem

Cigdem Güler, Horst W. Hamacher. In: Journal of Combinatorial Optimization, Online First. 2008

Simultaneous scheduling and location (ScheLoc): the planar ScheLoc makespan problem

Donatas Elvikis, Horst W. Hamacher, Marcel Kalsch. In: Journal of Scheduling, Online First. 2008

A Separation Algorithm for Improved LP-Decoding of Linear Block Codes

Horst W. Hamacher, Frank Kienle, Mayur Punekar, Stefan Ruzika, Akin Tanatmis, Norbert Wehn. In: Proceedings of the 5th International Symposium on Turbo Codes 2008 & Related Topics. 2008

2007

From Model-Based Design to Formal Verification of Adaptive Embedded Systems

Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié. In: 9th International Conference on Formal Engineering Methods (ICFEM 2007), Boca Raton, FL. LNCS, Springer, November, 2007

Scheduling and Location (ScheLoc): Makespan Problem with Variable Release Dates

Donatas Elvikis, Horst W. Hamacher, Marcel Kalsch. In: 3rd Multidisciplinary International Conference on Scheduling: Theory and Applications, MISTA 2007. p. 152--158, August, 2007

Stochastic Scheduling with Application to Vehicle Routing

Katharina Gerhardt nee Rupp, Sven O. Krumke. In: _Eight Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP 2007) _. July, 2007

Four Methods for Supervised Word Sense Disambiguation

Kinga Schumacher. In: 12th International Conference on Applications of Natural Language to Information Systems (NLDB), CNAM, Paris, France. LNCS, volume 4592, Springer, June, 2007

PolyBoRi: A framework for Gröbner basis computations with Boolean polynomials

Michael Brickenstein, Alexander Dreyer. In: Electronic Proceedings of Effective Methods in Algebraic Geometry MEGA 2007. June, 2007

Computation of the relative diffusivity of porous materials from their microstructure

Andreas Wiegmann, Aivars Zemitis. in preparation, June, 2007

An explicit jump correction to the fast fictitious forces 3d Stokes solver

Liping Cheng, Andreas Wiegmann. in preparation, June, 2007

Extending a Tuple-Based XPath Algebra to Enhance Evaluation Flexibility

Christian Mathis. In: Informatik - Forschung und Entwicklung. volume 21, number 3, Springer, May, 2007

Decoding error-correcting codes with Groebner bases

Stanislav Bulygin, Ruud Pellikaan. In: Proceedings of the 28th Symposium on Information Theory in the Benelux, Enschede, The Netherlands. p. 3--10, May, 2007

A Hybrid Method for Solving Large-Scale Supply Chain Problems

Steffen Wolf, Peter Merz. In: Carlos Cotta and Jano van Hemert ed., Proceedings of the 7th European Conference on Evolutionary Computation in Combinatorial Optimization. LNCS, volume 4446, Springer, April, 2007

Three-Valued Automated Reasoning on Analog Properties

Raffaella Gentilini, Klaus Schneider, Alexander Dreyer. In: 17th ACM Great Lakes Symposium on VLSI (GLSVLSI '07). Stresa-Lago Maggiore, Italy. ACM Press, p. 485--488, March, 2007

Integrating Structural Joins into a Tuple-Based XPath Algebra

Christian Mathis. In: Proc. BTW Conference, Aachen (Germany). p. 242--261, March, 2007

Translation Validation for System Abstractions

Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter. In: 7th Workshop on Runtime Verification (RV'07), Vancouver, Canada. to appear, March, 2007

Integrated Scheduling and Location models: Single Machine Makespan Problems

Holger Hennes, Horst W. Hamacher. In: Studies in Locational Analysis. number 16, p. 77--90, March, 2007

A Lightweight Service Grid based on Web Services and Peer-to-Peer

Markus Hillenbrand, Joachim Götze, Ge Zhang, Paul Müller. In: Kommunikation in Verteilten Systemen, KiVS 2007, Bern, Schweiz. Februrary, 2007

Runtime Adaptation in Safety-Critical Automotive Systems

Mario Trapp, Rasmus Adler, Marc Förster, Janosch Junger. In: The IASTED International Conference on Software Engineering (SE2007), Innsbruck, Austria. Februrary, 2007

On a multigrid solver for the three-dimensional Biot poroelasticity system in multilayered domains

Anna Naumovich, F. J. Gaspar. In: J. Computers and Visualization in Science. number 85, Fraunhofer ITWM, Februrary, 2007

Some Aspects of Investing into High-Yield Bonds

Ralf Korn, Helen Kovilyanskaya. In: International Journal of Theoretical and Applied Finance. volume 10, number 6, p. 967--984, 2007

A New Modeling Approach for an Integrated Simulation and Optimization of Production Networks

A. Fügenschuh, Simone Göttlich, Michael Herty. In: Proceedings of Supply Chain Management and Logistics. Physica-Verlag, To appear, 2007

Water Contamination Detection

A. Fügenschuh, Simone Göttlich, Michael Herty. In: Proceedings of the 8th International Conference on Information Systems. Universitätsverlag Karlsruhe, To appear, 2007

Coupling conditions for supply networks and resulting optimization problems

Simone Göttlich, Michael Herty. In: Proceedings in Applied Mathematics and Mechanics (PAMM). To appear, 2007

Verification of Data Paths Using Unbounded Integers: Automata Strike Back

Tobias Schüle, Klaus Schneider. In: E. Bin and A. Ziv and S. Ur ed., Haifa Verification Conference (HVC), Haifa, Israel. LNCS, volume 4383, Springer, p. 65-80, 2007

An ODE traffic network model

Michael Herty, Axel Klar, Anita K. Singh. In: Journal of Comp. and Appl. Math. (JCAM). 2007

Modeling, Simulation and Optimization of Gas Networks with Compressors

Michael Herty. In: Networks and Heterogenous Media (NHM). volume 2, number 1, 2007

Series of Abstractions of Hybrid Automata for Monotonic CTL Model Checking

Raffaella Gentilini, Klaus Schneider, Bud Mishra. In: International Symposium on Logical Foundations of Computer Science (LFCS '07). New York, U.S.A.. LNCS, Springer, 2007

Instantaneous Control for Traffic Flow

Michael Herty, C. Kirchner, Axel Klar. In: Mathematical Methods in the Applied Sciences (M2AS). To appear, 2007

Multiple Objective Minimum Cost Flow Problems: A Review

Horst W. Hamacher, Christian R. Pedersen, Stefan Ruzika. In: European Journal of Operational Research. volume 176, p. 1404--1422, 2007

Implementation of sustainable sanitation in existing urban areas - long-term strategies for an optimised solution

Inka Kaufmann, Tanja Meyer, Marcel Kalsch, Theo G. Schmitt, Horst W. Hamacher. In: Advanced Sanitation 2007, Aachen, Germany. 2007

Mathematical optimisation of strategies for the realisation of sustainable urban water management

Inka Kaufmann, Theo G. Schmitt, Tanja Meyer, Marcel Kalsch, Horst W. Hamacher. In: NOVATECH 2007, The 6th international conference on sustainable techniques and strategies in urban water management, Lyon, France. 2007

A general model of location problems on capacitated networks

Dwi Retnani Poetranto. In: Euro Winter Institute on Location and Logistics, Estoril, Portugal. p. 333--347, 2007

A network model for supply chains with multiple policies

P. Degond, Simone Göttlich, Michael Herty, Axel Klar. In: SIAM Multiscale Modeling and Simulation. To appear, 2007

Determining Configuration Probabilities of Safety-Critical Adaptive Systems

Rasmus Adler, Marc Förster, Mario Trapp. In: IEEE International Symposium on Ubisafe Computing (UbiSafe'07), Niagara Falls, Canada. IEEE Computer Society, 2007

On the structure of generalized toric codes

Diego Ruano. In: Special Issue of JSC EACA'06. 2007

Tailor-Made Native XML Storage Structures

Karsten Schmidt, Theo Härder. In: ADBIS 2007, Varna, Bulgaria. 2007

Comparison of Complete and Elementless Native Storage of XML Documents

Theo Härder, Christian Mathis, Karsten Schmidt. In: IDEAS 2007, Banff, Canada. 2007

Groebner basis: applications to algebraic coding theory (in Spanish)

E. Martinez-Moro, C. Munuera, Diego Ruano. Instituto Venezolano de Investigaciones Cientificas, 125 pages. ISBN: 978-980-261-087-7, 2007

On the Parameters of r-dimensional Toric Codes

Diego Ruano. In: Finite Fields and their Applications. volume 13, number 4, Elsevier, p. 962--976, 2007

Workflow-Kontext zur Realisierung prozessorientierter Assistenz in Organisational Memories

Heiko Maus. TU Kaiserslautern, dissertation.de - Verlag im Internet GmbH, ISBN 978-3-86624-267-8, 2007 (in german)

Semantic Annotation of Paper-Based Information

Heiko Maus, Andreas Dengel. In: Koichi Kise and David S. Doermann ed., Proceedings of Second International Workshop on Camera-Based Document Analysis and ecognition (CBDAR2007). 2007

Systematic Derivation of an Asymptotic Model for the Dynamics of Curved Viscous Fibers

S. Panda, N. Marheineke, Raimund Wegener. In: Mathematical Methods in the Applied Sciences. 2007

Hydrodynamic Limit of the Fokker-Planck Equation Describing Fiber Lay-down Processes

L. L. Bonilla, T. Götz, Axel Klar, N. Marheineke, Raimund Wegener. In: SIAM Journal on Applied Mathematics. 2007

Dynamics of Curved Viscous Fibers

S. Panda, N. Marheineke, Raimund Wegener. In: Progress in Industrial Mathematics at ECMI 2006. Springer, 2007

Soft Operators Decision Trees - Uncertainty and Stability related Issues

E. Barrena. Technische Universität Kaiserslautern, Dissertation, 2007

Listener-based analysis of surface importance for acoustic metrics

F. Michel, Eduard Deines, Martin Hering-Bertram, Christoph Garth, Hans Hagen. In: Proceedings of IEEE Visualization 2007. Transactions on Visualization and Computer Graphics. To appear, 2007

On upscaling heat conductivity for a class of industrial problems

Oleg Iliev, I. Rybak, J. Willems. In: J. Theoretical and Applied Mechanics. to appear. Also: ITWM Report No. 120, 2007

Numerical study of two-grid preconditioners for 1-D elliptic problems with highly varying coefficients

Oleg Iliev, Raytcho Lazarov, J. Willems. In: Comp. Meth. Appl. Math.. volume 7, number 1, p. 48-67, Also: ITWM Report No. 111, 2007

Simulation, visualization, and virtual reality based modeling of room acoustics

Eduard Deines, F. Michel, Martin Hering-Bertram, Jan Mohring, Hans Hagen. In: Proceedings of 19th International Congress on Acoustics (ICA) 2007. RBA-05-002-IP, 2007

On a parallel numerical algorithm for simulating industrial filtration flows

Raimondas Ciegis, Oleg Iliev, Zahra Lakdawala. In: Comp. Meth. Appl. Math.. volume 7, number 2, p. 118-134, 2007

A Stochastic Model and Associated Fokker-Planck Equation for the Fiber Lay-down Process in Nonwoven Production Processes

T. Götz, Axel Klar, N. Marheineke, Raimund Wegener. In: SIAM Journal on Applied Mathematics. volume 67, number 6, p. 1707--1717, 2007

Fiber Dynamics in Turbulent Flows: Specific Taylor Drag

N. Marheineke, Raimund Wegener. In: SIAM Journal on Applied Mathematics. volume 68, number 1, p. 1--23, 2007

A Graph-Laplacian approach for calculating the effective thermal conductivity of complicated fiber geometries

Oleg Iliev, Raytcho Lazarov, I. Rybak, J. Willems. in preparation, 2007

Computation of the permeability of porous materials from their microstructure

Andreas Wiegmann. in preparation, 2007

The parallel elasticity solver DDFEM and its application in micromechanics

D. Stoyanov, Heiko Andrae. In: J. Theoretical and Applied Mechanics. to appear, 2007

On a subgrid resolution approach for solving flow problems in filtration

Oleg Iliev, Zahra Lakdawala, P. Popov, V Starikovicius. in preparation, 2007

On a two-level domain decomposition preconditioner for Stokes equations

Oleg Iliev, Raytcho Lazarov, J. Willems. in preparation, 2007

Simulation of flows in deformable porous media

Anna Naumovich. TU Kaiserslautern, 2007

Electrostatic fields for filtration simulations in fibrous air filter media

Andreas Wiegmann, Aivars Zemitis, Stefan Rief. in preparation, 2007

Computer simulation of single and multi pass filtration

Stefan Rief, Andreas Wiegmann, Arnulf Latz. Proc. Filtech, 2007

On coupling micro- and macro- simulation in filtration

Oleg Iliev, Zahra Lakdawala, Andreas Wiegmann. 2007

Simulation of ceramic DPF media, soot deposition and pressure drop

Stefan Rief, Kilian Schmidt, Andreas Wiegmann. World Filtration Congress, 2007

Information Exploration via Pen, Brush and Text Marker

Hans Trinkaus. In: Proceedings of the I-KNOW '07, Graz, Austria. 2007

Valuation of performance-dependent options in a Black-Scholes framework

Thomas Gerstner, Markus Holtz, Ralf Korn. In: J. Miller, D. Edelman, J. Appleby ed., Numerical Methods for Finance. CRC Press, 2007

Optimal management and inflation protection for defined contribution

Aihua Zhang, Ralf Korn, Christian-Oliver Ewald. In: Blätter der DGVFM XXVII. volume 2, p. 239--258, 2007

On worst case portfolio optimization

Ralf Korn, M. Steffensen. In: SIAM Journal on Control and Optimization 2007. To appear, 2007

Evolutionary Local Search for the Super-Peer Selection Problem and the p-Hub Median Problem

Steffen Wolf, Peter Merz. In: Thomas Bartz-Beielstein and others ed., Hybrid Metaheuristics, Proceedings. LNCS, volume 4771, Springer, p. 1--15, 2007

On efficient simulation of non-newtonian flow in saturated porous media with a multigrid adaptive refinement solver

W. Doerfler, Oleg Iliev, D. Stoyanov, D. Vasileva. In: Computers and Visualization in Science. submitted, 2007

On a local refinement solver for coupled flow in plain and porous media

Oleg Iliev, D. Vasileva. Lecture Notes in Computer Science, to appear, 2007

On two-level domain decomposition preconditioner for flows in highly anisotropic porous media

R. Ewing, Oleg Iliev, Raytcho Lazarov, I. Rybak. in preparation, Also: ITWM Report No.120, 2007

On a solver for 3-D flows in highly heterogeneous anisotropic porous media

Oleg Iliev, I. Rybak. in preparation, 2007

Improved Local Search for Large Optimum Communication Spanning Tree Problems

Thomas Fischer. In: MIC'2007 -- 7th Metaheuristics International Conference}. 2007

A Memetic Algorithm for the Optimal Communication Spanning Tree Problem

Thomas Fischer, Peter Merz. In: Bartz-Beielstein and Aguilera and Blum and Naujoks and Roli and Rudolph and Sampels ed., HM 2007 -- 4th International Workshop on Hybrid Metaheuristics. LNCS, volume 4771, Springer, p. 170--184, 2007

Embedding Similarity Joins into Native XML Databases

Leonardo Ribeiro, Theo Härder. In: SBBD 2007, Joao Pessoa, Brazil. 2007

TreeOpt: Self-Organizing, Evolving P2P Overlay Topologies Based On Spanning Trees

Peter Merz, Steffen Wolf. In: Torsten Braun and Georg Carle and Burkhard Stiller ed., KiVS 2007: Kommunikation in Verteilten Systemen -- Workshops. VDE-Verlag, p. 231--242, 2007

On Multiple Objective Combinatorial Optimization

Stefan Ruzika. Technische Universität Kaiserslautern, 2007

Noncommutative Polly Cracker-type cryptosystems and chosen-ciphertext security

T. Rai, Stanislav Bulygin. In: Preprint. Available online: http://eprint.iacr.org/2008/514, 2007

Online Job Admission

Stephan Westphal, Sven O. Krumke, Rob van Stee. In: S. S. Ravi and S. K. Shukla ed., Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz. Springer, 2007

Capacity Inverse Minimum Cost Flow Problem

Cigdem Güler, Horst W. Hamacher. In: The Forth Edition of ORP3 (Operational Research Peripatetic Post-Graduate Programme). 2007

2006

Feature-Oriented Variability Management in Product Line Engineering

Jaejoon Lee, Dirk Muthig. In: Communications of the ACM. volume 49, number 12, The Association for Computing Machinery , ACM, p. 55--59, http://portal.acm.org/toc.cfm?id=1183236&idx=J79&type=issue&coll=ACM&dl=ACM&part=magazine&WantType=Magazines&title=CACM&CFID=5685811&CFTOKEN=61577795, December, 2006

Physical Domain Modeling for the Development of Dependable Embedded Systems

Dominik J. Domis, Christian Schäfer, Mario Trapp. In: 10th IASTED Intl. Conference on Software Engineering and Applications, SEA2006, Dallas, TX, USA. available from http://www.actapress.com/PaperInfo.aspx?PaperID=28947, November, 2006

An Optimal Non-Orthogonal Separation of the Anisotropic Gaussian Convolution Filter

Christoph H. Lampert, Oliver Wirjadi. In: IEEE Trans. Image Processing. volume 15, number 11, p. 3501--3513, November, 2006

Optimal investment with inflation-linked products

T. Beletski, Ralf Korn. In: G. N. Gregoriou ed., Advances in Risk Management. Palgrave Macmillan, p. 170--190, October, 2006

A Systematic Modeling Framework for Biochemical and Biological Systems

Henning Schmidt, Mats Jirstrand, Gunnar Cedersund. In: 7th International Conference On Systems Biology, Yokohama, Japan. October, 2006

Modular Compilation of Synchronous Programs

Klaus Schneider, Jens Brandt, Eric Vecchié. In: 5th IFIP Conference on Distributed and Parallel Embedded Systems (DIPES 2006), Braga, Portugal. October, 2006

On the convergence of the WBM solution in certain non-convex domains

J. Jegorovs. In: Proc. International Conference on Noise and Vibration Engineering ISMA 2006, Leuven, Belgium. ID 183, October, 2006

Resolving Parameter Dependences for Interval Analysis of Linear Analog Circuits

Alexander Dreyer. In: SMACD 2006 - International Workshop on Symbolic Methods and Applications to Circuit Design. Università degli Studi di Firenze, October, 2006

Six Thousand Words about Multi-Perspective Personal Document Management

Andreas Dengel. In: Proceedings IEEE-EDM, Hong Kong China. p. 1--10, October, 2006

Soot filtration simulation - Generation of porous media on the micro scale from soot deposition on the nano scale

Andreas Wiegmann, Stefan Rief, Arnulf Latz. 2nd European Conference on Filtration and Separation, p. 141-147, October, 2006

Composable Component-Oriented Derivative Contracts

Markus Reitz, Ulrich Nögel. In: WSEAS Transactions on Information Science and Applications. volume 9, number 3, p. 1756--1764, September, 2006

Contest of XML Lock Protocols

Michael P. Haustein, Theo Härder, Konstantin Luttenberger. In: Proc. VLDB Conference, Seoul, Korea. p. 1069--1080, September, 2006

Automatic Nonlinear Behavioral Model Generation using Sequential Equation Structures

Ralf Sommer, Daniel Platte, Jochen Broz, Alexander Dreyer, Thomas Halfmann and Erich Barke. In: SMACD 2006 - International Workshop on Symbolic Methods and Applications to Circuit Design. Università degli Studi di Firenze, September, 2006

Statistical Aspects of Setting up a Credit Rating System

Beatriz Clavero Rasero. September, 2006

Interval Analysis of Linear Analog Circuits

Alexander Dreyer. In: SCAN 06 - 12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics. IEEE Computer Society Conference Publishing Services, Duisburg, Germany, ISBN-13: 978-0-7695-2821-2, September, 2006

Autonomous Behavior-Based Exploration of Office Environments

Daniel Schmidt, Tobias Luksch, Jens Wettach, Karsten Berns. In: 3rd International Conference on Informatics in Control, Automation, and Robotics. August, 2006

Efficient Code Generation from Synchronous Programs

Klaus Schneider, Jens Brandt, Eric Vecchié. In: Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'06), Embassy Suites, Napa, California. July, 2006

An Ambient Intelligence System to Assist Team Training and Competition in Cycling

I. Fliege, Alexander Geraldy, Reinhard Gotzhein, T. Jaitner, Thomas Kuhn. In: ISEA 2006. July, 2006

Derivative Contracts as Active Documents

Markus Reitz, Ulrich Nögel. In: Proceedings of the 7th WSEAS Int. Conference on COMPUTERS AND MATHEMATICS IN BUSINESS AND ECONOMICS (MCBE06), Cavtat, Croatia. June, 2006

On interaction of fluid with deformable porous media

Oleg Iliev, Sabine Muntz, Anna Naumovich. In: Proceedings NAFEMS. June, 2006

Locking-Aware Structural Join Operators for XML Query Processing

Christian Mathis, Theo Härder, Michael P. Haustein. In: Proc. ACM Sigmod Conference, Chicago, Illinois. ACM Press, p. 467--478, June, 2006

On the Way to a Distributed Systems Calculus: An End-to-End Network Calculus with Data Scaling

Markus Fidler, Jens B. Schmitt. In: ACM SIGMETRICS/Performance 2006. ACM, June, 2006

MacZ -- A QoS MAC Layer for Ambient Intelligence Systems

Thomas Kuhn. In: Pervasive 2006, Dublin, Ireland. May, 2006

Sensor Network Calculus with Multiple Sinks

Jens B. Schmitt, Frank Zdarsky, Utz Roedig. In: IFIP Networking 2006, Workshop on Performance Control in Wireless Sensor Networks. LNCS, Springer, May, 2006

Cross-Layer Integration in Ad-Hoc Networks with Enhanced Best-Effort Quality-of-Service Guarantees

Christian Webel, I. Fliege, Alexander Geraldy, Reinhard Gotzhein, Marc Krämer. In: World Telecommunications Congress 2006 (WTC 2006). April, 2006

Slimgb: Gröbner Bases with Slim Polynomials

Michael Brickenstein. In: Proceedings of RWCA'06, Basel. p. 55-66, March, 2006

Fiber Dynamics in Turbulent Flows: General Modeling Framework

N. Marheineke, Raimund Wegener. In: SIAM Journal on Applied Mathematics. volume 66, number 5, p. 1703--1726, March, 2006

Visualizing the phonon map

Eduard Deines, F. Michel, Martin Bertram, Hans Hagen, G. M. Nielson. In: Proceedings of Eurovis 2006. p. 291--298, 2006

Combining Case-Based and Similarity-Based Product Recommendation

Armin Stahl. In: Proceedings of the 8th European Conference on Case-Based Reasoning (ECCBR 2006). Springer, 2006

Distance Measures for Layout-Based Document Image Retrieval

Joost van Beusekom, Daniel Keysers, Faisal Shafait, Thomas M. Breuel. In: International Conference on Document Image Analysis for Libraries (DIAL 2006). IEEE, 2006

Gas flow in pipeline networks

M. K. Banda, Michael Herty, Axel Klar. In: Networks and Heterogenous Media. volume 1, 2006

Coupling conditions for gas networks governed by the isothermal Euler equations

M. K. Banda, Michael Herty, Axel Klar. In: Networks and Heterogenous Media. volume 2, 2006

Regularized Fixed-Point Iterations for Nonlinear Inverse Problems

Sergiy S. Pereverzyev, Rene Pinnau, Norbert Siedow. In: Inverse Problems. volume 22, p. 1--22, 2006

Comparative Visualization for Wave-based and Geometric Acoustics

Eduard Deines, Martin Bertram, Jan Mohring, J. Jegorovs, F. Michel and H. Hagen. In: Proceedings of IEEE Visualization 2006. Accepted for publication, 2006

Coupling conditions for traffic flow networks

Michael Herty, S. Moutari, M. Rascle. In: Networks and Heterogenous Media. volume 2, 2006

Coupling conditions for a class of second--order models for traffic flow

Michael Herty, M. Rascle. In: SIAM J. Math. Anal.. 2006

Modelling and Optimization of Supply Chains on Complex Networks

Simone Göttlich, Michael Herty, Axel Klar. In: Communication in Mathematical Sciences. 2006

Conservation Law Constrained Optimization based upon Front-Tracking

Michael Herty, M. Gugat, Axel Klar, G. Leugering. In: MMAN. 2006

Network models for supply chains

Simone Göttlich, Michael Herty, Axel Klar. In: Communication in Mathematical Sciences. volume 3, 2006

Generalized Hermitian Codes over GF(2^r)

Stanislav Bulygin. In: IEEE Transactions on Information Theory. 2006

Equisingular Calculations for Plane Curve Singularities

A. Campillo, Gert-Martin Greuel, C. Lossen. In: Proceedings of MEGA 2003. 2006

Langlebigkeitsbonds - Bewertung, Modellierung und Aspekte für deutsche Daten

Ralf Korn, K. Natcheva, J. Zipperer. In: Blätter der DGVFM XXVII. volume 3, p. 397--418, 2006 (in german)

A Domain Decomposition Method For Conservation Laws with Discontinuous Flux Function

Michael Herty, Mohammed Seaid, Anita K. Singh. In: APNUM. 2006

Dynamic Multi-Commodity Capacitated Facility Location: A Mathematical Modeling Framework for Strategic Supply Chain Planning

M. Teresa Melo, S. Nickel, F. Saldanha da Gama. In: Computers & Operations Research. volume 33, p. 181--208, 2006

An LP-based Heuristic Approach for Strategic Supply Chain Design

R. Velásquez, M. Teresa Melo, S. Nickel. In: H.-D. Haasis, H. Kopfer, J. Schönberger ed., Operations Research Proceedings 2005, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR). Springer, Berlin, 2006

On the Consistency of the Block Neural Network Estimator in Time Series Analysis

A. Sarishvili, Ch. Andersson, Jürgen Franke, G. Kroisandt. In: Neural Computation. volume 18, p. 2568--2581, 2006

An Efficient Infrastructure for Native Transactional XML Processing

Michael P. Haustein, Theo Härder. In: Data & Knowledge Engineering. Elsevier, 2006

Node Labeling Schemes for Dynamic XML Documents Reconsidered

Theo Härder, Michael P. Haustein, Christian Mathis, Markus Wagner. In: Data & Knowledge Engineering. Elsevier, 2006

Feingranulare Transaktionsisolation in nativen XML-Datenbanksystemen

Michael P. Haustein. Verlag Dr. Hut, München, 2006 (in german)

On the Application of the Wave Based Method in the Case of an Exterior 3D Domain

J. Jegorovs, Jan Mohring. In: Proc. International Conference on Noise and Vibration Engineering ISMA 2006, Leuven, Belgium. ID 184, 2006

Optimal Control for Continuous Supply Network Models

C. Kirchner, Michael Herty, Simone Göttlich, Axel Klar. In: Networks and Heterogenous Media (NHM). volume 1, number 4, p. 675--688, 2006

Multi-class Traffic Models on Road Networks

Michael Herty, C. Kirchner, S. Moutari. In: Communications in Mathematical Sciences (CMS). volume 4, number 3, p. 591--608, 2006

Conbinatorial and Continuous Models for the Optimization of Traffic Flows on Networks

A. Fügenschuh, Michael Herty, Axel Klar, A. Martin. In: SIAM Journal of Optimization. volume 16, number 4, p. 1155--1176, 2006

Optimization criteria for modelling intersections of vehicular traffic flow

Michael Herty, S. Moutari, M. Rascle. In: Networks and Heterogeneous Media (NHM). volume 1, number 2, 2006

A Verified Compiler for Synchronous Programs with Local Declarations

Klaus Schneider, Jens Brandt, Tobias Schüle. In: Electronic Notes in Theoretical Computer Science (ENTCS). volume 153, number 4, Elsevier, p. 71-97, 2006

Distributed Solution of Optimal Control Problems Governed by Parabolic Equations

M. Heinkenschloss, Michael Herty. In: A. J. Kurdila and P. M. Pardalos and M. Zabarankin ed., Proceedings of Robust Optimization: Directed Design. Nonconvex Optimization and Its Applications, volume 81, Springer Verlag, p. 71--90, 2006

Bounded Model Checking of Infinite State Systems

Tobias Schüle, Klaus Schneider. In: Formal Methods in System Design (FMSD). volume 30, Springer, p. 51-81, 2006

A Framework for Verifying and Implementing Embedded Systems

Klaus Schneider, Tobias Schüle. In: B. Straube and M. Freibothe ed., Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Fraunhofer Institut für Integrierte Schaltungen, p. 242-247, 2006

Automated feature selection for the classification of meningioma cell nuclei

Oliver Wirjadi, Thomas Breuel, Wolfgang Feiden, Yoo-Jin Kim. In: Springer ed., Bildverarbeitung für die Medizin, Informatik aktuell. p. 76-80, 2006

An Annotated Bibliography of Combinatorial Optimization Problems with Fixed Cardinality Constraints

Maurizio Bruglieri, Matthias Ehrgott, Horst W. Hamacher, Francesco Maffioli. In: Discrete Applied Mathematics. volume 154, p. 1344--1357, 2006

Heuristics for the lexicographic max-ordering vehicle routing problem

Sleman Saliba. In: Central European Journal of Operationd Research. volume 14, p. 313--336, 2006

Algorithms for Time-Dependent Bicriteria Shortest Path Problems

Horst W. Hamacher, Stefan Ruzika, Stevanus A. Tjandra. In: Discrete Optimization. volume 3 , p. 238--254, 2006

Improved Pruning in Column Generation of a Vehicle Routing Problem

Stephan Westphal, Sven O. Krumke. In: Annals of Operations Research. To Appear, available at ftp://www.mathematik.uni-kl.de/pub/scripts/krumke/mista05.pdf, 2006

Auf dem Weg zu einer nachhaltigen Siedlungswasserwirtschaft - optimale Strategien zur Umgestaltung von AbWassersystemen

Inka Kaufmann, Marcel Kalsch, Tanja Meyer, Horst W. Hamacher, Theo G. Schmitt. In: siwawi 2030- Themen und Lösungsansätze für die nächsten 25 Jahre. number 25, Technische Universität Kaiserslautern, FG Siedlungswasserwirtschaft, p. 211--247, 2006

Reoptimization gaps versus model errors in online-dispatching of service units

Benjamin Hiller, Sven O. Krumke, Jörg Rambau. In: Discrete Applied Mathematics. To Appear, 2006

A heuristic for the stacker crane problem on trees which is almost surely exact

Amin Coja-Oghlan, Sven O. Krumke, Till Nierhoff. In: Journal of Algorithms. volume 61, p. 1--19, 2006

Approximation of a Real-World Vehicle Dispatching Problem

Sven O. Krumke, Sleman Saliba, Tjark Vredeveld, Stephan Westphal. In: International Conference on Operations Research. 2006

Measurement of intrinsic volumes of sets observed on lattices

Katja Schladitz, J. Ohser, W. Nagel. In: A. Kuba and L. G. Nyul and K. Palagyi ed., 13th International Conference on Discrete Geometry for Computer Imagery, Szeged, Hungary. LNCS DGCI, Springer, p. 247--258, 2006

Modeling the microstructure of sintered copper

Claudia Lautensack, Katja Schladitz, Aila Särkkä. In: Proceedings of the 6th International Conference on Stereology, Spatial Statistics and Stochastic Geometry, Prague. 2006

Automated Feature Selection for the Classification of Meningioma Cell Nuclei

Oliver Wirjadi, Thomas M. Breuel, W. Feiden, Yoo-Jin Kim. In: Bildverarbeitung für die Medizin. Informatik aktuell, Springer, p. 76--80, 2006

3d image analysis of open foams using random tessellations

Claudia Lautensack, T. Sych. In: Image Analysis and Stereology. volume 25, p. 87--93, 2006

Increasing Search Quality with the Semantic Desktop in Proposal Development

Mark Siebert, Pierre Smits, Leo Sauermann, Andreas Dengel. In: Ulrich Reimer and Dimitris Karagiannis ed., PAKM 2006. LNAI, volume 4333, Springer, p. 279--290, 2006

Evolutionary Local Search for Designing Peer-to-Peer Overlay Topologies based on Minimum Routing Cost Spanning Trees

Peter Merz, Steffen Wolf. In: Thomas Philip Runarsson and Hans-Georg Beyer and Edmund Burke and Juan J. Merelo-Guerv{\'o}s and L. Darrell Whitley and Xin Yao ed., Proceedings of the 9th International Conference on Parallel Problem Solving from Nature - PPSN IX. LNCS, volume 4193, Springer, p. 272--281, 2006

On upscaling certain flows in deformable porous media

Oleg Iliev, A. Mikelic, P. Popov. In: SIAM J. Multiscale Modeling and Simulation. to appear, 2006

On a finite volume discretization of the three-dimensional Biot poroelasticity system in multilayered domains

Anna Naumovich. In: Comp. Meth. Appl. Math.. volume 6, number 3, p. 306, 2006

Self-Organizing Networks for Performance Optimization

Peter Merz. In: Workshop on Performance Modeling of Self-Organizing Systems (IWSOS). University of Passau, 2006

How to whack moles

Sandra Gutierrez, Sven O. Krumke, Nicole Megow, Tjark Vredeveld. In: Theoretical Computer Science. volume 361, number 2, p. 329 - 341, 2006

2005

DeweyIDs - The Key to Fine-Grained Management of XML Documents

Michael P. Haustein, Theo Härder, Christian Mathis, Markus Wagner. In: Proc. 20th Brasilian Symposium on Databases  (SBBD 2005), Uberlandia, Brazil. p. 85--99, October, 2005

Sensor Network Calculus -- A Framework for Worst Case Analysis

Jens B. Schmitt, Utz Roedig. In: IEEE/ACM International Conference on Distributed Computing in Sensor Systems (DCOSS'05). LNCS, number 3560, Springer, p. 141-154, June, 2005

Worst Case Dimensioning of Wireless Sensor Networks under Uncertain Topologies

Jens B. Schmitt, Utz Roedig. In: 3rd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt'05). IEEE, April, 2005

Stocks paying discrete dividends: modelling and option pricing

Ralf Korn, L. C. G. Rogers. In: Journal of Derivatives. volume 13, number 2, p. 44--49, 2005

Phonon tracing for auralization and visualization of sound

Martin Bertram, Eduard Deines, Jan Mohring, J. Jegorovs, Hans Hagen. In: Proceedings of IEEE Visualization 2005. p. 151--158, 2005

Finding Representative Systems for Discrete Bicriteria Optimization Problems by Box Algorithms

Horst W. Hamacher, Christian R. Pedersen, Stefan Ruzika. In: Operations Research Letters. To Appear, 2005

ns+SDL . The Network Simulator for SDL Systems

Thomas Kuhn, Alexander Geraldy, Reinhard Gotzhein, F. Rothländer. In: Andreas Prinz, Rick Reed, Jeanne Reed ed., SDL 2005: Model Driven. LNCS, volume 3530, Springer, p. 103--116, 2005

Coupling Conditions for Systems of Hyperbolic Equations

Michael Herty. In: Proceedings in Applied Mathematics and Mechanics. volume 5, number 1, p. 665, 2005

Graphentheorische Konzepte und Algorithmen

Sven O. Krumke, Hartmut Noltemeier. B.G.Teubner, ISBN 3-519-00526-3, 2005

On minimizing the maximum flow time in the online dial-a-ride problem

Sven O. Krumke, Willem E. de Paepe, Diana Poensgen, Maarten Lipmann, Alberto Marchetti-Spaccamela. In: The 3rd Workshop on on Approximation and Online Algorithms. Lecture Notes in Computer Science, volume 3879, Springer, p. 258--269, 2005

The online target date assignment problem

Stefan Heinz, Sven O. Krumke, Nicole Megow, Jörg Rambau, Andreas Tuchscherer. In: The 3rd Workshop on on Approximation and Online Algorithms. Lecture Notes in Computer Science, volume 3879, Springer, p. 230--243, 2005

A Network Flow Algorithm to Minimize Beam-On Time for Unconstrained Multileaf Collimator Problems in Cancer Radiation Therapy

Ravindra K. Ahuja, Horst W. Hamacher. In: Networks. volume 45, p. 36--41, 2005

Decomposition of Integer Matrices and Multileaf Collimator Sequencing

Davaatseren Baatar, Matthias Ehrgott, Horst W. Hamacher, Gerhard J. Woeginger. In: Discrete Applied Mathematics. volume 152, p. 6--34, 2005

A hard dial-a-ride problem which is easy on average

Amin Coja-Oghlan, Sven O. Krumke, Till Nierhoff. In: Journal of Scheduling. volume 8, p. 197--210, 2005

Deterministic online optical call admission revisited

Elisabeth Gassner, Sven O. Krumke. In: The 3rd Workshop on on Approximation and Online Algorithms. Lecture Notes in Computer Science, volume 3879, Springer, p. 190--202, 2005

A Restricted Median Location Model for Stop Location Design in Public Transportation Networks

Dwi Retnani Poetranto. In: The 3rd ORP3 Meeting, Valencia, Spain. p. 297--310, 2005

 

Preprints / Workshop Submissions / Technical Reports

2008

Minimum cut tree games

Anne M. Schwahn. Technical Report, Report in Wirtschaftsmathematik, TU Kaiserslautern, December, 2008

How to find Nash equilibria with extreme total latency in network congestion games?

Heike Sperber. Technical Report, Report in Wirtschaftsmathematik, volume 116, TU Kaiserslautern, November, 2008

Truthful Mechanisms for Selfish Routing and Two-Parameter Agents

Clemens Thielen. Submitted, October, 2008

Generalized Truthful Mechanisms for Scheduling Verifiable Related Machines

Clemens Thielen. Submitted, August, 2008

Inverse Tension Problems and Monotropic Optimization

Cigdem Güler. Technical Report, number 114, Tu Kaiserslautern, July, 2008

Model-based Development of an Adaptive Vehicle Stability Control System

Rasmus Adler, Ina Schaefer, Tobias Schüle. In: Workshop "Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen", Modellierung 2008, Berlin, March 2008. March, 2008

New developments in the theory of Gröbner bases and applications to formal verification

Michael Brickenstein, Alexander Dreyer, Gert-Martin Greuel, Markus Wedler, Oliver Wienand. In: Special Issue of the Journal of Pure and Applied Algebra. Submitted, 2008

An Efficient Approach for Upscaling properties of Composite Materials with High contrast of Coefficients

R. Ewing, Oleg Iliev, Raytcho Lazarov, I. Rybak, J. Willems. Technical Report, number 132, Fraunhofer ITWM, 2008

Towards a Better Understanding of the Semigroup Tree

Maria Bras-Amoros, Stanislav Bulygin. In: Discrete Mathematics. Submitted, 2008

Solving Scheduling and Location Problems in the Plane Simultaneously

Marcel Kalsch, Zvi Drezner. Submitted, 2008

Oracle-guided search in sorted matrices improving balanced flow computation

Matthias Altenhoefer, Riko Jacob, Sven O. Krumke. Submitted, 2008

Obtaining and solving systems of equations in key variables only for the small variants of AES

Stanislav Bulygin, Michael Brickenstein. In: Mathematics in Computer Science, Special Issue "Symbolic Computation and Cryptography". Available online: http://eprint.iacr.org/2008/435, Submitted, 2008

2007

An Approach to Dynamically Achieving Quality Requirements Change in Product Line Engineering

Minseong Kim, Sooyong Park, Jaejoon Lee. In: International Workshop on Dynamic Software Product Line (DSPL 07). Accepted, September, 2007

Identifying and Specifying Reusable Services of Service Centric Systems through Product Line Technology

Jaejoon Lee, Dirk Muthig, Matthias Naab, Minseong Kim, Sooyong Park. In: International Workshop on Service Oriented Architectures and Product Lines - What is the Connection?. Accepted, September, 2007

PolyBoRi: A Gröbner Basis Framework for Boolean Polynomials

Michael Brickenstein, Alexander Dreyer. Technical Report, Reports of Fraunhofer ITWM, volume 122, Fraunhofer ITWM, August, 2007

New heuristics for the minimum fundamental cut

Alexander J. Perez Tchernov, Anne M. Schwahn. Technical Report, Reports in Wirtschaftsmathematik, number 112, Technische Universität Kaiserslautern, Available at http://kluedo.ub.uni-kl.de/volltexte/2007/2118/, July, 2007

Development of Safe and Reliable Embedded Systems using Dynamic

Rasmus Adler, Daniel Schneider, Mario Trapp. In: 1th Workshop on Model-driven Software Adaptation M-ADAPT at ECOOP, Berlin, Germany. July, 2007

On the TDMA Design Problem Under Real-Time Constraints in Wireless Sensor Networks

Nicos Gollan, Jens B. Schmitt. Technical Report, number 359/2007, Technische Universität Kaiserslautern, Technische Universität Kaiserslautern, June, 2007

Formal Verification of Safety Behaviours of the Outdoor Robot RAVON

Martin Proetzsch, Tobias Schüle, Karsten Berns, Klaus Schneider. In: 4th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2007). Submitted, May, 2007

Modeling the Interplay between Neurons and Glial Cells

Joachim Almquist, Holger Becker, Christian Salzig, Henning Schmidt. In: European BioPerspectives, Annual Convention of Biotechologists, Book of Abstracts. p. 259, Poster Presentation, May, 2007

Polyhedral Analysis of Uncapacitated Single Allocation p-Hub Center Problems

Silke Jütte, Elena Gavriliouk, Horst W. Hamacher. Technical Report, Reports in Wirtschaftsmathematik, number 109, Technische Universität Kaiserslautern, Available at http://kluedo.ub.uni-kl.de/volltexte/2007/2088/, April, 2007

Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems

Raffaella Gentilini, Klaus Schneider, Alexander Dreyer. In: Christian Haubelt and Jürgen Teich ed., Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Shaker Verlag, Aachen, Germany, p. 121--130, 10. Workshop MBMV '07, March, 2007

An Adaptive Storage Manager for XML Documents

Karsten Schmidt, Theo Härder. In: BTW Workshop, Aachen (Germany). March, 2007

Modeling the Interplay between Neurons and Glial Cells

Joachim Almquist, Holger Becker, Christian Salzig, Henning Schmidt. In: 2nd Workshop on Mathematical Aspects of Systems Biology, Göteborg, Sweden, March 21-24, 2007. Poster Presentation, March, 2007

Simulation and Visualization of Indoor Acoustics for Robot Control

Norbert Schmitz, Jens Wettach, Eduard Deines, Peter Dannenmann, Martin Bertram. In: accepted for publication at the Ninth IASTED International Conference on Computer Graphics and Imaging. International Association of Science and Technology for Development, Submitted, Februrary, 2007

Scheduling and Location (ScheLoc): Makespan Problem with Variable Release Dates

Donatas Elvikis, Horst W. Hamacher, Marcel Kalsch. Technical Report, Reports in Wirtschaftsmathematik, number 106, Technische Universität Kaiserslautern, Available at http://kluedo.ub.uni-kl.de/volltexte/2007/2062/, Februrary, 2007

On Geometric Ergodicity of CHARME Models

Jürgen Franke, Jean-Pierre Stockis, Kamgaing Joseph Tadjuidje. Technical Report, Report in Wirtschaftsmathematik, University of Kaiserslautern, Technische Universität Kaiserslautern, January, 2007

A note on the identifiability of the conditional expectation for the mixtures of neural networks

Jürgen Franke, Jean-Pierre Stockis, Kamgaing Joseph Tadjuidje. Technical Report, Report in Wirtschaftsmathematik, University of Kaiserslautern, Technische Universität Kaiserslautern, January, 2007

Quantile Sieve Estimates for Time Series

Jürgen Franke, Jean-Pierre Stockis, Kamgaing Joseph Tadjuidje. Technical Report, SFB 649 Discussion Paper, Humboldt University Berlin, Technische Universität Kaiserslautern, January, 2007

Some asymptotics for local least-squares regression with regularization

Jürgen Franke, Kamgaing Joseph Tadjuidje, Stefan Didas, Joachim Weickert. Technical Report, Report in Wirtschaftsmathematik, University of Kaiserslautern, Technische Universität Kaiserslautern, Universität Saarbrücken, January, 2007

Kernel Fisher discriminant functions - a concise and rigorous introduction

Hagen Knaf. Technical Report, Berichte des ITWM, volume 117, ITWM, Kaiserslautern, January, 2007

Separation of Variability Dimension and Development Dimension

Isabel John, Jaejoon Lee, Dirk Muthig. In: First International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2007, Limerick, Ireland. January, 2007

Optimal portfolios under ruin probability constraints

Ralf Korn, Anke Wiese. Unpublished, Working paper, 2007

A Discrete Optimization Approach to Large Scale Supply Networks based on Partial Differential Equations

A. Fügenschuh, Simone Göttlich, Michael Herty, Axel Klar, A. Martin. Submitted, 2007

Numerical evidence for the non-existence of solutions of the equations describing rotational fiber spinning

T. Götz, Axel Klar, Andreas Unterreiter, Raimund Wegener. Technical Report, Berichte des Fraunhofer ITWM, Nr. 108, 2007

Wild bootstrap tests for comparing signals and images

Jürgen Franke, Siana Halim. Technical Report, Report in Wirtschaftsmathematik, University of Kaiserslautern, Technische Universität Kaiserslautern, 2007

Minimum Cut Bases in Undirected Networks

Florentine Bunke, Horst W. Hamacher, Francesco Maffioli, Anne M. Schwahn. Technical Report, Reports in Wirtschaftsmathematik, number 108, Technische Universität Kaiserslautern, Available at http://kluedo.ub.uni-kl.de/volltexte/2007/2087/, 2007

Dynamics of Curved Viscous Fibers with Surface Tension

N. Marheineke, Raimund Wegener. Technical Report, In: Berichte des Fraunhofer ITWM. volume 115, Fraunhofer ITWM, 2007

On approximation property of multipoint flux approximation method

Oleg Iliev, I. Rybak. In: Mathematical Modelling. Also: ITWM Report No. 119, Submitted, 2007

On numerical upscaling for flow in heterogeneous porous media

Oleg Iliev, I. Rybak. In: Comp. Meth. Appl. Math.. Also: ITWM Report No. 118, Submitted, 2007

An analysis of a regularization approach for solving Neumann problem

E. Savenkov, Heiko Andrae, Oleg Iliev. In: Computer Methods in Applied Mechanics and Engineering. Submitted, 2007

Mimetic finite difference method for convection diffusion equations on Voronoi grids

R. Borsche. Masters Thesis, TU Kaiserslautern, 2007

On Importance of CFD in Filtration

M. Dedering, W. Stausberg, Oleg Iliev, Zahra Lakdawala. World Filtration Congress, Submitted, 2007

New challenges for CFD simulation in filtration

M. Dedering, W. Stausberg, Oleg Iliev, Zahra Lakdawala, Raimondas Ciegis. World Filtration Congress, Submitted, 2007

Parallel software tool for decomposing and meshing of 3d structures

Rasmus Adler. Technical Report, number 110, ITWM, 2007

On the Complexity of the Uncapacitated Single Allocation p-Hub Median Problem with Equal Weights

Steffen Wolf. Technical Report, number 363/07, University of Kaiserslautern, 2007

Distributed approximation algorithms for finding 2-edge-connected subgraphs

Tim Nonner, Sven O. Krumke, Peter Merz, Katharina Gerhardt nee Rupp. In: Proc. 11th International Conference on Principles of Distributed Systems (OPODIS). LNCS, Submitted, 2007

2006

Towards Modular Verification of Stabilisation in Self-Adaptive Embedded Systems

Ina Schaefer, Arnd Poetzsch-Heffter. In: Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'06), Dallas, Texas. LNCS, volume 4280, Springer, p. 584--585, Brief Announcement, November, 2006

Automatische Konfiguration von Bildverarbeitungssystemen - Konzept und Anwendungsbeispiele

S. Peters, A. König. In: ITG-Fachgruppensitzung "Mikroelektronik Neuronaler Netze", ISE, Kaiserslautern. November, 2006

A bootstrap test for comparing images in surface inspection

Jürgen Franke, Siana Halim. Technical Report, Preprint series of the DFG priority program 1114 ``Mathematical methods for time series analysis and digital image processing'', Technische Universität Kaiserslautern, November, 2006

DynaQ -- Dynamic Queries for Electronic Document Management

Stefan Agne, Christian Reuschling, Andreas Dengel. In: Thomas Kwok and William Cheung ed., Proceedings of the First International Electronic Document Management Workshop (EDM 2006), Hong Kong, China. IEEE, p. 56--59, October, 2006

Automatische nichtlineare Verhaltensmodellgenerierung mit sequentieller Gleichungsstruktur

Daniel Platte, Ralf Sommer, Jochen Broz, Alexander Dreyer, Thomas Halfmann and Erich Barke. In: 9. ITG/GMM-Fachtagung Analog '06: Entwicklung von Analogschaltungen mit CAE-Methoden, Dresden. September, 2006 (in german)

Comparison and Visualization of Statistical Classifikation Methods for Credit Defaults

Tanja Dankert. Masters Thesis, September, 2006

Feature-Based Determination of Product Line Asset Types: In-house, COTS, or Open Source?

Jaejoon Lee, Dirk Muthig. In: 1st International Workshop on Open Source Software and Product Lines, OSSPL, 2006, Baltimore, USA. August, 2006

Statistics for Cost-Based XML Query Optimization

Jose de Aguiar Moraes Filho, Theo Härder. In: Proc. 18. Workshop "Grundlagen von Datenbanken", Wittenberg, Sachsen-Anhalt. p. 110--114, June, 2006

Verifying the Adaptation Behavior of Embedded Systems

Klaus Schneider, Tobias Schüle, Mario Trapp. In: Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). ACM, May, 2006

Using Abstraction in Modular Verification of Synchronous Adaptive Systems

Ina Schaefer, Arnd Poetzsch-Heffter. In: Proceedings of "Workshop on Trustworthy Software", Saarbrücken, May 18-19, 2006. Dagstuhl Online Proceedings , available at http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=699, May, 2006

Twig Query Processing under Concurrent Updates

Christian Mathis, Theo Härder. In: Proc. ICDE Workshops 2006: 141, ICDE Ph.D. Workshop, Atlanta, Georgia. April, 2006

Performance Bounds in Feed-Forward Networks under Blind Multiplexing

Jens B. Schmitt, Frank Zdarsky, Ivan Martinovic. Technical Report, number 394/06, University of Kaiserslautern, University of Kaiserslautern, April, 2006

Hash-Based Structural Join Algorithms

Christian Mathis, Theo Härder. In: Proc. DATAX'06 Workshop, Munich. March, 2006

Mathematical Force Concept for the One-Way-Coupling of Dynamic Fibers and Turbulent Flows

N. Marheineke, Raimund Wegener. In: Proc. Appl. Math. Mech. 6. Wiley, Submitted, 2006

Asymptotic and Discrete Concepts for Optimal Control in Radiative Transfer

Michael Herty, Rene Pinnau, G. Thömmes. Submitted, 2006

Active Documents - Taking Advantage of component-orientation beyond pure reuse

Markus Reitz. In: Proceedings of the ECOOP Workshop of Component-Oriented Programming (WCOP 06). 2006

Initial temperature reconstruction for a nonlinear heat equation

Sergiy S. Pereverzyev, Rene Pinnau, Norbert Siedow. In: Inverse Problems in Science and Engineering. Submitted, 2006

Existence of solutions for supply chain models based on partial differential equations

Michael Herty, Axel Klar, B. Piccoli. Submitted, 2006

On convergence of certain finite volume difference discretizations for 1-D poroelasticity interface problems

R. Ewing, Oleg Iliev, Raytcho Lazarov, Anna Naumovich. In: Int.J.Num.Meth. PDEs. Submitted, 2006

Computational study of pressure drop dependence on pleat shape and filter media

Andreas Wiegmann, Oleg Iliev, Stefan Rief. 2006

ComDeCo poster presentation

Markus Reitz. In: Poster Session at the European Conference on Object-Oriented Programming (ECOOP 2006). 2006

Design of fibrous filter media based on the simulation of pore size measures

Jürgen Becker, Andreas Wiegmann, Volker Schulz. 2006

Soot filtration simulation - Generation of porous media on the micro scale from soot deposition on the nano scale

Andreas Wiegmann, Stefan Rief, Arnulf Latz. Submitted, 2006

Personalized document retrieval in multi-party environments with the Semantic Desktop

Mark Siebert, Pierre Smits, Leo Sauermann, Andreas Dengel. In: Proceedings EDM, IEEE Int. Workshop on the Electronic Document Management in an Enterprise Computing Environment, Hong Kong, China. IEEE Computer Society, 2006

Interval Methods for Analog Circuits

Alexander Dreyer. Technical Report, Berichte des Fraunhofer ITWM, volume 97, Fraunhofer ITWM, 2006

Slender Body Theory for the Dynamics of Curved Viscous Fibers

S. Panda, N. Marheineke, Raimund Wegener. Technical Report, Berichte des Fraunhofer ITWM, Nr. 86, 2006

Semi-Simultaneous Flows and Binary Constrained (Integer) Linear Programs

Alexander Engau, Horst W. Hamacher. In: Networks. Available at http://kluedo.ub.uni-kl.de/volltexte/2006/1971/, Submitted, 2006

Connectedness of Efficient Solutions in Multiple Objective Combinatorial Optimization

Jochen Gorski, Kathrin Klamroth, Stefan Ruzika. In: Operations Research. Available at http://kluedo.ub.uni-kl.de/volltexte/2006/2039/, Submitted, 2006

Hub Cover and Hub Center Problems

Horst W. Hamacher, Tanja Meyer. Technical Report, Reports in Wirtschaftsmathematik, number 98, Technische Universität Kaiserslautern, Available at http://kluedo.ub.uni-kl.de/volltexte/2006/1966/, 2006

Decomposition of Matrices and Static Multileaf Collimators: A Survey

Matthias Ehrgott, Horst W. Hamacher, Marc Nußbaum. Technical Report, Reports in Wirtschaftsmathematik, number 101, Technische Universität Kaiserslautern, Available at http://kluedo.ub.uni-kl.de/volltexte/2006/2033/, 2006

The continuous stop location problem in public transportation networks

Anita Schöbel, Horst W. Hamacher, Annegret Liebers, Dorothea Wagner. In: Asia Pacific Journal of Operations Research. Submitted, 2006

Acquisition Prioritization: A Multicriteria Approach Based on a Case Study

Horst W. Hamacher, Stefan Ruzika, Akin Tanatmis. In: Operations Research Spectrum. Available at http://kluedo.ub.uni-kl.de/volltexte/2006/2021/, Submitted, 2006

Computation of the effective thermal conductivity of composite materials from their microstructure

Andreas Wiegmann, Aivars Zemitis. In: JCP. Also: ITWM Report No. 94, Submitted, 2006

Efficient preconditioners for multi-scale flow problems

J. Willems. Masters Thesis, TU Kaiserslautern, 2006

EJ-HEAT: A fast explicit jump harmonic averaging solver for the effective heat conductivity of composite materials

Andreas Wiegmann, Aivars Zemitis. Technical Report, number 94, ITWM, 2006

2005

On Optimal Control Problems in Radiative Transfer

Michael Herty, Rene Pinnau, Mohammed Seaid. Submitted, 2005

Micro Protocol Based Design of a Highly Adaptive and Integrated QoS MAC layer for Ambient Intelligence Systems

Thomas Kuhn, I. Fliege. Technical Report, University of Kaiserslautern, University of Kaiserslautern, 2005

An Improved e-Constraint Method for Multiobjective Programming

Matthias Ehrgott, Stefan Ruzika. Technical Report, Reports in Wirtschaftsmathematik, number 96, Available at http://kluedo.ub.uni-kl.de/volltexte/2005/1893/, 2005