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.
1717 Publications
2012 | Conference Paper | LibreCat-ID: 788
Dannewitz, Christian, et al. “OpenNetInf - Prototyping an Information-Centric Network Architecture.” 37th Annual IEEE Conference on Local Computer Networks, Workshop Proceedings, Clearwater Beach, FL, USA, October 22-25, 2012, 2012, pp. 1061--1069, doi:10.1109/LCNW.2012.6424044.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 581
Drees, Maximilian, et al. “Self-Organizing Particle Systems.” Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1272–83, doi:10.1109/IPDPS.2012.116.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 590
Wonisch, Daniel, and Heike Wehrheim. “Predicate Analysis with Block-Abstraction Memoization.” Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–47, doi:10.1007/978-3-642-34281-3_24.
LibreCat
| Files available
| DOI
2012 | Report | LibreCat-ID: 602
Brangewitz, Sonja. Learning by Trading in Infinite Horizon Strategic Market Games with Default. Universität Paderborn, 2012.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 608
Timm, Nils, et al. “Heuristic-Guided Abstraction Refinement for Concurrent Systems.” Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–63, doi:10.1007/978-3-642-34281-3_25.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 619
Brandes, Philipp, and Friedhelm Meyer auf der Heide. “Distributed Computing in Fault-Prone Dynamic Networks.” Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14, doi:10.1145/2414815.2414818.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 622
Arifulina, Svetlana, et al. “Coverage Criteria for Testing DMM Specifications.” Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012, doi:10.14279/tuj.eceasst.47.718.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 640
Kniesburges, Sebastian, et al. “A Self-Stabilization Process for Small-World Networks.” Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1261--1271, doi:10.1109/IPDPS.2012.115.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 9784
Hunstig, Matthias, et al. “An Efficient Simulation Technique for High-Frequency Piezoelectric Inertia Motors.” Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 277–80, doi:10.1109/ULTSYM.2012.0068.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 9791
Sondermann-Wölke , Christoph, et al. “Conceptual Design of Advanced Condition Monitoring for a Self-Optimizing System Based on Its Principle Solution.” 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
Lindner, Jörg. Nanosphere Lithography: State-of-the-Art and Future Directions. 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 4381
Michaelis de Vasconcellos, Steffen, et al. “Coherent Optoelectronics with Quantum Dots.” QUANTUM OPTICS WITH SEMICONDUCTOR NANOSTRUCTURES, edited by Frank Jahnke, Woodhead Publishing, 2012, pp. 528–59.
LibreCat
2012 | Journal Article | LibreCat-ID: 5183
Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.” ACM Transactions on Programming Languages and Systems, vol. 34, no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:10.1145/2220365.2220366.
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 11745 | 
Chinaev, Aleksej, et al. “Improved Noise Power Spectral Density Tracking by a MAP-Based Postprocessor.” 37th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2012), 2012.
LibreCat
| Files available
| Download (ext.)
2012 | Journal Article | LibreCat-ID: 16109
Bartley, Tim, et al. “Multiphoton State Engineering by Heralded Interference between Single Photons and Coherent States.” Physical Review A, 2012, doi:10.1103/physreva.86.043820.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16408
Suess, Tim, et al. “Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes.” Advances in Visual Computing, vol. 7431, 2012, pp. 502–12, doi:10.1007/978-3-642-33179-4_48.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 30550
Cao, Zhiyu, et al. “Time-Domain Steady-State Modeling of Series-Parallel Resonant Converter under Optimized Modulation.” IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, IEEE, 2012, doi:10.1109/iecon.2012.6388646.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 22164
Bagsik, A., et al. “Tensile and Flexural Properties of Fused Deposition Modeling Parts Manufactured with ULTEM*9085.” 1st International Conference on Thermo-Mechanically Graded Materials, vol. 1, 2012, pp. 129–34.
LibreCat
2012 | Conference Paper | LibreCat-ID: 22024
Bagsik, A., et al. “Extensive Analysis of the Mechanical Strength Properties of Fused Deposition Modeling Parts Manufactured with ULTEM 9085.” 5th International Conference on Polymer and Mould Innovations, vol. 5, Centre for Polymer and Material Technology, Univ. College, Ghent Univ., 2012, pp. 266–72, doi:https://www.tib.eu/de/suchen/id/TIBKAT%3A756276616.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 35341
Medronho, Bruno, et al. “Transient and Steady-State Shear Banding in a Lamellar Phase as Studied by Rheo-NMR.” Zeitschrift Für Physikalische Chemie, vol. 226, no. 11–12, Walter de Gruyter GmbH, 2012, pp. 1293–314, doi:10.1524/zpch.2012.0313.
LibreCat
| DOI