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.
11565 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 | Bachelorsthesis | LibreCat-ID: 104
@book{Diemert_2017, title={EAX - An Authenticated Encryption Mode for Block Ciphers}, publisher={Universität Paderborn}, author={Diemert, Denis}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1048
@book{Schenk_2017, title={Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen}, publisher={Universität Paderborn}, author={Schenk, Andreas}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1049
@book{Beckendorfer_2017, title={Visualisierung zu Algorithmen verteilter Netzwerksysteme}, publisher={Universität Paderborn}, author={Beckendorfer, Björn}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 105
@inproceedings{Gmyr_Hinnenthal_Scheideler_Sohler_2017, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Distributed Monitoring of Network Properties: The Power of Hybrid Networks}, DOI={10.4230/LIPIcs.ICALP.2017.137}, booktitle={Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP)}, author={Gmyr, Robert and Hinnenthal, Kristian and Scheideler, Christian and Sohler, Christian}, year={2017}, pages={137:1--137:15}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 1054
@article{Brosig-Koch_Hehenkamp_Kokot_2017, title={The effects of competition on medical service provision}, volume={26}, DOI={10.1002/hec.3583}, number={53}, journal={Health Economics}, publisher={Wiley Online Library}, author={Brosig-Koch, Janet and Hehenkamp, Burkhard and Kokot, Johanna}, year={2017}, pages={6–20} }
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 1055
@book{Hehenkamp_Kaarboe_2017, title={Location Choice and Quality Competition in Mixed Hospital Markets}, publisher={Universität Paderborn}, author={Hehenkamp, Burkhard and Kaarboe, Oddvar}, year={2017} }
LibreCat
| Files available
2017 | Report | LibreCat-ID: 1056
@book{Gu_Hehenkamp_Leininger_2017, title={Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation}, publisher={Universität Paderborn}, author={Gu, Yiguan and Hehenkamp, Burkhard and Leininger, Wolfgang}, year={2017} }
LibreCat
| Files available
2017 | Report | LibreCat-ID: 1057
@book{Sürücü_Mir Djawadi_Brangewitz_2017, title={Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries}, publisher={Universität Paderborn}, author={Sürücü, Oktay and Mir Djawadi, Behnud and Brangewitz, Sonja}, year={2017} }
LibreCat
| Files available
2017 | Encyclopedia Article | LibreCat-ID: 10589
@inbook{Fürnkranz_Hüllermeier_2017, title={Preference Learning}, booktitle={Encyclopedia of Machine Learning and Data Mining}, author={Fürnkranz, J. and Hüllermeier, Eyke}, year={2017}, pages={1000–1005} }
LibreCat
2017 | Dissertation | LibreCat-ID: 10594 | 
@book{Peitz_2017, title={ Exploiting structure in multiobjective optimization and optimal control}, DOI={10.17619/UNIPB/1-176}, author={Peitz, Sebastian}, year={2017} }
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Mastersthesis | LibreCat-ID: 106
@book{Krammer_2017, title={Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz}, publisher={Universität München}, author={Krammer, Isabel}, year={2017} }
LibreCat
2017 | Journal Article | LibreCat-ID: 10600
@article{H.W. Leong_Amano_Anderson_Bertels_M.P. Cardoso_Diessel_Gogniat_Hutton_Lee_Luk_et al._2017, title={The First 25 Years of the FPL Conference – Significant Papers}, DOI={10.1145/2996468}, journal={ACM Transactions on Reconfigurable Technology and Systems}, author={H.W. Leong, Philip and Amano, Hideharu and Anderson, Jason and Bertels, Koen and M.P. Cardoso, Jo\~{a}o and Diessel, Oliver and Gogniat, Guy and Hutton, Mike and Lee, JunKyu and Luk, Wayne and et al.}, year={2017} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 10601
@article{F. DeMara_Platzner_Ottavi_2017, title={Innovation in Reconfigurable Computing Fabrics: from Devices to Architectures (guest editorial)}, DOI={10.1109/TETC.2016.2641599}, journal={IEEE Transactions on Computers and IEEE Transactions on Emerging Topics in Computing}, author={F. DeMara, Ronald and Platzner, Marco and Ottavi, Marco}, year={2017} }
LibreCat
| DOI