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 | 
Blömer J, Liske G. 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). Vol 10693. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2017:438-453. doi:10.1007/978-3-319-72453-9_35
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 112
Feldotto M, Leder L, Skopalik A. Congestion Games with Complementarities. In: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC). LNCS. ; 2017:222--233. doi:10.1007/978-3-319-57586-5_19
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 113
Feldotto M, Gairing M, Kotsialou G, Skopalik A. 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. doi:10.1007/978-3-319-71924-5_14
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 114
Jakobs M-C, Wehrheim H. Compact Proof Witnesses. In: Barrett C, Davies M, Kahsai T, eds. NASA Formal Methods: 9th International Symposium. Lecture Notes in Computer Science. ; 2017:389-403. doi:10.1007/978-3-319-57288-8_28
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
Jakobs M-C, Krämer J, van Straaten D, Lettmann T. Certification Matters for Service Markets. In: Marcelo De Barros, Janusz Klink,Tadeus Uhl TP, ed. The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2017:7-12.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
Witschen LM. A Framework for the Synthesis of Approximate Circuits. Universität Paderborn; 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 116
Liske G. CCA-Security for Predicate Encryption Schemes. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-220
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 1767
Mavronicolas M, Monien B. Conditional Value-at-Risk: Structure and Complexity of Equilibria. In: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017). Vol 10504. LNCS. ; 2017:131--143. doi:10.1007/978-3-319-66700-3_11
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 2344 |
Blömer J, Günther P, Krummel V, Löken N. Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations. In: Foundations and Practice of Security. Cham: Springer International Publishing; 2017:3-17. doi:10.1007/978-3-319-75650-9_1
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 18026
Burkhardt M. Untersuchungen Zum Cone-Hashing. Universität Paderborn; 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18027
Banh NC. An Asynchronous Adaption of a Churn-Resistant Overlay Network. Universität Paderborn; 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18028
Schenk A. Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen. Universität Paderborn; 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18029
Beckendorf B. Visualisierung Zu Algorithmen Verteilter Netzwerksysteme. Universität Paderborn; 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 2269
Mauleon A, Roehl N, Vannetelbosch V. Constitutions and groups. Games and Economic Behavior. 2017;107:135-152. doi:10.1016/j.geb.2017.10.022
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 2272
Golke V. Signaling und Screening - Abbau von Informationsasymmetrie. Universität Paderborn; 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 2273
Moselage L. Das Reputationssystem als bedeutendes Instrument digitaler Märkte. Universität Paderborn; 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 2274
Hennawi MZ. Der Preis als Qualitätssignal. Universität Paderborn; 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 90
Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems. ACM Transactions on Embedded Computing Systems. 2017;(2):47:1-47:24. doi:10.1145/2984640
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 91
Szopinski D, Schoormann T, John T, Knackstedt R, Kundisch D. 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). ; 2017.
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 92
Szopinski D, Schoormann T, John T, Knackstedt R, Kundisch D. How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In: Bosch Business Model Innovation Summit 2017. ; 2017.
LibreCat
| Files available