Mathematische Grundlagen der Computergraphik, 2. Auflage. - Wolfram Luther; Martin Ohsmann (Vieweg, 1989)

Nonstandard Analysis-Methoden in Anwendung auf ein Eigenwertproblem der PLL Theorie. - Wolfram Luther (ASST, 1990)

Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics. - Wolfram Luther; Werner Otten (Computing, 1994)

Computergraphik und Bildverarbeitung. - Achim W. Janser; Wolfram Luther; Werner Otten (Vieweg, 1996)

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

Approximation Error and Error Accumulation for the Landen Transform. - Wolfram Luther; Werner Otten (Reliab. Comput., 1997)

Verified calculation of the solution of algebraic Riccati equation. - Wolfram Luther; Werner Otten (SCAN, 1998)

Reliable Computation of Elliptic Functions. - Wolfram Luther; Werner Otten (J. Univers. Comput. Sci., 1998)

Multimedia-gestützte Vorlesungen in einem interaktiven elektronischen Hörsaal - Ansätze und Erfahrungen. - Heinz Ulrich Hoppe; Wolfram Luther; Werner Otten; Frank Tewissen (INFOS, 1999)

An Accurate Distance-Calculation Algorithm for Convex Polyhedra. - Eva Dyllong; Wolfram Luther; Werner Otten (Reliab. Comput., 1999)

Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments. - Wolfram Luther; Eva Dyllong; Daniela Fausten; Werner Otten; Holger Traczinski (Perspectives on Enclosure Methods, 2001)

Visualization for the Mind's Eye. - Nelson A. Baloian; Wolfram Luther (Software Visualization, 2001)

Enclosure of the Zero Set of Polynomials in Several Complex Variables. - Fritz G. Boese; Wolfram J. Luther (Multidimens. Syst. Signal Process., 2001)

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

Document Management in a Computer-Integrated Classroom. - Nelson A. Baloian; Alexander Berges; Stephan Buschmann; Katrin Gaßner; Jens Hardings; Heinz Ulrich Hoppe; Wolfram Luther (CRIWG, 2002)

Various Modelling Aspects of Tutoring Systems for People with Auditory Disabilities. - Nelson A. Baloian; Wolfram Luther (SECIII, 2002)

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

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

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

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

Enclosure of the Zero Set of Multivariate Exponential Interval Polynomials. - Fritz G. Boese; Wolfram J. Luther (Numer. Algorithms, 2004)

The GJK Distance Algorithm: An Interval Version for Incremental Motions. - Eva Dyllong; Wolfram Luther (Numer. Algorithms, 2004)

Accurate Computation of Traffic Workload Distributions. - Daniela Fausten; Wolfram Luther; Gerhard Haßlinger (Numer. Algorithms, 2004)

Integration of reliable algorithms into modeling software. - Wolfram Luther; Gerhard Haßlinger; Ekaterina Auer; Eva Dyllong; Daniela Traczinski; Holger Traczinski (Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005)

Document Image De-warping Based on Detection of Distorted Text Lines. - Lothar Mischke; Wolfram Luther (ICIAP, 2005)

Algorithm explanation using multimodal interfaces. - Nelson Baloian; Wolfram Luther; Thorsten Putzer (SCCC, 2005)

Algorithm visualization using concept keyboards. - Nelson A. Baloian; Henning Breuer; Wolfram Luther (SOFTVIS, 2005)

06021 Summary – Reliable Implementation of Real Number Algorithms: Theory and Practice. - Peter Hertling; Christoph M. Hoffmann; Wolfram Luther; Nathalie Revol (Reliable Implementation of Real Number Algorithms, 2006)

06021 Abstracts Collection – Reliable Implementation of Real Number Algorithms: Theory and Practice. - Peter Hertling; Christoph M. Hoffmann; Wolfram Luther; Nathalie Revol (Reliable Implementation of Real Number Algorithms, 2006)

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

Comparison of distance measures for historical spelling variants. - Sebastian Kempken; Wolfram Luther; Thomas Pilz (IFIP AI, 2006)

Rule-based Search in Text Databases with Nonstandard Orthography. - Thomas Pilz; Wolfram Luther; Norbert Fuhr; Ulrich Ammon (Lit. Linguistic Comput., 2006)

Modelling Geometric Objects and Tolerances with Intervals: Data Exchange with ISO Standard STEP. - Eva Dyllong; Wolfram Luther; Holger Traczinski (Reliab. Comput., 2006)

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

Visualizing the Evaluation of Distance Measures. - Thomas Pilz; Axel Philipsenburg; Wolfram Luther (SIGMORPHON, 2007)

