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.
4679 Publications
2017 | Conference Paper | LibreCat-ID: 55
@inproceedings{Feldkord_Meyer auf der Heide_2017, title={The Mobile Server Problem}, DOI={10.1145/3087556.3087575}, booktitle={Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}, author={Feldkord, Björn and Meyer auf der Heide, Friedhelm}, year={2017}, pages={313–319} }
LibreCat
| Files available
| DOI
2017 | Conference Abstract | LibreCat-ID: 56
@inproceedings{John_2017, title={Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory}, booktitle={1st Business Model Conference}, author={John, Thomas}, year={2017} }
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 65
@inproceedings{Lösch_Platzner_2017, title={reMinMin: A Novel Static Energy-Centric List Scheduling Approach Based on Real Measurements}, DOI={10.1109/ASAP.2017.7995272}, booktitle={Proceedings of the 28th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP)}, author={Lösch, Achim and Platzner, Marco}, year={2017} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 66
@inproceedings{Drees_Feldotto_Riechers_Skopalik_2017, series={LNCS}, title={Pure Nash Equilibria in Restricted Budget Games}, DOI={10.1007/978-3-319-62389-4_15}, booktitle={Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON)}, author={Drees, Maximilian and Feldotto, Matthias and Riechers, Sören and Skopalik, Alexander}, year={2017}, pages={175--187}, collection={LNCS} }
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 67
@book{Jürgens_2017, title={Provably Secure Key-Derivation-Functions for Certain Types of Applications}, publisher={Universität Paderborn}, author={Jürgens, Mirko}, year={2017} }
LibreCat
2017 | Journal Article | LibreCat-ID: 6725
@article{Czerwinski_Martens_van Rooijen_Zeitoun_Zetzsche_2017, title={A Characterization for Decidable Separability by Piecewise Testable Languages}, volume={19}, DOI={10.23638/DMTCS-19-4-1}, number={4}, journal={Discrete Mathematics & Theoretical Computer Science}, author={Czerwinski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc and Zetzsche, Georg}, year={2017} }
LibreCat
| DOI
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 | 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.)