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 | 54 | 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 | 48 | 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 | 45 | 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 | 38 | 2002 |

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 | 35 | 1986 |

Distance calculation between a point and a NURBS surface E Dyllong, W Luther DUISBURG UNIV (GERMANY) DEPT OF COMPUTER SCIENCE, 2000 | 32 | 2000 |

Document management in a computer-integrated classroom N Baloian, A Berges, S Buschmann, K Ga\ner, J Hardings, HU Hoppe, ... Groupware: Design, Implementation, and Use: 8th International Workshop …, 2002 | 30 | 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 | 29 | 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 | 28 | 2010 |

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 | 26 | 2014 |

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 | 24 | 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 | 24 | 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 | 22 | 2015 |

Gewöhnliche Differentialgleichungen: Analytische und numerische Behandlung W Luther, K Niederdrenk, F Reutter, H Yserentant Springer-Verlag, 2013 | 21 | 2013 |

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 | 21 | 2012 |

Modeling of H. 264 high definition video traffic using discrete-time semi-Markov processes S Kempken, W Luther Managing Traffic Performance in Converged Networks: 20th International …, 2007 | 21 | 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 | 21 | 1999 |

Numerical verification assessment in computational biomechanics E Auer, W Luther Numerical Validation in Current Hardware Architectures: International …, 2009 | 19 | 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 | 19 | 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 | 18 | 2013 |