2009 | ||
---|---|---|
45 | Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein: Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers Springer 2009 | |
44 | Benjamin Weyers, Wolfram Luther, Nelson Baloian: Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages. CRIWG 2009: 311-318 | |
43 | Benjamin Weyers, Nelson Baloian, Wolfram Luther: Cooperative creation of concept keyboards in distributed learning environments. CSCWD 2009: 534-539 | |
42 | Daniel Biella, Wolfram Luther: Towards a Template-based Generation of Virtual 3D Museum Environments. WEBIST 2009: 399-402 | |
2008 | ||
41 | 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 | |
40 | 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 | |
39 | 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 | |
38 | 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 | |
37 | Ekaterina Auer, Wolfram Luther: Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures 2008: 145-160 | |
36 | Ekaterina Auer, Wolfram Luther: Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures 2008 | |
35 | 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 | |
34 | Sebastian Kempken, Wolfram Luther: Verified Methods in Stochastic Traffic Modelling. Reliable Implementation of Real Number Algorithms 2008: 83-101 | |
33 | Daniel Biella, Wolfram Luther: A General Framework for Replicated Experiments in Virtual 3D Environments. WEBIST (1) 2008: 316-323 | |
32 | Daniel Biella, Wolfram Luther: A Parameterizable Framework for Replicated Experiments in Virtual 3D Environments. WEBIST (Selected Papers) 2008: 361-374 | |
31 | Nelson Baloian, Henning Breuer, Wolfram Luther: Concept keyboards in the animation of standard algorithms. J. Vis. Lang. Comput. 19(6): 652-674 (2008) | |
30 | 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 | ||
29 | Ekaterina Auer, Wolfram Luther: Smartmobile - an environment for guaranteed multibody modeling and simulation. ICINCO-RA (1) 2007: 109-116 | |
28 | 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 | ||
27 | 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 | |
26 | Wolfram Luther: Rule-based search in historical text databases - Visualization techniques. Digital Historical Corpora 2006 | |
25 | Sebastian Kempken, Wolfram Luther, Th. Pilz: Comparison of distance measures for historical spelling variants. IFIP AI 2006: 295-304 | |
24 | 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 | |
23 | 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 | |
22 | 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 | ||
21 | 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 | |
20 | Lothar Mischke, Wolfram Luther: Document Image De-warping Based on Detection of Distorted Text Lines. ICIAP 2005: 1068-1075 | |
19 | Nelson Baloian, Wolfram Luther, Thorsten Putzer: Algorithm explanation using multimodal interfaces. SCCC 2005: 21-29 | |
18 | Nelson A. Baloian, Henning Breuer, Wolfram Luther: Algorithm visualization using concept keyboards. SOFTVIS 2005: 7-16 | |
2004 | ||
17 | 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 | |
16 | Nelson A. Baloian, Henning Breuer, Wolfram Luther, Chr. Middleton, Th. Pilz: Konzept-Tastaturen zur Algorithmenanimation. GI Jahrestagung (1) 2004: 399-403 | |
15 | Daniela Traczinski, Wolfram Luther, Gerhard Haßlinger: Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification. MMB 2004: 245-254 | |
2003 | ||
14 | Daniel Biella, Wolfram Luther: Mobile verteilte Dokumentenrecherche in Bibliotheken und Archiven. GI Jahrestagung (1) 2003: 298-302 | |
13 | 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 | ||
12 | Nelson A. Baloian, Wolfram Luther, Jaime Sánchez: Modeling educational software for people with disabilities: theory and practice. ASSETS 2002: 111-118 | |
11 | 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 | |
10 | Nelson A. Baloian, Wolfram Luther: Various Modelling Aspects of Tutoring Systems for People with Auditory Disabilities. SECIII 2002: 197-206 | |
2001 | ||
9 | Nelson A. Baloian, Wolfram Luther: Visualization for the Mind's Eye. Software Visualization 2001: 354-367 | |
1999 | ||
8 | 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 | |
7 | Eva Dyllong, Wolfram Luther, Werner Otten: An Accurate Distance-Calculation Algorithm for Convex Polyhedra. Reliable Computing 5(3): 241-253 (1999) | |
1998 | ||
6 | Wolfram Luther, Werner Otten: Reliable Computation of Elliptic Functions. J. UCS 4(1): 25-33 (1998) | |
1997 | ||
5 | 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 | |
4 | Wolfram Luther, Werner Otten: Approximation Error and Error Accumulation for the Landen Transform. Reliable Computing 3(3): 249-258 (1997) | |
1996 | ||
3 | Heinz Ulrich Hoppe, Wolfram Luther: Informatik und Schule - Ein Fach im Spiegel neuer Entwicklungen der Fachdidaktik. LOG IN 16(1): 8- (1996) | |
1994 | ||
2 | Wolfram Luther, Werner Otten: Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics. Computing 52(3): 213-232 (1994) | |
1990 | ||
1 | Wolfram Luther: Nonstandard Analysis-Methoden in Anwendung auf ein Eigenwertproblem der PLL Theorie. ASST 1990: 136-141 |