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. Working Papers CIE. 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, Eyke Hüllermeier, Daniel Kaimann, Bernd Frick, and Pritha Gupta. “Pairwise versus Pointwise Ranking: A Case Study.” Schedae Informaticae 25 (2016). https://doi.org/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.” 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, edited by Maurice H. ter Beek, Stefania Gnesi, and Alexander Knapp, 189--204. Lecture Notes in Computer Science, 2016. https://doi.org/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 6, no. 6 (2016): 1341–62. https://doi.org/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, Robert Gmyr, and Christian 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), 417--427, 2016. https://doi.org/10.1145/2935764.2935783.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 216
Rechenberg, Tobias von, and Dominik 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, 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, 2016, 2--23. https://doi.org/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.” In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), 1807–16. Austin, TX, USA: Association for Computational Linguistics (ACL), 2016.
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 177
Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, and Pavel Podlipyan. “On the Parameterized Parallel Complexity and the Vertex Cover Problem.” In Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 477–88. LNCS, 2016. https://doi.org/10.1007/978-3-319-48749-6_35.
LibreCat
| Files available
| DOI