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.
12219 Publications
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 | Conference Paper | LibreCat-ID: 1158
@inproceedings{Seemann_Merten_Geierhos_Tophinke_Hüllermeier_2017, place={Stroudsburg, PA, USA}, title={Annotation Challenges for Reconstructing the Structural Elaboration of Middle Low German}, DOI={10.18653/v1/W17-2206}, booktitle={Proceedings of the Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature}, publisher={Association for Computational Linguistics (ACL)}, author={Seemann, Nina and Merten, Marie-Luis and Geierhos, Michaela and Tophinke, Doris and Hüllermeier, Eyke}, year={2017}, pages={40–45} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 1159
@inbook{Kersting_Geierhos_2017, place={Cham, Switzerland}, series={Communications in Computer and Information Science}, title={Using Sentiment Analysis on Local Up-to-the-Minute News: An Integrated Approach}, volume={756}, DOI={10.1007/978-3-319-67642-5}, booktitle={Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings}, publisher={Springer}, author={Kersting, Joschka and Geierhos, Michaela}, editor={Damaševičius, Robertas and Mikašytė, VilmaEditors}, year={2017}, pages={528–538}, collection={Communications in Computer and Information Science} }
LibreCat
| Files available
| DOI
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 | Book Chapter | LibreCat-ID: 1161
@inbook{Bäumer_Grote_Kersting_Geierhos_2017, place={Cham, Switzerland}, series={Communications in Computer and Information Science}, title={Privacy Matters: Detecting Nocuous Patient Data Exposure in Online Physician Reviews}, volume={756}, DOI={10.1007/978-3-319-67642-5_7}, booktitle={Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings}, publisher={Springer}, author={Bäumer, Frederik Simon and Grote, Nicolai and Kersting, Joschka and Geierhos, Michaela}, editor={Damaševičius, Robertas and Mikašytė, VíctorEditors}, year={2017}, pages={77–89}, collection={Communications in Computer and Information Science} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 17652
@inproceedings{Polevoy_Trajanovski_Grosso_de Laat_2017, place={Cham}, series={Lecture Notes in Computer Science}, title={Filtering Undesirable Flows in Networks}, DOI={10.1007/978-3-319-71150-8_1}, booktitle={Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I}, publisher={Springer International Publishing}, author={Polevoy, Gleb and Trajanovski, Stojan and Grosso, Paola and de Laat, Cees}, year={2017}, pages={3–17}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 17653
@inproceedings{Polevoy_de Weerdt_2017, series={CCIS}, title={Reciprocation Effort Games}, booktitle={Proceedings of the 29th Benelux Conference on Artificial Intelligence}, publisher={Springer}, author={Polevoy, Gleb and de Weerdt, M.M.}, year={2017}, collection={CCIS} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 17654
@inproceedings{Polevoy_de Weerdt_2017, series={CCIS}, title={Competition between Cooperative Projects}, booktitle={Proceedings of the 29th Benelux Conference on Artificial Intelligence}, publisher={Springer}, author={Polevoy, Gleb and de Weerdt, M.M.}, year={2017}, collection={CCIS} }
LibreCat
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 | Preprint | LibreCat-ID: 17811
@article{Fischer_Jung_Meyer auf der Heide_2017, title={Gathering Anonymous, Oblivious Robots on a Grid}, journal={arXiv:1702.03400}, author={Fischer, Matthias and Jung, Daniel and Meyer auf der Heide, Friedhelm}, year={2017} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 19387
@inbook{Wünsche_Henkel_Teutenberg_Meschut_Mailänder_2017, place={Wiesbaden}, title={Auslegung geklebter Kunststofffügeteile}, DOI={10.1007/978-3-658-18445-2_3}, booktitle={Kunststoffe erfolgreich kleben}, author={Wünsche, Marc and Henkel, Katharina and Teutenberg, Dominik and Meschut, Gerson and Mailänder, Sebastian}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 2343 | 
@inproceedings{Löken_2017, series={ICPS}, title={Searchable Encryption with Access Control}, DOI={10.1145/3098954.3098987}, number={24}, booktitle={Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES ’17}, publisher={ACM Press}, author={Löken, Nils}, year={2017}, collection={ICPS} }
LibreCat
| Files available
| DOI
| Download (ext.)
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 | Conference Paper | LibreCat-ID: 23572
@inproceedings{Yang_Berscheidt_Gräßler_2017, title={Untersuchung der Interdisziplinarität im Leichtbau zur Erreichung einer nachhaltigen Wertschöpfungskette}, booktitle={Sustainability Management for Industries 7: Transformationen - Neue Wege zu industrieller Nachhaltigkeit}, author={Yang, Xiaojun and Berscheidt, Anna-Lena and Gräßler, Iris}, year={2017}, pages={31–42} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 23759
@inbook{Menge_Josupeit_Delfs_Schmid_2017, place={Wiesbaden}, title={Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen}, DOI={10.1007/978-3-658-17780-5}, booktitle={Additive Fertigung von Bauteilen und Strukturen}, publisher={Springer Vieweg}, author={Menge, Dennis and Josupeit, Stefan and Delfs, Patrick and Schmid, Hans-Joachim}, editor={Richard, Hans Albert and Schramm, Britta and Zipsner, ThomasEditors}, year={2017}, pages={105–120} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 2381
@inbook{Brauer_2017, place={Cham}, title={Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems}, volume={10236}, DOI={10.1007/978-3-319-57586-5_11}, booktitle={Lecture Notes in Computer Science}, publisher={Springer International Publishing}, author={Brauer, Sascha}, editor={Fotakis, Dimitris and Pagourtzis, Aris and Paschos, Vangelis Th.Editors}, year={2017}, pages={116–127} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 23910
@inbook{Andreiev_Grydin_Schaper_2017, place={Cham}, title={A Rapid Heating Method for Press Hardening Processing}, DOI={10.1007/978-3-319-52132-9_72}, booktitle={Proceedings of the 3rd Pan American Materials Congress}, author={Andreiev, Anatolii and Grydin, Olexandr and Schaper, Mirko}, year={2017} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 2050
@inbook{Krimphove_2017, place={Köln}, title={Kommentierung § 3 GWB (Mittelstandskartelle)}, booktitle={Kölner Kommentar zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB)}, publisher={Carl Heymanns Verlag KG}, author={Krimphove, Dieter}, editor={Busche, Jan and Röhling, AndreasEditors}, year={2017}, pages={466 – 538} }
LibreCat