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.
8508 Publications
2017 | Conference Paper | LibreCat-ID: 66
M. Drees, M. Feldotto, S. Riechers, and A. Skopalik, “Pure Nash Equilibria in Restricted Budget Games,” in Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON), 2017, pp. 175--187.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 67
M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 68
T. Isenberg, M. Platzner, H. Wehrheim, and T. Wiersema, “Proof-Carrying Hardware via Inductive Invariants,” ACM Transactions on Design Automation of Electronic Systems, no. 4, pp. 61:1--61:23, 2017.
LibreCat
| Files available
| DOI
2017 | Dissertation | LibreCat-ID: 685
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 69
M.-C. Jakobs and H. Wehrheim, “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software,” ACM Transactions on Programming Languages and Systems, no. 2, pp. 7:1-7:56, 2017.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 696
L. Wachowiak, Das Mobile Server Problem in Netzwerken. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 697
M. Burkhardt, Untersuchungen zum Cone-Hashing. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 16791
A. Dietrich, B. Nacke, F. Pfeifer, T. Marten, and T. Tröster, “Investigation of geometrical discontinuities in blanks for hot sheet metal forming process under the influence of induction heating,” presented at the 5th International Conference on Steels in Cars and Trucks, Noordwijkerhout/Amsterdam, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 16792
A. Dietrich, B. Nacke, F. Pfeifer, T. Marten, and T. Tröster, “Effects of Holes in Blanks for Press Hardening Process due to Induction Heating,” presented at the XVIII International UIE-Congress Electrotechnologies for Material Processing, Hannover, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 104
D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1048
A. Schenk, Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1049
B. Beckendorfer, Visualisierung zu Algorithmen verteilter Netzwerksysteme. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 105
R. Gmyr, K. Hinnenthal, C. Scheideler, and C. Sohler, “Distributed Monitoring of Network Properties: The Power of Hybrid Networks,” in Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017, pp. 137:1--137:15.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 1054
J. Brosig-Koch, B. Hehenkamp, and J. Kokot, “The effects of competition on medical service provision,” Health Economics, vol. 26, no. 53, pp. 6–20, 2017.
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 1055
B. Hehenkamp and O. Kaarboe, Location Choice and Quality Competition in Mixed Hospital Markets. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Report | LibreCat-ID: 1056
Y. Gu, B. Hehenkamp, and W. Leininger, Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Report | LibreCat-ID: 1057
O. Sürücü, B. Mir Djawadi, and S. 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 | 
S. Peitz, Exploiting structure in multiobjective optimization and optimal control. 2017.
LibreCat
| Files available
| DOI
| Download (ext.)