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.
11105 Publications
2017 | Dissertation | LibreCat-ID: 685
@book{Jakobs_2017, title={On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring}, DOI={10.17619/UNIPB/1-104}, publisher={Universität Paderborn}, author={Jakobs, Marie-Christine}, year={2017} }
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 69
@article{Jakobs_Wehrheim_2017, title={Programs from Proofs: A Framework for the Safe Execution of Untrusted Software}, DOI={10.1145/3014427}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={ACM}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017}, pages={7:1-7:56} }
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 695
@book{Nowack_2017, title={On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen}, publisher={Universität Paderborn}, author={Nowack, Joshua}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 696
@book{Wachowiak_2017, title={Das Mobile Server Problem in Netzwerken}, publisher={Universität Paderborn}, author={Wachowiak, Lennart}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 697
@book{Burkhardt_2017, title={Untersuchungen zum Cone-Hashing}, publisher={Universität Paderborn}, author={Burkhardt, Michel}, year={2017} }
LibreCat
2017 | Book | LibreCat-ID: 16444
@book{Gausemeier_Bodden_ Dressler_Dumitrescu_Meyer auf der Heide_Scheytt_Trächtler_2017, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title={Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)}, author={Gausemeier, Jürgen and Bodden, Eric and Dressler, Falko and Dumitrescu, Roman and Meyer auf der Heide, Friedhelm and Scheytt, Christoph and Trächtler, Ansgar}, year={2017}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 16461
@inbook{Bemmann_Biermeier_Bürmann_Kemper_Knollmann_Knorr_Kothe_Mäcker_Malatyali_Meyer auf der Heide_et al._2017, place={Cham}, title={Monitoring of Domain-Related Problems in Distributed Data Streams}, DOI={10.1007/978-3-319-72050-0_13}, booktitle={Structural Information and Communication Complexity}, author={Bemmann, Pascal and Biermeier, Felix and Bürmann, Jan and Kemper, Arne and Knollmann, Till and Knorr, Steffen and Kothe, Nils and Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and et al.}, year={2017} }
LibreCat
| DOI
| arXiv
2017 | Book (Editor) | LibreCat-ID: 1648
@book{Schmeisser_Krimphove_Zündorf_Toebe_Hannemann_2017, place={Stuttgart }, edition={2}, title={Finanzierung und Investition}, publisher={UTB}, year={2017} }
LibreCat
2017 | Journal Article | LibreCat-ID: 16540
@article{Dellnitz_Klus_2017, title={Sensing and control in symmetric networks}, DOI={10.1080/14689367.2016.1215410}, journal={Dynamical Systems}, author={Dellnitz, Michael and Klus, Stefan}, year={2017}, pages={61–79} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 16581
@article{Dellnitz_Klus_Ziessler_2017, title={A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty}, DOI={10.1137/16m1072735}, journal={SIAM Journal on Applied Dynamical Systems}, author={Dellnitz, Michael and Klus, Stefan and Ziessler, Adrian}, year={2017}, pages={120–138} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 16657
@article{Peitz_Schäfer_Ober-Blöbaum_Eckstein_Köhler_Dellnitz_2017, title={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).}, DOI={10.1016/j.ifacol.2017.08.1526}, journal={IFAC-PapersOnLine}, author={Peitz, Sebastian and Schäfer, Kai and Ober-Blöbaum, Sina and Eckstein, Julian and Köhler, Ulrich and Dellnitz, Michael}, year={2017}, pages={8674–8679} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 16791
@inproceedings{Dietrich_Nacke_Pfeifer_Marten_Tröster_2017, title={Investigation of geometrical discontinuities in blanks for hot sheet metal forming process under the influence of induction heating}, author={Dietrich, André and Nacke, Bernard and Pfeifer, Florian and Marten, Thorsten and Tröster, Thomas}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 16792
@inproceedings{Dietrich_Nacke_Pfeifer_Marten_Tröster_2017, title={Effects of Holes in Blanks for Press Hardening Process due to Induction Heating}, author={Dietrich, André and Nacke, Bernard and Pfeifer, Florian and Marten, Thorsten and Tröster, Thomas}, year={2017} }
LibreCat
2017 | Journal Article | LibreCat-ID: 1683
@article{Krimphove_Lüke_2017, title={Finetrading – Neue Finanzierungsmöglichkeit im grenzüberschreitenden Handel}, number={Nr. 2}, journal={Finanzierung Leasing Factoring }, author={Krimphove, Dieter and Lüke, Christoph}, year={2017}, pages={82 ff.} }
LibreCat
2017 | Journal Article | LibreCat-ID: 1684
@article{Krimphove_Michel_2017, title={Cookies zu Werbezwecken im Vertrieb}, journal={Zeitschrift für Vertriebsrecht (ZVertriebsR)}, author={Krimphove, Dieter and Michel, Julia}, year={2017}, pages={149 ff.} }
LibreCat
2017 | Journal Article | LibreCat-ID: 1685
@article{Krimphove_2017, title={Das BaFin-Rundschreiben „aufsichtsrechtliche Mindestanforderungen an die Geschäftsorganisationen von Versicherungsunternehmen“ (MaGo)}, journal={Zeitschrift für Versicherungsrecht, Haftung-und Schadensrecht VersR }, author={Krimphove, Dieter}, year={2017}, pages={326 ff.} }
LibreCat
2017 | Journal Article | LibreCat-ID: 1686
@article{Krimphove_2017, title={Was ist Proportionalität?}, number={Heft 9}, journal={Zeitschrift für Bank- und Kapitalmarktrecht BKR}, author={Krimphove, Dieter}, year={2017}, pages={353 ff.} }
LibreCat
2017 | Journal Article | LibreCat-ID: 1687
@article{Krimphove_2017, title={Neue Arbeitszeitrechtsprechung für familienadäquate Erziehungs- und Betreuungstätigkeit}, journal={Neue Zeitschrift für Arbeitsrecht NZA }, author={Krimphove, Dieter}, year={2017}, pages={1374 ff.} }
LibreCat
2017 | Journal Article | LibreCat-ID: 1688
@article{Krimphove_2017, title={Clash of Regulations oder Der Kampf der Richtlinien}, number={Heft 24}, journal={ArbR – Arbeitsrecht Aktuell }, author={Krimphove, Dieter}, year={2017}, pages={583 ff.} }
LibreCat
2017 | Journal Article | LibreCat-ID: 17158
@article{Beverungen_Müller_Matzner_Mendling_vom Brocke_2017, title={Conceptualizing smart service systems}, DOI={10.1007/s12525-017-0270-5}, journal={Electronic Markets}, author={Beverungen, Daniel and Müller, Oliver and Matzner, Martin and Mendling, Jan and vom Brocke, Jan}, year={2017}, pages={7–18} }
LibreCat
| DOI