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.
2209 Publications
2017 | Dissertation | LibreCat-ID: 685
Jakobs, M.-C. (2017). On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-104
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 69
Jakobs, M.-C., & Wehrheim, H. (2017). Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Transactions on Programming Languages and Systems, (2), 7:1-7:56. https://doi.org/10.1145/3014427
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 695
Nowack, J. (2017). On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen. Universität Paderborn.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 696
Wachowiak, L. (2017). Das Mobile Server Problem in Netzwerken. Universität Paderborn.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 697
Burkhardt, M. (2017). Untersuchungen zum Cone-Hashing. Universität Paderborn.
LibreCat
2017 | Book | LibreCat-ID: 16444
Gausemeier, J., Bodden, E., Dressler, F., Dumitrescu, R., Meyer auf der Heide, F., Scheytt, C., & Trächtler, A. (2017). Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Paderborn.
LibreCat
2017 | Book Chapter | LibreCat-ID: 16461
Bemmann, P., Biermeier, F., Bürmann, J., Kemper, A., Knollmann, T., Knorr, S., Kothe, N., Mäcker, A., Malatyali, M., Meyer auf der Heide, F., Riechers, S., Schaefer, J. S., & Sundermeier, J. (2017). Monitoring of Domain-Related Problems in Distributed Data Streams. In Structural Information and Communication Complexity. https://doi.org/10.1007/978-3-319-72050-0_13
LibreCat
| DOI
| arXiv
2017 | Book (Editor) | LibreCat-ID: 1648
Schmeisser, W., Krimphove, D., Zündorf, H., Toebe, M., & Hannemann, G. (Eds.). (2017). Finanzierung und Investition (2nd ed.). Stuttgart : UTB.
LibreCat
2017 | Journal Article | LibreCat-ID: 16540
Dellnitz, M., & Klus, S. (2017). Sensing and control in symmetric networks. Dynamical Systems, 61–79. https://doi.org/10.1080/14689367.2016.1215410
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 16581
Dellnitz, M., Klus, S., & Ziessler, A. (2017). A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty. SIAM Journal on Applied Dynamical Systems, 120–138. https://doi.org/10.1137/16m1072735
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 16657
Peitz, S., Schäfer, K., Ober-Blöbaum, S., Eckstein, J., Köhler, U., & Dellnitz, M. (2017). 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, 8674–8679. https://doi.org/10.1016/j.ifacol.2017.08.1526
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 16791
Dietrich, A., Nacke, B., Pfeifer, F., Marten, T., & Tröster, T. (2017). 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.
LibreCat
2017 | Conference Paper | LibreCat-ID: 16792
Dietrich, A., Nacke, B., Pfeifer, F., Marten, T., & Tröster, T. (2017). 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.
LibreCat
2017 | Journal Article | LibreCat-ID: 1683
Krimphove, D., & Lüke, C. (2017). Finetrading – Neue Finanzierungsmöglichkeit im grenzüberschreitenden Handel. Finanzierung Leasing Factoring , (Nr. 2), 82 ff.
LibreCat
2017 | Journal Article | LibreCat-ID: 1684
Krimphove, D., & Michel, J. (2017). Cookies zu Werbezwecken im Vertrieb. Zeitschrift Für Vertriebsrecht (ZVertriebsR), 149 ff.
LibreCat
2017 | Journal Article | LibreCat-ID: 1685
Krimphove, D. (2017). Das BaFin-Rundschreiben „aufsichtsrechtliche Mindestanforderungen an die Geschäftsorganisationen von Versicherungsunternehmen“ (MaGo). Zeitschrift Für Versicherungsrecht, Haftung-Und Schadensrecht VersR , 326 ff.
LibreCat
2017 | Journal Article | LibreCat-ID: 1686
Krimphove, D. (2017). Was ist Proportionalität? Zeitschrift Für Bank- Und Kapitalmarktrecht BKR, (Heft 9), 353 ff.
LibreCat
2017 | Journal Article | LibreCat-ID: 1687
Krimphove, D. (2017). Neue Arbeitszeitrechtsprechung für familienadäquate Erziehungs- und Betreuungstätigkeit. Neue Zeitschrift Für Arbeitsrecht NZA , 1374 ff.
LibreCat
2017 | Journal Article | LibreCat-ID: 1688
Krimphove, D. (2017). Clash of Regulations oder Der Kampf der Richtlinien. ArbR – Arbeitsrecht Aktuell , (Heft 24), 583 ff.
LibreCat
2017 | Journal Article | LibreCat-ID: 17158
Beverungen, D., Müller, O., Matzner, M., Mendling, J., & vom Brocke, J. (2017). Conceptualizing smart service systems. Electronic Markets, 7–18. https://doi.org/10.1007/s12525-017-0270-5
LibreCat
| DOI