Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Wolfram Luther
2010 – today
- 2013
[j18]Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova: Special issue on "uncertainty modeling and analysis with intervals: foundations, tools, applications". Soft Comput. 17(8): 1315-1317 (2013)- [j17]Stefan Kiel, Wolfram Luther, Eva Dyllong: Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures. Soft Comput. 17(8): 1367-1378 (2013)
- [c39]Nikolaj Borisov, Annette Kluge, Wolfram Luther, Benjamin Weyers: Integrating Production Workers into User Interface Design for Diagnosis Devices in Automotive Production Environments: Field Experiences and Lessons Learned. HCI (29) 2013: 469-473
- [c38]Daniel Sacher, Daniel Biella, Wolfram Luther: A Generative Approach to Virtual Museums. WEBIST 2013: 274-279
- 2012
- [j16]Gabor Rebner, Ekaterina Auer, Wolfram Luther: A verified realization of a Dempster-Shafer based fault tree analysis. Computing 94(2-4): 313-324 (2012)
- [j15]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)
- [j14]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)
- [c37]Benjamin Weyers, Wolfram Luther, Nelson Baloian, José A. Pino: Formal Modeling of Multi-user Interfaces in Cooperative Work. CRIWG 2012: 129-136
- [c36]Ekaterina Auer, Roger Cuypers, Wolfram Luther: Process-oriented Approach to Verification in Engineering. ICINCO (2) 2012: 513-518
- [c35]Daniel Pinske, Benjamin Weyers, Wolfram Luther, Torsten Stevens: Metaphorical Design of Feedback Interfaces in Activity-Aware Ambient Assisted-Living Applications. IWAAL 2012: 151-158
- [c34]Daniel Biella, Wolfram Luther, Daniel Sacher: Schema migration into a web-based framework for generating virtual museums and laboratories. VSMM 2012: 307-314
- 2011
- [j13]Benjamin Weyers, Wolfram Luther, Nelson Baloian: Interface creation and redesign techniques in collaborative learning scenarios. Future Generation Comp. Syst. 27(1): 127-138 (2011)
- [i1]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)
- 2010
- [c33]Daniel Biella, Wolfram Luther, Nelson Baloian: Virtual Museum Exhibition Designer Using Enhanced ARCO Standard. SCCC 2010: 226-235
- [c32]Benjamin Weyers, Wolfram Luther: Formal Modeling and Reconfiguration of User Interfaces. SCCC 2010: 236-245
2000 – 2009
- 2009
- [j12]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)
- [c31]Benjamin Weyers, Wolfram Luther, Nelson Baloian: Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages. CRIWG 2009: 311-318
- [c30]Benjamin Weyers, Nelson Baloian, Wolfram Luther: Cooperative creation of concept keyboards in distributed learning environments. CSCWD 2009: 534-539
- [c29]Daniel Biella, Wolfram Luther: Towards a Template-based Generation of Virtual 3D Museum Environments. WEBIST 2009: 399-402
- [e6]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
- 2008
- [j11]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)
- [j10]Nelson Baloian, Henning Breuer, Wolfram Luther: Concept keyboards in the animation of standard algorithms. J. Vis. Lang. Comput. 19(6): 652-674 (2008)
- [c28]Ekaterina Auer, Wolfram Luther: Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures 2008
- [c27]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
- [c26]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
- [c25]Sebastian Kempken, Wolfram Luther: Verified Methods in Stochastic Traffic Modelling. Reliable Implementation of Real Number Algorithms 2008: 83-101
- [c24]Ekaterina Auer, Wolfram Luther: Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures 2008: 145-160
- [c23]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
- [c22]Daniel Biella, Wolfram Luther: A General Framework for Replicated Experiments in Virtual 3D Environments. WEBIST (1) 2008: 316-323
- [c21]Daniel Biella, Wolfram Luther: A Parameterizable Framework for Replicated Experiments in Virtual 3D Environments. WEBIST (Selected Papers) 2008: 361-374
- [e5]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
- [e4]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
- 2007
- [c20]Ekaterina Auer, Wolfram Luther: Smartmobile - an environment for guaranteed multibody modeling and simulation. ICINCO-RA (1) 2007: 109-116
- [c19]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
- [j9]Thomas Pilz, Wolfram Luther, Norbert Fuhr, Ulrich Ammon: Rule-based Search in Text Databases with Nonstandard Orthography. LLC 21(2): 179-186 (2006)
- [j8]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)
- [c18]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
- [c17]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
- [c16]Wolfram Luther: Rule-based search in historical text databases - Visualization techniques. Digital Historical Corpora 2006
- [c15]Sebastian Kempken, Wolfram Luther, Thomas Pilz: Comparison of distance measures for historical spelling variants. IFIP AI 2006: 295-304
- [e3]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
- 2005
- [c14]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
- [c13]Lothar Mischke, Wolfram Luther: Document Image De-warping Based on Detection of Distorted Text Lines. ICIAP 2005: 1068-1075
- [c12]Nelson Baloian, Wolfram Luther, Thorsten Putzer: Algorithm explanation using multimodal interfaces. SCCC 2005: 21-29
- [c11]Nelson A. Baloian, Henning Breuer, Wolfram Luther: Algorithm visualization using concept keyboards. SOFTVIS 2005: 7-16
- 2004
- [j7]Eva Dyllong, Wolfram Luther: The GJK Distance Algorithm: An Interval Version for Incremental Motions. Numerical Algorithms 37(1-4): 127-136 (2004)
- [j6]Daniela Fausten, Wolfram Luther, Gerhard Haßlinger: Accurate Computation of Traffic Workload Distributions. Numerical Algorithms 37(1-4): 137-146 (2004)
- [c10]Nelson A. Baloian, Henning Breuer, Wolfram Luther, Chr. Middleton, Thomas Pilz: Konzept-Tastaturen zur Algorithmenanimation. GI Jahrestagung (1) 2004: 399-403
- [c9]Daniela Traczinski, Wolfram Luther, Gerhard Haßlinger: Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification. MMB 2004: 245-254
- [e2]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
- 2003
- [c8]Katja Bühler, Eva Dyllong, Wolfram Luther: Reliable Distance and Intersection Computation Using Finite Precision Geometry. Numerical Software with Result Verification 2003: 160-190
- [c7]Daniel Biella, Wolfram Luther: Mobile verteilte Dokumentenrecherche in Bibliotheken und Archiven. GI Jahrestagung (1) 2003: 298-302
- 2002
- [c6]Nelson A. Baloian, Wolfram Luther, Jaime Sánchez: Modeling educational software for people with disabilities: theory and practice. ASSETS 2002: 111-118
- [c5]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
- [c4]Nelson A. Baloian, Wolfram Luther: Various Modelling Aspects of Tutoring Systems for People with Auditory Disabilities. SECIII 2002: 197-206
- 2001
- [c3]Nelson A. Baloian, Wolfram Luther: Visualization for the Mind's Eye. Software Visualization 2001: 354-367
1990 – 1999
- 1999
- [j5]Eva Dyllong, Wolfram Luther, Werner Otten: An Accurate Distance-Calculation Algorithm for Convex Polyhedra. Reliable Computing 5(3): 241-253 (1999)
- [c2]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
- 1998
- [j4]
- 1997
- [j3]Wolfram Luther, Werner Otten: Approximation Error and Error Accumulation for the Landen Transform. Reliable Computing 3(3): 249-258 (1997)
- [e1]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
- 1996
- [j2]Heinz Ulrich Hoppe, Wolfram Luther: Informatik und Schule - Ein Fach im Spiegel neuer Entwicklungen der Fachdidaktik. LOG IN 16(1): 8- (1996)
- 1994
- [j1]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
- [c1]Wolfram Luther: Nonstandard Analysis-Methoden in Anwendung auf ein Eigenwertproblem der PLL Theorie. ASST 1990: 136-141
1980 – 1989
- 1989
- [b1]Wolfram Luther, Martin Ohsmann: Mathematische Grundlagen der Computergraphik (2. Aufl.). Vieweg 1989, ISBN 978-3-528-16302-0, pp. I-X, 1-290
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:14 CEST by the dblp team