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.
7891 Publications
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: 27451
D. Eckelt, C. Dülme, J. Gausemeier, and S. Hemel, “Detecting White Spots in Innovation-Driven Intellectual Property Management,” Technology Innovation Management Review 6(7), pp. 34–47, 2016.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 27452
M. Kage, M. Drewel, J. Gausemeier, and M. Schneider, “Value Network Design for Innovations: Developing Alternative Value Network Drafts,” Technology Innovation Management Review 6(7), pp. 21–33, 2016.
LibreCat
| Download (ext.)
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
2016 | Conference Paper | LibreCat-ID: 1151 | 
S. Stotz and M. Geierhos, “Wie verhalten sich Aktionäre bei Unternehmenszusammenschlüssen? Modellierung sprachlicher Muster zur Analyse treibender Faktoren bei der Berichterstattung,” in DHd 2016: Modellierung - Vernetzung - Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts, Universität Leipzig, 7. bis 12. März 2016, Leipzig, Germany, 2016, pp. 378–381.
LibreCat
| Download (ext.)
2016 | Conference (Editor) | LibreCat-ID: 21507
D. Hein, G. Meschut, G. Tümkaya, and DVS Media GmbH, Eds., Erweichungszonen beim Widerstandspunktschweißen von DP- und CP-Stählen – Analyse und Bewertung der Verbindungen im Hinblick auf die Tragfähigkeit, vol. 327. Düsseldorf: DVS Media GmbH, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 173
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 174
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 175
S. Walther and H. Wehrheim, “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs,” Science of Computer Programming, pp. 2--23, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 176 |
M. Dollmann and M. Geierhos, “On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements,” in Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), Austin, TX, USA, 2016, pp. 1807–1816.
LibreCat
| Files available
| Download (ext.)