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.
8507 Publications
2017 | Conference Paper | LibreCat-ID: 66
Drees, M., Feldotto, M., Riechers, S., & Skopalik, A. (2017). Pure Nash Equilibria in Restricted Budget Games. In Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON) (pp. 175--187). https://doi.org/10.1007/978-3-319-62389-4_15
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 67
Jürgens, M. (2017). Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn.
LibreCat
2017 | Journal Article | LibreCat-ID: 6725
Czerwinski, W., Martens, W., van Rooijen, L., Zeitoun, M., & Zetzsche, G. (2017). A Characterization for Decidable Separability by Piecewise Testable Languages. Discrete Mathematics & Theoretical Computer Science, 19(4). https://doi.org/10.23638/DMTCS-19-4-1
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 68
Isenberg, T., Platzner, M., Wehrheim, H., & Wiersema, T. (2017). Proof-Carrying Hardware via Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems, (4), 61:1--61:23. https://doi.org/10.1145/3054743
LibreCat
| Files available
| DOI
2017 | Dissertation | LibreCat-ID: 685
Jakobs, M.-C. (2017). On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-104
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 69
Jakobs, M.-C., & Wehrheim, H. (2017). Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Transactions on Programming Languages and Systems, (2), 7:1-7:56. https://doi.org/10.1145/3014427
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 696
Wachowiak, L. (2017). Das Mobile Server Problem in Netzwerken. Universität Paderborn.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 697
Burkhardt, M. (2017). Untersuchungen zum Cone-Hashing. Universität Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 16791
Dietrich, A., Nacke, B., Pfeifer, F., Marten, T., & Tröster, T. (2017). 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.
LibreCat
2017 | Conference Paper | LibreCat-ID: 16792
Dietrich, A., Nacke, B., Pfeifer, F., Marten, T., & Tröster, T. (2017). 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.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 104
Diemert, D. (2017). EAX - An Authenticated Encryption Mode for Block Ciphers. Universität Paderborn.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1048
Schenk, A. (2017). Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen. Universität Paderborn.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1049
Beckendorfer, B. (2017). Visualisierung zu Algorithmen verteilter Netzwerksysteme. Universität Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 105
Gmyr, R., Hinnenthal, K., Scheideler, C., & Sohler, C. (2017). Distributed Monitoring of Network Properties: The Power of Hybrid Networks. In Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP) (pp. 137:1--137:15). https://doi.org/10.4230/LIPIcs.ICALP.2017.137
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 1054
Brosig-Koch, J., Hehenkamp, B., & Kokot, J. (2017). The effects of competition on medical service provision. Health Economics, 26(53), 6–20. https://doi.org/10.1002/hec.3583
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 1055
Hehenkamp, B., & Kaarboe, O. (2017). Location Choice and Quality Competition in Mixed Hospital Markets. Universität Paderborn.
LibreCat
| Files available
2017 | Report | LibreCat-ID: 1056
Gu, Y., Hehenkamp, B., & Leininger, W. (2017). Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation. Universität Paderborn.
LibreCat
| Files available
2017 | Report | LibreCat-ID: 1057
Sürücü, O., Mir Djawadi, B., & Brangewitz, S. (2017). Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries. Universität Paderborn.
LibreCat
| Files available
2017 | Dissertation | LibreCat-ID: 10594 | 
Peitz, S. (2017). Exploiting structure in multiobjective optimization and optimal control. https://doi.org/10.17619/UNIPB/1-176
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Mastersthesis | LibreCat-ID: 106
Krammer, I. (2017). Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz. Universität München.
LibreCat