Veröffentlichungen 2004 - 2005


Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, Holger Traczinski
Integration of reliable algorithms into modeling software. In: Algebraic and Numerical Algorithms and Computer-assisted Proofs B. Buchberger, S. Oishi, M. Plum, S. M. Rump (Eds.), Dagstuhl Seminar Proceedings 05391, ISSN 1862 - 4405. Dagstuhl Seminar 05391, 25.09. - 30.09.2005

Eva Dyllong & Wolfram Luther
On the Application of Accurate Distance Algorithms to Multibody Simulations. Proc. Appl. Math. Mech. PAMM(5), 653 - 654, 2005. doi: 10.1002/pamm.200510303

Daniel Biella, Eva Dyllong, Wolfram Luther & Thomas Pilz
An On-line Literature Research System with Rule-Based Search, In Proceedings of the 4th European Conference on e-Learning (ECEL2005), 10-11 November 2005, Amsterdam, Netherlands, ISBN 1-905305-12-5, 67-76.

N. Baloian, W. Luther & T. Putzer
Algorithm Explanation Using Multimodal Interfaces. IEEE Press CS, XXV International Conference of the Chilean Computer Science Society. SCCC 2005, Valdivia, November 7-12, 2005, pp. 21-29

T. Pilz, W. Luther, U. Ammon & N. Fuhr
Rule-based search in text databases with nonstandard orthography, Proceedings ACH/ALLC 2005, Victoria, 15 - 18 Jun 2005.

L. Mischke & W. Luther
Document Image De-warping Based on Detection of Distorted Text Lines. In Fabio Roli, Sergio Vitulano (eds.) Image Analysis and Processing - ICIAP 2005 proceedings, Cagliari, Italy, September 2005, LNCS 3617, Springer, 1068-1075. doi: 10.1007/11553595_131

E. Auer, E. Dyllong, W. Luther, D. Stankovic & H. Traczinski
Integration of accurate distance algorithms into a modeling tool for multibody systems. 17th IMACS World congress, Paris, July 11-15, 2005, Paper T2-I-73-0397

N. Baloian, H. Breuer & W. Luther
Algorithm visualization using concept keyboards. Proc. ACM SoftVis’05, St. Louis, Missouri, 14.-15. May 2005, pp 7-16. doi: 10.1145/1056018.1056020

D. Traczinski, G. Haßlinger & W. Luther
Polynomial factorization for servers with semi-markovian workload: performance and numerical aspects of a verified solution technique, Stochastic Models, 21:643–668, 2005


Daniel Biella, Wolfram Luther & Thomas Pilz
A web-based System for Assisted Literature Research, In Proceedings of the 3rd European Conference on e-Learning (ECEL2004), 25-26 November 2004, Paris, France, Academic Conferences Ltd., Reading, UK, ISBN 0-9547096-7-5, 15-24

E. Auer, A. Kecskeméthy, M. Tändl & H. Traczinski
Interval Algorithms in Modeling of Multibody Systems. LNCS 2991, Springer 2004, 132-159. doi: 10.1007/b96498

K. Bühler, Eva Dyllong & Wolfram Luther
Reliable Distance and Intersection Computation Using Finite Precision Geometry. LNCS 2991, Springer 2004, 160-190. doi: 10.1007/b96498

Eva Dyllong & Wolfram Luther
An Accurate Distance Algorithm for Octree-Encoded Objects. PAMM Vol 4 (1), 562-563, 2004. doi: 10.1002/pamm.200410262

Eva Dyllong & Wolfram Luther
The GJK distance algorithm: an interval version for incremental motions. In Numerical Algorithms, Volume 37, Issue 1-4, Kluwer, Dezember 2004, 127-136. doi: 10.1023/B:NUMA.0000049460.50984.b8

Daniela Fausten, Wolfram Luther & Gerhard Haßlinger
Accurate computation of traffic workload distributions. In Numerical Algorithms, Volume 37, Issue 1-4, Kluwer, Dezember 2004, 137-146. doi: 10.1023/B:NUMA.0000049461.33333.5b

F. Günter Boese & Wolfram Luther 
Enclosure of the zero set of multivariate exponential interval polynomials, Numerical Algorithm, Vol. 37 (1), pp. 35-44. doi: 10.1023/B:NUMA.0000049486.95047.25

Daniela Traczinski, Wolfram Luther, Nicola Ehling & Gerhard Haßlinger
Evaluation of flows in communication networks with different mechanisms for support of quality of service. In Proceedings of The European Simulation and Modelling Conference (ESMc '04), Paris, Oktober 2004, ISBN 90-77381-14-7, 201-205.

Daniela Traczinski, Wolfram Luther & Gerhard Haßlinger
Computing the workload of discrete time semi-Markov servers with result verification. In Proceedings of 12th GI/ITG Conference on Measuring, Modelling and Evalutation of Computer and Communication Systems (MMB '04), Dresden, September 2004, VDE Verlag 2004, ISBN 3-8007-2851-6, 245-254.

N. Baloian, H. Breuer, W. Luther, Chr. Middleton, Th. Pilz
Konzepttastaturen zur Algoithmenanimation. Informatik 2004. Beiträge der 34. Jahrestagung der GI, 20.-24. September 2004, Ulm. Lecture Notes in Informatics, Peter Dadam, Manfred Reichert (Hrsg.), Band 1, 399-404

René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther (eds.)
Numerical Software with result verification. Dagstuhl-Seminar 19.1.-24.1.2003, LNCS 2991, Springer 2004, ISBN 978-3-540-21260-7. doi: 10.1007/b96498

Daniela Fausten, Wolfram Luther, Nicola Ehling & Gerhard Haßlinger
Modeling and Analysis of Switching Systems in Multi Service Networks with QoS Support. In Proceedings of Analytical and Stochastic Modelling Techniques and Applications (ASMTA '04), Magdeburg, Juni 2004, 160-165.

Daniela Fausten & Gerhard Haßlinger
Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication. In R. Alt, A. Frommer, R. B. Kearfott, W. Luther (eds.): Numerical Software with Result Verification, Dagstuhl-Seminar 19.1.-24.1.2003, LNCS 2991, Springer 2004, 206-225. doi: 10.1007/b96498

@ Universität Duisburg-Essen, Fak. IngWi, Abt. INKO, Fachgebiet SCG Kontakt webmaster (at) -- Login