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.
5816 Publications
2017 | Conference Paper | LibreCat-ID: 9982
Schemmel, R., Hemsel, T., & Sextro, W. (2017). MoRFUS: Mobile Reinigungseinheit für Förderketten basierend auf Ultraschall. In 43. Deutsche Jahrestagung für Akustik (pp. 611–614). Kiel 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 50
Hamdeev, E. (2017). Verzerrte Online-Produktbewertungen - Literaturüberblick. Universität Paderborn.
LibreCat
2017 | Book Chapter | LibreCat-ID: 5076
Beverungen, D., & Matzner, M. (2017). Informationsmodellierung in Dienstleistungssystemen. In S. Roth & H. Corsten (Eds.), Handbuch Dienstleistungsmanagement (p. S. 519–536). München: Verlag Franz Vahlen.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 5084
Streck, T. (2017). How to adequately relocate asylum applicants within the European Union - An attempt to apply matching theory in the current migration crisis. Universität Paderborn.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 51
Winkelhake, N. (2017). Tying und Bundling in digitalen Märkten - eine wettbewerbspolitische Analyse. Universität Paderborn.
LibreCat
2017 | Journal Article | LibreCat-ID: 5186
Müller, S. (2017). Innovationswettbewerbe im Internet - Teil 1. Zeitschrift zum Innovations- und Technikrecht (InTeR), 5(3), 129–134.
LibreCat
2017 | Conference Abstract | LibreCat-ID: 52
John, T., & Szopinski, D. (2017). Towards Explaining the Popularity of the Business Model Canvas: A Dual-coding Approach. In 1st Business Model Conference. Venice, Italy.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 5204
Späth, J., Ali, K., & Bodden, E. (2017). IDEal: Efficient and Precise Alias-aware Dataflow Analysis. In 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH). ACM Press.
LibreCat
| Files available
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 5209
Fischer, A., Fuhry, B., Kerschbaum, F., & Bodden, E. (2017). Computation on Encrypted Data using Data Flow Authentication. CoRR, abs/1710.00390.
LibreCat
| Files available
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 53
Neumann, J., Gutt, D., & Kundisch, D. (2017). The Traveling Reviewer Problem – Exploring the Relationship Between Offline Locations and Online Rating Behavior. In Proceedings of the 38th International Conference on Information Systems (ICIS). Seoul, South Korea.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 54
Neumann, J., Gutt, D., & Kundisch, D. (2017). The Traveling Reviewer Problem – Exploring the Relationship between Offline Locations and Online Rating Behavior. In INFORMS Annual Meeting. Houston, USA.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 55
Feldkord, B., & Meyer auf der Heide, F. (2017). The Mobile Server Problem. In Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 313–319). https://doi.org/10.1145/3087556.3087575
LibreCat
| Files available
| DOI
2017 | Conference Abstract | LibreCat-ID: 56
John, T. (2017). Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory. In 1st Business Model Conference. Venice, Italy.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 65
Lösch, A., & Platzner, M. (2017). reMinMin: A Novel Static Energy-Centric List Scheduling Approach Based on Real Measurements. In Proceedings of the 28th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP). https://doi.org/10.1109/ASAP.2017.7995272
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 66
Drees, M., Feldotto, M., Riechers, S., & Skopalik, A. (2017). Pure Nash Equilibria in Restricted Budget Games. In Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON) (pp. 175--187). https://doi.org/10.1007/978-3-319-62389-4_15
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 67
Jürgens, M. (2017). Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn.
LibreCat
2017 | Journal Article | LibreCat-ID: 6725
Czerwinski, W., Martens, W., van Rooijen, L., Zeitoun, M., & Zetzsche, G. (2017). A Characterization for Decidable Separability by Piecewise Testable Languages. Discrete Mathematics & Theoretical Computer Science, 19(4). https://doi.org/10.23638/DMTCS-19-4-1
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 68
Isenberg, T., Platzner, M., Wehrheim, H., & Wiersema, T. (2017). Proof-Carrying Hardware via Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems, (4), 61:1--61:23. https://doi.org/10.1145/3054743
LibreCat
| Files available
| DOI
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