Modeling of H.264 High Definition Video Traffic Using Discrete-Time Semi-Markov Processes. - Sebastian Kempken; Wolfram Luther (ITC, 2007)

Visualization of rule productivity in deriving nonstandard spellings. - Sebastian Kempken; Thomas Pilz; Wolfram Luther (Visualization and Data Analysis, 2007)

Numerical Verification Assessment in Computational Biomechanics. - Ekaterina Auer; Wolfram Luther (Numerical Validation in Current Hardware Architectures, 2008)

Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. - Ekaterina Auer; Andreas Rauh; Eberhard P. Hofer; Wolfram Luther (Reliable Implementation of Real Number Algorithms, 2008)

08021 Summary - Numerical Validation in Current Hardware Architectures. - Annie A. M. Cuyt; Walter Krämer; Wolfram Luther; Peter W. Markstein (Numerical Validation in Current Hardware Architectures, 2008)

Verified Methods in Stochastic Traffic Modelling. - Sebastian Kempken; Wolfram Luther (Reliable Implementation of Real Number Algorithms, 2008)

08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures. - Wolfram Luther; Annie A. M. Cuyt; Walter Krämer; Peter W. Markstein (Numerical Validation in Current Hardware Architectures, 2008)

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

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

Parameter estimation and optimization techniques for discrete-time semi-Markov models of H.264/AVC video traffic. - Sebastian Kempken; Gerhard Haßlinger; Wolfram Luther (Telecommun. Syst., 2008)

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

Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages. - Benjamin Weyers; Wolfram Luther; Nelson Baloian (CRIWG, 2009)

Cooperative creation of concept keyboards in distributed learning environments. - Benjamin Weyers; Nelson Baloian; Wolfram Luther (CSCWD, 2009)

Verification and Validation for Femur Prosthesis Surgery. - Ekaterina Auer; Roger Cuypers; Eva Dyllong; Stefan Kiel; Wolfram Luther (Computer-assisted proofs - tools, methods and applications, 2009)

Towards a Template-based Generation of Virtual 3D Museum Environments. - Daniel Biella; Wolfram Luther (WEBIST, 2009)

Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems. - Ekaterina Auer; Wolfram Luther (Int. J. Appl. Math. Comput. Sci., 2009)

Virtual Museum Exhibition Designer Using Enhanced ARCO Standard. - Daniel Biella; Wolfram Luther; Nelson Baloian (SCCC, 2010)

Formal Modeling and Reconfiguration of User Interfaces. - Benjamin Weyers; Wolfram Luther (SCCC, 2010)

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

Interface creation and redesign techniques in collaborative learning scenarios. - Benjamin Weyers; Wolfram Luther; Nelson Baloian (Future Gener. Comput. Syst., 2011)

Verifed Factorization Methods for SMP/G/1 Queueing Systems and their Interplay in an Integrated Problem-Solving Environment. - Sebastian Kempken; Wolfram Luther (Reliab. Comput., 2011)

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

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

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

Schema migration into a web-based framework for generating virtual museums and laboratories. - Daniel Biella; Wolfram Luther; Daniel Sacher (VSMM, 2012)

A verified realization of a Dempster-Shafer based fault tree analysis. - Gabor Rebner; Ekaterina Auer; Wolfram Luther (Computing, 2012)

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

Cooperative Reconfiguration of User Interface Models for Learning Cryptographic Protocols. - Benjamin Weyers; Wolfram Luther; Nelson Baloian (Int. J. Inf. Technol. Decis. Mak., 2012)

A Novel Human Autonomy Assessment System. - Marco Munstermann; Torsten Stevens; Wolfram Luther (Sensors, 2012)

Towards a versatile metadata exchange format for digital museum collections. - Daniel Sacher; Daniel Biella; Wolfram Luther (Digital Heritage (2), 2013)

Integrating Production Workers into User Interface Design for Diagnosis Devices in Automotive Production Environments: Field Experiences and Lessons Learned. - Nikolaj Borisov; Annette Kluge; Wolfram Luther; Benjamin Weyers (HCI (29), 2013)

A Generative Approach to Virtual Museums. - Daniel Sacher; Daniel Biella; Wolfram Luther (WEBIST, 2013)

Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures. - Stefan Kiel; Wolfram Luther; Eva Dyllong (Soft Comput., 2013)

Special issue on "uncertainty modeling and analysis with intervals: foundations, tools, applications". - Vladik Kreinovich; Wolfram Luther; Evgenija D. Popova (Soft Comput., 2013)

