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.
9315 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 | Conference Paper | LibreCat-ID: 3160
S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Opacity of a Pessimistic {STM},” in 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, 2016, pp. 35:1--35:17.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
T. Isenberg, M.-}Christine Jakobs, F. Pauck, and H. Wehrheim, “Deriving approximation tolerance constraints from verification runs,” CoRR, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27036
M. Schröder, K. Müller, M. Falkenstein, P. Stehle, M. Kersting, and L. Libuda, “Lunch at school and children’s cognitive functioning in the early afternoon: results from the Cognition Intervention Study Dortmund Continued (CoCo),” British Journal of Nutrition, pp. 1298–1305, 2016, doi: 10.1017/s0007114516002932.
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: 27249
V. Schöppner, S. Littek, A. Döring, and D. Kuckling, “Berechnung des Materialabbaus von PP und PS in der Plastifiziereinheit Teil 1: Belastung und Materialmodellierung,” Zeitschrift Kunststofftechnik / Journal of Plastics Technology, p. 18, 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: 27483
G. Rehage, F. Isenberg, R.-E. Reisch, J. Weber, B. Jurke, and P. Pruschek, “Intelligente Arbeitsvorbereitung in der Cloud,” wt Werkstattstechnik online (1/2-2016), pp. 077–082, 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 | Encyclopedia Article | LibreCat-ID: 1152 |
M. Geierhos, “Webmonitoring,” in Enzyklopädie der Wirtschaftsinformatik, 9th ed., N. Gronau, J. Becker, E. Sinz, L. Suhl, and J. M. Leimeister, Eds. Berlin, Germany: GITO-Verlag, 2016.
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1153 |
M. Geierhos, “Sentimentanalyse,” in Enzyklopädie der Wirtschaftsinformatik, 9th ed., N. Gronau, J. Becker, E. Sinz, L. Suhl, and J. M. Leimeister, Eds. Berlin, Germany: GITO-Verlag, 2016.
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1154 |
M. Geierhos, “Text Mining,” in Enzyklopädie der Wirtschaftsinformatik, 9th ed., N. Gronau, J. Becker, E. Sinz, L. Suhl, and J. M. Leimeister, Eds. Berlin, Germany: GITO-Verlag, 2016.
LibreCat
| Download (ext.)