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.
4769 Publications
2017 | Journal Article | LibreCat-ID: 68
@article{Isenberg_Platzner_Wehrheim_Wiersema_2017, title={Proof-Carrying Hardware via Inductive Invariants}, DOI={10.1145/3054743}, number={4}, journal={ACM Transactions on Design Automation of Electronic Systems}, publisher={ACM}, author={Isenberg, Tobias and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2017}, pages={61:1--61:23} }
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 682
@article{Weber_Protte_Walter_Georgi_Zentgraf_Meier_2017, title={Double resonant plasmonic nanoantennas for efficient second harmonic generation in zinc oxide}, volume={95}, DOI={10.1103/physrevb.95.205307}, number={20}, journal={Physical Review B}, publisher={American Physical Society (APS)}, author={Weber, Nils and Protte, Maximilian and Walter, Felicitas and Georgi, Philip and Zentgraf, Thomas and Meier, Cedrik}, year={2017} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 684
@article{Walter_Li_Meier_Zhang_Zentgraf_2017, title={Ultrathin Nonlinear Metasurface for Optical Image Encoding}, volume={17}, DOI={10.1021/acs.nanolett.7b00676}, number={5}, journal={Nano Letters}, publisher={American Chemical Society (ACS)}, author={Walter, Felicitas and Li, Guixin and Meier, Cedrik and Zhang, Shuang and Zentgraf, Thomas}, year={2017}, pages={3171–3175} }
LibreCat
| DOI
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: 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 | 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 | 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: 1062
@article{Frick_Gergaud_Winter_2017, title={The revenue potential of product differentiation: Empirical evidence fro the Croation restaurant industry}, volume={2}, DOI={10.3727/216929717X15046207899410}, number={4}, journal={Gastronomy and Tourism}, publisher={Cognizant Communication Corporation}, author={Frick, Bernd and Gergaud, Olivier and Winter, Petra}, year={2017}, pages={259-271(13)} }
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 1069
@book{Petersen_2017, title={Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine ökonomische Analyse}, publisher={Universität Paderborn}, author={Petersen, Henning Cornelius}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1070
@book{Turan_2017, title={Zu den Anreizwirkungen der Kronzeugenregelung - Eine spieltheoretische Analyse}, publisher={Universität Paderborn}, author={Turan, Alparslan}, year={2017} }
LibreCat