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


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
 

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
 

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
 

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
 

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
 

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.)
 

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
 

2017 | Conference Paper | LibreCat-ID: 2344 | OA
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
 

2017 | Bachelorsthesis | LibreCat-ID: 18026
Untersuchungen zum Cone-Hashing
M. Burkhardt, Untersuchungen Zum Cone-Hashing, Universität Paderborn, 2017.
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 18027
An Asynchronous Adaption of a Churn-resistant Overlay Network
N.C. Banh, An Asynchronous Adaption of a Churn-Resistant Overlay Network, Universität Paderborn, 2017.
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 18028
Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen
A. Schenk, Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen, Universität Paderborn, 2017.
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 18029
Visualisierung zu Algorithmen verteilter Netzwerksysteme
B. Beckendorf, Visualisierung Zu Algorithmen Verteilter Netzwerksysteme, Universität Paderborn, 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 2269
Constitutions and groups
A. Mauleon, N. Roehl, V. Vannetelbosch, Games and Economic Behavior 107 (2017) 135–152.
LibreCat | Files available | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 2272
Signaling und Screening - Abbau von Informationsasymmetrie
V. Golke, Signaling und Screening - Abbau von Informationsasymmetrie, Universität Paderborn, 2017.
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 2273
Das Reputationssystem als bedeutendes Instrument digitaler Märkte
L. Moselage, Das Reputationssystem als bedeutendes Instrument digitaler Märkte, Universität Paderborn, 2017.
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 2274
Der Preis als Qualitätssignal
M.Z. Hennawi, Der Preis als Qualitätssignal, Universität Paderborn, 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 90
Incremental Inductive Verification of Parameterized Timed Systems
T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 91
How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), 2017.
LibreCat | Files available
 

2017 | Conference Abstract | LibreCat-ID: 92
How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Bosch Business Model Innovation Summit 2017, 2017.
LibreCat | Files available
 

2017 | Book Chapter | LibreCat-ID: 93
Guesswork? Resolving Vagueness in User-Generated Software Requirements
M. Geierhos, F.S. Bäumer, in: H. Christiansen, M.D. Jiménez-López, R. Loukanova, L.S. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., Cambridge Scholars Publishing, Newcastle upon Tyne, UK, 2017, pp. 65–108.
LibreCat | Files available
 

Filters and Search Terms

(project=1)

Search

Filter Publications

Display / Sort

Export / Embed