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.
1864 Publications
2012 | Conference Paper | LibreCat-ID: 788
C. Dannewitz, M. Herlich, and H. Karl, “OpenNetInf - prototyping an information-centric Network Architecture,” 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
2012 | Conference Paper | LibreCat-ID: 581
M. Drees, M. Hüllmann (married name: Eikel), A. Koutsopoulos, and C. Scheideler, “Self-Organizing Particle Systems,” in Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1272–1283.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 590
D. Wonisch and H. Wehrheim, “Predicate Analysis with Block-Abstraction Memoization,” in Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–347.
LibreCat
| Files available
| DOI
2012 | Report | LibreCat-ID: 602
S. Brangewitz, Learning by Trading in Infinite Horizon Strategic Market Games with Default. Universität Paderborn, 2012.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 608
N. Timm, H. Wehrheim, and M. Czech, “Heuristic-Guided Abstraction Refinement for Concurrent Systems,” in Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 619
P. Brandes and F. Meyer auf der Heide, “Distributed Computing in Fault-Prone Dynamic Networks,” in Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 622
S. Arifulina, G. Engels, and C. Soltenborn, “Coverage Criteria for Testing DMM Specifications,” in Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 640
S. Kniesburges, A. Koutsopoulos, and C. Scheideler, “A Self-Stabilization Process for Small-World Networks,” in Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1261--1271.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 9791
C. Sondermann-Wölke , T. Meyer, R. Dorociak, J. Gausemeier, and W. Sextro, “Conceptual Design of Advanced Condition Monitoring for a Self-Optimizing System based on its Principle Solution,” in Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference (PSAM11) and The Annual European Safety and Reliability Conference (ESREL2012), 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 4134
J. Lindner, “Nanosphere Lithography: State-of-the-art and Future Directions,” presented at the E-MRS Fall Meeting 2012, Warsaw (Poland), 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 4381
S. Michaelis de Vasconcellos et al., “Coherent optoelectronics with quantum dots,” in QUANTUM OPTICS WITH SEMICONDUCTOR NANOSTRUCTURES, F. Jahnke, Ed. Woodhead Publishing, 2012, pp. 528–559.
LibreCat
2012 | Journal Article | LibreCat-ID: 5183
E. Bodden, P. Lam, and L. Hendren, “Partially Evaluating Finite-State Runtime Monitors Ahead of Time,” ACM Transactions on Programming Languages and Systems, vol. 34, no. 2, pp. 1–52, 2012.
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 11745 | 
A. Chinaev, A. Krueger, D. H. Tran Vu, and R. Haeb-Umbach, “Improved Noise Power Spectral Density Tracking by a MAP-based Postprocessor,” in 37th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2012), 2012.
LibreCat
| Files available
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 16408
T. Suess, C. Koch, C. Jähn, M. Fischer, and F. Meyer auf der Heide, “Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes,” in Advances in Visual Computing, 2012, vol. 7431, pp. 502–512, doi: 10.1007/978-3-642-33179-4_48.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 30550
Z. Cao, J. Tao, N. Fröhleke, and J. Böcker, “Time-domain steady-state modeling of series-parallel resonant converter under optimized modulation,” 2012, doi: 10.1109/iecon.2012.6388646.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 22164
A. Bagsik, V. Schöppner, and E. Klemp, “Tensile and Flexural Properties of Fused Deposition Modeling Parts Manufactured with ULTEM*9085,” in 1st International Conference on Thermo-Mechanically Graded Materials, 2012, vol. 1, pp. 129–134.
LibreCat