Wolfram Luther

Gabor Rebner, Ekaterina Auer, Wolfram Luther: A verified realization of a Dempster-Shafer based fault tree analysis. Computing 94(2-4): 313-324 (2012)

Benjamin Weyers, Dina Burkolter, Wolfram Luther, Annette Kluge: Formal Modeling and Reconfiguration of User Interfaces for Reduction of Errors in Failure Handling of Complex Systems. Int. J. Hum. Comput. Interaction 28(10): 646-665 (2012)

Benjamin Weyers, Wolfram Luther, Nelson Baloian: Cooperative Reconfiguration of User Interface Models for Learning Cryptographic Protocols. International Journal of Information Technology and Decision Making 11(6): 1127-1154 (2012)

Benjamin Weyers, Wolfram Luther, Nelson Baloian, José A. Pino: Formal Modeling of Multi-user Interfaces in Cooperative Work. CRIWG 2012: 129-136

Ekaterina Auer, Roger Cuypers, Wolfram Luther: Process-oriented Approach to Verification in Engineering. ICINCO (2) 2012: 513-518

Daniel Pinske, Benjamin Weyers, Wolfram Luther, Torsten Stevens: Metaphorical Design of Feedback Interfaces in Activity-Aware Ambient Assisted-Living Applications. IWAAL 2012: 151-158

Daniel Biella, Wolfram Luther, Daniel Sacher: Schema migration into a web-based framework for generating virtual museums and laboratories. VSMM 2012: 307-314

Benjamin Weyers, Wolfram Luther, Nelson Baloian: Interface creation and redesign techniques in collaborative learning scenarios. Future Generation Comp. Syst. 27(1): 127-138 (2011)

Isaac E. Elishakoff, Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova: Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371). Dagstuhl Reports 1(9): 26-57 (2011)

Daniel Biella, Wolfram Luther, Nelson Baloian: Virtual Museum Exhibition Designer Using Enhanced ARCO Standard. SCCC 2010: 226-235

Benjamin Weyers, Wolfram Luther: Formal Modeling and Reconfiguration of User Interfaces. SCCC 2010: 236-245

Ekaterina Auer, Wolfram Luther: Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems. Applied Mathematics and Computer Science 19(3): 455-467 (2009)

Benjamin Weyers, Wolfram Luther, Nelson Baloian: Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages. CRIWG 2009: 311-318

Benjamin Weyers, Nelson Baloian, Wolfram Luther: Cooperative creation of concept keyboards in distributed learning environments. CSCWD 2009: 534-539

Daniel Biella, Wolfram Luther: Towards a Template-based Generation of Virtual 3D Museum Environments. WEBIST 2009: 399-402

Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (Eds.): Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers. Lecture Notes in Computer Science 5492, Springer 2009, isbn 978-3-642-01590-8

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)

Nelson Baloian, Henning Breuer, Wolfram Luther: Concept keyboards in the animation of standard algorithms. J. Vis. Lang. Comput. 19(6): 652-674 (2008)

Ekaterina Auer, Wolfram Luther: Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures 2008

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

Ekaterina Auer, Wolfram Luther: Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures 2008: 145-160

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

Sebastian Kempken, Wolfram Luther: Verified Methods in Stochastic Traffic Modelling. Reliable Implementation of Real Number Algorithms 2008: 83-101

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

Daniel Biella, Wolfram Luther: A General Framework for Replicated Experiments in Virtual 3D Environments. WEBIST (1) 2008: 316-323

Daniel Biella, Wolfram Luther: A Parameterizable Framework for Replicated Experiments in Virtual 3D Environments. WEBIST (Selected Papers) 2008: 361-374

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (Eds.): Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers. Lecture Notes in Computer Science 5045, Springer 2008, isbn 978-3-540-85520-0

Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (Eds.): Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008. Dagstuhl Seminar Proceedings 08021, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008

Ekaterina Auer, Wolfram Luther: Smartmobile - an environment for guaranteed multibody modeling and simulation. ICINCO-RA (1) 2007: 109-116

Sebastian Kempken, Wolfram Luther: Modeling of H.264 High Definition Video Traffic Using Discrete-Time Semi-Markov Processes. International Teletraffic Congress 2007: 42-53

