Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1718 Publications
2012 | Journal Article | LibreCat-ID: 21757
Teaching 3D Computer Animation to Illustrators: The Instructor as Translator and Technical Director
W.F. Koning, IEEE Computer Graphics and Applications 32 (2012) 81–83.
LibreCat
| DOI
W.F. Koning, IEEE Computer Graphics and Applications 32 (2012) 81–83.
2012 | Conference Paper | LibreCat-ID: 788
OpenNetInf - prototyping an information-centric Network Architecture
C. Dannewitz, M. Herlich, H. Karl, in: 37th Annual IEEE Conference on Local Computer Networks, Workshop Proceedings, Clearwater Beach, FL, USA, October 22-25, 2012, 2012, pp. 1061--1069.
LibreCat
| DOI
C. Dannewitz, M. Herlich, H. Karl, in: 37th Annual IEEE Conference on Local Computer Networks, Workshop Proceedings, Clearwater Beach, FL, USA, October 22-25, 2012, 2012, pp. 1061--1069.
2012 | Conference Paper | LibreCat-ID: 581
Self-Organizing Particle Systems
M. Drees, M. Hüllmann (married name: Eikel), A. Koutsopoulos, C. Scheideler, in: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1272–1283.
LibreCat
| Files available
| DOI
M. Drees, M. Hüllmann (married name: Eikel), A. Koutsopoulos, C. Scheideler, in: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1272–1283.
2012 | Conference Paper | LibreCat-ID: 590
Predicate Analysis with Block-Abstraction Memoization
D. Wonisch, H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–347.
LibreCat
| Files available
| DOI
D. Wonisch, H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–347.
2012 | Report | LibreCat-ID: 602
Learning by Trading in Infinite Horizon Strategic Market Games with Default
S. Brangewitz, Learning by Trading in Infinite Horizon Strategic Market Games with Default, Universität Paderborn, 2012.
LibreCat
| Files available
S. Brangewitz, Learning by Trading in Infinite Horizon Strategic Market Games with Default, Universität Paderborn, 2012.
2012 | Conference Paper | LibreCat-ID: 608
Heuristic-Guided Abstraction Refinement for Concurrent Systems
N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
LibreCat
| Files available
| DOI
N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
2012 | Conference Paper | LibreCat-ID: 619
Distributed Computing in Fault-Prone Dynamic Networks
P. Brandes, F. Meyer auf der Heide, in: Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14.
LibreCat
| Files available
| DOI
P. Brandes, F. Meyer auf der Heide, in: Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14.
2012 | Conference Paper | LibreCat-ID: 622
Coverage Criteria for Testing DMM Specifications
S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
LibreCat
| Files available
| DOI
S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
2012 | Conference Paper | LibreCat-ID: 640
A Self-Stabilization Process for Small-World Networks
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1261--1271.
LibreCat
| Files available
| DOI
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1261--1271.
2012 | Conference Paper | LibreCat-ID: 9784
An efficient simulation technique for high-frequency piezoelectric inertia motors
M. Hunstig, T. Hemsel, W. Sextro, in: Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 277–280.
LibreCat
| DOI
M. Hunstig, T. Hemsel, W. Sextro, in: Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 277–280.
2012 | Conference Paper | LibreCat-ID: 9791
Conceptual Design of Advanced Condition Monitoring for a Self-Optimizing System based on its Principle Solution
C. Sondermann-Wölke , T. Meyer, R. Dorociak, J. Gausemeier, W. Sextro, in: Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference (PSAM11) and The Annual European Safety and Reliability Conference (ESREL2012), Helsinki, Finland, 2012.
LibreCat
C. Sondermann-Wölke , T. Meyer, R. Dorociak, J. Gausemeier, W. Sextro, in: Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference (PSAM11) and The Annual European Safety and Reliability Conference (ESREL2012), Helsinki, Finland, 2012.
2012 | Conference Paper | LibreCat-ID: 4134
Nanosphere Lithography: State-of-the-art and Future Directions
J. Lindner, in: 2012.
LibreCat
J. Lindner, in: 2012.
2012 | Book Chapter | LibreCat-ID: 4381
Coherent optoelectronics with quantum dots
S. Michaelis de Vasconcellos, S. Gordon, D. Mantei, Y.A. Leier, M. Al-Hmoud, W. Quiring, A. Zrenner, in: F. Jahnke (Ed.), QUANTUM OPTICS WITH SEMICONDUCTOR NANOSTRUCTURES, Woodhead Publishing, 2012, pp. 528–559.
LibreCat
S. Michaelis de Vasconcellos, S. Gordon, D. Mantei, Y.A. Leier, M. Al-Hmoud, W. Quiring, A. Zrenner, in: F. Jahnke (Ed.), QUANTUM OPTICS WITH SEMICONDUCTOR NANOSTRUCTURES, Woodhead Publishing, 2012, pp. 528–559.
2012 | Journal Article | LibreCat-ID: 5183
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
LibreCat
| Files available
| DOI
| Download (ext.)
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
2012 | Conference Paper | LibreCat-ID: 11745 | 
Improved Noise Power Spectral Density Tracking by a MAP-based Postprocessor
A. Chinaev, A. Krueger, D.H. Tran Vu, R. Haeb-Umbach, in: 37th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2012), 2012.
LibreCat
| Files available
| Download (ext.)
A. Chinaev, A. Krueger, D.H. Tran Vu, R. Haeb-Umbach, in: 37th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2012), 2012.
2012 | Journal Article | LibreCat-ID: 16109
Multiphoton state engineering by heralded interference between single photons and coherent states
T. Bartley, G. Donati, J.B. Spring, X.-M. Jin, M. Barbieri, A. Datta, B.J. Smith, I.A. Walmsley, Physical Review A (2012).
LibreCat
| DOI
T. Bartley, G. Donati, J.B. Spring, X.-M. Jin, M. Barbieri, A. Datta, B.J. Smith, I.A. Walmsley, Physical Review A (2012).
2012 | Conference Paper | LibreCat-ID: 16408
Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes
T. Suess, C. Koch, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2012, pp. 502–512.
LibreCat
| DOI
T. Suess, C. Koch, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2012, pp. 502–512.
2012 | Conference Paper | LibreCat-ID: 30550
Time-domain steady-state modeling of series-parallel resonant converter under optimized modulation
Z. Cao, J. Tao, N. Fröhleke, J. Böcker, in: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, IEEE, 2012.
LibreCat
| DOI
Z. Cao, J. Tao, N. Fröhleke, J. Böcker, in: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, IEEE, 2012.
2012 | Conference Paper | LibreCat-ID: 22164
Tensile and Flexural Properties of Fused Deposition Modeling Parts Manufactured with ULTEM*9085
A. Bagsik, V. Schöppner, E. Klemp, in: 1st International Conference on Thermo-Mechanically Graded Materials, 2012, pp. 129–134.
LibreCat
A. Bagsik, V. Schöppner, E. Klemp, in: 1st International Conference on Thermo-Mechanically Graded Materials, 2012, pp. 129–134.
2012 | Conference Paper | LibreCat-ID: 22024
Extensive Analysis of the mechanical strength properties of Fused Deposition Modeling Parts manufactured with ULTEM 9085
A. Bagsik, V. Schöppner, E. Klemp, in: 5th International Conference on Polymer and Mould Innovations, Centre for Polymer and Material Technology, Univ. College, Ghent Univ., Ghent, 2012, pp. 266–272.
LibreCat
| DOI
A. Bagsik, V. Schöppner, E. Klemp, in: 5th International Conference on Polymer and Mould Innovations, Centre for Polymer and Material Technology, Univ. College, Ghent Univ., Ghent, 2012, pp. 266–272.