Wolfram Luther

Orcid: 0000-0002-1245-7628

Affiliations:
  • University of Duisburg-Essen, Department of Computer Science


According to our database1, Wolfram Luther authored at least 91 papers between 1989 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Traceable Use of Emerging Technologies in Smart Systems.
J. Univers. Comput. Sci., November, 2023

Digital Twins and Enabling Technologies in Museums and Cultural Heritage: An Overview.
Sensors, February, 2023

2021
Designing, Realizing, Running, and Evaluating Virtual Museum - a Survey on Innovative Concepts and Technologies.
J. Univers. Comput. Sci., 2021

Uncertainty Handling in Genetic Risk Assessment and Counseling.
J. Univers. Comput. Sci., 2021

2020
Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems.
Acta Cybern., 2020

2019
Mobile Collaborative Technologies and Data Science for Smart Systems.
Mob. Inf. Syst., 2019

The Role of Verification and Validation Techniques within Visual Analytics.
J. Univers. Comput. Sci., 2019

An Automated Structural Approach to Support Theatrical Performances by Introducing Gesture Recognition to a Cuing System.
Proceedings of the Collaboration Technologies and Social Computing, 2019

Developing Hyper-stories in the Context of Cultural Heritage Appreciation.
Proceedings of the Collaboration Technologies and Social Computing, 2019

2017
Exploring Collaboration in the Realm of Virtual Museums.
Proceedings of the Collaboration and Technology - 23rd International Conference, 2017

2016
Computer Supported Collaborative Work.
J. Univers. Comput. Sci., 2016

Crowdsourcing and Co-curation in Virtual Museums: A Practice-driven Approach.
J. Univers. Comput. Sci., 2016

2015
Metaphorical Design of Virtual Museums and Laboratories: First Insights.
Proceedings of the Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using Environmental Information, 2015

An Integrative Tool Chain for Collaborative Virtual Museums in Immersive Virtual Environments.
Proceedings of the Collaboration and Technology - 21st International Conference, 2015

Crowdsourcing and Knowledge Co-creation in Virtual Museums.
Proceedings of the Collaboration and Technology - 21st International Conference, 2015

2014
A verifiable simulation model for real-world microscopic traffic simulations.
Simul. Model. Pract. Theory, 2014

Image-based Object Classification of Defects in Steel using Data-driven Machine Learning Optimization.
Proceedings of the VISAPP 2014, 2014

Smart Museums - Exploiting Generative Virtual Museums.
Proceedings of the Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services, 2014

Towards an Evaluation of a Metadata Standard for Generative Virtual Museums.
Proceedings of the Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services, 2014

User Interface Design for Test and Diagnosis Software in Automotive Production Environments.
Proceedings of the Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services, 2014

IPFViewer: Incremental, approximate analysis of steel samples.
Proceedings of SIGRAD 2014, Visual Computing, June 12-13, 2014, Göteborg, Sweden, 2014

IPFViewer - A Visual Analysis System for Hierarchical Ensemble Data.
Proceedings of the 5th International Conference on Information Visualization Theory and Applications, 2014

2013
Special issue on "uncertainty modeling and analysis with intervals: foundations, tools, applications".
Soft Comput., 2013

Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures.
Soft Comput., 2013

A Generative Approach to Virtual Museums.
Proceedings of the WEBIST 2013, 2013

Integrating Production Workers into User Interface Design for Diagnosis Devices in Automotive Production Environments: Field Experiences and Lessons Learned.
Proceedings of the HCI International 2013 - Posters' Extended Abstracts, 2013

Towards a versatile metadata exchange format for digital museum collections.
Proceedings of the 1st Digital Heritage International Congress, 2013

2012
A Novel Human Autonomy Assessment System.
Sensors, 2012

Cooperative Reconfiguration of User Interface Models for Learning Cryptographic Protocols.
Int. J. Inf. Technol. Decis. Mak., 2012

Formal Modeling and Reconfiguration of User Interfaces for Reduction of Errors in Failure Handling of Complex Systems.
Int. J. Hum. Comput. Interact., 2012

A verified realization of a Dempster-Shafer based fault tree analysis.
Computing, 2012

Schema migration into a web-based framework for generating virtual museums and laboratories.
Proceedings of the 18th International Conference on Virtual Systems and Multimedia, 2012

Metaphorical Design of Feedback Interfaces in Activity-Aware Ambient Assisted-Living Applications.
Proceedings of the Ambient Assisted Living and Home Care - 4th International Workshop, 2012

Process-oriented Approach to Verification in Engineering.
Proceedings of the ICINCO 2012 - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Rome, Italy, 28, 2012

Formal Modeling of Multi-user Interfaces in Cooperative Work.
Proceedings of the Collaboration and Technology - 18th International Conference, 2012

2011
Verifed Factorization Methods for SMP/G/1 Queueing Systems and their Interplay in an Integrated Problem-Solving Environment.
Reliab. Comput., 2011

Interface creation and redesign techniques in collaborative learning scenarios.
Future Gener. Comput. Syst., 2011

Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371).
Dagstuhl Reports, 2011

2010
Formal Modeling and Reconfiguration of User Interfaces.
Proceedings of the SCCC 2010, 2010

Virtual Museum Exhibition Designer Using Enhanced ARCO Standard.
Proceedings of the SCCC 2010, 2010

2009
Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems.
Int. J. Appl. Math. Comput. Sci., 2009

Towards a Template-based Generation of Virtual 3D Museum Environments.
Proceedings of the WEBIST 2009, 2009

