Veröffentlichungen 2008 - 2009

2009

Roger Cuypers, Stefan Kiel & Wolfram Luther
Automatic Femur Decomposition, Reconstruction and Refinement using Superquadric Shapes, Proceedings of IASTED International Conference on Telehealth and Assistive Technologies, Boston, Massachusetts (USA), November 2-4, 2009

Andreas Rauh, Ekaterina Auer, Eberhard P. Hofer & Wolfram Luther (eds.)
Verified Methods: Applications in Medicine and Engineering, Special Issue of the International Journal of Applied Mathematics and Computer Science AMCS, Vol. 19, No. 3, 2009.

Ekaterina Auer & Wolfram Luther
Uses of new sensitivity and DAE solving methods in SMARTMOBILE for verified analysis of mechanical systems, Int. J. Appl. Math. Comput. Sci., 2009, Vol. 19, No. 3, 455--467

Ekaterina Auer
Toward Verified Modelling and Simulation of Closed Loop Systems in SmartMOBILE. Proceedings of ECMI 2008, 2009.

Andreas Rauh, Ekaterina Auer & Harald Aschemann
Real-Time Application of Interval Methods for Robust Control of Dynamical Systems. Proceedings of the Intl. Conference on Methods and Models in Automation and Robotics MMAR 2009, Miedzyzdroje, Poland, August 19--21, 2009.

Ekaterina Auer & Wolfram Luther
SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems. Informatics in Control, Automation and Robotics: Selected Papers from the International Conference on Informatics in Control, Automation and Robotics 2007, Lecture Notes in Electrical Engineering, Vol. 24, 200. ISBN 978-3-540-85639-9. doi: 10.1007/978-3-540-85640-5_11

Benjamin Weyers, Wolfram Luther & Nelson Baloian
Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages, in L. Carrico, N. Baloian, B. Fonseca (eds.) Groupware: Design, Implementation, and Use. CRIWG 2009, Péso da Régua, Springer LNCS 5784 (2009) 311-318. ISBN 978-3-642-04215-7. doi: 10.1007/978-3-642-04216-4_26

Nelson Baloian & Wolfram Luther
Cooperative Visualization of Cryptographic Protocols Using Concept Keyboards. IJEE 25 (4) 2009 (Special Issue Part I), 745-754.

Thomas Pilz & Wolfram Luther
Automated support for evidence retrieval in documents with nonstandard orthography. The Fruits of Empirical Linguistics, Vol. 1 Process (Sam Featherston, Susanne Winkler eds.) Mouton de Gruyter Berlin New York 2009, 211-228.

Thomas Pilz, Wolfram Luther & Ulrich Ammon
Retrieval of Spelling Variants in Nonstandard Texts – Automated Support and Visualization. SKY Journal of Linguistics 21 (2008), 155–200

Daniel Biella & Wolfram Luther
A Parameterizable Framework for Replicated Experiments in Virtual 3D Environments, Lecture Notes in Business Information Processing, Vol. 18 Springer Berlin Heidelberg 2009, pp. 361-374 ISSN 1865-1348. doi: 10.1007/978-3-642-01344-7_27

Benjamin Weyers, Nelson Baloian & Wolfram Luther
Cooperative Creation of Concept Keyboards in Distributed Learning Environments, In: Proceedings of 13 th International Conference on CSCW in Design 2009, pp. 534--539, IEEE 2009, ISBN 978-1-4244-3535-7. doi: 10.1109/CSCWD.2009.4968114

Daniel Biella & Wolfram Luther
Towards a Template-based Generation of Virtual 3D Museum Environments, Proceedings of the 5th International Conference on Web Information Systems and Technologies (WEBIST2009), pp. 399-402.

A. Cuyt, W. Krämer, W. Luther & P. Markstein (Ed.)
Numerical Validation in Current Hardware Architectures. Proc. of Dagstuhl Seminar 08021, Lecture Notes in Computer Science 5492. Springer, 2009. doi: 10.1007/978-3-642-01591-5

Eva Dyllong
Some Applications of Interval Arithmetic in Hierarchical Solid Modeling. In: Proc. of Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Lecture Notes in Computer Science 5492. Springer, 2009, 133-144. doi: 10.1007/978-3-642-01591-5_8

Ekaterina Auer & Wolfram Luther
Numerical Verification Assessment in Computational Biomechanics. In: Proc. of Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Lecture Notes in Computer Science 5492. Springer, 2009, 145-160. doi: 10.1007/978-3-642-01591-5_9

Roger Cuypers, Benjamin Weyers & Wolfram Luther
Semi-Automatic Modeling of Bones for Real-Time Surgery Support. In Khalifa Djemal(Ed.): Medical Image Analysis and Description for Diagnosis Systems. Proceedings of the First International Workshop on Medical Image Analysis and Description for Diagnosis Systems - MIAD 2009, in conjunction with BIOSTEC 2009, Porto, Portugal - January 2009, 13-23.

2008

