Wolfram Luther

100 papers A 2C 3Misc 2Journal 34Unranked 50

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Explanatory Data Science in Technology Applications. J. Univers. Comput. Sci. Wolfram Luther, A. J. Han Vinck
2025	J	`jnl`	Fairness in Healthcare and Beyond-A Survey. J. Univers. Comput. Sci. Wolfram Luther, Ashot N. Harutyunyan
2025	J	`jnl`	Towards Fair Medical Risk Prediction Software. Future Internet Wolfram Luther, Ekaterina Auer
2023	J	`jnl`	Digital Twins and Enabling Technologies in Museums and Cultural Heritage: An Overview. Sensors Wolfram Luther, Nelson Baloian, Daniel Biella, Daniel Sacher
2023	J	`jnl`	Traceable Use of Emerging Technologies in Smart Systems. J. Univers. Comput. Sci. Wolfram Luther, Gregor Schiele
2021	J	`jnl`	Designing, Realizing, Running, and Evaluating Virtual Museum - a Survey on Innovative Concepts and Technologies. J. Univers. Comput. Sci. Nelson Baloian, Daniel Biella, Wolfram Luther, José A. Pino, Daniel Sacher
2021	J	`jnl`	Uncertainty Handling in Genetic Risk Assessment and Counseling. J. Univers. Comput. Sci. Ekaterina Auer, Wolfram Luther
2020	J	`jnl`	Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems. Acta Cybern. Wolfram Luther, Ekaterina Auer, Benjamin Weyers
2019	—	`conf`	An Automated Structural Approach to Support Theatrical Performances by Introducing Gesture Recognition to a Cuing System. CRIWG/CollabTech Kosuke Sasaki, Anne-Catherine Luther, Tomoo Inoue, Wolfram Luther
2019	—	`conf`	Developing Hyper-stories in the Context of Cultural Heritage Appreciation. CRIWG/CollabTech Nelson Baloian, Gustavo Zurita, José A. Pino, Sergio Peñafiel, Wolfram Luther
2019	J	`jnl`	Mobile Collaborative Technologies and Data Science for Smart Systems. Mob. Inf. Syst. Nelson A. Baloian, Wolfram Luther, José A. Pino, Tomoo Inoue
2019	J	`jnl`	The Role of Verification and Validation Techniques within Visual Analytics. J. Univers. Comput. Sci. Benjamin Weyers, Ekaterina Auer, Wolfram Luther
2017	—	`conf`	Exploring Collaboration in the Realm of Virtual Museums. CRIWG Nelson Baloian, Wolfram Luther, Daniel Biella, Nare Karapetyan, José A. Pino, Tobias Schreck, Andres Ferrada, Nancy Hitschfeld
2016	J	`jnl`	Computer Supported Collaborative Work. J. Univers. Comput. Sci. Wolfram Luther, Hiroaki Ogata, José A. Pino
2016	J	`jnl`	Crowdsourcing and Co-curation in Virtual Museums: A Practice-driven Approach. J. Univers. Comput. Sci. Daniel Biella, Thomas Pilz, Daniel Sacher, Benjamin Weyers, Wolfram Luther, Nelson Baloian, Tobias Schreck
2015	—	`conf`	An Integrative Tool Chain for Collaborative Virtual Museums in Immersive Virtual Environments. CRIWG Daniel Sacher, Benjamin Weyers, Torsten W. Kuhlen, Wolfram Luther
2015	—	`conf`	Crowdsourcing and Knowledge Co-creation in Virtual Museums. CRIWG Daniel Biella, Daniel Sacher, Benjamin Weyers, Wolfram Luther, Nelson Baloian, Tobias Schreck
2015	—	`conf`	Metaphorical Design of Virtual Museums and Laboratories: First Insights. UCAmI Daniel Biella, Daniel Sacher, Benjamin Weyers, Wolfram Luther, Nelson Baloian
2014	J	`jnl`	A verifiable simulation model for real-world microscopic traffic simulations. Simul. Model. Pract. Theory Johannes Brügmann, Michael Schreckenberg, Wolfram Luther
2014	—	`conf`	IPFViewer - A Visual Analysis System for Hierarchical Ensemble Data. IVAPP Matthias Thurau, Christoph Buck, Wolfram Luther
2014	—	`conf`	IPFViewer: Incremental, approximate analysis of steel samples. SIGRAD Matthias Thurau, Christoph Buck, Wolfram Luther
2014	—	`conf`	Image-based Object Classification of Defects in Steel using Data-driven Machine Learning Optimization. VISAPP (2) Fabian Bürger, Christoph Buck, Josef Pauli, Wolfram Luther
2014	—	`conf`	Smart Museums - Exploiting Generative Virtual Museums. UCAmI Daniel Sacher, Benjamin Weyers, Daniel Biella, Wolfram Luther
2014	—	`conf`	Towards an Evaluation of a Metadata Standard for Generative Virtual Museums. UCAmI Daniel Sacher, Benjamin Weyers, Daniel Biella, Wolfram Luther
2014	—	`conf`	User Interface Design for Test and Diagnosis Software in Automotive Production Environments. UCAmI Nikolaj Borisov, Annette Kluge, Wolfram Luther, Benjamin Weyers
2013	C	`conf`	A Generative Approach to Virtual Museums. WEBIST Daniel Sacher, Daniel Biella, Wolfram Luther
2013	—	`conf`	Integrating Production Workers into User Interface Design for Diagnosis Devices in Automotive Production Environments: Field Experiences and Lessons Learned. HCI (29) Nikolaj Borisov, Annette Kluge, Wolfram Luther, Benjamin Weyers
2013	J	`jnl`	Special issue on "uncertainty modeling and analysis with intervals: foundations, tools, applications". Soft Comput. Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova
2013	—	`conf`	Towards a versatile metadata exchange format for digital museum collections. Digital Heritage (2) Daniel Sacher, Daniel Biella, Wolfram Luther
2013	J	`jnl`	Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures. Soft Comput. Stefan Kiel, Wolfram Luther, Eva Dyllong
2012	J	`jnl`	A Novel Human Autonomy Assessment System. Sensors Marco Munstermann, Torsten Stevens, Wolfram Luther
2012	J	`jnl`	A verified realization of a Dempster-Shafer based fault tree analysis. Computing Gabor Rebner, Ekaterina Auer, Wolfram Luther
2012	J	`jnl`	Cooperative Reconfiguration of User Interface Models for Learning Cryptographic Protocols. Int. J. Inf. Technol. Decis. Mak. Benjamin Weyers, Wolfram Luther, Nelson Baloian
2012	J	`jnl`	Formal Modeling and Reconfiguration of User Interfaces for Reduction of Errors in Failure Handling of Complex Systems. Int. J. Hum. Comput. Interact. Benjamin Weyers, Dina Burkolter, Wolfram Luther, Annette Kluge
2012	—	`conf`	Formal Modeling of Multi-user Interfaces in Cooperative Work. CRIWG Benjamin Weyers, Wolfram Luther, Nelson Baloian, José A. Pino
2012	—	`conf`	Metaphorical Design of Feedback Interfaces in Activity-Aware Ambient Assisted-Living Applications. IWAAL Daniel Pinske, Benjamin Weyers, Wolfram Luther, Torsten Stevens
2012	—	`conf`	Process-oriented Approach to Verification in Engineering. ICINCO (2) Ekaterina Auer, Roger Cuypers, Wolfram Luther
2012	—	`conf`	Schema migration into a web-based framework for generating virtual museums and laboratories. VSMM Daniel Biella, Wolfram Luther, Daniel Sacher
2011	J	`jnl`	Interface creation and redesign techniques in collaborative learning scenarios. Future Gener. Comput. Syst. Benjamin Weyers, Wolfram Luther, Nelson Baloian
2011	J	`jnl`	Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371). Dagstuhl Reports Isaac E. Elishakoff, Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova
2011	J	`jnl`	Verifed Factorization Methods for SMP/G/1 Queueing Systems and their Interplay in an Integrated Problem-Solving Environment. Reliab. Comput. Sebastian Kempken, Wolfram Luther
2010	—	`conf`	Formal Modeling and Reconfiguration of User Interfaces. SCCC Benjamin Weyers, Wolfram Luther
2010	—	`conf`	Virtual Museum Exhibition Designer Using Enhanced ARCO Standard. SCCC Daniel Biella, Wolfram Luther, Nelson Baloian
2009	—	`conf`	Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages. CRIWG Benjamin Weyers, Wolfram Luther, Nelson Baloian
2009	C	`conf`	Cooperative creation of concept keyboards in distributed learning environments. CSCWD Benjamin Weyers, Nelson Baloian, Wolfram Luther
2009	—	`ed.`	Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers Numerical Validation in Current Hardware Architectures Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein
2009	C	`conf`	Towards a Template-based Generation of Virtual 3D Museum Environments. WEBIST Daniel Biella, Wolfram Luther
2009	J	`jnl`	Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems. Int. J. Appl. Math. Comput. Sci. Ekaterina Auer, Wolfram Luther
2009	—	`conf`	Verification and Validation for Femur Prosthesis Surgery. Computer-assisted proofs - tools, methods and applications Ekaterina Auer, Roger Cuypers, Eva Dyllong, Stefan Kiel, Wolfram Luther
2008	—	`conf`	08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures. Numerical Validation in Current Hardware Architectures Wolfram Luther, Annie A. M. Cuyt, Walter Krämer, Peter W. Markstein
2008	—	`conf`	08021 Summary - Numerical Validation in Current Hardware Architectures. Numerical Validation in Current Hardware Architectures Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein
2008	—	`conf`	A General Framework for Replicated Experiments in Virtual 3D Environments. WEBIST (1) Daniel Biella, Wolfram Luther
2008	—	`conf`	A Parameterizable Framework for Replicated Experiments in Virtual 3D Environments. WEBIST (Selected Papers) Daniel Biella, Wolfram Luther
2008	J	`jnl`	Concept keyboards in the animation of standard algorithms. J. Vis. Lang. Comput. Nelson Baloian, Henning Breuer, Wolfram Luther
2008	—	`ed.`	Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008 Numerical Validation in Current Hardware Architectures Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein
2008	—	`conf`	Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures Ekaterina Auer, Wolfram Luther
2008	—	`conf`	Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures Ekaterina Auer, Wolfram Luther
2008	J	`jnl`	Parameter estimation and optimization techniques for discrete-time semi-Markov models of H.264/AVC video traffic. Telecommun. Syst. Sebastian Kempken, Gerhard Haßlinger, Wolfram Luther
2008	—	`ed.`	Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers Reliable Implementation of Real Number Algorithms Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
2008	—	`conf`	Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. Reliable Implementation of Real Number Algorithms Ekaterina Auer, Andreas Rauh, Eberhard P. Hofer, Wolfram Luther
2008	—	`conf`	Verified Methods in Stochastic Traffic Modelling. Reliable Implementation of Real Number Algorithms Sebastian Kempken, Wolfram Luther
2007	A	`conf`	Modeling of H.264 High Definition Video Traffic Using Discrete-Time Semi-Markov Processes. ITC Sebastian Kempken, Wolfram Luther
2007	—	`conf`	Smartmobile - an environment for guaranteed multibody modeling and simulation. ICINCO-RA (1) Ekaterina Auer, Wolfram Luther
2007	Misc	`conf`	Visualization of rule productivity in deriving nonstandard spellings. Visualization and Data Analysis Sebastian Kempken, Thomas Pilz, Wolfram Luther
2007	—	`conf`	Visualizing the Evaluation of Distance Measures. SIGMORPHON Thomas Pilz, Axel Philipsenburg, Wolfram Luther
2006	—	`conf`	06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice. Reliable Implementation of Real Number Algorithms Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
2006	—	`conf`	06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice. Reliable Implementation of Real Number Algorithms Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
2006	—	`conf`	Comparison of distance measures for historical spelling variants. IFIP AI Sebastian Kempken, Wolfram Luther, Thomas Pilz
2006	J	`jnl`	Modelling Geometric Objects and Tolerances with Intervals: Data Exchange with ISO Standard STEP. Reliab. Comput. Eva Dyllong, Wolfram Luther, Holger Traczinski
2006	—	`ed.`	Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006 Reliable Implementation of Real Number Algorithms Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
2006	J	`jnl`	Rule-based Search in Text Databases with Nonstandard Orthography. Lit. Linguistic Comput. Thomas Pilz, Wolfram Luther, Norbert Fuhr, Ulrich Ammon
2006	—	`conf`	Rule-based search in historical text databases - Visualization techniques. Digital Historical Corpora Wolfram Luther
2005	—	`conf`	Algorithm explanation using multimodal interfaces. SCCC Nelson Baloian, Wolfram Luther, Thorsten Putzer
2005	—	`conf`	Algorithm visualization using concept keyboards. SOFTVIS Nelson A. Baloian, Henning Breuer, Wolfram Luther
2005	Misc	`conf`	Document Image De-warping Based on Detection of Distorted Text Lines. ICIAP Lothar Mischke, Wolfram Luther
2005	—	`conf`	Integration of reliable algorithms into modeling software. Algebraic and Numerical Algorithms and Computer-assisted Proofs Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, Holger Traczinski
2004	J	`jnl`	Accurate Computation of Traffic Workload Distributions. Numer. Algorithms Daniela Fausten, Wolfram Luther, Gerhard Haßlinger
2004	—	`conf`	Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification. MMB Daniela Traczinski, Wolfram Luther, Gerhard Haßlinger
2004	—	`conf`	Konzept-Tastaturen zur Algorithmenanimation. GI Jahrestagung (1) Nelson A. Baloian, Henning Breuer, Wolfram Luther, Chr. Middleton, Thomas Pilz
2004	—	`ed.`	Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers Numerical Software with Result Verification René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther
2004	J	`jnl`	The GJK Distance Algorithm: An Interval Version for Incremental Motions. Numer. Algorithms Eva Dyllong, Wolfram Luther
2003	—	`conf`	Mobile verteilte Dokumentenrecherche in Bibliotheken und Archiven. GI Jahrestagung (1) Daniel Biella, Wolfram Luther
2003	—	`conf`	Reliable Distance and Intersection Computation Using Finite Precision Geometry. Numerical Software with Result Verification Katja Bühler, Eva Dyllong, Wolfram Luther
2002	—	`conf`	Document Management in a Computer-Integrated Classroom. CRIWG Nelson A. Baloian, Alexander Berges, Stephan Buschmann, Katrin Gaßner, Jens Hardings, Heinz Ulrich Hoppe, Wolfram Luther
2002	A	`conf`	Modeling educational software for people with disabilities: theory and practice. ASSETS Nelson A. Baloian, Wolfram Luther, Jaime Sánchez
2002	—	`conf`	Various Modelling Aspects of Tutoring Systems for People with Auditory Disabilities. SECIII Nelson A. Baloian, Wolfram Luther
2001	—	`ch.`	Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments. Perspectives on Enclosure Methods Wolfram Luther, Eva Dyllong, Daniela Fausten, Werner Otten, Holger Traczinski
2001	—	`conf`	Visualization for the Mind's Eye. Software Visualization Nelson A. Baloian, Wolfram Luther
1999	J	`jnl`	An Accurate Distance-Calculation Algorithm for Convex Polyhedra. Reliab. Comput. Eva Dyllong, Wolfram Luther, Werner Otten
1999	—	`conf`	Multimedia-gestützte Vorlesungen in einem interaktiven elektronischen Hörsaal - Ansätze und Erfahrungen. INFOS Heinz Ulrich Hoppe, Wolfram Luther, Werner Otten, Frank Tewissen
1998	—	`conf`	An Accurate Distance-Calculation Algorithm for Convex Polyhedra. SCAN Eva Dyllong, Wolfram Luther, Werner Otten
1998	J	`jnl`	Reliable Computation of Elliptic Functions. J. Univers. Comput. Sci. Wolfram Luther, Werner Otten
1998	—	`conf`	Verified calculation of the solution of algebraic Riccati equation. SCAN Wolfram Luther, Werner Otten
1997	J	`jnl`	Approximation Error and Error Accumulation for the Landen Transform. Reliab. Comput. Wolfram Luther, Werner Otten
1997	—	`ed.`	Informatik und Lernen in der Informationsgesellschaft, 7. GI-Fachtagung Informatik und Schule, INFOS'97, Duisburg, Deutschland, 15.-18. September 1997 INFOS Heinz Ulrich Hoppe, Wolfram Luther
1996	—	`book`	Computergraphik und Bildverarbeitung. Achim W. Janser, Wolfram Luther, Werner Otten
1996	J	`jnl`	Informatik und Schule - Ein Fach im Spiegel neuer Entwicklungen der Fachdidaktik. LOG IN Heinz Ulrich Hoppe, Wolfram Luther
1994	J	`jnl`	Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics. Computing Wolfram Luther, Werner Otten
1990	—	`conf`	Nonstandard Analysis-Methoden in Anwendung auf ein Eigenwertproblem der PLL Theorie. ASST Wolfram Luther
1989	—	`book`	Mathematische Grundlagen der Computergraphik, 2. Auflage. Wolfram Luther, Martin Ohsmann