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.
1919 Publications
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
2012 | Conference Paper | LibreCat-ID: 11925 |
Walter, Oliver, et al. “Smartphone-Based Sensor Fusion for Improved Vehicular Navigation.” 9th Workshop on Positioning Navigation and Communication (WPNC 2012), 2012.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 49699
Jacke, Christoph. “Der Club „Gleis 22". 25 Jahre andere Räume, andere Musiken, Kommunikation und Kreativität.” GLEIS 22 - Fünfundzwanzig Jahre Konzerte., edited by David Skroblin and Frank Dietrich, Oktober Verlag, 2012, pp. 6–8.
LibreCat
2012 | Journal Article | LibreCat-ID: 54937
Krueger, Bettina, et al. “Four Subunits ($\alpha$$\beta$$\gamma$$\delta$) of the Epithelial Sodium Channel (ENaC) Are Expressed in the Human Eye in Various Locations.” Investigative Opthalmology & Visual Science, vol. 53, no. 2, Association for Research in Vision and Ophthalmology (ARVO), 2012, pp. 596–604, doi:10.1167/iovs.11-8581.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 54930
Zuehlke, Jonathan, et al. “Vectorial Secretion of CTGF as a Cell-Type Specific Response to LPA and TGF-$\beta$ in Human Tubular Epithelial Cells.” Cell Communication and Signaling, vol. 10, no. 1, Springer, 2012, doi:10.1186/1478-811x-10-25.
LibreCat
| DOI