Wolfram Luther
Orcid: 0000-0002-1245-7628Affiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on andrej.com
On csauthors.net:
Bibliography
2023
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
J. Univers. Comput. Sci., 2021
2020
Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems.
Acta Cybern., 2020
2019
Mob. Inf. Syst., 2019
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
Proceedings of the Collaboration Technologies and Social Computing, 2019
2017
Proceedings of the Collaboration and Technology - 23rd International Conference, 2017
2016
J. Univers. Comput. Sci., 2016
2015
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
Proceedings of the Collaboration and Technology - 21st International Conference, 2015
2014
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
Proceedings of the Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services, 2014
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
Proceedings of SIGRAD 2014, Visual Computing, June 12-13, 2014, Göteborg, Sweden, 2014
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
Proceedings of the 1st Digital Heritage International Congress, 2013
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
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
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
Future Gener. Comput. Syst., 2011
Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371).
Dagstuhl Reports, 2011
2010
Proceedings of the SCCC 2010, 2010
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
Proceedings of the Computer-assisted proofs - tools, methods and applications, 15.11., 2009
Proceedings of the 13th International Conference on Computers Supported Cooperative Work in Design, 2009
Proceedings of the Groupware: Design, Implementation, and Use, 15th International Workshop, 2009
2008
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
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
Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 2008
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
Proceedings of the Numerical Validation in Current Hardware Architectures, 2008
2007
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
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
Lit. Linguistic Comput., 2006
Proceedings of the Artificial Intelligence in Theory and Practice, 2006
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
Proceedings of the ACM 2005 Symposium on Software Visualization, 2005
Proceedings of the XXV International Conference of the Chilean Computer Science Society, 2005
Proceedings of the Image Analysis and Processing, 2005
Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005
2004
Numer. Algorithms, 2004
Numer. Algorithms, 2004
Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification.
Proceedings of the MMB & PGTS 2004, 2004
Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004
2003
Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003
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
Proceedings of the Groupware: Design, Implementation and Use, 8th International Workshop, 2002
Proceedings of the ACM Conference on Assistive Technologies, 2002
2001
Multidimens. Syst. Signal Process., 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
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
Proceedings of the Developments in Reliable Computing, 1998
1997
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
Proceedings of the ASST '90, 1990
1989
Mathematische Grundlagen der Computergraphik, 2. Auflage.
Vieweg, ISBN: 978-3-528-16302-0, 1989