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.
12215 Publications
2016 | Conference Paper | LibreCat-ID: 3118
Hofheinz, Dennis, Tibor Jager, and Andy 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, 146--168, 2016. https://doi.org/10.1007/978-3-662-53644-5_6.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3119
Hofheinz, Dennis, and Tibor Jager. “Verifiable Random Functions from Standard Assumptions.” In Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, 336--362, 2016. https://doi.org/10.1007/978-3-662-49096-9_14.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer, Steffen, and Heike 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, edited by Maurice H. ter Beek, Stefania Gnesi, and Alexander Knapp, 189--204. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-45943-1_13.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
Travkin, Oleg, and Heike 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, edited by Augusto Sampaio and Farn Wang, 3--24. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-46750-4_1.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
Schellhorn, Gerhard, Oleg Travkin, and Heike 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, edited by Marieke Huisman, 193--209. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-33693-0_13.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
Doherty, Simon, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. “Proving Opacity of a Pessimistic {STM}.” In 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, edited by Panagiota Fatourou, Ernesto Jim{\’{e}}nez, and Fernando Pedone, 35:1--35:17. LIPIcs, 2016. https://doi.org/10.4230/LIPIcs.OPODIS.2016.35.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
Isenberg, Tobias, Marie{-}Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Deriving Approximation Tolerance Constraints from Verification Runs.” CoRR, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27037
Muckelbauer, Rebecca, Steven L. Gortmaker, Lars Libuda, Mathilde Kersting, Kerstin Clausen, Bettina Adelberger, and Jacqueline Müller-Nordhorn. “Changes in Water and Sugar-Containing Beverage Consumption and Body Weight Outcomes in Children.” British Journal of Nutrition, 2016, 2057–66. https://doi.org/10.1017/s0007114516001136.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27264
Moritzer, Elmar, Y. Martin, and E. Müller. “Spritzgießdirektcompoundierung (SGDC) - Produktspezifische Materialentwicklung Im Spritzgießprozess.” Kunststofftechnik - Spritzgießen 2016, no. 1 (2016): 27–39.
LibreCat
2016 | Journal Article | LibreCat-ID: 27451
Eckelt, Daniel, Christian Dülme, Jürgen Gausemeier, and Simon Hemel. “Detecting White Spots in Innovation-Driven Intellectual Property Management.” Technology Innovation Management Review 6(7), 2016, 34–47.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 27452
Kage, Martin, Marvin Drewel, Jürgen Gausemeier, and Marcel Schneider. “Value Network Design for Innovations: Developing Alternative Value Network Drafts.” Technology Innovation Management Review 6(7), 2016, 21–33.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 27458
Berssenbrügge, Jan, Ansgar Trächtler, and Christoph 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
Iwanek, Peter, and Arno Kühn. “Die sich selbst optimierende Lackieranlage.” Journal für Oberflächentechnik 3(56), 2016, 28–31.
LibreCat
2016 | Conference Paper | LibreCat-ID: 1151 | 
Stotz, Sophia, and Michaela 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, 378–81. Duisburg, Germany: Nisaba-Verlag, 2016.
LibreCat
| Download (ext.)
2016 | Mastersthesis | LibreCat-ID: 210
Leder, Lennart. Congestion Games with Mixed Objectives. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 211
Brangewitz, Sonja, and Jochen Manegold. “Competition of Intermediaries in a Differentiated Duopoly.” Theoretical Economics Letters 6, no. 6 (2016): 1341–62. https://doi.org/10.4236/tel.2016.66124.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 212
Manegold, Jochen. Competition in Markets with Intermediaries. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 213
Porzenheim, Laurens. Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 214
Bemmann, Kai Sören. Commitment Schemes - Definitions, Variants, and Security. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 215
Drees, Maximilian, Robert Gmyr, and Christian Scheideler. “Churn- and DoS-Resistant Overlay Networks Based on Network Reconfiguration.” In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 417--427, 2016. https://doi.org/10.1145/2935764.2935783.
LibreCat
| Files available
| DOI