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 | 
@inproceedings{Blömer_Liske_2017, place={Cham}, series={Lecture Notes in Computer Science}, title={Subtleties in Security Definitions for Predicate Encryption with Public Index}, volume={10693}, DOI={10.1007/978-3-319-72453-9_35}, booktitle={Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS)}, publisher={Springer International Publishing}, author={Blömer, Johannes and Liske, Gennadij}, year={2017}, pages={438–453}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 112
@inproceedings{Feldotto_Leder_Skopalik_2017, series={LNCS}, title={Congestion Games with Complementarities}, DOI={10.1007/978-3-319-57586-5_19}, booktitle={Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC)}, author={Feldotto, Matthias and Leder, Lennart and Skopalik, Alexander}, year={2017}, pages={222--233}, collection={LNCS} }
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 113
@inproceedings{Feldotto_Gairing_Kotsialou_Skopalik_2017, title={Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games}, DOI={10.1007/978-3-319-71924-5_14}, booktitle={Proceedings of the 13th International Conference on Web and Internet Economics (WINE)}, author={Feldotto, Matthias and Gairing, Martin and Kotsialou, Grammateia and Skopalik, Alexander}, year={2017} }
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 114
@inproceedings{Jakobs_Wehrheim_2017, series={Lecture Notes in Computer Science}, title={Compact Proof Witnesses}, DOI={10.1007/978-3-319-57288-8_28}, booktitle={NASA Formal Methods: 9th International Symposium}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Barrett, Clark and Davies, Misty and Kahsai, TemesghenEditors}, year={2017}, pages={389–403}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
@inproceedings{Jakobs_Krämer_van Straaten_Lettmann_2017, title={Certification Matters for Service Markets}, booktitle={The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Jakobs, Marie-Christine and Krämer, Julia and van Straaten, Dirk and Lettmann, Theodor}, editor={Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas PrinzEditor}, year={2017}, pages={7–12} }
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
@book{Witschen_2017, title={A Framework for the Synthesis of Approximate Circuits}, publisher={Universität Paderborn}, author={Witschen, Linus Matthias}, year={2017} }
LibreCat
2017 | Dissertation | LibreCat-ID: 116
@book{Liske_2017, title={CCA-Security for Predicate Encryption Schemes}, DOI={10.17619/UNIPB/1-220}, publisher={Universität Paderborn}, author={Liske, Gennadij}, year={2017} }
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 1767
@inproceedings{Mavronicolas_Monien_2017, series={LNCS}, title={Conditional Value-at-Risk: Structure and Complexity of Equilibria}, volume={10504}, DOI={10.1007/978-3-319-66700-3_11}, booktitle={Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017)}, author={Mavronicolas, Marios and Monien, Burkhard}, year={2017}, pages={131--143}, collection={LNCS} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 2344 |
@inproceedings{Blömer_Günther_Krummel_Löken_2017, place={Cham}, title={Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations}, DOI={10.1007/978-3-319-75650-9_1}, booktitle={Foundations and Practice of Security}, publisher={Springer International Publishing}, author={Blömer, Johannes and Günther, Peter and Krummel, Volker and Löken, Nils}, year={2017}, pages={3–17} }
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 18026
@book{Burkhardt_2017, title={Untersuchungen zum Cone-Hashing}, publisher={Universität Paderborn}, author={Burkhardt, Michél }, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18027
@book{Banh_2017, title={An Asynchronous Adaption of a Churn-resistant Overlay Network}, publisher={Universität Paderborn}, author={Banh, Ngoc Chi}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18028
@book{Schenk_2017, title={Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen}, publisher={Universität Paderborn}, author={Schenk, Andreas}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18029
@book{Beckendorf_2017, title={Visualisierung zu Algorithmen verteilter Netzwerksysteme}, publisher={Universität Paderborn}, author={Beckendorf, Björn}, year={2017} }
LibreCat
2017 | Journal Article | LibreCat-ID: 2269
@article{Mauleon_Roehl_Vannetelbosch_2017, title={Constitutions and groups}, volume={107}, DOI={10.1016/j.geb.2017.10.022}, journal={Games and Economic Behavior}, publisher={Elsevier}, author={Mauleon, Ana and Roehl, Nils and Vannetelbosch, Vincent}, year={2017}, pages={135–152} }
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 2272
@book{Golke_2017, title={Signaling und Screening - Abbau von Informationsasymmetrie}, publisher={Universität Paderborn}, author={Golke, Vanessa}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 2273
@book{Moselage_2017, title={Das Reputationssystem als bedeutendes Instrument digitaler Märkte}, publisher={Universität Paderborn}, author={Moselage, Laura}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 2274
@book{Hennawi_2017, title={Der Preis als Qualitätssignal}, publisher={Universität Paderborn}, author={Hennawi, Mohammad Ziad}, year={2017} }
LibreCat
2017 | Journal Article | LibreCat-ID: 90
@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={10.1145/2984640}, number={2}, journal={ACM Transactions on Embedded Computing Systems}, publisher={ACM}, author={Isenberg, Tobias}, year={2017}, pages={47:1-47:24} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 91
@inproceedings{Szopinski_Schoormann_John_Knackstedt_Kundisch_2017, title={How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools}, booktitle={Proceedings of the 23rd Americas Conference on Information Systems (AMCIS)}, author={Szopinski, Daniel and Schoormann, Thorsten and John, Thomas and Knackstedt, Ralf and Kundisch, Dennis}, year={2017} }
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 92
@inproceedings{Szopinski_Schoormann_John_Knackstedt_Kundisch_2017, title={How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools}, booktitle={Bosch Business Model Innovation Summit 2017}, author={Szopinski, Daniel and Schoormann, Thorsten and John, Thomas and Knackstedt, Ralf and Kundisch, Dennis}, year={2017} }
LibreCat
| Files available