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

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: /record/69
DOI: 10.1145/3014427

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

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

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

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

P. Bemmann et al., “Monitoring of Domain-Related Problems in Distributed Data Streams,” in Structural Information and Communication Complexity, Cham, 2017.
LibreCat: /record/16461
DOI: 10.1007/978-3-319-72050-0_13
arXiv: arXiv:1706.03568 

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

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

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

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: /record/16657
DOI: 10.1016/j.ifacol.2017.08.1526

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: /record/16791

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: /record/16792

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: /record/1683

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

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

D. Krimphove, “Was ist Proportionalität?,” Zeitschrift für Bank- und Kapitalmarktrecht BKR, no. Heft 9, p. 353 ff., 2017.
LibreCat: /record/1686

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

D. Krimphove, “Clash of Regulations oder Der Kampf der Richtlinien,” ArbR – Arbeitsrecht Aktuell , no. Heft 24, p. 583 ff., 2017.
LibreCat: /record/1688

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