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
2017 | Conference Paper | LibreCat-ID: 2967 | 
J. Blömer and G. Liske, “Subtleties in Security Definitions for Predicate Encryption with Public Index,” in Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), 2017, vol. 10693, pp. 438–453.
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 112
M. Feldotto, L. Leder, and A. Skopalik, “Congestion Games with Complementarities,” in Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 113
M. Feldotto, M. Gairing, G. Kotsialou, and A. Skopalik, “Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games,” in Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 114
M.-C. Jakobs and H. Wehrheim, “Compact Proof Witnesses,” in NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
M.-C. Jakobs, J. Krämer, D. van Straaten, and T. Lettmann, “Certification Matters for Service Markets,” in The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
L. M. Witschen, A Framework for the Synthesis of Approximate Circuits. Universität Paderborn, 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 116
G. Liske, CCA-Security for Predicate Encryption Schemes. Universität Paderborn, 2017.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 1767
M. Mavronicolas and B. Monien, “Conditional Value-at-Risk: Structure and Complexity of Equilibria,” in Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), L’Aquila, Italy, 2017, vol. 10504, pp. 131--143.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 2344 |
J. Blömer, P. Günther, V. Krummel, and N. Löken, “Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations,” in Foundations and Practice of Security, 2017, pp. 3–17.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 18026
M. Burkhardt, Untersuchungen zum Cone-Hashing. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18027
N. C. Banh, An Asynchronous Adaption of a Churn-resistant Overlay Network. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18028
A. Schenk, Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18029
B. Beckendorf, Visualisierung zu Algorithmen verteilter Netzwerksysteme. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 2269
A. Mauleon, N. Roehl, and V. Vannetelbosch, “Constitutions and groups,” Games and Economic Behavior, vol. 107, pp. 135–152, 2017.
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 2272
V. Golke, Signaling und Screening - Abbau von Informationsasymmetrie. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 2273
L. Moselage, Das Reputationssystem als bedeutendes Instrument digitaler Märkte. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 2274
M. Z. Hennawi, Der Preis als Qualitätssignal. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 90
T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” ACM Transactions on Embedded Computing Systems, no. 2, pp. 47:1-47:24, 2017.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 91
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, and D. Kundisch, “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools,” in Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), Boston, USA, 2017.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 92
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, and D. Kundisch, “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools,” in Bosch Business Model Innovation Summit 2017, Renningen, Germany, 2017.
LibreCat
| Files available