IPFViewer - A Visual Analysis System for Hierarchical Ensemble Data. - Matthias Thurau; Christoph Buck 002; Wolfram Luther (IVAPP, 2014)

IPFViewer: Incremental, approximate analysis of steel samples. - Matthias Thurau; Christoph Buck 002; Wolfram Luther (SIGRAD, 2014)

User Interface Design for Test and Diagnosis Software in Automotive Production Environments. - Nikolaj Borisov; Annette Kluge; Wolfram Luther; Benjamin Weyers (UCAmI, 2014)

Towards an Evaluation of a Metadata Standard for Generative Virtual Museums. - Daniel Sacher; Benjamin Weyers; Daniel Biella; Wolfram Luther (UCAmI, 2014)

Smart Museums - Exploiting Generative Virtual Museums. - Daniel Sacher; Benjamin Weyers; Daniel Biella; Wolfram Luther (UCAmI, 2014)

Image-based Object Classification of Defects in Steel using Data-driven Machine Learning Optimization. - Fabian Bürger; Christoph Buck 002; Josef Pauli; Wolfram Luther (VISAPP (2), 2014)

A verifiable simulation model for real-world microscopic traffic simulations. - Johannes Brügmann; Michael Schreckenberg; Wolfram Luther (Simul. Model. Pract. Theory, 2014)

Crowdsourcing and Knowledge Co-creation in Virtual Museums. - Daniel Biella; Daniel Sacher; Benjamin Weyers; Wolfram Luther; Nelson Baloian; Tobias Schreck (CRIWG, 2015)

An Integrative Tool Chain for Collaborative Virtual Museums in Immersive Virtual Environments. - Daniel Sacher; Benjamin Weyers; Torsten W. Kuhlen; Wolfram Luther (CRIWG, 2015)

Metaphorical Design of Virtual Museums and Laboratories: First Insights. - Daniel Biella; Daniel Sacher; Benjamin Weyers; Wolfram Luther; Nelson Baloian (UCAmI, 2015)

Crowdsourcing and Co-curation in Virtual Museums: A Practice-driven Approach. - Daniel Biella; Thomas Pilz; Daniel Sacher; Benjamin Weyers; Wolfram Luther; Nelson Baloian; Tobias Schreck (J. Univers. Comput. Sci., 2016)

Computer Supported Collaborative Work. - Wolfram Luther; Hiroaki Ogata; José A. Pino (J. Univers. Comput. Sci., 2016)

Exploring Collaboration in the Realm of Virtual Museums. - Nelson Baloian; Wolfram Luther; Daniel Biella; Nare Karapetyan; José A. Pino; Tobias Schreck; Andres Ferrada; Nancy Hitschfeld (CRIWG, 2017)

Developing Hyper-stories in the Context of Cultural Heritage Appreciation. - Nelson Baloian; Gustavo Zurita; José A. Pino; Sergio Peñafiel; Wolfram Luther (CRIWG/CollabTech, 2019)

An Automated Structural Approach to Support Theatrical Performances by Introducing Gesture Recognition to a Cuing System. - Kosuke Sasaki; Anne-Catherine Luther; Tomoo Inoue; Wolfram Luther (CRIWG/CollabTech, 2019)

The Role of Verification and Validation Techniques within Visual Analytics. - Benjamin Weyers; Ekaterina Auer; Wolfram Luther (J. Univers. Comput. Sci., 2019)

Mobile Collaborative Technologies and Data Science for Smart Systems. - Nelson A. Baloian; Wolfram Luther; José A. Pino; Tomoo Inoue (Mob. Inf. Syst., 2019)

Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems. - Wolfram Luther; Ekaterina Auer; Benjamin Weyers (Acta Cybern., 2020)

Uncertainty Handling in Genetic Risk Assessment and Counseling. - Ekaterina Auer; Wolfram Luther (J. Univers. Comput. Sci., 2021)

Designing, Realizing, Running, and Evaluating Virtual Museum - a Survey on Innovative Concepts and Technologies. - Nelson Baloian; Daniel Biella; Wolfram Luther; José A. Pino; Daniel Sacher (J. Univers. Comput. Sci., 2021)

Digital Twins and Enabling Technologies in Museums and Cultural Heritage: An Overview. - Wolfram Luther; Nelson Baloian; Daniel Biella; Daniel Sacher (Sensors, 2023)

Traceable Use of Emerging Technologies in Smart Systems. - Wolfram Luther; Gregor Schiele (J. Univers. Comput. Sci., 2023)

Explanatory Data Science in Technology Applications. - Wolfram Luther; A. J. Han Vinck (J. Univers. Comput. Sci., 2025)