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.
1602 Publications
2016 | Dissertation | LibreCat-ID: 200
Drees, Maximilian. Existence and Properties of Pure Nash Equilibria in Budget Games. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 201
Bröcher, Henrik. Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 202
Dimant, Eugen. Economics of Corruption and Crime: An Interdisciplinary Approach to Behavioral Ethics. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Working Paper | LibreCat-ID: 2570
Manegold, Jochen. 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
Breuer, Robin. Monitoring in Franchise-Netzwerken: Eine ökonomische Analyse. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 3311
Amedick, Michaela. 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
Melnikov, Vitalik, et al. “Pairwise versus Pointwise Ranking: A Case Study.” Schedae Informaticae, vol. 25, Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego, 2016, doi:10.4467/20838476si.16.006.6187.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.” 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, edited by Maurice H. ter Beek et al., 2016, pp. 189--204, doi:10.1007/978-3-319-45943-1_13.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 210
Leder, Lennart. Congestion Games with Mixed Objectives. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 211
Brangewitz, Sonja, and Jochen Manegold. “Competition of Intermediaries in a Differentiated Duopoly.” Theoretical Economics Letters, vol. 6, no. 6, Scientific Research Publishing (SCIRP), 2016, pp. 1341–62, doi:10.4236/tel.2016.66124.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 212
Manegold, Jochen. Competition in Markets with Intermediaries. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 213
Porzenheim, Laurens. Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 214
Bemmann, Kai Sören. Commitment Schemes - Definitions, Variants, and Security. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 215
Drees, Maximilian, et al. “Churn- and DoS-Resistant Overlay Networks Based on Network Reconfiguration.” Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427, doi:10.1145/2935764.2935783.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 216
von Rechenberg, Tobias, and Dominik Gutt. “Challenge Accepted! - The Impcat of Goal Achievement on Subsequent User Effort and Implications of a Goal’s Difficulty.” Proceedings of the 24th Conference on Information Systems (ECIS), Istanbul, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 173
Heck, Eduard. Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 174
Schwentker, Christoph. Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 175
Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.” Science of Computer Programming, Elsevier, 2016, pp. 2--23, doi:10.1016/j.scico.2016.04.002.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 176 | 
Dollmann, Markus, and Michaela Geierhos. “On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements.” Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), Association for Computational Linguistics (ACL), 2016, pp. 1807–16.
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 177
Abu-Khzam, Faisal N., et al. “On the Parameterized Parallel Complexity and the Vertex Cover Problem.” Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 477–88, doi:10.1007/978-3-319-48749-6_35.
LibreCat
| Files available
| DOI