Thomas Pilz, Wolfram Luther, Norbert Fuhr, Ulrich Ammon: Rule-based Search in Text Databases with Nonstandard Orthography. LLC 21(2): 179-186 (2006)

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)

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

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

Wolfram Luther: Rule-based search in historical text databases - Visualization techniques. Digital Historical Corpora 2006

Sebastian Kempken, Wolfram Luther, Thomas Pilz: Comparison of distance measures for historical spelling variants. IFIP AI 2006: 295-304

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (Eds.): Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006. Dagstuhl Seminar Proceedings 06021, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006

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

Lothar Mischke, Wolfram Luther: Document Image De-warping Based on Detection of Distorted Text Lines. ICIAP 2005: 1068-1075

Nelson Baloian, Wolfram Luther, Thorsten Putzer: Algorithm explanation using multimodal interfaces. SCCC 2005: 21-29

Nelson A. Baloian, Henning Breuer, Wolfram Luther: Algorithm visualization using concept keyboards. SOFTVIS 2005: 7-16

Eva Dyllong, Wolfram Luther: The GJK Distance Algorithm: An Interval Version for Incremental Motions. Numerical Algorithms 37(1-4): 127-136 (2004)

Daniela Fausten, Wolfram Luther, Gerhard Haßlinger: Accurate Computation of Traffic Workload Distributions. Numerical Algorithms 37(1-4): 137-146 (2004)

Nelson A. Baloian, Henning Breuer, Wolfram Luther, Chr. Middleton, Thomas Pilz: Konzept-Tastaturen zur Algorithmenanimation. GI Jahrestagung (1) 2004: 399-403

Daniela Traczinski, Wolfram Luther, Gerhard Haßlinger: Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification. MMB 2004: 245-254

René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther (Eds.): Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers. Lecture Notes in Computer Science 2991, Springer 2004, isbn 3-540-21260-4

Katja Bühler, Eva Dyllong, Wolfram Luther: Reliable Distance and Intersection Computation Using Finite Precision Geometry. Numerical Software with Result Verification 2003: 160-190

Daniel Biella, Wolfram Luther: Mobile verteilte Dokumentenrecherche in Bibliotheken und Archiven. GI Jahrestagung (1) 2003: 298-302

Nelson A. Baloian, Wolfram Luther, Jaime Sánchez: Modeling educational software for people with disabilities: theory and practice. ASSETS 2002: 111-118

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

Nelson A. Baloian, Wolfram Luther: Various Modelling Aspects of Tutoring Systems for People with Auditory Disabilities. SECIII 2002: 197-206

Nelson A. Baloian, Wolfram Luther: Visualization for the Mind's Eye. Software Visualization 2001: 354-367

Eva Dyllong, Wolfram Luther, Werner Otten: An Accurate Distance-Calculation Algorithm for Convex Polyhedra. Reliable Computing 5(3): 241-253 (1999)

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

Wolfram Luther, Werner Otten: Reliable Computation of Elliptic Functions. J. UCS 4(1): 25-33 (1998)

Wolfram Luther, Werner Otten: Approximation Error and Error Accumulation for the Landen Transform. Reliable Computing 3(3): 249-258 (1997)

Heinz Ulrich Hoppe, Wolfram Luther (Eds.): Informatik und Lernen in der Informationsgesellschaft, 7. GI-Fachtagung Informatik und Schule, INFOS'97, Duisburg, 15.-18. September 1997. Informatik Aktuell, Springer 1997, isbn 3-540-63432-0

Heinz Ulrich Hoppe, Wolfram Luther: Informatik und Schule - Ein Fach im Spiegel neuer Entwicklungen der Fachdidaktik. LOG IN 16(1): 8- (1996)

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)

Wolfram Luther: Nonstandard Analysis-Methoden in Anwendung auf ein Eigenwertproblem der PLL Theorie. ASST 1990: 136-141

Wolfram Luther, Martin Ohsmann: Mathematische Grundlagen der Computergraphik (2. Aufl.). Vieweg 1989, isbn 978-3-528-16302-0, pp. I-X, 1-290