Jakobs M-C. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-104
LibreCat: /record/685
DOI: 10.17619/UNIPB/1-104

Jakobs M-C, Wehrheim H. Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Transactions on Programming Languages and Systems. 2017;(2):7:1-7:56. doi:10.1145/3014427
LibreCat: /record/69
DOI: 10.1145/3014427

Nowack J. On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen. Universität Paderborn; 2017.
LibreCat: /record/695

Wachowiak L. Das Mobile Server Problem in Netzwerken. Universität Paderborn; 2017.
LibreCat: /record/696

Burkhardt M. Untersuchungen zum Cone-Hashing. Universität Paderborn; 2017.
LibreCat: /record/697

Gausemeier J, Bodden E,  Dressler F, et al. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Paderborn; 2017.
LibreCat: /record/16444

Bemmann P, Biermeier F, Bürmann J, et al. Monitoring of Domain-Related Problems in Distributed Data Streams. In: Structural Information and Communication Complexity. ; 2017. doi:10.1007/978-3-319-72050-0_13
LibreCat: /record/16461
DOI: 10.1007/978-3-319-72050-0_13
arXiv: arXiv:1706.03568 

Schmeisser W, Krimphove D, Zündorf H, Toebe M, Hannemann G, eds. Finanzierung Und Investition. 2nd ed. Stuttgart : UTB; 2017.
LibreCat: /record/1648

Dellnitz M, Klus S. Sensing and control in symmetric networks. Dynamical Systems. 2017:61-79. doi:10.1080/14689367.2016.1215410
LibreCat: /record/16540
DOI: 10.1080/14689367.2016.1215410

Dellnitz M, Klus S, Ziessler A. A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty. SIAM Journal on Applied Dynamical Systems. 2017:120-138. doi:10.1137/16m1072735
LibreCat: /record/16581
DOI: 10.1137/16m1072735

Peitz S, Schäfer K, Ober-Blöbaum S, Eckstein J, Köhler U, Dellnitz M. 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. 2017:8674-8679. doi:10.1016/j.ifacol.2017.08.1526
LibreCat: /record/16657
DOI: 10.1016/j.ifacol.2017.08.1526

Dietrich A, Nacke B, Pfeifer F, Marten T, Tröster T. Investigation of geometrical discontinuities in blanks for hot sheet metal forming process under the influence of induction heating. In: ; 2017.
LibreCat: /record/16791

Dietrich A, Nacke B, Pfeifer F, Marten T, Tröster T. Effects of Holes in Blanks for Press Hardening Process due to Induction Heating. In: ; 2017.
LibreCat: /record/16792

Krimphove D, Lüke C. Finetrading – Neue Finanzierungsmöglichkeit im grenzüberschreitenden Handel. Finanzierung Leasing Factoring . 2017;(Nr. 2):82 ff.
LibreCat: /record/1683

Krimphove D, Michel J. Cookies zu Werbezwecken im Vertrieb. Zeitschrift für Vertriebsrecht (ZVertriebsR). 2017:149 ff.
LibreCat: /record/1684

Krimphove D. Das BaFin-Rundschreiben eaufsichtsrechtliche Mindestanforderungen an die Geschäftsorganisationen von Versicherungsunternehmen“(MaGo). Zeitschrift für Versicherungsrecht, Haftung-und Schadensrecht VersR . 2017:326 ff.
LibreCat: /record/1685

Krimphove D. Was ist Proportionalität? Zeitschrift für Bank- und Kapitalmarktrecht BKR. 2017;(Heft 9):353 ff.
LibreCat: /record/1686

Krimphove D. Neue Arbeitszeitrechtsprechung für familienadäquate Erziehungs- und Betreuungstätigkeit. Neue Zeitschrift für Arbeitsrecht NZA . 2017:1374 ff.
LibreCat: /record/1687

Krimphove D. Clash of Regulations oder Der Kampf der Richtlinien. ArbR – Arbeitsrecht Aktuell . 2017;(Heft 24):583 ff.
LibreCat: /record/1688

Beverungen D, Müller O, Matzner M, Mendling J, vom Brocke J. Conceptualizing smart service systems. Electronic Markets. 2017:7-18. doi:10.1007/s12525-017-0270-5
LibreCat: /record/17158
DOI: 10.1007/s12525-017-0270-5