Wolfram Luther

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 12

Top Topics

Visual Analytics

Uncertainty Handling

Top Venues

J. Univers. Comput. Sci.

CRIWG/CollabTech

Publications

Wolfram Luther, Gregor Schiele
Traceable Use of Emerging Technologies in Smart Systems. J. Univers. Comput. Sci. 29 (11) (2023)
Wolfram Luther, Nelson Baloian, Daniel Biella, Daniel Sacher
Digital Twins and Enabling Technologies in Museums and Cultural Heritage: An Overview. Sensors 23 (3) (2023)
Nelson Baloian, Daniel Biella, Wolfram Luther, José A. Pino, Daniel Sacher
Designing, Realizing, Running, and Evaluating Virtual Museum - a Survey on Innovative Concepts and Technologies. J. Univers. Comput. Sci. 27 (12) (2021)
Ekaterina Auer, Wolfram Luther
Uncertainty Handling in Genetic Risk Assessment and Counseling. J. Univers. Comput. Sci. 27 (12) (2021)
Wolfram Luther, Ekaterina Auer, Benjamin Weyers
Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems. Acta Cybern. 24 (3) (2020)
Nelson Baloian, Gustavo Zurita, José A. Pino, Sergio Peñafiel, Wolfram Luther
Developing Hyper-stories in the Context of Cultural Heritage Appreciation. CRIWG/CollabTech (2019)
Benjamin Weyers, Ekaterina Auer, Wolfram Luther
The Role of Verification and Validation Techniques within Visual Analytics. J. Univers. Comput. Sci. 25 (8) (2019)
Kosuke Sasaki, Anne-Catherine Luther, Tomoo Inoue, Wolfram Luther
An Automated Structural Approach to Support Theatrical Performances by Introducing Gesture Recognition to a Cuing System. CRIWG/CollabTech (2019)
Nelson A. Baloian, Wolfram Luther, José A. Pino, Tomoo Inoue
Mobile Collaborative Technologies and Data Science for Smart Systems. Mob. Inf. Syst. 2019 (2019)
Nelson Baloian, Wolfram Luther, Daniel Biella, Nare Karapetyan, José A. Pino, Tobias Schreck, Andres Ferrada, Nancy Hitschfeld
Exploring Collaboration in the Realm of Virtual Museums. CRIWG (2017)
Daniel Biella, Thomas Pilz, Daniel Sacher, Benjamin Weyers, Wolfram Luther, Nelson Baloian, Tobias Schreck
Crowdsourcing and Co-curation in Virtual Museums: A Practice-driven Approach. J. Univers. Comput. Sci. 22 (10) (2016)
Wolfram Luther, Hiroaki Ogata, José A. Pino
Computer Supported Collaborative Work. J. Univers. Comput. Sci. 22 (10) (2016)
Daniel Biella, Daniel Sacher, Benjamin Weyers, Wolfram Luther, Nelson Baloian, Tobias Schreck
Crowdsourcing and Knowledge Co-creation in Virtual Museums. CRIWG (2015)
Daniel Sacher, Benjamin Weyers, Torsten W. Kuhlen, Wolfram Luther
An Integrative Tool Chain for Collaborative Virtual Museums in Immersive Virtual Environments. CRIWG (2015)
Daniel Biella, Daniel Sacher, Benjamin Weyers, Wolfram Luther, Nelson Baloian
Metaphorical Design of Virtual Museums and Laboratories: First Insights. UCAmI (2015)
Fabian Bürger, Christoph Buck, Josef Pauli, Wolfram Luther
Image-based Object Classification of Defects in Steel using Data-driven Machine Learning Optimization. VISAPP (2) (2014)
Johannes Brügmann, Michael Schreckenberg, Wolfram Luther
A verifiable simulation model for real-world microscopic traffic simulations. Simul. Model. Pract. Theory 48 (2014)
Nikolaj Borisov, Annette Kluge, Wolfram Luther, Benjamin Weyers
User Interface Design for Test and Diagnosis Software in Automotive Production Environments. UCAmI (2014)
Matthias Thurau, Christoph Buck, Wolfram Luther
IPFViewer - A Visual Analysis System for Hierarchical Ensemble Data. IVAPP (2014)
Daniel Sacher, Benjamin Weyers, Daniel Biella, Wolfram Luther
Smart Museums - Exploiting Generative Virtual Museums. UCAmI (2014)
Daniel Sacher, Benjamin Weyers, Daniel Biella, Wolfram Luther
Towards an Evaluation of a Metadata Standard for Generative Virtual Museums. UCAmI (2014)
Matthias Thurau, Christoph Buck, Wolfram Luther
IPFViewer: Incremental, approximate analysis of steel samples. SIGRAD (2014)
Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova
Special issue on "uncertainty modeling and analysis with intervals: foundations, tools, applications". Soft Comput. 17 (8) (2013)
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)
Daniel Sacher, Daniel Biella, Wolfram Luther
A Generative Approach to Virtual Museums. WEBIST (2013)
Daniel Sacher, Daniel Biella, Wolfram Luther
Towards a versatile metadata exchange format for digital museum collections. Digital Heritage (2) (2013)
Stefan Kiel, Wolfram Luther, Eva Dyllong
Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures. Soft Comput. 17 (8) (2013)
Benjamin Weyers, Wolfram Luther, Nelson Baloian, José A. Pino
Formal Modeling of Multi-user Interfaces in Cooperative Work. CRIWG (2012)
Marco Munstermann, Torsten Stevens, Wolfram Luther
A Novel Human Autonomy Assessment System. Sensors 12 (6) (2012)
Benjamin Weyers, Wolfram Luther, Nelson Baloian
Cooperative Reconfiguration of User Interface Models for Learning Cryptographic Protocols. Int. J. Inf. Technol. Decis. Mak. 11 (6) (2012)
Ekaterina Auer, Roger Cuypers, Wolfram Luther
Process-oriented Approach to Verification in Engineering. ICINCO (2) (2012)
Gabor Rebner, Ekaterina Auer, Wolfram Luther
A verified realization of a Dempster-Shafer based fault tree analysis. Computing 94 (2-4) (2012)
Daniel Pinske, Benjamin Weyers, Wolfram Luther, Torsten Stevens
Metaphorical Design of Feedback Interfaces in Activity-Aware Ambient Assisted-Living Applications. IWAAL (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. Interact. 28 (10) (2012)
Daniel Biella, Wolfram Luther, Daniel Sacher
Schema migration into a web-based framework for generating virtual museums and laboratories. VSMM (2012)
Benjamin Weyers, Wolfram Luther, Nelson Baloian
Interface creation and redesign techniques in collaborative learning scenarios. Future Gener. Comput. Syst. 27 (1) (2011)
Sebastian Kempken, Wolfram Luther
Verifed Factorization Methods for SMP/G/1 Queueing Systems and their Interplay in an Integrated Problem-Solving Environment. Reliab. Comput. 15 (3) (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) (2011)
Benjamin Weyers, Wolfram Luther
Formal Modeling and Reconfiguration of User Interfaces. SCCC (2010)
Daniel Biella, Wolfram Luther, Nelson Baloian
Virtual Museum Exhibition Designer Using Enhanced ARCO Standard. SCCC (2010)
Ekaterina Auer, Wolfram Luther
Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems. Int. J. Appl. Math. Comput. Sci. 19 (3) (2009)
Benjamin Weyers, Nelson Baloian, Wolfram Luther
Cooperative creation of concept keyboards in distributed learning environments. CSCWD (2009)
Daniel Biella, Wolfram Luther
Towards a Template-based Generation of Virtual 3D Museum Environments. WEBIST (2009)
Ekaterina Auer, Roger Cuypers, Eva Dyllong, Stefan Kiel, Wolfram Luther
Verification and Validation for Femur Prosthesis Surgery. Computer-assisted proofs - tools, methods and applications (2009)
Benjamin Weyers, Wolfram Luther, Nelson Baloian
Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages. CRIWG (2009)
Nelson Baloian, Henning Breuer, Wolfram Luther
Concept keyboards in the animation of standard algorithms. J. Vis. Lang. Comput. 19 (6) (2008)
Ekaterina Auer, Wolfram Luther
Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures (2008)
Daniel Biella, Wolfram Luther
A Parameterizable Framework for Replicated Experiments in Virtual 3D Environments. WEBIST (Selected Papers) (2008)
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)
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)
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)
Ekaterina Auer, Wolfram Luther
Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures (2008)
Sebastian Kempken, Gerhard Haßlinger, Wolfram Luther
Parameter estimation and optimization techniques for discrete-time semi-Markov models of H.264/AVC video traffic. Telecommun. Syst. 39 (2) (2008)
Thomas Pilz, Axel Philipsenburg, Wolfram Luther
Visualizing the Evaluation of Distance Measures. SIGMORPHON (2007)
Ekaterina Auer, Wolfram Luther
Smartmobile - an environment for guaranteed multibody modeling and simulation. ICINCO-RA (1) (2007)
Sebastian Kempken, Wolfram Luther
Modeling of H.264 High Definition Video Traffic Using Discrete-Time Semi-Markov Processes. International Teletraffic Congress (2007)
Sebastian Kempken, Thomas Pilz, Wolfram Luther
Visualization of rule productivity in deriving nonstandard spellings. Visualization and Data Analysis (2007)
Sebastian Kempken, Wolfram Luther, Thomas Pilz
Comparison of distance measures for historical spelling variants. IFIP AI (2006)
Wolfram Luther
Rule-based search in historical text databases - Visualization techniques. Digital Historical Corpora (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)
Eva Dyllong, Wolfram Luther, Holger Traczinski
Modelling Geometric Objects and Tolerances with Intervals: Data Exchange with ISO Standard STEP. Reliab. Comput. 12 (4) (2006)
Thomas Pilz, Wolfram Luther, Norbert Fuhr, Ulrich Ammon
Rule-based Search in Text Databases with Nonstandard Orthography. Lit. Linguistic Comput. 21 (2) (2006)
Nelson A. Baloian, Henning Breuer, Wolfram Luther
Algorithm visualization using concept keyboards. SOFTVIS (2005)
Nelson Baloian, Wolfram Luther, Thorsten Putzer
Algorithm explanation using multimodal interfaces. SCCC (2005)
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)
Nelson A. Baloian, Henning Breuer, Wolfram Luther, Chr. Middleton, Thomas Pilz
Konzept-Tastaturen zur Algorithmenanimation. GI Jahrestagung (1) (2004)
Eva Dyllong, Wolfram Luther
The GJK Distance Algorithm: An Interval Version for Incremental Motions. Numer. Algorithms 37 (1-4) (2004)
Daniela Traczinski, Wolfram Luther, Gerhard Haßlinger
Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification. MMB (2004)
Daniela Fausten, Wolfram Luther, Gerhard Haßlinger
Accurate Computation of Traffic Workload Distributions. Numer. Algorithms 37 (1-4) (2004)
Katja Bühler, Eva Dyllong, Wolfram Luther
Reliable Distance and Intersection Computation Using Finite Precision Geometry. Numerical Software with Result Verification (2003)
Daniel Biella, Wolfram Luther
Mobile verteilte Dokumentenrecherche in Bibliotheken und Archiven. GI Jahrestagung (1) (2003)
Nelson A. Baloian, Wolfram Luther
Various Modelling Aspects of Tutoring Systems for People with Auditory Disabilities. SECIII (2002)
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)
Nelson A. Baloian, Wolfram Luther, Jaime Sánchez
Modeling educational software for people with disabilities: theory and practice. ASSETS (2002)
Nelson A. Baloian, Wolfram Luther
Visualization for the Mind's Eye. Software Visualization (2001)
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)
Eva Dyllong, Wolfram Luther, Werner Otten
An Accurate Distance-Calculation Algorithm for Convex Polyhedra. Reliab. Comput. 5 (3) (1999)
Wolfram Luther, Werner Otten
Verified calculation of the solution of algebraic Riccati equation. SCAN (1998)
Wolfram Luther, Werner Otten
Reliable Computation of Elliptic Functions. J. Univers. Comput. Sci. 4 (1) (1998)
Eva Dyllong, Wolfram Luther, Werner Otten
An Accurate Distance-Calculation Algorithm for Convex Polyhedra. SCAN (1998)
Wolfram Luther, Werner Otten
Approximation Error and Error Accumulation for the Landen Transform. Reliab. Comput. 3 (3) (1997)
Heinz Ulrich Hoppe, Wolfram Luther
Informatik und Schule - Ein Fach im Spiegel neuer Entwicklungen der Fachdidaktik. LOG IN 16 (1) (1996)
Wolfram Luther, Werner Otten
Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics. Computing 52 (3) (1994)
Wolfram Luther
Nonstandard Analysis-Methoden in Anwendung auf ein Eigenwertproblem der PLL Theorie. ASST (1990)