Wolfram Luther
Wolfram Luther
Senior Professor of Computer Science, University of Duisburg-Essen
Verified email at
Cited by
Cited by
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
E Auer, A Rauh, EP Hofer, W Luther
Reliable Implementation of Real Number Algorithms: Theory and Practice …, 2008
Rule-based search in text databases with nonstandard orthography
T Pilz, W Luther, N Fuhr, U Ammon
Literary and Linguistic Computing 21 (2), 179-186, 2006
A note on a classical bound for the moduli of all zeros of a polynomial
FG Boese, WJ Luther
IEEE transactions on automatic control 34 (9), 998-1001, 1989
Modeling educational software for people with disabilities: theory and practice
N Baloian, W Luther, J Sánchez
Proceedings of the fifth international ACM conference on Assistive …, 2002
Distance calculation between a point and a NURBS surface
E Dyllong, W Luther
Curve and Surface Design, 55-62, 1999
The differentiability of Fourier gap series and “Riemann's example” of a continuous, nondifferentiable function
W Luther
Journal of approximation theory 48 (3), 303-321, 1986
Customization of user interfaces to reduce errors and enhance user acceptance
D Burkolter, B Weyers, A Kluge, W Luther
Applied ergonomics 45 (2), 346-353, 2014
Document management in a computer-integrated classroom
N Baloian, A Berges, S Buschmann, K Ga\ner, J Hardings, HU Hoppe, ...
International Conference on Collaboration and Technology, 35-44, 2002
Interface creation and redesign techniques in collaborative learning scenarios
B Weyers, W Luther, N Baloian
Future Generation Computer Systems 27 (1), 127-138, 2011
A verified matlab toolbox for the dempster-shafer theory
E Auer, W Luther, G Rebner, P Limbourg
Workshop on the Theory of Belief Functions, 2010
A verifiable simulation model for real-world microscopic traffic simulations
J Brügmann, M Schreckenberg, W Luther
Simulation Modelling Practice and Theory 48, 58-92, 2014
Comparison of distance measures for historical spelling variants
S Kempken, W Luther, T Pilz
Artificial Intelligence in Theory and Practice: IFIP 19th World Computer …, 2006
Crowdsourcing and knowledge co-creation in virtual museums
D Biella, D Sacher, B Weyers, W Luther, N Baloian, T Schreck
Collaboration and Technology: 21st International Conference, CRIWG 2015 …, 2015
Formal modeling and reconfiguration of user interfaces for reduction of errors in failure handling of complex systems
B Weyers, D Burkolter, W Luther, A Kluge
International Journal of Human-Computer Interaction 28 (10), 646-665, 2012
Gewöhnliche Differentialgleichungen: Analytische und numerische Behandlung
W Luther, K Niederdrenk, F Reutter, H Yserentant
Springer-Verlag, 2013
Modeling of H. 264 high definition video traffic using discrete-time semi-Markov processes
S Kempken, W Luther
International Teletraffic Congress, 42-53, 2007
Interactive presentation support for an electronic lecture hall-a practice report
HU Hoppe, W Luther, M Mühlenbrock, W Otten, F Tewissen
Advanced research in computers and communications in education, 923-930, 1999
Numerical verification assessment in computational biomechanics
E Auer, W Luther
Numerical Validation in Current Hardware Architectures: International …, 2009
Reliable distance and intersection computation using finite precision geometry
K Bühler, E Dyllong, W Luther
Numerical Software with Result Verification: International Dagstuhl Seminar …, 2004
Real-time traffic information system using microscopic traffic simulation
J Brügmann, M Schreckenberg, W Luther
2013 8th EUROSIM Congress on Modelling and Simulation, 448-453, 2013
The system can't perform the operation now. Try again later.
Articles 1–20