default search action
Wolfram Luther
Wolfram J. Luther
Person information
- affiliation: University of Duisburg-Essen, Department of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j32]Wolfram Luther
, Gregor Schiele
Traceable Use of Emerging Technologies in Smart Systems. J. Univers. Comput. Sci. 29(11): 1250-1253 (2023) - [j31]Wolfram Luther
Digital Twins and Enabling Technologies in Museums and Cultural Heritage: An Overview. Sensors 23(3): 1583 (2023) - 2021
- [j30]Nelson Baloian
Designing, Realizing, Running, and Evaluating Virtual Museum - a Survey on Innovative Concepts and Technologies. J. Univers. Comput. Sci. 27(12): 1275-1299 (2021) - [j29]Ekaterina Auer
Uncertainty Handling in Genetic Risk Assessment and Counseling. J. Univers. Comput. Sci. 27(12): 1347-1370 (2021) - 2020
- [j28]Wolfram Luther
Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems. Acta Cybern. 24(3): 287-314 (2020)
2010 – 2019
- 2019
- [j27]Benjamin Weyers, Ekaterina Auer, Wolfram Luther:
The Role of Verification and Validation Techniques within Visual Analytics. J. Univers. Comput. Sci. 25(8): 967-987 (2019) - [j26]Nelson A. Baloian
Mobile Collaborative Technologies and Data Science for Smart Systems. Mob. Inf. Syst. 2019: 8432754:1-8432754:2 (2019) - [c49]Nelson Baloian
Developing Hyper-stories in the Context of Cultural Heritage Appreciation. CRIWG/CollabTech 2019: 110-128 - [c48]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: 251-261 - 2017
- [c47]Nelson Baloian
Exploring Collaboration in the Realm of Virtual Museums. CRIWG 2017: 252-259 - 2016
- [j25]Wolfram Luther, Hiroaki Ogata, José A. Pino:
Computer Supported Collaborative Work. J. Univers. Comput. Sci. 22(10): 1274-1276 (2016) - [j24]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): 1277-1297 (2016) - 2015
- [c46]Daniel Biella, Daniel Sacher, Benjamin Weyers, Wolfram Luther, Nelson Baloian
Crowdsourcing and Knowledge Co-creation in Virtual Museums. CRIWG 2015: 1-18 - [c45]Daniel Sacher, Benjamin Weyers, Torsten W. Kuhlen, Wolfram Luther:
An Integrative Tool Chain for Collaborative Virtual Museums in Immersive Virtual Environments. CRIWG 2015: 86-94 - [c44]Daniel Biella, Daniel Sacher, Benjamin Weyers, Wolfram Luther, Nelson Baloian
Metaphorical Design of Virtual Museums and Laboratories: First Insights. UCAmI 2015: 427-438 - 2014
- [j23]Johannes Brügmann, Michael Schreckenberg, Wolfram Luther:
A verifiable simulation model for real-world microscopic traffic simulations. Simul. Model. Pract. Theory 48: 58-92 (2014) - [c43]Matthias Thurau, Christoph Buck, Wolfram Luther:
IPFViewer - A Visual Analysis System for Hierarchical Ensemble Data. IVAPP 2014: 259-266 - [c42]Matthias Thurau, Christoph Buck, Wolfram Luther:
IPFViewer: Incremental, approximate analysis of steel samples. SIGRAD 2014: 1-8 - [c41]Daniel Sacher, Benjamin Weyers, Daniel Biella, Wolfram Luther:
Towards an Evaluation of a Metadata Standard for Generative Virtual Museums. UCAmI 2014: 357-364 - [c40]Nikolaj Borisov, Annette Kluge
User Interface Design for Test and Diagnosis Software in Automotive Production Environments. UCAmI 2014: 372-375 - [c39]Daniel Sacher, Benjamin Weyers, Daniel Biella, Wolfram Luther:
Smart Museums - Exploiting Generative Virtual Museums. UCAmI 2014: 384-387 - [c38]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: 143-152 - 2013
- [j22]Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova
Special issue on "uncertainty modeling and analysis with intervals: foundations, tools, applications". Soft Comput. 17(8): 1315-1317 (2013) - [j21]Stefan Kiel, Wolfram Luther, Eva Dyllong:
Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures. Soft Comput. 17(8): 1367-1378 (2013) - [c37]Daniel Sacher, Daniel Biella, Wolfram Luther:
Towards a versatile metadata exchange format for digital museum collections. Digital Heritage (2) 2013: 129-136 - [c36]Nikolaj Borisov, Annette Kluge
Integrating Production Workers into User Interface Design for Diagnosis Devices in Automotive Production Environments: Field Experiences and Lessons Learned. HCI (29) 2013: 469-473 - [c35]Daniel Sacher, Daniel Biella, Wolfram Luther:
A Generative Approach to Virtual Museums. WEBIST 2013: 274-279 - 2012
- [j20]Gabor Rebner, Ekaterina Auer
A verified realization of a Dempster-Shafer based fault tree analysis. Computing 94(2-4): 313-324 (2012) - [j19]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): 646-665 (2012) - [j18]Benjamin Weyers, Wolfram Luther, Nelson Baloian
Cooperative Reconfiguration of User Interface Models for Learning Cryptographic Protocols. Int. J. Inf. Technol. Decis. Mak. 11(6): 1127-1154 (2012) - [j17]Marco Munstermann, Torsten Stevens, Wolfram Luther:
A Novel Human Autonomy Assessment System. Sensors 12(6): 7828-7854 (2012) - [c34]Benjamin Weyers, Wolfram Luther, Nelson Baloian
Formal Modeling of Multi-user Interfaces in Cooperative Work. CRIWG 2012: 129-136 - [c33]Ekaterina Auer, Roger Cuypers, Wolfram Luther:
Process-oriented Approach to Verification in Engineering. ICINCO (2) 2012: 513-518 - [c32]Daniel Pinske, Benjamin Weyers, Wolfram Luther, Torsten Stevens:
Metaphorical Design of Feedback Interfaces in Activity-Aware Ambient Assisted-Living Applications. IWAAL 2012: 151-158 - [c31]Daniel Biella, Wolfram Luther, Daniel Sacher:
Schema migration into a web-based framework for generating virtual museums and laboratories. VSMM 2012: 307-314 - 2011
- [j16]Benjamin Weyers, Wolfram Luther, Nelson Baloian
Interface creation and redesign techniques in collaborative learning scenarios. Future Gener. Comput. Syst. 27(1): 127-138 (2011) - [j15]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): 179-192 (2011) - [i9]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): 26-57 (2011) - 2010
- [c30]Daniel Biella, Wolfram Luther, Nelson Baloian
Virtual Museum Exhibition Designer Using Enhanced ARCO Standard. SCCC 2010: 226-235 - [c29]Benjamin Weyers
Formal Modeling and Reconfiguration of User Interfaces. SCCC 2010: 236-245
2000 – 2009
- 2009
- [j14]Ekaterina Auer
Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems. Int. J. Appl. Math. Comput. Sci. 19(3): 455-467 (2009) - [c28]Benjamin Weyers, Wolfram Luther, Nelson Baloian
Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages. CRIWG 2009: 311-318 - [c27]Benjamin Weyers
Cooperative creation of concept keyboards in distributed learning environments. CSCWD 2009: 534-539 - [c26]Daniel Biella, Wolfram Luther:
Towards a Template-based Generation of Virtual 3D Museum Environments. WEBIST 2009: 399-402 - [e6]Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein:
Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers. Lecture Notes in Computer Science 5492, Springer 2009, ISBN 978-3-642-01590-8 [contents] - [i8]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 - 2008
- [j13]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): 77-90 (2008) - [j12]Nelson Baloian
Concept keyboards in the animation of standard algorithms. J. Vis. Lang. Comput. 19(6): 652-674 (2008) - [c25]Ekaterina Auer
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. Reliable Implementation of Real Number Algorithms 2008: 1-27 - [c24]Sebastian Kempken, Wolfram Luther:
Verified Methods in Stochastic Traffic Modelling. Reliable Implementation of Real Number Algorithms 2008: 83-101 - [c23]Ekaterina Auer
Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures 2008: 145-160 - [c22]Daniel Biella, Wolfram Luther:
A General Framework for Replicated Experiments in Virtual 3D Environments. WEBIST (1) 2008: 316-323 - [c21]Daniel Biella, Wolfram Luther:
A Parameterizable Framework for Replicated Experiments in Virtual 3D Environments. WEBIST (Selected Papers) 2008: 361-374 - [e5]Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol:
Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers. Lecture Notes in Computer Science 5045, Springer 2008, ISBN 978-3-540-85520-0 [contents] - [e4]Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein:
Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008. Dagstuhl Seminar Proceedings 08021, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - [i7]Ekaterina Auer, Wolfram Luther:
Numerical Verification Assessment in Computational Biomechanics. Numerical Validation in Current Hardware Architectures 2008 - [i6]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 - [i5]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 - 2007
- [c20]Ekaterina Auer, Wolfram Luther:
Smartmobile - an environment for guaranteed multibody modeling and simulation. ICINCO-RA (1) 2007: 109-116 - [c19]Thomas Pilz, Axel Philipsenburg, Wolfram Luther:
Visualizing the Evaluation of Distance Measures. SIGMORPHON 2007: 84-92 - [c18]Sebastian Kempken, Wolfram Luther:
Modeling of H.264 High Definition Video Traffic Using Discrete-Time Semi-Markov Processes. ITC 2007: 42-53 - [c17]Sebastian Kempken, Thomas Pilz, Wolfram Luther:
Visualization of rule productivity in deriving nonstandard spellings. Visualization and Data Analysis 2007: 64950M - 2006
- [j11]Thomas Pilz, Wolfram Luther, Norbert Fuhr, Ulrich Ammon:
Rule-based Search in Text Databases with Nonstandard Orthography. Lit. Linguistic Comput. 21(2): 179-186 (2006) - [j10]Eva Dyllong, Wolfram Luther, Holger Traczinski:
Modelling Geometric Objects and Tolerances with Intervals: Data Exchange with ISO Standard STEP. Reliab. Comput. 12(4): 293-302 (2006) - [c16]Sebastian Kempken, Wolfram Luther, Thomas Pilz:
Comparison of distance measures for historical spelling variants. IFIP AI 2006: 295-304 - [e3]Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol:
Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006. Dagstuhl Seminar Proceedings 06021, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [i4]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 - [i3]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 - [i2]Wolfram Luther:
Rule-based search in historical text databases - Visualization techniques. Digital Historical Corpora 2006 - 2005
- [c15]Lothar Mischke, Wolfram Luther:
Document Image De-warping Based on Detection of Distorted Text Lines. ICIAP 2005: 1068-1075 - [c14]Nelson Baloian
Algorithm explanation using multimodal interfaces. SCCC 2005: 21-29 - [c13]Nelson A. Baloian
Algorithm visualization using concept keyboards. SOFTVIS 2005: 7-16 - [i1]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 - 2004
- [j9]Fritz G. Boese, Wolfram J. Luther:
Enclosure of the Zero Set of Multivariate Exponential Interval Polynomials. Numer. Algorithms 37(1-4): 35-44 (2004) - [j8]Eva Dyllong, Wolfram Luther
The GJK Distance Algorithm: An Interval Version for Incremental Motions. Numer. Algorithms 37(1-4): 127-136 (2004) - [j7]Daniela Fausten, Wolfram Luther, Gerhard Haßlinger:
Accurate Computation of Traffic Workload Distributions. Numer. Algorithms 37(1-4): 137-146 (2004) - [c12]Nelson A. Baloian, Henning Breuer, Wolfram Luther, Chr. Middleton, Thomas Pilz:
Konzept-Tastaturen zur Algorithmenanimation. GI Jahrestagung (1) 2004: 399-403 - [c11]Daniela Traczinski, Wolfram Luther, Gerhard Haßlinger:
Computing the Workload of Discrete Time Semi-Markov Servers with Result Verification. MMB 2004: 245-254 - [e2]René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther:
Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers. Lecture Notes in Computer Science 2991, Springer 2004, ISBN 3-540-21260-4 [contents] - 2003
- [c10]Katja Bühler
Reliable Distance and Intersection Computation Using Finite Precision Geometry. Numerical Software with Result Verification 2003: 160-190 - [c9]Daniel Biella, Wolfram Luther:
Mobile verteilte Dokumentenrecherche in Bibliotheken und Archiven. GI Jahrestagung (1) 2003: 298-302 - 2002
- [c8]Nelson A. Baloian, Wolfram Luther, Jaime Sánchez:
Modeling educational software for people with disabilities: theory and practice. ASSETS 2002: 111-118 - [c7]Nelson A. Baloian
Document Management in a Computer-Integrated Classroom. CRIWG 2002: 35-46 - [c6]Nelson A. Baloian, Wolfram Luther:
Various Modelling Aspects of Tutoring Systems for People with Auditory Disabilities. SECIII 2002: 197-206 - 2001
- [j6]Fritz G. Boese, Wolfram J. Luther:
Enclosure of the Zero Set of Polynomials in Several Complex Variables. Multidimens. Syst. Signal Process. 12(2): 165-197 (2001) - [c5]Nelson A. Baloian
Visualization for the Mind's Eye. Software Visualization 2001: 354-367 - [p1]Wolfram Luther, Eva Dyllong, Daniela Fausten, Werner Otten, Holger Traczinski:
Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments. Perspectives on Enclosure Methods 2001: 181-198
1990 – 1999
- 1999
- [j5]Eva Dyllong, Wolfram Luther, Werner Otten:
An Accurate Distance-Calculation Algorithm for Convex Polyhedra. Reliab. Comput. 5(3): 241-253 (1999) - [c4]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: 72-85 - 1998
- [j4]Wolfram Luther, Werner Otten:
Reliable Computation of Elliptic Functions. J. Univers. Comput. Sci. 4(1): 25-33 (1998) - [c3]Wolfram Luther, Werner Otten:
Verified calculation of the solution of algebraic Riccati equation. SCAN 1998: 105-118 - [c2]Eva Dyllong, Wolfram Luther, Werner Otten:
An Accurate Distance-Calculation Algorithm for Convex Polyhedra. SCAN 1998: 241-253 - 1997
- [j3]Wolfram Luther, Werner Otten:
Approximation Error and Error Accumulation for the Landen Transform. Reliab. Comput. 3(3): 249-258 (1997) - [e1]Heinz Ulrich Hoppe, Wolfram Luther:
Informatik und Lernen in der Informationsgesellschaft, 7. GI-Fachtagung Informatik und Schule, INFOS'97, Duisburg, Deutschland, 15.-18. September 1997. Informatik Aktuell, Springer 1997, ISBN 3-540-63432-0 [contents] - 1996
- [b2]Achim W. Janser, Wolfram Luther, Werner Otten:
Computergraphik und Bildverarbeitung. Vieweg Lehrbuch, Vieweg 1996, ISBN 978-3-528-06772-4, pp. I-X, 1-342 - [j2]Heinz Ulrich Hoppe, Wolfram Luther:
Informatik und Schule - Ein Fach im Spiegel neuer Entwicklungen der Fachdidaktik. LOG IN 16(1): 8- (1996) - 1994
- [j1]Wolfram Luther, Werner Otten:
Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics. Computing 52(3): 213-232 (1994) - 1990
- [c1]Wolfram Luther:
Nonstandard Analysis-Methoden in Anwendung auf ein Eigenwertproblem der PLL Theorie. ASST 1990: 136-141
1980 – 1989
- 1989
- [b1]Wolfram Luther, Martin Ohsmann:
Mathematische Grundlagen der Computergraphik, 2. Auflage. Vieweg 1989, ISBN 978-3-528-16302-0, pp. I-X, 1-290
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: