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.
2200 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