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.
7542 Publications
2016 | Conference Paper | LibreCat-ID: 3880
H. Wachsmuth, “Pipelines Für Effiziente und Robuste Ad-hoc Textanalyse,” in Ausgezeichnete Informatikdissertationen 2015, 2016, pp. 329–338.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3884 | 
Y. Kou and J. Förstner, “Discrete plasmonic solitons in graphene-coated nanowire arrays,” Optics Express, vol. 24, no. 5, p. 4714, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3886
J. Alberti, H. Linnenbank, S. Linden, Y. Grynko, and J. Förstner, “The role of electromagnetic interactions in second harmonic generation from plasmonic metamaterials,” Applied Physics B, vol. 122, no. 2, pp. 45–50, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3115
D. Hofheinz, T. Jager, D. Khurana, A. Sahai, B. Waters, and M. Zhandry, “How to Generate and Use Universal Samplers,” in Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II, 2016, pp. 715--744.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3117
C. Bader, T. Jager, Y. Li, and S. Schäge, “On the Impossibility of Tight Cryptographic Reductions,” in Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II, 2016, pp. 273--304.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3118
D. Hofheinz, T. Jager, and A. Rupp, “Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts,” in Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II, 2016, pp. 146--168.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
S. Beringer and H. Wehrheim, “Verification of AUTOSAR Software Architectures with Timed Automata,” in Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, pp. 189--204.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
O. Travkin and H. Wehrheim, “Verification of Concurrent Programs on Weak Memory Models,” in Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
G. Schellhorn, O. Travkin, and H. Wehrheim, “Towards a Thread-Local Proof Technique for Starvation Freedom,” in Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
R. Muckelbauer et al., “Changes in water and sugar-containing beverage consumption and body weight outcomes in children,” British Journal of Nutrition, pp. 2057–2066, 2016, doi: 10.1017/s0007114516001136.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27264
E. Moritzer, Y. Martin, and E. Müller, “Spritzgießdirektcompoundierung (SGDC) - Produktspezifische Materialentwicklung im Spritzgießprozess,” Kunststofftechnik - Spritzgießen 2016, no. 1, pp. 27–39, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27445
D. Eckelt, J. Gausemeier, and C. U. Gronemeyer, “Management des geistigen Eigentums im Rahmen der strategischen Produktplanung,” 12. Symposium für Vorausschau und Technologieplanung 8. und 9. Dezember 2016, pp. 289–316, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 27446
A. Kühn, R. Dumitrescu, and J. Gausemeier, “Strategische Release-Planung als Ansatz zur systematischen Produktwertsteigerung,” in Vorausschau und Technologieplanung, 12. Symposium für Vorausschau und Technologieplanung, 8. und 9. Dezember 2016, Heinz Nixdorf Institut, Universität Paderborn, 2016, pp. 159–176.
LibreCat
2016 | Journal Article | LibreCat-ID: 27458
J. Berssenbrügge, A. Trächtler, and C. Schmidt, “Visualization of Headlight Illumination for the Virtual Prototyping of Light-Based Driver Assistance Systems,” Journal of Computing and Information Science in Engineering, Band 16(3), 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27474
P. Iwanek and A. Kühn, “Die sich selbst optimierende Lackieranlage,” Journal für Oberflächentechnik 3(56), pp. 28–31, 2016.
LibreCat