1597 Publications
2018 | Bachelorsthesis | LibreCat-ID: 2461
M. Müller, Herz über Kopf? Wie emotionale und neutrale Schreibstile darüber entscheiden, ob eine Online Bewertung hilfreich ist. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 2486
K. Brennig, Immer J-Shape? Eine deskriptive Analyse von Online-Produktbewertungen am Beispiel Amazon. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 2349
J. Santüns, “War diese Rezension für Sie hilfreich?” - Ein Literaturüberblick über die Treiber hilfreicher Online-Bewertungen. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1809
N. Metzner, Vom Umgang mit der Digitalisierung von Kundenmeinungen - Ein Theorieüberblick zur strategischen Bedeutung von Online-Bewertungen. Universität Paderborn, 2018.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 2943
J. Funke, Die Wirkung von Garantieverlängerungen auf das Kaufverhalten von Kunden am Beispiel von gastro-hero.de. Universität Paderborn, 2018.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 2944
D. Piasecki, Die Wirkung von Zusatzgarantien auf das Kaufverhalten von Kunden am Beispiel von gastro-hero.de. Universität Paderborn, 2018.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 2488
J. Kersting, A New Perspective on Customer Reviews - What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers. Universität Paderborn, 2018.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 5963
N. N, Upstream Horizontal Mergers: Contractual Design under Bargaining in Vertically Related Industries. Universität Paderborn, 2018.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 5962
N. N, Bestimmung von Transferpreisen in vertikal integrierten Supply Chains. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5961
N. N, School-Choice Mechanismen im Vergleich Effizienz und Schwachstellen anhand von Beispielen aus Theorie und Praxis. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5958
N. N, Auswirkungen asymmetrischer Information auf Produktqualität - Reputationssysteme als Lösungsansatz. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5959
N. N, Automated Bilateral Multiple-issue negotiation with no information about opponent. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5964
N. N, Spieltheoretischer Verhandlungsansatz in der Sozialwahltheorie. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5960
N. N, Anreize in Bewertungssysteme. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5970
N. N, Facility Location Selection: How to select the optimal facility location ? - The Analytical Hierarchy Process. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5968
N. N, Wie werden elektronische Verhandlungen durch Präferenzen beeinflusst? Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5966
N. N, Bitcoins disruptives Potenzial im elektronischem Zahlungsverkehr. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5969
N. N, Diskriminierung in sozialen Netzwerken durch Versionierung. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 5965
N. N, School Choice in Theory. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 9924
N. N, Punktesystem für Zuwanderung in Deutschland nach Vorbild von Kanada. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 9926
N. N, Agenda setting in jury decision by sequential majority voting. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 9925
N. N, Verbindung Terrorismusforschung und Spieltheorie. Universität Paderborn, 2018.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 5417 | 
A. Ramaswami, Accelerating Molecular Dynamic Simulations by Offloading Fast Fourier Transformations to FPGA. Universität Paderborn, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11710
W.-F. Chen, H. Wachsmuth, K. Al Khatib, and B. Stein, “Learning to Flip the Bias of News Headlines,” in Proceedings of the 11th International Conference on Natural Language Generation, 2018, pp. 79–88.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 14873
W.-F. Chen, M. Hagen, B. Stein, and M. Potthast, “A User Study on Snippet Generation: Text Reuse vs. Paraphrases,” in Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval, 2018, pp. 1033–1036.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 14885
M. Potthast, W.-F. Chen, M. Hagen, and B. Stein, “A Plan for Ancillary Copyright: Original Snippets.,” in Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval, 2018, pp. 3–5.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3873 |
J. Blömer, F. Eidens, and J. Juhnke, “Enhanced Security of Attribute-Based Signatures,” in The International Conference on Cryptology And Network Security (CANS), Naples, Italy, 2018, vol. 11124, pp. 235–255, doi: 10.1007/978-3-030-00434-7_12.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2379 |
J. Blömer and J. Bobolz, “Delegatable Attribute-based Anonymous Credentials from Dynamically Malleable Signatures,” presented at the The 16th International Conference on Applied Cryptography and Network Security, Leuven, Belgium, doi: 10.1007/978-3-319-93387-0_12.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Dissertation | LibreCat-ID: 1209
D. Jung, Local Strategies for Swarm Formations on a Grid. Universität Paderborn, 2018.
LibreCat
| Files available
| DOI
2018 | Mastersthesis | LibreCat-ID: 37703
K. E. Olemedo Aragon, Cartel Cases in the EU Financial Derivatives Market - The Role of Facilitating Factors. 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 1588
T. Kenter et al., “OpenCL-based FPGA Design to Accelerate the Nodal Discontinuous Galerkin Method for Unstructured Meshes,” presented at the Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), 2018, doi: 10.1109/FCCM.2018.00037.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 1204
H. Riebler, G. F. Vaz, T. Kenter, and C. Plessl, “Automated Code Acceleration Targeting Heterogeneous OpenCL Devices,” 2018, doi: 10.1145/3178487.3178534.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 2851
C. Markarian, “Leasing with Uncertainty,” in International Conference on Operations Research (OR), Berlin, 2017.
LibreCat
| Files available
| DOI
2017 | Conference Abstract | LibreCat-ID: 2696
S. Zimmermann, P. Herrmann, D. Kundisch, and B. Nault, “Decomposing the Variance of Online Consumer Ratings and the Impact on Price and Demand,” in Workshop Theory in Economics of Information Systems (TEIS), Sonoma, USA, 2017.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 3291
A. Schürmann, Microservice-based Execution Environment for Service Compositions. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 3307
B. Frick and D. Kaimann, “The impact of customer reviews and advertisement efforts on the performance of experience goods in electronic markets,” Applied Economics Letters, vol. 24, no. 17, pp. 1237–1240, 2017.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 3312
M. Zarindast, The role of eWOM in the movie industry: The effect of online user ratings on box office sales . Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 3325
V. Melnikov and E. Hüllermeier, “Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics,” in Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, 2017.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 3512
P. Börding, Testing Java Method Contracts. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 3580
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 2967 |
J. Blömer and G. Liske, “Subtleties in Security Definitions for Predicate Encryption with Public Index,” in Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), 2017, vol. 10693, pp. 438–453.
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 112
M. Feldotto, L. Leder, and A. Skopalik, “Congestion Games with Complementarities,” in Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 113
M. Feldotto, M. Gairing, G. Kotsialou, and A. Skopalik, “Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games,” in Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 114
M.-C. Jakobs and H. Wehrheim, “Compact Proof Witnesses,” in NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
M.-C. Jakobs, J. Krämer, D. van Straaten, and T. Lettmann, “Certification Matters for Service Markets,” in The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
L. M. Witschen, A Framework for the Synthesis of Approximate Circuits. Universität Paderborn, 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 116
G. Liske, CCA-Security for Predicate Encryption Schemes. Universität Paderborn, 2017.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 1767
M. Mavronicolas and B. Monien, “Conditional Value-at-Risk: Structure and Complexity of Equilibria,” in Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), L’Aquila, Italy, 2017, vol. 10504, pp. 131--143.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 2344 |
J. Blömer, P. Günther, V. Krummel, and N. Löken, “Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations,” in Foundations and Practice of Security, 2017, pp. 3–17.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 18026
M. Burkhardt, Untersuchungen zum Cone-Hashing. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18027
N. C. Banh, An Asynchronous Adaption of a Churn-resistant Overlay Network. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18028
A. Schenk, Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18029
B. Beckendorf, Visualisierung zu Algorithmen verteilter Netzwerksysteme. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 2269
A. Mauleon, N. Roehl, and V. Vannetelbosch, “Constitutions and groups,” Games and Economic Behavior, vol. 107, pp. 135–152, 2017.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 2272
V. Golke, Signaling und Screening - Abbau von Informationsasymmetrie. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 2273
L. Moselage, Das Reputationssystem als bedeutendes Instrument digitaler Märkte. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 2274
M. Z. Hennawi, Der Preis als Qualitätssignal. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 90
T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” ACM Transactions on Embedded Computing Systems, no. 2, pp. 47:1-47:24, 2017.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 91
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, and D. Kundisch, “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools,” in Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), Boston, USA, 2017.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 92
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, and D. Kundisch, “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools,” in Bosch Business Model Innovation Summit 2017, Renningen, Germany, 2017.
LibreCat
| Files available
2017 | Book Chapter | LibreCat-ID: 93
M. Geierhos and F. S. Bäumer, “Guesswork? Resolving Vagueness in User-Generated Software Requirements,” in Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., H. Christiansen, M. D. Jiménez-López, R. Loukanova, and L. S. Moss, Eds. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2017, pp. 65–108.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 94
M. Martens, Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn, 2017.
LibreCat
2017 | Encyclopedia Article | LibreCat-ID: 95
D. Kundisch and T. John, “Geschäftsmodell-Modellierungssprache/Business Model Modeling Language,” in Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 77
D. Szopinski, B. Jazayeri, G. Engels, and D. Kundisch, “On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten,” in Proceedings of the Workshop Enterprise Architecture Management in Forschung und Praxis, INFORMATIK 2017, Chemnitz, Germany, 2017, pp. 2059–2066.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 78
B. Jazayeri and S. Schwichtenberg, “On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture,” in Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, 2017, pp. 120--127.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 79
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times,” in Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), 2017, vol. 10787, pp. 207–222.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 81
L. Luo, MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 82
F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity,” in Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–150.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 83
D. Uden, Microsoft vs. the EU Commission - An analysis on product bundeling. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5694
N. N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5695
B. Jazayeri and S. Schwichtenberg, “On the Necessity of an Architecture Framework for On-The-Fly Computing,” in Proceedings of Softwaretechnik-Trends Workshops, 2017, vol. 37.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 57
F. S. Bäumer, M. Dollmann, and M. Geierhos, “Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements,” in Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics, Paderborn, Germany, 2017, pp. 19–25.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 5724
A. Hetzer and T. Tornede, Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5769
M. Töws and H. Wehrheim, “Policy Dependent and Independent Information Flow Analyses,” in Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017), 2017, pp. 362–378.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 58 |
S. Dräxler and H. Karl, “Specification, Composition, and Placement of Network Services with Flexible Structures,” International Journal of Network Management, no. 2, pp. 1--16, 2017.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 59
P. Kling, A. Mäcker, S. Riechers, and A. Skopalik, “Sharing is Caring: Multiprocessor Scheduling with a Sharable Resource,” in Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 123--132.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 5946
S. Kühn, Outsourcing und Qualität im Supply Chain - Eine Gleichgewichtsanalyse. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5950
J. Gunning, Crowdfunding Plattformen als Vermittler auf zweiseitigen Märkten - Eine mikroökonomische Analyse. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 60
D. Niehus, Semantically Secure Attribute-based Searchable Encryption. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 62
E. Weis, Searchable Encryption. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 64
M. Keller and H. Karl, “Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions,” IEEE Transactions on Network and Service Management, no. 1, pp. 121--135, 2017.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 45
D. Gutt, D. Schlangenotto, and D. Kundisch, “You can’t buy my rating! On the pivotal effect of an unconditional gift on rating behavior,” in Wirtschaftsinformatik Proceedings, St. Gallen, Switzerland, 2017.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 46
F. Grobbel, Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen. Universität Paderborn, 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 4674
A. Rose, The Performance of Individuals, Teams, and Organizations: Empirical Evidence from the Field. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 47
M. Theda, Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze. Universität Paderborn, 2017.
LibreCat
2017 | Book Chapter | LibreCat-ID: 48
D. Kundisch and D. Gutt, “Was bedeutet die Transformation der Märkte im digitalen Zeitalter? Ökonomische Grundlagen,” in Digitale Ökonomie - Wie verändern sich die Märkte?, S. Hannappel and R. Rehm, Eds. 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 49
T. John, D. Kundisch, and D. Szopinski, “Visual Languages for Modeling Business Models: A Critical Review and Future Research Directions,” in Proceedings of the 38th International Conference on Information Systems (ICIS), Seoul, South Korea, 2017.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 698
N. C. Banh, As Asynchronous Adaption of a Churn-resistant Overlay Network. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 699
J. Sundermeier, Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 70
B. Feldkord, C. Markarian, and F. Meyer auf der Heide, “Price Fluctuations in Online Leasing,” in Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2017, pp. 17–31.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 700
T. Knollmann, A Self-Stabilizing Protocol for Graphs of Diameter Two. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 701
T. Götte, Self-Stabilizing Spanners for Tree Metrics. Universität Paderborn, 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 704
S. Riechers, Scheduling with Scarce Resources. Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 706
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Cost-efficient Scheduling on Machines from the Cloud,” Journal of Combinatorial Optimization, vol. 36, no. 4, pp. 1168–1194, 2017.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 71
M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Predicting Rankings of Software Verification Tools,” in Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 717 |
S. Dräxler et al., “SONATA: Service programming and orchestration for virtualized software networks,” in 2017 IEEE International Conference on Communications Workshops (ICC Workshops), Paris, France, 2017.
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Report | LibreCat-ID: 72
M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, Predicting Rankings of Software Verification Competitions. 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 73
M.-C. Jakobs, “PART_PW: From Partial Analysis Results to a Proof Witness,” in Software Engineering and Formal Methods, 2017, pp. 120–135.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 74
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 84
M. C. Platenius, S. Arifulina, and W. Schäfer, “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract),” in Tagungsband Software Engineering, 2017, pp. 81--82.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 85
L. Lohrsträter, Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 86
L. Niggemeyer, Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 87 |
S. Dräxler, H. Karl, and Z. A. Mann, “Joint Optimization of Scaling and Placement of Virtual Network Services,” in Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017), 2017.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 88
A. Ganesh Athreya, Instantiating a Predicate Encryption Scheme via Pair Encodings. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 96
M. Warkentin, Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 97
L. van Rooijen, F. S. Bäumer, M. C. Platenius, M. Geierhos, H. Hamann, and G. Engels, “From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process,” in 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Lisbon, Portugal, 2017, pp. 379–385.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 98
S. Schwichtenberg, C. Gerth, and G. Engels, “From Open API to Semantic Specifications and Code Adapters,” in Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 2017, pp. 484--491.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 981 |
M. Peuster and H. Karl, “Profile Your Chains, Not Functions. Automated Network Service Profiling in DevOps Environments,” in IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN), Berlin, 2017.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 99
H. Wehrheim, “Fault localization in service compositions,” in Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 50
E. Hamdeev, Verzerrte Online-Produktbewertungen - Literaturüberblick. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 5084
T. Streck, How to adequately relocate asylum applicants within the European Union - An attempt to apply matching theory in the current migration crisis. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 51
N. Winkelhake, Tying und Bundling in digitalen Märkten - eine wettbewerbspolitische Analyse. Universität Paderborn, 2017.
LibreCat
2017 | Conference Abstract | LibreCat-ID: 52
T. John and D. Szopinski, “Towards Explaining the Popularity of the Business Model Canvas: A Dual-coding Approach,” in 1st Business Model Conference, Venice, Italy, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 5204
J. Späth, K. Ali, and E. Bodden, “IDEal: Efficient and Precise Alias-aware Dataflow Analysis,” in 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), 2017.
LibreCat
| Files available
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 5209
A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data using Data Flow Authentication,” CoRR, vol. abs/1710.00390, 2017.
LibreCat
| Files available
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 53
J. Neumann, D. Gutt, and D. Kundisch, “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, 2017.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 54
J. Neumann, D. Gutt, and D. Kundisch, “The Traveling Reviewer Problem – Exploring the Relationship between Offline Locations and Online Rating Behavior,” in INFORMS Annual Meeting, Houston, USA, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 55
B. Feldkord and F. Meyer auf der Heide, “The Mobile Server Problem,” in Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 313–319.
LibreCat
| Files available
| DOI
2017 | Conference Abstract | LibreCat-ID: 56
T. John, “Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory,” in 1st Business Model Conference, Venice, Italy, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 65
A. Lösch and M. Platzner, “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), 2017.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 66
M. Drees, M. Feldotto, S. Riechers, and A. Skopalik, “Pure Nash Equilibria in Restricted Budget Games,” in Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON), 2017, pp. 175--187.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 67
M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 68
T. Isenberg, M. Platzner, H. Wehrheim, and T. Wiersema, “Proof-Carrying Hardware via Inductive Invariants,” ACM Transactions on Design Automation of Electronic Systems, no. 4, pp. 61:1--61:23, 2017.
LibreCat
| Files available
| DOI
2017 | Dissertation | LibreCat-ID: 685
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 69
M.-C. Jakobs and H. Wehrheim, “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software,” ACM Transactions on Programming Languages and Systems, no. 2, pp. 7:1-7:56, 2017.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 696
L. Wachowiak, Das Mobile Server Problem in Netzwerken. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 697
M. Burkhardt, Untersuchungen zum Cone-Hashing. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 104
D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1048
A. Schenk, Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1049
B. Beckendorfer, Visualisierung zu Algorithmen verteilter Netzwerksysteme. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 105
R. Gmyr, K. Hinnenthal, C. Scheideler, and C. Sohler, “Distributed Monitoring of Network Properties: The Power of Hybrid Networks,” in Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017, pp. 137:1--137:15.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 1054
J. Brosig-Koch, B. Hehenkamp, and J. Kokot, “The effects of competition on medical service provision,” Health Economics, vol. 26, no. 53, pp. 6–20, 2017.
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 1055
B. Hehenkamp and O. Kaarboe, Location Choice and Quality Competition in Mixed Hospital Markets. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Report | LibreCat-ID: 1056
Y. Gu, B. Hehenkamp, and W. Leininger, Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Report | LibreCat-ID: 1057
O. Sürücü, B. Mir Djawadi, and S. Brangewitz, Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 106
I. Krammer, Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz. Universität München, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 1062
B. Frick, O. Gergaud, and P. Winter, “The revenue potential of product differentiation: Empirical evidence fro the Croation restaurant industry,” Gastronomy and Tourism, vol. 2, no. 4, pp. 259-271(13), 2017.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 1069
H. C. Petersen, Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine ökonomische Analyse. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1070
A. Turan, Zu den Anreizwirkungen der Kronzeugenregelung - Eine spieltheoretische Analyse. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1071
J. Iding, Zu den Anreiz- und Wohlfahrtswirkungen der Kronzeugenregelung - Das Fallbeispiel des LKW-Kartells (1997-2011). Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1072
D. Lütkevedder, Vertikale Wettbewerbsbeschränkung auf Hotelreservierungsportalen - eine ökonomische Analyse anhand der Bestpreisklausel von Booking. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1073
S. Nachtigall, Sortieren dynamischer Daten. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1074
S. Pukrop, Robuste Optimierung in Congestion Games. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1075
F. Laudage, Open Innovation - Eine ökonimische Perspektive. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1076
M. Goebel, Marktmacht in zweiseitigen Online-Märkten - Probleme der Bestimmung einer marktbeherrschenden Stellung am Beispiel von eBay. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1077
M. Wagemeyer, Marktabgrenzung in der Internetökonomie - Ein Fallbeispiel zum Fusionsantrag von Immowelt und Immonet. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1078
A. Shabani, Die Fusion von AOL und Time Warner - Eine wettbewerbspolitische Analyse. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 1079
D. S. Hamacher, Das Zusammenschlussvorhaben von Edeka und Kaiser’s Tengelmann - eine ökonomische Analyse. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 1080
J. Bürmann, Complexity of Signalling in Routing Games under Uncertainty. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 1081
V. R. Vijayalakshmi, Bounding the Inefficiency of Equilibria in Congestion Games under Taxation. Universität Paderborn, 2017.
LibreCat
2017 | Working Paper | LibreCat-ID: 1083 |
B. Hoyer and N. Stroh-Maraun, Matching Strategies of Heterogeneous Agents under Incomplete Information in a University Clearinghouse, vol. 110. CIE Working Paper Series, Paderborn University, 2017.
LibreCat
| Files available
| Download (ext.)
2017 | Mastersthesis | LibreCat-ID: 109 |
F. Pauck, Cooperative static analysis of Android applications. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 1098
Y.-S. Kim, S.-W. Lee, M. Dollmann, and M. Geierhos, “Semantic Annotation of Software Requirements with Language Frame,” International Journal of Software Engineering for Smart Device, vol. 4, no. 2, pp. 1–6, 2017.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 110
A. Antoniadis, P. Kling, S. Ott, and S. Riechers, “Continuous Speed Scaling with Variability: A Simple and Direct Approach,” Theoretical Computer Science, pp. 1–13, 2017.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 117
P. Bemmann, Attribute-based Signatures using Structure Preserving Signatures. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 118
N. Chi Banh, An Asynchronous Adaptation of a Churn-resistant Overlay Network. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 1180 |
M. D. Wever, F. Mohr, and E. Hüllermeier, “Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization,” in 27th Workshop Computational Intelligence, Dortmund, 2017.
LibreCat
| Files available
| Download (ext.)
2017 | Mastersthesis | LibreCat-ID: 119 |
M. D. Wever, Active Learning of User Requirement Specifications in Dynamic Software Service Markets. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 120
M. D. Wever, L. van Rooijen, and H. Hamann, “Active Coevolutionary Learning of Requirements Specifications from Examples,” in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2017, pp. 1327--1334.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 121
D. Schlangenotto and D. Kundisch, “Achieving more by saying less? On the Moderating Effect of Information Cues in Paid Search,” in Proceedings of the 50th annual Hawaii International Conference on System Sciences (HICSS), Waikoloa Village, HI, USA, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 122
D. Schlangenotto, D. Kundisch, and D. Gutt, “Achieving More by Paying Less? How Bricks-and-Mortar Retailers Can Benefit by Bidding Less Aggressively in Paid Search,” in Proceedings of the 38th International Conference on Information Systems (ICIS), Seoul, South Korea, Seoul, South Korea, 2017.
LibreCat
| Files available
2017 | Report | LibreCat-ID: 123
B. Jazayeri, O. Zimmermann, G. Engels, and D. Kundisch, A Variability Model for Store-oriented Software Ecosystems: An Enterprise Perspective (Supplementary Material). Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 124
B. Jazayeri, O. Zimmermann, G. Engels, and D. Kundisch, “A Variability Model for Store-oriented Software Ecosystems: An Enterprise Perspective,” in Proceedings of the 15th International Conference on Service Oriented Computing (ICSOC), 2017, vol. 10601.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 125
M. Feldmann and C. Scheideler, “A Self-Stabilizing General De Bruijn Graph,” in Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2017, vol. 10616, pp. 250–264.
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 126
J. Neumann and D. Gutt, “A Homeowner’s Guide to Airbnb: Theory and Empirical Evidence for Optimal Pricing Conditional on Online Ratings,” in Proceedings of the 25th Conference on Information Systems (ECIS), Guimaraes, Portugal, 2017.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 100
A. Sergio Djoum Temdjim, Evaluation of Software Reputation Matching Based on App Reviews. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 101
L. Rehmer, Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 5954
N. N, Multi-Dimensional Bargaining Problem and Nash Solution - A procedural approach. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 5957
N. N, Game Theory solutions for the Transshipment Problem in Logistic Networks. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 5955
N. N, Bitcoin, Ethereum & Co. Was zeichnet eine gute Kryptowährung aus? Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5948
N. N, Multiattributive elektronische Verhandlungen. Eine Anwendung des Adjusted Winner Verfahrens. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5949
N. N, Machtindizes in politischen Netzwerken - Eine spieltheoretische Analyse. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5943
N. N, Dynamische multikriterielle Lohnverhandlungen. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5942
N. N, Kooperative Standortspiele. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5944
N. N, Wie können Aufteilungsprobleme gelöst werden? Prozedurale Ansätze zur Konfliktlösung. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5947
N. N, Produkte und Dienstleistungen im Paket - Eine Analyse der strategischen Preissetzung -. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5945
N. N, Simultane bilatrale Verhandlungen - Die Zusammenstellung eines Sortiments. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5952
N. N, Netzwerkeffekte auf zweiseitigen Märkten - Eine ökonomische Betrachtung der Modelle. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5953
N. N, Optimale Projektverträge unter Kostenunsicherheit. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 5951
N. N, How do differentiated goods affect coopetition? Universität Paderborn, 2017.
LibreCat
2017 | Conference Abstract | LibreCat-ID: 127
J. Neumann, D. Gutt, and D. Kundisch, “A Homeowner’s Guide to Airbnb: Theory and Empirical Evidence for Optimal Pricing Conditional on Online Ratings,” presented at the INFORMS Conference on Information Systems and Technology (CIST), Houston, USA, 2017.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 75
D. Leffrang, Online-Bewertung und Preissetzung auf Airbnb. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 18
H. Riebler, M. Lass, R. Mittendorf, T. Löcke, and C. Plessl, “Efficient Branch and Bound on FPGAs Using Work Stealing and Instance-Specific Designs,” ACM Transactions on Reconfigurable Technology and Systems (TRETS), vol. 10, no. 3, p. 24:1-24:23, 2017, doi: 10.1145/3053687.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 1592
T. Kenter, J. Förstner, and C. Plessl, “Flexible FPGA design for FDTD using OpenCL,” 2017, doi: 10.23919/FPL.2017.8056844.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 2540
S. Brangewitz and S. Brockhoff, “Sustainability of coalitional equilibria within repeated tax competition,” European Journal of Political Economy, vol. 49, pp. 1–23, 2016.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 195
M. C. Platenius, Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 196
C. Aykanat, Fußwallwunder Leicester City - Auch in der Bundesliga möglich? Ein ökonomischer Vergleich des Wettbewerbs in der Bundesliga mit der englischen Premier League. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 197
M. Dollmann, Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content. Universität Paderborn, 2016.
LibreCat
2016 | Report | LibreCat-ID: 198
B. Jazayeri, M. C. Platenius, G. Engels, and D. Kundisch, Features of IT Service Markets: A Systematic Literature Review (Supplementary Material). Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 199
B. Jazayeri, M. Platenius, G. Engels, and D. Kundisch, “Features of IT Service Markets: A Systematic Literature Review,” in Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC), 2016, vol. 9936, pp. 301–316.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 200
M. Drees, Existence and Properties of Pure Nash Equilibria in Budget Games. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 201
H. Bröcher, Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 202
E. Dimant, Economics of Corruption and Crime: An Interdisciplinary Approach to Behavioral Ethics. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Working Paper | LibreCat-ID: 2570
J. Manegold, Stackelberg Competition among Intermediaries in a Differentiated Duopoly with Product Innovation, vol. 98. CIE Working Paper Series, Paderborn University, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 3308
R. Breuer, Monitoring in Franchise-Netzwerken: Eine ökonomische Analyse. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 3311
M. Amedick, Informationsasymmetrien auf dem Spendenmarkt und Möglichkeiten ihrer Reduktion: Eine Prinzipal-Agenten-Perspektive von Online Spenden. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 3318
V. Melnikov, E. Hüllermeier, D. Kaimann, B. Frick, and Pritha Gupta, “Pairwise versus Pointwise Ranking: A Case Study,” Schedae Informaticae, vol. 25, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
S. Beringer and H. Wehrheim, “Verification of AUTOSAR Software Architectures with Timed Automata,” in Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, pp. 189--204.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 210
L. Leder, Congestion Games with Mixed Objectives. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 211
S. Brangewitz and J. Manegold, “Competition of Intermediaries in a Differentiated Duopoly,” Theoretical Economics Letters, vol. 6, no. 6, pp. 1341–1362, 2016.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 212
J. Manegold, Competition in Markets with Intermediaries. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 213
L. Porzenheim, Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 214
K. S. Bemmann, Commitment Schemes - Definitions, Variants, and Security. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 215
M. Drees, R. Gmyr, and C. Scheideler, “Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration,” in Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 216
T. von Rechenberg and D. Gutt, “Challenge Accepted! - The Impcat of Goal Achievement on Subsequent User Effort and Implications of a Goal’s Difficulty,” in Proceedings of the 24th Conference on Information Systems (ECIS), Istanbul, Istanbul, Turkey, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 173
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 174
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 175
S. Walther and H. Wehrheim, “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs,” Science of Computer Programming, pp. 2--23, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 176 |
M. Dollmann and M. Geierhos, “On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements,” in Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), Austin, TX, USA, 2016, pp. 1807–1816.
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 177
F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “On the Parameterized Parallel Complexity and the Vertex Cover Problem,” in Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 477–488.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 178
A. E. Endres, On the Design and Defense of Networks - An Experimental Investigation. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 179
M. Pehlivan, On the abuse of market power - an economic perspective of Microsoft antitrust cases. Universität Paderborn, 2016.
LibreCat
2016 | Special Issue | LibreCat-ID: 187
F. Meyer auf der Heide, Ed., Introduction to the Special Issue on SPAA 2014, no. 1. 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 190
M. C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, and W. Schäfer, “Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic,” IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017, no. 8, pp. 739–759, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 191
M. Geierhos and F. S. Bäumer, “How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement,” in Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), Salford, UK, 2016, vol. 9612, pp. 37–47.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 192
L. Reckhorn, Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 193
T. von Rechenberg, D. Gutt, and D. Kundisch, “Goals as Reference Points: Empirical Evidence from a Virtual Reward System,” Decision Analysis, no. 2, pp. 153--171, 2016.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 194
T. Sassenberg, Gefälschte Online Bewertungen - Literaturüberblick. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 203
S. Brangewitz and S. Hoof, “Economic Aspects of Service Composition: Price Negotiations and Quality Investments,” in Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings, 2016, pp. 201–215.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 204
J. Funke, Die Wirkung von monetären Incentives auf das Bewertungsverhalten von Kunden am Beispiel von meineLinse.de. Universität Paderborn, 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 205
P. Herrmann, D. Gutt, and M. Rahman, “Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions,” in INFORMS Annual Meeting, Nashville, USA, 2016.
LibreCat
| Files available
2016 | Conference Abstract | LibreCat-ID: 206
P. Herrmann, D. Gutt, and M. Rahman, “Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions,” in NBER Summer Institute on the Economics of Information Technology and Digitization, Cambridge, MA, USA, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 207
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Cost-efficient Scheduling on Machines from the Cloud,” in Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 578--592.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 208
J. Blömer and G. Liske, “Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes,” in Proceedings of the CT-RSA 2016, 2016, pp. 431–447.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 209
M. Feldotto, L. Leder, and A. Skopalik, “Congestion Games with Mixed Objectives,” in Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.
LibreCat
| Files available
| DOI
| arXiv
2016 | Conference Paper | LibreCat-ID: 180
D. Gutt and D. Kundisch, “Money Talks (Even) in the Sharing Economy: Empirical Evidence for Price Effects in Online Ratings as Quality Signals,” in Proceedings of the 37th International Conference on Information Systems (ICIS), Dublin, Ireland, Dublin, Ireland, 2016.
LibreCat
| Files available
2016 | Mastersthesis | LibreCat-ID: 181
S. Stanco, Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 182
B. Kesmen, Marktmissbrauch in der Internetökonomie - Eine wettbewerbspolitische Analyse. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 183
A. Jubrail, Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 184
V. Melnikov and E. Hüllermeier, “Learning to Aggregate Using Uninorms,” in Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 185
C. Schmidt, Kundenbewertungen im Online-Handel – Alles Betrug? Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 186
M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,” in Software Engineering 2016, 2016, pp. 17–18.
LibreCat
| Files available
2016 | Report | LibreCat-ID: 221
M. C. Platenius et al., An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 222
T. Wiersema, A. Bockhorn, and M. Platzner, “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip,” Computers & Electrical Engineering, pp. 112--122, 2016.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 223
K. Hinnenthal, Aggregation in Overlay Networks. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 224
J. Krämer and H. Wehrheim, “A short survey on using software error localization for service compositions,” in Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 225
A. Jungmann and B. Kleinjohann, “A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality,” in Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, pp. 1--8.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
J. Krämer and H. Wehrheim, “A Formal Approach to Error Localization and Correction in Service Compositions,” in Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 227
M. Töws and H. Wehrheim, “A CEGAR Scheme for Information Flow Analysis,” in Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 2271
A. Hesso, Die Rolle der Reputation: Die Entstehung, der Aufbau, die Messung und die Auswirkung der Reputation auf Kunden und Unternehmen. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 217
S. Schwichtenberg, “Automatized Derivation of Comprehensive Specifications for Black-box Services,” in Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 218
A. Jungmann and B. Kleinjohann, “Automatic Composition of Service-based Image Processing Applications,” in Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 2016, pp. 106--113.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 219
B. Jazayeri, “Architectural Management of On-The-Fly Computing Markets,” in Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops), 2016, p. 42.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 220
M. Keller, Application Deployment at Distributed Clouds. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 5762
T. F. Strothmann, “The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Tree,” Journal of Graph Algorithms and Applications, vol. 20, no. 1, pp. 79–100, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 726
P. Wette and H. Karl, “DCT2Gen: A traffic generator for data centers,” Computer Communications, pp. 45--58, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 730 |
M. Peuster and H. Karl, “Understand Your Chains: Towards Performance Profile-Based Network Service Management,” in Fifth European Workshop on Software-Defined Networks, EWSDN 2016, Den Haag, The Netherlands, October 10-11, 2016, Den Haag, 2016, pp. 7--12.
LibreCat
| Files available
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 731
M. Peuster, H. Karl, A. Enrico Redondi, and A. Capone, “Demonstrating on-demand cell switching with a two-layer mobile network testbed,” in IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2016, San Francisco, CA, USA, April 10-14, 2016, San Francisco, 2016, pp. 1015--1016.
LibreCat
| Files available
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 738 |
M. Peuster, H. Karl, and S. van Rossem, “MeDICINE: Rapid Prototyping of Production-Ready Network Services in Multi-PoP Environments,” in IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), Palo Alto, 2016.
LibreCat
| Files available
| DOI
| Download (ext.)
2016 | Conference Abstract | LibreCat-ID: 4374
S. Zimmermann, P. Herrmann, D. Kundisch, and B. Nault, “How do different Sources of the Variance of Online Consumer Ratings matter?,” in Workshop on IS Design and Economic Behavior (ISDEB), Ilmenau, Germany, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 5205
J. Späth, L. Nguyen Quang Do, K. Ali, and E. Bodden, “Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java,” in European Conference on Object-Oriented Programming (ECOOP), 2016.
LibreCat
| Files available
| Download (ext.)
2016 | Bachelorsthesis | LibreCat-ID: 5407
J. Koepe, Price-Based Allocation Games. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 5418
C. Tölke, Sicherheit von hybriden FPGA-Systemen in der industriellen Automatisierungstechnik -- Anforderungen und Umsetzung. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 5420
G. Wüllrich, Dynamic OpenCL Task Scheduling for Energy and Performance in a Heterogeneous Environment. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 688
D. Kutzias, Friendship Processes in Network Creation Games. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 689
J. S. Schaefer, Routing Algorithms on Delayed Networks for Disaster Management Support. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 166 |
S. Dräxler and H. Karl, “Placement of Services with Flexible Structures Specified by a YANG Data Model,” in Proceedings of the 2nd International IEEE Conference on Network Softwarization (NetSoft), 2016, pp. 184--192.
LibreCat
| Files available
| DOI
| Download (ext.)
2016 | Dissertation | LibreCat-ID: 167
P. Günther, Physical attacks on pairing-based cryptography. Universität Paderborn, 2016.
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 169
T. Kühne, H. Hamann, S. Arifulina, and G. Engels, “Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application,” in Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016), 2016, pp. 278--293.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 170
M.-C. Jakobs, M. Töws, and F. Pauck, “PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper),” in Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, 2016.
LibreCat
| Files available
2016 | Dissertation | LibreCat-ID: 172
F. Stapel, Ontology-based representation of abstract optimization models for model formulation and system generation. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 1082
T. Handirk, Über die Rolle von Informationen in Verkehrsnetzwerken. Universität Paderborn, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 1190
T. Isenberg, Induction-based Verification of Timed Systems. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 128
K. Bernhardt, Zertifikate als Qualitätssignal – Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 129
A. Schmidt, Wie entsteht Kreativität? Ein Überblick über vergleichende Studien zu verschiedenen Formen des Brainstormings. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 130
J. Kaczorkowski, Wettbewerb im Internet - Eine wettbewerbspolitische Analyse des E-Commerce. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 153
J. König, Shared Resource Scheduling with Interconnected Services. Universität Paderborn, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 154
A. Cord-Landwehr, Selfish Network Creation - On Variants of Network Creation Games, vol. 353. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 155
R. Gmyr, J. Lefèvre, and C. Scheideler, “Self-stabilizing Metric Graphs,” in Proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, pp. 248--262.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 157
J. König, A. Mäcker, F. Meyer auf der Heide, and S. Riechers, “Scheduling with Interjob Communication on Parallel Processors,” in Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 563--577.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 158
F. S. Bäumer and M. Geierhos, “Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions,” in Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST), Druskininkai, Lithuania, 2016, vol. 639, pp. 549–558.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 159
T. Harks, M. Höfer, K. Schewior, and A. Skopalik, “Routing Games With Progressive Filling,” IEEE/ACM Transactions on Networking, no. 4, pp. 2553–2562, 2016.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 146
J. Hamm, Symmetric Anonymous Credentials with Protocols for Relations on Attributes. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 148
T. John, “Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory,” in Proceedings of the 37th International Conference on Information Systems (ICIS), Dublin, Ireland, Dublin, Ireland, 2016.
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 149
M. Drees, B. Feldkord, and A. Skopalik, “Strategic Online Facility Location,” in Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 593--607.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 150
S. Arifulina, Solving Heterogeneity for a Successful Service Market. Universität Paderborn, 2016.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 151
J. Berhörster, Software-gestützte Entwicklung von Geschäftsmodellideen: Theoretische Grundlagen und prototypische Implementierung. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 152
F. Dallmeier, Short Randomizable Aggregatable Signatures: Constructions and Security Analysis. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 160
L. van Rooijen and H. Hamann, “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm,” in Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 2016, pp. 3--9.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 161
T. Kenter, Reconfigurable Accelerators in the World of General-Purpose Computing. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Mastersthesis | LibreCat-ID: 162
G. Zhang, Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 164
M. Czech, Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 139
S. Abshoff, P. Kling, C. Markarian, F. Meyer auf der Heide, and P. Pietrzyk, “Towards the price of leasing online,” Journal of Combinatorial Optimization, no. 4, pp. 1197--1216, 2016.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 140
A. Jungmann, Towards On-The-Fly Image Processing. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 142
C. Scheideler, A. Setzer, and T. F. Strothmann, “Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks,” in Proceedings of the 30th International Symposium on Distributed Computing (DISC), 2016, pp. 71--84.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 143
F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “The Monotone Circuit Value Problem with Bounded Genus Is in NC,” in Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON), 2016, pp. 92–102.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 144
B. Monien and M. Mavronicolas, “The complexity of equilibria for risk-modeling valuations,” Theoretical Computer Science, vol. 634, pp. 67–96, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 145
M. Feldotto and K. Graffi, “Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM,” Concurrency and Computation: Practice and Experience, vol. 28, no. 5, pp. 1655–1677, 2016.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 131
A. Holzmann, Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 132
T. Wiersema and M. Platzner, “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware,” in Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 133
M. Dewender, Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 134
P. Heinisch, Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 10136
M. Eikel, Insider-resistent Distributed Storage Systems. Universität Paderborn, 2016.
LibreCat
| Files available