Verification and Validation for Femur Prosthesis Surgery.
Proceedings of the Computer-assisted proofs - tools, methods and applications, 15.11., 2009

Cooperative creation of concept keyboards in distributed learning environments.
Proceedings of the 13th International Conference on Computers Supported Cooperative Work in Design, 2009

Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages.
Proceedings of the Groupware: Design, Implementation, and Use, 15th International Workshop, 2009

2008
Concept keyboards in the animation of standard algorithms.
J. Vis. Lang. Comput., 2008

Parameter estimation and optimization techniques for discrete-time semi-Markov models of H.264/AVC video traffic.
Telecommun. Syst., 2008

A Parameterizable Framework for Replicated Experiments in Virtual 3D Environments.
Proceedings of the Web Information Systems and Technologies, 4th International Conference, 2008

A General Framework for Replicated Experiments in Virtual 3D Environments.
Proceedings of the WEBIST 2008, 2008

08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures.
Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

Verified Methods in Stochastic Traffic Modelling.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 2008

08021 Summary - Numerical Validation in Current Hardware Architectures.
Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 2008

Numerical Verification Assessment in Computational Biomechanics.
Proceedings of the Numerical Validation in Current Hardware Architectures, 2008

2007
Visualization of rule productivity in deriving nonstandard spellings.
Proceedings of the Visualization and Data Analysis 2007, 2007

Modeling of H.264 High Definition Video Traffic Using Discrete-Time Semi-Markov Processes.
Proceedings of the Managing Traffic Performance in Converged Networks, 2007

Visualizing the Evaluation of Distance Measures.
Proceedings of Ninth Meeting of the ACL Special Interest Group in Computational Morphology and Phonology, 2007

Smartmobile - an environment for guaranteed multibody modeling and simulation.
Proceedings of the ICINCO 2007, 2007

2006
Modelling Geometric Objects and Tolerances with Intervals: Data Exchange with ISO Standard STEP.
Reliab. Comput., 2006

Rule-based Search in Text Databases with Nonstandard Orthography.
Lit. Linguistic Comput., 2006

Comparison of distance measures for historical spelling variants.
Proceedings of the Artificial Intelligence in Theory and Practice, 2006

Rule-based search in historical text databases - Visualization techniques.
Proceedings of the Digital Historical Corpora - Architecture, Annotation, and Retrieval, 03.12., 2006

06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006

06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006

2005
Algorithm visualization using concept keyboards.
Proceedings of the ACM 2005 Symposium on Software Visualization, 2005

Algorithm explanation using multimodal interfaces.
Proceedings of the XXV International Conference of the Chilean Computer Science Society, 2005

Document Image De-warping Based on Detection of Distorted Text Lines.
Proceedings of the Image Analysis and Processing, 2005

Integration of reliable algorithms into modeling software.
Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005

2004
Accurate Computation of Traffic Workload Distributions.
Numer. Algorithms, 2004

The GJK Distance Algorithm: An Interval Version for Incremental Motions.
Numer. Algorithms, 2004

Enclosure of the Zero Set of Multivariate Exponential Interval Polynomials.
Numer. Algorithms, 2004

Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification.
Proceedings of the MMB & PGTS 2004, 2004

Konzept-Tastaturen zur Algorithmenanimation.
Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

2003
Mobile verteilte Dokumentenrecherche in Bibliotheken und Archiven.
Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

Reliable Distance and Intersection Computation Using Finite Precision Geometry.
Proceedings of the Numerical Software with Result Verification, 2003

2002
Various Modelling Aspects of Tutoring Systems for People with Auditory Disabilities.
Proceedings of the Informatics and The Digital Society: Social, 2002

Document Management in a Computer-Integrated Classroom.
Proceedings of the Groupware: Design, Implementation and Use, 8th International Workshop, 2002

Modeling educational software for people with disabilities: theory and practice.
Proceedings of the ACM Conference on Assistive Technologies, 2002

2001
Enclosure of the Zero Set of Polynomials in Several Complex Variables.
Multidimens. Syst. Signal Process., 2001

Visualization for the Mind's Eye.
Proceedings of the Software Visualization, 2001

Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments.
Proceedings of the Perspectives on Enclosure Methods, 2001

1999
An Accurate Distance-Calculation Algorithm for Convex Polyhedra.
Reliab. Comput., 1999

Multimedia-gestützte Vorlesungen in einem interaktiven elektronischen Hörsaal - Ansätze und Erfahrungen.
Proceedings of the Informatik und Schule, 1999

1998
Reliable Computation of Elliptic Functions.
J. Univers. Comput. Sci., 1998

Verified calculation of the solution of algebraic Riccati equation.
Proceedings of the Developments in Reliable Computing, 1998

1997
Approximation Error and Error Accumulation for the Landen Transform.
Reliab. Comput., 1997

1996
Informatik und Schule - Ein Fach im Spiegel neuer Entwicklungen der Fachdidaktik.
LOG IN, 1996

Computergraphik und Bildverarbeitung.
Vieweg Lehrbuch, Vieweg, ISBN: 978-3-528-06772-4, 1996

1994
Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics.
Computing, 1994

1990
Nonstandard Analysis-Methoden in Anwendung auf ein Eigenwertproblem der PLL Theorie.
Proceedings of the ASST '90, 1990

1989
Mathematische Grundlagen der Computergraphik, 2. Auflage.
Vieweg, ISBN: 978-3-528-16302-0, 1989


  Loading...