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.
2204 Publications
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: 695
J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen. Universität Paderborn, 2017.
LibreCat
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 | Book | LibreCat-ID: 16444
J. Gausemeier et al., Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Paderborn, 2017.
LibreCat
2017 | Book (Editor) | LibreCat-ID: 1648
W. Schmeisser, D. Krimphove, H. Zündorf, M. Toebe, and G. Hannemann, Eds., Finanzierung und Investition, 2nd ed. Stuttgart : UTB, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 16657
S. Peitz, K. Schäfer, S. Ober-Blöbaum, J. Eckstein, U. Köhler, and M. Dellnitz, “A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This research was funded by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe (it’s OWL).,” IFAC-PapersOnLine, pp. 8674–8679, 2017.
LibreCat
| DOI
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 | Journal Article | LibreCat-ID: 1683
D. Krimphove and C. Lüke, “Finetrading – Neue Finanzierungsmöglichkeit im grenzüberschreitenden Handel,” Finanzierung Leasing Factoring , no. Nr. 2, p. 82 ff., 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 1684
D. Krimphove and J. Michel, “Cookies zu Werbezwecken im Vertrieb,” Zeitschrift für Vertriebsrecht (ZVertriebsR), p. 149 ff., 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 1685
D. Krimphove, “Das BaFin-Rundschreiben „aufsichtsrechtliche Mindestanforderungen an die Geschäftsorganisationen von Versicherungsunternehmen“ (MaGo),” Zeitschrift für Versicherungsrecht, Haftung-und Schadensrecht VersR , p. 326 ff., 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 1686
D. Krimphove, “Was ist Proportionalität?,” Zeitschrift für Bank- und Kapitalmarktrecht BKR, no. Heft 9, p. 353 ff., 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 1687
D. Krimphove, “Neue Arbeitszeitrechtsprechung für familienadäquate Erziehungs- und Betreuungstätigkeit,” Neue Zeitschrift für Arbeitsrecht NZA , p. 1374 ff., 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 1688
D. Krimphove, “Clash of Regulations oder Der Kampf der Richtlinien,” ArbR – Arbeitsrecht Aktuell , no. Heft 24, p. 583 ff., 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 104
D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 1042
S. Van Rossem et al., “A Network Service Development Kit Supporting the End-to-End Lifecycle of NFV-based Telecom Services,” presented at the IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), Berlin, Germany, 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 | Encyclopedia Article | LibreCat-ID: 10589
J. Fürnkranz and E. Hüllermeier, “Preference Learning,” in Encyclopedia of Machine Learning and Data Mining, 2017, pp. 1000–1005.
LibreCat
2017 | Dissertation | LibreCat-ID: 10594 |
S. Peitz, Exploiting structure in multiobjective optimization and optimal control. 2017.
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Mastersthesis | LibreCat-ID: 106
I. Krammer, 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 | Bachelorsthesis | LibreCat-ID: 10613
C. Kaltschmidt, An AR-based Training and Assessment System for Myoelectrical Prosthetic Control. Paderborn University, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 1062
B. Frick, O. Gergaud, and P. Winter, “The revenue potential of product differentiation: Empirical evidence fro the Croation restaurant industry,” Gastronomy and Tourism, vol. 2, no. 4, pp. 259-271(13), 2017.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 10666
U. Riaz, Acceleration of Industrial Analytics Functions on a Platform FPGA. Paderborn University, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 10672
N. Ho, I. I. Ashraf, P. Kaufmann, and M. Platzner, “Accurate Private/Shared Classification of Memory Accesses: a Run-time Analysis System for the LEON3 Multi-core Processor,” in Proc. Design, Automation and Test in Europe Conf. (DATE), 2017.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 10676
N. Ho, P. Kaufmann, and M. Platzner, “Evolvable caches: Optimization of reconfigurable cache mappings for a LEON3/Linux-based multi-core processor,” in 2017 International Conference on Field Programmable Technology (ICFPT), 2017, pp. 215–218.
LibreCat
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 1069
H. C. Petersen, Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine ökonomische Analyse. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 10692
C. Shen, P. Kaufmann, and M. Braun, “Three-Stage Power System Restoration Methodology Considering Renewable Energies,” Elsevier International Journal of Electrical Power and Energy Systems (IJEPES), 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1070
A. Turan, Zu den Anreizwirkungen der Kronzeugenregelung - Eine spieltheoretische Analyse. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 10708
A. Dietrich, Reconfigurable Cryptographic Services. Paderborn University, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1071
J. Iding, Zu den Anreiz- und Wohlfahrtswirkungen der Kronzeugenregelung - Das Fallbeispiel des LKW-Kartells (1997-2011). Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1072
D. Lütkevedder, Vertikale Wettbewerbsbeschränkung auf Hotelreservierungsportalen - eine ökonomische Analyse anhand der Bestpreisklausel von Booking. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1073
S. Nachtigall, Sortieren dynamischer Daten. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1074
S. Pukrop, Robuste Optimierung in Congestion Games. Universität Paderborn, 2017.
LibreCat