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.
1597 Publications
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