Nelson Baloian, Wolfram Luther, Dirk Söffker & Yoshiyori Urano (Eds.)
Multimodal Human-Maschine Interaction in Different Application Scenarios, Readings of the Summer Academy, Santiago de Chile 2008, Logos-Verlag, Berlin, 2008, ISBN 978-3-8325-2100-4

Nelson Baloian, Henning Breuer, Wolfram Luther, Philipp Kraft, Chr. Middleton & Thorsten Putzer
Algorithm Visualization Using Concept Keyboards, In: Multimodal Human-Maschine Interaction in Different Application Scenarios, Readings of the Summer Academy, Santiago de Chile 2008, Logos-Verlag, Berlin, 2008, ISBN 978-3-8325-2100-4, pp. 86-94.

Nelson Baloian & Wolfram Luther
Cooperative Visualization of Cryptographic Protocols Using Koncept Keyboards, In: Multimodal Human-Maschine Interaction in Different Application Scenarios, Readings of the Summer Academy, Santiago de Chile 2008, Logos-Verlag, Berlin, 2008, ISBN 978-3-8325-2100-4, pp. 94-103.

Benjamin Weyers & Wolfram Luther
An Error-Driven Approach for Automated User-Interface Design, In: Multimodal Human-Maschine Interaction in Different Application Scenarios, Readings of the Summer Academy, Santiago de Chile 2008, Logos-Verlag, Berlin, 2008, ISBN 978-3-8325-2100-4, pp. 104-113.

Roger Cuypers & Wolfram Luther
GUI Interaction and Geometric Modeling for Surgical Planning, In: Multimodal Human-Maschine Interaction in Different Application Scenarios, Readings of the Summer Academy, Santiago de Chile 2008, Logos-Verlag, Berlin, 2008, ISBN 978-3-8325-2100-4, pp. 114-123.

Sebastian Kempken, Gerhard Hasslinger & Wolfram Luther
Parameter estimation and optimization techniques for discrete-time semi-Markov models of H.264/AVC video traffic. Telecommunication Systems, Spinger Netherlands, 2008. ISSN 1018-4864, doi: 10.1007/s11235-008-9113-1

Daniel Biella & Wolfram Luther
A General Framework for Replicated Experiments in Virtual 3D Environments, Proceedings of the 4th International Conference on Web Information Systems and Technologies (WEBIST2008), Vol. 1, pp. 316-323

A. Cuyt, W. Krämer, W. Luther & P. Markstein (Eds.):
Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings 08021, Dagstuhl Seminar 08021, 06.01. - 11.01.2008, ISSN 1862 - 4405.

Eva Dyllong
A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling. In: Dagstuhl Seminar Proceedings 08021, Dagstuhl Seminar 08021, 06.01. - 11.01.2008, ISSN 1862 - 4405.

Ekaterina Auer & Wolfram Luther
Numerical Verification Assessment in Computational Biomechanics. In: Dagstuhl Seminar Proceedings 08021, Dagstuhl Seminar 08021, 06.01. - 11.01.2008, ISSN 1862 - 4405.

R. Cuypers, Z. Tang, W. Luther & J. Pauli
Efficient and Accurate Femur Reconstruction using Model-based Segmentation and Superquadric Shapes. Proceedings Telehealth and Assistive Technologies ~ TeleHealth/AT 2008 - Editor(s): R. Merrell, R.A. Cooper 4/16/2008 - 4/18/2008 Baltimore USA, ACTA Press 2008

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther & Nathalie Revol
Reliable Implementation of Real Number Algorithms: Theory and Practice, Proceedings of Dagstuhl Seminar 06021, Lecture Notes in Computer Science, 5045, Springer, 2008. doi: 10.1007/978-3-540-85521-7

Ekaterina Auer, Andreas Rauh, Eberhard Hofer & Wolfram Luther
Validated Modeling of Mechanical Systems with SMARTMOBILE: Improvement of Performance by VALENCIA-IVP. In: Reliable Implementation of Real Number Algorithms: Theory and Practice, Proceedings of Dagstuhl Seminar 06021, Lecture Notes in Computer Science, 5045, Springer, 2008, pp. 1-27 doi: 10.1007/978-3-540-85521-7_1

Eva Dyllong
Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations. In: Reliable Implementation of Real Number Algorithms: Theory and Practice, Proceedings of Dagstuhl Seminar 06021, Lecture Notes in Computer Science, 5045, Springer, 2008, pp. 44-56. doi: 10.1007/978-3-540-85521-7_3

Sebastian Kempken & Wolfram Luther
Verified Methods in Stochastic Traffic Modelling In: Reliable Implementation of Real Number Algorithms: Theory and Practice, Proceedings of Dagstuhl Seminar 06021, Lecture Notes in Computer Science, 5045, Springer, 2008, pp. 83-101. doi: 10.1007/978-3-540-85521-7_5

Druckversion
@ Universität Duisburg-Essen, Fak. IngWi, Abt. INKO, Fachgebiet SCG Kontakt webmaster (at) inf.uni-due.de -- Login