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.
1596 Publications
2016 | Journal Article | LibreCat-ID: 3318
Pairwise versus Pointwise Ranking: A Case Study
V. Melnikov, E. Hüllermeier, D. Kaimann, B. Frick, Pritha Gupta, Schedae Informaticae 25 (2016).
LibreCat
| Files available
| DOI
V. Melnikov, E. Hüllermeier, D. Kaimann, B. Frick, Pritha Gupta, Schedae Informaticae 25 (2016).
2016 | Conference Paper | LibreCat-ID: 3157
Verification of AUTOSAR Software Architectures with Timed Automata
S. Beringer, H. Wehrheim, in: M. H. ter Beek, S. Gnesi, A. Knapp (Eds.), 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
S. Beringer, H. Wehrheim, in: M. H. ter Beek, S. Gnesi, A. Knapp (Eds.), 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.
2016 | Mastersthesis | LibreCat-ID: 210
Congestion Games with Mixed Objectives
L. Leder, Congestion Games with Mixed Objectives, Universität Paderborn, 2016.
LibreCat
L. Leder, Congestion Games with Mixed Objectives, Universität Paderborn, 2016.
2016 | Journal Article | LibreCat-ID: 211
Competition of Intermediaries in a Differentiated Duopoly
S. Brangewitz, J. Manegold, Theoretical Economics Letters 6 (2016) 1341–1362.
LibreCat
| Files available
| DOI
S. Brangewitz, J. Manegold, Theoretical Economics Letters 6 (2016) 1341–1362.
2016 | Dissertation | LibreCat-ID: 212
Competition in Markets with Intermediaries
J. Manegold, Competition in Markets with Intermediaries, Universität Paderborn, 2016.
LibreCat
| Files available
J. Manegold, Competition in Markets with Intermediaries, Universität Paderborn, 2016.
2016 | Bachelorsthesis | LibreCat-ID: 213
Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes
L. Porzenheim, Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes, Universität Paderborn, 2016.
LibreCat
L. Porzenheim, Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes, Universität Paderborn, 2016.
2016 | Bachelorsthesis | LibreCat-ID: 214
Commitment Schemes - Definitions, Variants, and Security
K.S. Bemmann, Commitment Schemes - Definitions, Variants, and Security, Universität Paderborn, 2016.
LibreCat
K.S. Bemmann, Commitment Schemes - Definitions, Variants, and Security, Universität Paderborn, 2016.
2016 | Conference Paper | LibreCat-ID: 215
Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration
M. Drees, R. Gmyr, C. Scheideler, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
LibreCat
| Files available
| DOI
M. Drees, R. Gmyr, C. Scheideler, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
2016 | Conference Paper | LibreCat-ID: 216
Challenge Accepted! - The Impcat of Goal Achievement on Subsequent User Effort and Implications of a Goal's Difficulty
T. von Rechenberg, D. Gutt, in: Proceedings of the 24th Conference on Information Systems (ECIS), Istanbul, 2016.
LibreCat
| Files available
T. von Rechenberg, D. Gutt, in: Proceedings of the 24th Conference on Information Systems (ECIS), Istanbul, 2016.
2016 | Bachelorsthesis | LibreCat-ID: 173
Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace, Universität Paderborn, 2016.
LibreCat
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace, Universität Paderborn, 2016.
2016 | Bachelorsthesis | LibreCat-ID: 174
Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen, Universität Paderborn, 2016.
LibreCat
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen, Universität Paderborn, 2016.
2016 | Journal Article | LibreCat-ID: 175
On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs
S. Walther, H. Wehrheim, Science of Computer Programming (2016) 2--23.
LibreCat
| Files available
| DOI
S. Walther, H. Wehrheim, Science of Computer Programming (2016) 2--23.
2016 | Conference Paper | LibreCat-ID: 176 | 
On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements
M. Dollmann, M. Geierhos, in: Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), Association for Computational Linguistics (ACL), Austin, TX, USA, 2016, pp. 1807–1816.
LibreCat
| Files available
| Download (ext.)
M. Dollmann, M. Geierhos, in: Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), Association for Computational Linguistics (ACL), Austin, TX, USA, 2016, pp. 1807–1816.
2016 | Conference Paper | LibreCat-ID: 177
On the Parameterized Parallel Complexity and the Vertex Cover Problem
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 477–488.
LibreCat
| Files available
| DOI
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 477–488.
2016 | Mastersthesis | LibreCat-ID: 178
On the Design and Defense of Networks - An Experimental Investigation
A.E. Endres, On the Design and Defense of Networks - An Experimental Investigation, Universität Paderborn, 2016.
LibreCat
A.E. Endres, On the Design and Defense of Networks - An Experimental Investigation, Universität Paderborn, 2016.
2016 | Mastersthesis | LibreCat-ID: 179
On the abuse of market power - an economic perspective of Microsoft antitrust cases
M. Pehlivan, On the Abuse of Market Power - an Economic Perspective of Microsoft Antitrust Cases, Universität Paderborn, 2016.
LibreCat
M. Pehlivan, On the Abuse of Market Power - an Economic Perspective of Microsoft Antitrust Cases, Universität Paderborn, 2016.
2016 | Special Issue | LibreCat-ID: 187
Introduction to the Special Issue on SPAA 2014
F. Meyer auf der Heide, ed., Introduction to the Special Issue on SPAA 2014, 2016.
LibreCat
| Files available
| DOI
F. Meyer auf der Heide, ed., Introduction to the Special Issue on SPAA 2014, 2016.
2016 | Journal Article | LibreCat-ID: 190
Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic
M.C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, W. Schäfer, IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017 (2016) 739–759.
LibreCat
| Files available
| DOI
M.C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, W. Schäfer, IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017 (2016) 739–759.
2016 | Conference Paper | LibreCat-ID: 191
How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement
M. Geierhos, F.S. Bäumer, in: E. Métais, F. Meziane, M. Saraee, V. Sugumaran, S. Vadera (Eds.), Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), Springer, Cham, Switzerland, 2016, pp. 37–47.
LibreCat
| Files available
| DOI
M. Geierhos, F.S. Bäumer, in: E. Métais, F. Meziane, M. Saraee, V. Sugumaran, S. Vadera (Eds.), Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), Springer, Cham, Switzerland, 2016, pp. 37–47.
2016 | Bachelorsthesis | LibreCat-ID: 192
Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling
L. Reckhorn, Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling, Universität Paderborn, 2016.
LibreCat
L. Reckhorn, Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling, Universität Paderborn, 2016.