Wolfram Luther

According to our database1, Wolfram Luther authored at least 79 papers between 1989 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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. UCS, 2016

Crowdsourcing and Co-curation in Virtual Museums: A Practice-driven Approach.
J. UCS, 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.
Simulation Modelling Practice and 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 2013 Digital Heritage International Congress, Marseille, France, October 28, 2013

2012
A Novel Human Autonomy Assessment System.
Sensors, 2012

Cooperative Reconfiguration of User Interface Models for Learning Cryptographic Protocols.
International Journal of Information Technology and Decision Making, 2012

Formal Modeling and Reconfiguration of User Interfaces for Reduction of Errors in Failure Handling of Complex Systems.
Int. J. Hum. Comput. Interaction, 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.
Reliable Computing, 2011

Interface creation and redesign techniques in collaborative learning scenarios.
Future Generation Comp. 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.
Applied Mathematics and Computer Science, 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.
Telecommunication Systems, 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

Numerical Verification Assessment in Computational Biomechanics.
Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 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.
Reliable Computing, 2006

Rule-based Search in Text Databases with Nonstandard Orthography.
LLC, 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.
Numerical Algorithms, 2004

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

Enclosure of the Zero Set of Multivariate Exponential Interval Polynomials.
Numerical 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 INFORMATIK 2004, 2004

2003
Mobile verteilte Dokumentenrecherche in Bibliotheken und Archiven.
Proceedings of the INFORMATIK 2003 - Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September, 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
Visualization for the Mind's Eye.
Proceedings of the Software Visualization, 2001

1999
An Accurate Distance-Calculation Algorithm for Convex Polyhedra.
Reliable Computing, 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. UCS, 1998

1997
Approximation Error and Error Accumulation for the Landen Transform.
Reliable Computing, 1997

1996
Informatik und Schule - Ein Fach im Spiegel neuer Entwicklungen der Fachdidaktik.
LOG IN, 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. Aufl.).
Vieweg, ISBN: 978-3-528-16302-0, 1989


  Loading...