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.
8506 Publications
2017 | Bachelorsthesis | LibreCat-ID: 67
Jürgens, Mirko. Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 6725
Czerwinski, Wojciech, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, and Georg Zetzsche. “A Characterization for Decidable Separability by Piecewise Testable Languages.” Discrete Mathematics & Theoretical Computer Science 19, no. 4 (2017). https://doi.org/10.23638/DMTCS-19-4-1.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 68
Isenberg, Tobias, Marco Platzner, Heike Wehrheim, and Tobias Wiersema. “Proof-Carrying Hardware via Inductive Invariants.” ACM Transactions on Design Automation of Electronic Systems, no. 4 (2017): 61:1--61:23. https://doi.org/10.1145/3054743.
LibreCat
| Files available
| DOI
2017 | Dissertation | LibreCat-ID: 685
Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-104.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 69
Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.” ACM Transactions on Programming Languages and Systems, no. 2 (2017): 7:1-7:56. https://doi.org/10.1145/3014427.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 696
Wachowiak, Lennart. Das Mobile Server Problem in Netzwerken. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 697
Burkhardt, Michel. Untersuchungen zum Cone-Hashing. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 16791
Dietrich, André, Bernard Nacke, Florian Pfeifer, Thorsten Marten, and Thomas Tröster. “Investigation of Geometrical Discontinuities in Blanks for Hot Sheet Metal Forming Process under the Influence of Induction Heating,” 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 16792
Dietrich, André, Bernard Nacke, Florian Pfeifer, Thorsten Marten, and Thomas Tröster. “Effects of Holes in Blanks for Press Hardening Process Due to Induction Heating,” 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 104
Diemert, Denis. EAX - An Authenticated Encryption Mode for Block Ciphers. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1048
Schenk, Andreas. Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1049
Beckendorfer, Björn. Visualisierung zu Algorithmen verteilter Netzwerksysteme. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 105
Gmyr, Robert, Kristian Hinnenthal, Christian Scheideler, and Christian Sohler. “Distributed Monitoring of Network Properties: The Power of Hybrid Networks.” In Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP), 137:1--137:15. Leibniz International Proceedings in Informatics (LIPIcs), 2017. https://doi.org/10.4230/LIPIcs.ICALP.2017.137.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 1054
Brosig-Koch, Janet, Burkhard Hehenkamp, and Johanna Kokot. “The Effects of Competition on Medical Service Provision.” Health Economics 26, no. 53 (2017): 6–20. https://doi.org/10.1002/hec.3583.
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 1055
Hehenkamp, Burkhard, and Oddvar Kaarboe. Location Choice and Quality Competition in Mixed Hospital Markets. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Report | LibreCat-ID: 1056
Gu, Yiguan, Burkhard Hehenkamp, and Wolfgang Leininger. Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Report | LibreCat-ID: 1057
Sürücü, Oktay, Behnud Mir Djawadi, and Sonja Brangewitz. Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Dissertation | LibreCat-ID: 10594 | 
Peitz, Sebastian. Exploiting Structure in Multiobjective Optimization and Optimal Control, 2017. https://doi.org/10.17619/UNIPB/1-176.
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Mastersthesis | LibreCat-ID: 106
Krammer, Isabel. Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz. Universität München, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 1062
Frick, Bernd, Olivier Gergaud, and Petra Winter. “The Revenue Potential of Product Differentiation: Empirical Evidence Fro the Croation Restaurant Industry.” Gastronomy and Tourism 2, no. 4 (2017): 259-271(13). https://doi.org/10.3727/216929717X15046207899410.
LibreCat
| Files available
| DOI