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

Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.”https://doi.org/10.1145/3014427__ACM Transactions on Programming Languages and Systems, no. 2 (2017): 7:1-7:56.https://doi.org/10.1145/3014427 .
LibreCat: /record/69
DOI: 10.1145/3014427

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

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

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

Gausemeier, Jürgen, Eric Bodden, Falko  Dressler, Roman Dumitrescu, Friedhelm Meyer auf der Heide, Christoph Scheytt, and Ansgar Trächtler. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Paderborn, 2017.
LibreCat: /record/16444

Bemmann, Pascal, Felix Biermeier, Jan Bürmann, Arne Kemper, Till Knollmann, Steffen Knorr, Nils Kothe, et al. “Monitoring of Domain-Related Problems in Distributed Data Streams.”https://doi.org/10.1007/978-3-319-72050-0_13__In Structural Information and Communication Complexity. Cham, 2017.https://doi.org/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, Wilhelm, Dieter Krimphove, Horst Zündorf, Marc Toebe, and Gerfried Hannemann, eds. Finanzierung Und Investition. 2nd ed. Stuttgart : UTB, 2017.
LibreCat: /record/1648

Dellnitz, Michael, and Stefan Klus. “Sensing and Control in Symmetric Networks.”https://doi.org/10.1080/14689367.2016.1215410__Dynamical Systems, 2017, 61–79.https://doi.org/10.1080/14689367.2016.1215410 .
LibreCat: /record/16540
DOI: 10.1080/14689367.2016.1215410

Dellnitz, Michael, Stefan Klus, and Adrian Ziessler. “A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty.”https://doi.org/10.1137/16m1072735__SIAM Journal on Applied Dynamical Systems, 2017, 120–38.https://doi.org/10.1137/16m1072735 .
LibreCat: /record/16581
DOI: 10.1137/16m1072735

Peitz, Sebastian, Kai Schäfer, Sina Ober-Blöbaum, Julian Eckstein, Ulrich Köhler, and Michael 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).”https://doi.org/10.1016/j.ifacol.2017.08.1526__IFAC-PapersOnLine, 2017, 8674–79.https://doi.org/10.1016/j.ifacol.2017.08.1526 .
LibreCat: /record/16657
DOI: 10.1016/j.ifacol.2017.08.1526

Dietrich, André, Bernard Nacke, Florian Pfeifer, Thorsten Marten, and Thomas Tröster. “Investigation of Geometrical Discontinuities in Blanks for Hot Sheet Metal Forming Process under the Influence of Induction Heating,” 2017.
LibreCat: /record/16791

Dietrich, André, Bernard Nacke, Florian Pfeifer, Thorsten Marten, and Thomas Tröster. “Effects of Holes in Blanks for Press Hardening Process Due to Induction Heating,” 2017.
LibreCat: /record/16792

Krimphove, Dieter, and Christoph Lüke. “Finetrading – Neue Finanzierungsmöglichkeit Im Grenzüberschreitenden Handel.” Finanzierung Leasing Factoring , no. Nr. 2 (2017): 82 ff.
LibreCat: /record/1683

Krimphove, Dieter, and Julia Michel. “Cookies Zu Werbezwecken Im Vertrieb.” Zeitschrift Für Vertriebsrecht (ZVertriebsR), 2017, 149 ff.
LibreCat: /record/1684

Krimphove, Dieter. “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, Dieter. “Was Ist Proportionalität?” Zeitschrift Für Bank- Und Kapitalmarktrecht BKR, no. Heft 9 (2017): 353 ff.
LibreCat: /record/1686

Krimphove, Dieter. “Neue Arbeitszeitrechtsprechung Für Familienadäquate Erziehungs- Und Betreuungstätigkeit.” Neue Zeitschrift Für Arbeitsrecht NZA , 2017, 1374 ff.
LibreCat: /record/1687

Krimphove, Dieter. “Clash of Regulations Oder Der Kampf Der Richtlinien.” ArbR – Arbeitsrecht Aktuell , no. Heft 24 (2017): 583 ff.
LibreCat: /record/1688

Beverungen, Daniel, Oliver Müller, Martin Matzner, Jan Mendling, and Jan vom Brocke. “Conceptualizing Smart Service Systems.”https://doi.org/10.1007/s12525-017-0270-5__Electronic Markets, 2017, 7–18.https://doi.org/10.1007/s12525-017-0270-5 .
LibreCat: /record/17158
DOI: 10.1007/s12525-017-0270-5