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
2018 | Conference Paper | LibreCat-ID: 1588
OpenCL-based FPGA Design to Accelerate the Nodal Discontinuous Galerkin Method for Unstructured Meshes
T. Kenter, G. Mahale, S. Alhaddad, Y. Grynko, C. Schmitt, A. Afzal, F. Hannig, J. Förstner, C. Plessl, in: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE, 2018.
LibreCat
| Files available
| DOI
T. Kenter, G. Mahale, S. Alhaddad, Y. Grynko, C. Schmitt, A. Afzal, F. Hannig, J. Förstner, C. Plessl, in: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE, 2018.
2018 | Conference Paper | LibreCat-ID: 1204
Automated Code Acceleration Targeting Heterogeneous OpenCL Devices
H. Riebler, G.F. Vaz, T. Kenter, C. Plessl, in: Proc. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), ACM, 2018.
LibreCat
| Files available
| DOI
H. Riebler, G.F. Vaz, T. Kenter, C. Plessl, in: Proc. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), ACM, 2018.
2017 | Conference Paper | LibreCat-ID: 2851
Leasing with Uncertainty
C. Markarian, in: International Conference on Operations Research (OR), 2017.
LibreCat
| Files available
| DOI
C. Markarian, in: International Conference on Operations Research (OR), 2017.
2017 | Conference Abstract | LibreCat-ID: 2696
Decomposing the Variance of Online Consumer Ratings and the Impact on Price and Demand
S. Zimmermann, P. Herrmann, D. Kundisch, B. Nault, in: Workshop Theory in Economics of Information Systems (TEIS), 2017.
LibreCat
| Files available
S. Zimmermann, P. Herrmann, D. Kundisch, B. Nault, in: Workshop Theory in Economics of Information Systems (TEIS), 2017.
2017 | Bachelorsthesis | LibreCat-ID: 3291
Microservice-based Execution Environment for Service Compositions
A. Schürmann, Microservice-Based Execution Environment for Service Compositions, Universität Paderborn, 2017.
LibreCat
A. Schürmann, Microservice-Based Execution Environment for Service Compositions, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 3307
The impact of customer reviews and advertisement efforts on the performance of experience goods in electronic markets
B. Frick, D. Kaimann, Applied Economics Letters 24 (2017) 1237–1240.
LibreCat
| Files available
| DOI
B. Frick, D. Kaimann, Applied Economics Letters 24 (2017) 1237–1240.
2017 | Bachelorsthesis | LibreCat-ID: 3312
The role of eWOM in the movie industry: The effect of online user ratings on box office sales
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
M. Zarindast, The Role of EWOM in the Movie Industry: The Effect of Online User Ratings on Box Office Sales , Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 3325
Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics
V. Melnikov, E. Hüllermeier, in: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, KIT Scientific Publishing, 2017.
LibreCat
| Files available
| DOI
V. Melnikov, E. Hüllermeier, in: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, KIT Scientific Publishing, 2017.
2017 | Mastersthesis | LibreCat-ID: 3512
Testing Java Method Contracts
P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.
LibreCat
P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 3580
An FPGA Accelerator for Checking Resolution Proofs
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.
LibreCat
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 2967 |

Subtleties in Security Definitions for Predicate Encryption with Public Index
J. Blömer, G. Liske, in: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International Publishing, Cham, 2017, pp. 438–453.
LibreCat
| Files available
| DOI
| Download (ext.)
J. Blömer, G. Liske, in: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International Publishing, Cham, 2017, pp. 438–453.
2017 | Conference Paper | LibreCat-ID: 112
Congestion Games with Complementarities
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
2017 | Conference Paper | LibreCat-ID: 113
Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games
M. Feldotto, M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
2017 | Conference Paper | LibreCat-ID: 114
Compact Proof Witnesses
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
LibreCat
| Files available
| DOI
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
2017 | Conference Paper | LibreCat-ID: 115
Certification Matters for Service Markets
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
2017 | Mastersthesis | LibreCat-ID: 1157
A Framework for the Synthesis of Approximate Circuits
L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
LibreCat
L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
2017 | Dissertation | LibreCat-ID: 116
CCA-Security for Predicate Encryption Schemes
G. Liske, CCA-Security for Predicate Encryption Schemes, Universität Paderborn, 2017.
LibreCat
| DOI
| Download (ext.)
G. Liske, CCA-Security for Predicate Encryption Schemes, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 1767
Conditional Value-at-Risk: Structure and Complexity of Equilibria
M. Mavronicolas, B. Monien, in: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131--143.
LibreCat
| Files available
| DOI
M. Mavronicolas, B. Monien, in: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131--143.
2017 | Conference Paper | LibreCat-ID: 2344 |

Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
LibreCat
| Files available
| DOI
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
2017 | Bachelorsthesis | LibreCat-ID: 18026
Untersuchungen zum Cone-Hashing
M. Burkhardt, Untersuchungen Zum Cone-Hashing, Universität Paderborn, 2017.
LibreCat
M. Burkhardt, Untersuchungen Zum Cone-Hashing, Universität Paderborn, 2017.