2008 |
38 | | Annie A. M. Cuyt,
Walter Krämer,
Wolfram Luther,
Peter W. Markstein:
Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 |
37 | | Peter Hertling,
Christoph M. Hoffmann,
Wolfram Luther,
Nathalie Revol:
Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers
Springer 2008 |
36 | EE | Wolfram Luther,
Annie A. M. Cuyt,
Walter Krämer,
Peter W. Markstein:
08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures.
Numerical Validation in Current Hardware Architectures 2008 |
35 | EE | Annie A. M. Cuyt,
Walter Krämer,
Wolfram Luther,
Peter W. Markstein:
08021 Summary - Numerical Validation in Current Hardware Architectures.
Numerical Validation in Current Hardware Architectures 2008 |
34 | EE | Ekaterina Auer,
Wolfram Luther:
Numerical Verification Assessment in Computational Biomechanics.
Numerical Validation in Current Hardware Architectures 2008 |
33 | EE | Ekaterina Auer,
Andreas Rauh,
Eberhard P. Hofer,
Wolfram Luther:
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP.
Reliable Implementation of Real Number Algorithms 2008: 1-27 |
32 | EE | Sebastian Kempken,
Wolfram Luther:
Verified Methods in Stochastic Traffic Modelling.
Reliable Implementation of Real Number Algorithms 2008: 83-101 |
31 | | Daniel Biella,
Wolfram Luther:
A General Framework for Replicated Experiments in Virtual 3D Environments.
WEBIST (1) 2008: 316-323 |
30 | EE | Nelson Baloian,
Henning Breuer,
Wolfram Luther:
Concept keyboards in the animation of standard algorithms.
J. Vis. Lang. Comput. 19(6): 652-674 (2008) |
29 | EE | Sebastian Kempken,
Gerhard Haßlinger,
Wolfram Luther:
Parameter estimation and optimization techniques for discrete-time semi-Markov models of H.264/AVC video traffic.
Telecommunication Systems 39(2): 77-90 (2008) |
2007 |
28 | | Ekaterina Auer,
Wolfram Luther:
Smartmobile - an environment for guaranteed multibody modeling and simulation.
ICINCO-RA (1) 2007: 109-116 |
27 | EE | Sebastian Kempken,
Wolfram Luther:
Modeling of H.264 High Definition Video Traffic Using Discrete-Time Semi-Markov Processes.
International Teletraffic Congress 2007: 42-53 |
2006 |
26 | | Peter Hertling,
Christoph M. Hoffmann,
Wolfram Luther,
Nathalie Revol:
Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
25 | EE | Wolfram Luther:
Rule-based search in historical text databases - Visualization techniques.
Digital Historical Corpora 2006 |
24 | EE | Sebastian Kempken,
Wolfram Luther,
Th. Pilz:
Comparison of distance measures for historical spelling variants.
IFIP AI 2006: 295-304 |
23 | EE | Peter Hertling,
Christoph M. Hoffmann,
Wolfram Luther,
Nathalie Revol:
06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice.
Reliable Implementation of Real Number Algorithms 2006 |
22 | EE | Peter Hertling,
Christoph M. Hoffmann,
Wolfram Luther,
Nathalie Revol:
06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice.
Reliable Implementation of Real Number Algorithms 2006 |
21 | EE | Eva Dyllong,
Wolfram Luther,
Holger Traczinski:
Modelling Geometric Objects and Tolerances with Intervals: Data Exchange with ISO Standard STEP.
Reliable Computing 12(4): 293-302 (2006) |
2005 |
20 | EE | Wolfram Luther,
Gerhard Haßlinger,
Ekaterina Auer,
Eva Dyllong,
Daniela Traczinski,
Holger Traczinski:
Integration of reliable algorithms into modeling software.
Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 |
19 | EE | Lothar Mischke,
Wolfram Luther:
Document Image De-warping Based on Detection of Distorted Text Lines.
ICIAP 2005: 1068-1075 |
18 | EE | Nelson Baloian,
Wolfram Luther,
Thorsten Putzer:
Algorithm explanation using multimodal interfaces.
SCCC 2005: 21-29 |
17 | EE | Nelson A. Baloian,
Henning Breuer,
Wolfram Luther:
Algorithm visualization using concept keyboards.
SOFTVIS 2005: 7-16 |
2004 |
16 | | René Alt,
Andreas Frommer,
R. Baker Kearfott,
Wolfram Luther:
Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
Springer 2004 |
15 | | Nelson A. Baloian,
Henning Breuer,
Wolfram Luther,
Chr. Middleton,
Th. Pilz:
Konzept-Tastaturen zur Algorithmenanimation.
GI Jahrestagung (1) 2004: 399-403 |
14 | | Daniela Traczinski,
Wolfram Luther,
Gerhard Haßlinger:
Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification.
MMB 2004: 245-254 |
2003 |
13 | | Daniel Biella,
Wolfram Luther:
Mobile verteilte Dokumentenrecherche in Bibliotheken und Archiven.
GI Jahrestagung (1) 2003: 298-302 |
12 | EE | Katja Bühler,
Eva Dyllong,
Wolfram Luther:
Reliable Distance and Intersection Computation Using Finite Precision Geometry.
Numerical Software with Result Verification 2003: 160-190 |
2002 |
11 | EE | Nelson A. Baloian,
Wolfram Luther,
Jaime Sánchez:
Modeling educational software for people with disabilities: theory and practice.
ASSETS 2002: 111-118 |
10 | EE | Nelson A. Baloian,
Alexander Berges,
Stephan Buschmann,
Katrin Gaßner,
Jens Hardings,
Heinz Ulrich Hoppe,
Wolfram Luther:
Document Management in a Computer-Integrated Classroom.
CRIWG 2002: 35-46 |
9 | | Nelson A. Baloian,
Wolfram Luther:
Various Modelling Aspects of Tutoring Systems for People with Auditory Disabilities.
SECIII 2002: 197-206 |
2001 |
8 | EE | Nelson A. Baloian,
Wolfram Luther:
Visualization for the Mind's Eye.
Software Visualization 2001: 354-367 |
1999 |
7 | | Heinz Ulrich Hoppe,
Wolfram Luther,
Werner Otten,
Frank Tewissen:
Multimedia-gestützte Vorlesungen in einem interaktiven elektronischen Hörsaal - Ansätze und Erfahrungen.
INFOS 1999: 72-85 |
6 | EE | Eva Dyllong,
Wolfram Luther,
Werner Otten:
An Accurate Distance-Calculation Algorithm for Convex Polyhedra.
Reliable Computing 5(3): 241-253 (1999) |
1998 |
5 | EE | Wolfram Luther,
Werner Otten:
Reliable Computation of Elliptic Functions.
J. UCS 4(1): 25-33 (1998) |
1997 |
4 | | Heinz Ulrich Hoppe,
Wolfram Luther:
Informatik und Lernen in der Informationsgesellschaft, 7. GI-Fachtagung Informatik und Schule, INFOS'97, Duisburg, 15.-18. September 1997
Springer 1997 |
3 | EE | Wolfram Luther,
Werner Otten:
Approximation Error and Error Accumulation for the Landen Transform.
Reliable Computing 3(3): 249-258 (1997) |
1996 |
2 | | Heinz Ulrich Hoppe,
Wolfram Luther:
Informatik und Schule - Ein Fach im Spiegel neuer Entwicklungen der Fachdidaktik.
LOG IN 16(1): 8- (1996) |
1990 |
1 | | Wolfram Luther:
Nonstandard Analysis-Methoden in Anwendung auf ein Eigenwertproblem der PLL Theorie.
ASST 1990: 136-141 |