@inbook{26427,
  author       = {{Keil, Reinhard}},
  booktitle    = {{Education in the digital age - balance sheet and perspectives}},
  pages        = {{46--72}},
  publisher    = {{Heinz Nixdorf MuseumsForum}},
  title        = {{{Learning {\ "o} natural infrastructures: A technology-centered approach to the development of new educational potentials}}},
  year         = {{2017}},
}

@misc{3291,
  abstract     = {{The microservice architecture uses independently running microservices as build- ing blocks for applications. These microservices are clearly bounded for each other and expose their functionality through, for instance, RESTful application inter- faces. Particularly the clear boundaries between microservices enable the reuse of microservice throughout different projects. Because of the increasing use of microservices, the composition of multiple microservices in service composition becomes a more important task. A challenging area in developing service compo- sitions is that it involves two distinct layers with few junctions. On the one hand, describes a service composition a business process, which involves multiple com- ponents. On the other hand, involves the implementation of a service composition topics like service discovery and message exchange protocols since the microser- vices involved in a service composition are located within a network environment. In this Bachelor’s Thesis, I describe a descriptions language to abstractly describe the business logic of a service composition. Furthermore, I describe a genera- tion process, which compiles this abstract description to a working microservice realizing the specified service composition. In addition to that, I provide an im- plementation of the generation process, as a proof of concept, and test it within a Kubernetes-based cluster environment.}},
  author       = {{Schürmann, Andreas}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Microservice-based Execution Environment for Service Compositions}}},
  year         = {{2017}},
}

@inproceedings{3325,
  author       = {{Melnikov, Vitalik and Hüllermeier, Eyke}},
  booktitle    = {{Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017}},
  publisher    = {{KIT Scientific Publishing}},
  title        = {{{Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics}}},
  doi          = {{10.5445/KSP/1000074341}},
  year         = {{2017}},
}

@misc{3512,
  author       = {{Börding, Paul}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Testing Java Method Contracts}}},
  year         = {{2017}},
}

@misc{3580,
  author       = {{Hansmeier, Tim}},
  publisher    = {{Universität Paderborn}},
  title        = {{{An FPGA Accelerator for Checking Resolution Proofs}}},
  year         = {{2017}},
}

@inproceedings{3751,
  author       = {{Ajjour, Yamen and Chen, Wei-Fan and Kiesel, Johannes and Wachsmuth, Henning and Stein, Benno}},
  booktitle    = {{Proceedings of the 4th Workshop on Argument Mining}},
  pages        = {{118--128}},
  title        = {{{Unit Segmentation of Argumentative Texts}}},
  year         = {{2017}},
}

@inproceedings{3803,
  author       = {{Al Khatib, Khalid and Wachsmuth, Henning and Hagen, Matthias and Stein, Benno}},
  booktitle    = {{Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing}},
  pages        = {{1362--1368}},
  title        = {{{Patterns of Argumentation Strategies across Topics}}},
  year         = {{2017}},
}

@inproceedings{3809,
  author       = {{Kiesel, Johannes and Wachsmuth, Henning and Al Khatib, Khalid and Stein, Benno}},
  booktitle    = {{Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics}},
  pages        = {{13--16}},
  title        = {{{WAT-SL: A Customizable Web Annotation Tool for Segment Labeling}}},
  year         = {{2017}},
}

@inproceedings{3817,
  author       = {{Wachsmuth, Henning and Stein, Benno and Ajjour, Yamen}},
  booktitle    = {{Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers}},
  pages        = {{1117--1127}},
  title        = {{{"Page Rank'' for Argument Relevance}}},
  year         = {{2017}},
}

@inproceedings{3819,
  author       = {{Wachsmuth, Henning and Potthast, Martin and Al-Khatib, Khalid and Ajjour, Yamen and Puschmann, Jana and Qu, Jiani and Dorsch, Jonas and Morari, Viorel and Bevendorff, Janek and Stein, Benno}},
  booktitle    = {{Proceedings of the 4th Workshop on Argument Mining}},
  pages        = {{49--59}},
  title        = {{{Building an Argument Search Engine for the Web}}},
  year         = {{2017}},
}

@inproceedings{3820,
  author       = {{Wachsmuth, Henning and Da San Martino, Giovanni and Kiesel, Dora and Stein, Benno}},
  booktitle    = {{Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing}},
  pages        = {{2369--2379}},
  title        = {{{The Impact of Modeling Overall Argumentation with Tree Kernels}}},
  year         = {{2017}},
}

@article{3872,
  abstract     = {{This paper considers the problem of how to efficiently share a wireless medium which is subject to harsh external interference or even jamming. So far, this problem is understood only in simplistic single-hop or unit disk graph models. We in this paper initiate the study of MAC protocols for the SINR interference model (a.k.a. physical model). This paper makes two contributions. First, we introduce a new adversarial SINR model which captures a wide range of interference phenomena. Concretely, we consider a powerful, adaptive adversary which can jam nodes at arbitrary times and which is only limited by some energy budget. Our second contribution is a distributed MAC protocol called Sade which provably achieves a constant competitive throughput in this environment: we show that, with high probability, the protocol ensures that a constant fraction of the non-blocked time periods is used for successful transmissions.}},
  author       = {{Ogierman, Adrian and Richa, Andrea and Scheideler, Christian and Schmid, Stefan and Zhang, Jin}},
  issn         = {{0178-2770}},
  journal      = {{Distributed Computing}},
  number       = {{3}},
  pages        = {{241--254}},
  publisher    = {{Springer Nature}},
  title        = {{{Sade: competitive MAC under adversarial SINR}}},
  doi          = {{10.1007/s00446-017-0307-1}},
  volume       = {{31}},
  year         = {{2017}},
}

@inproceedings{3881,
  author       = {{Wachsmuth, Henning and Naderi, Nona and Hou, Yufang and Bilu, Yonatan and Prabhakaran, Vinodkumar and Thijm, Tim Alberdingk and Hirst, Graeme and Stein, Benno}},
  booktitle    = {{Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers}},
  pages        = {{176--187}},
  title        = {{{Computational Argumentation Quality Assessment in Natural Language}}},
  year         = {{2017}},
}

@article{3882,
  author       = {{Wachsmuth, Henning and Stein, Benno}},
  issn         = {{1533-5399}},
  journal      = {{Special Section of the ACM Transactions on Internet Technology: Argumentation in Social Media}},
  number       = {{3}},
  pages        = {{1--24}},
  title        = {{{A Universal Model for Discourse-Level Argumentation Analysis}}},
  year         = {{2017}},
}

@inproceedings{3883,
  author       = {{Wachsmuth, Henning and Naderi, Nona and Habernal, Ivan and Hou, Yufang and Hirst, Graeme and Gurevych, Iryna and Stein, Benno}},
  booktitle    = {{Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers)}},
  pages        = {{250--255}},
  title        = {{{Argumentation Quality Assessment: Theory vs. Practice}}},
  doi          = {{10.18653/v1/P17-2039}},
  year         = {{2017}},
}

@inproceedings{3904,
  author       = {{Hagen, Matthias and Kiesel, Johannes and Alshomary, Milad and Stein, Benno}},
  booktitle    = {{Working Notes of CLEF 2017 - Conference and Labs of the Evaluation Forum}},
  title        = {{{Webis at the CLEF 2017 Dynamic Search Lab}}},
  year         = {{2017}},
}

@phdthesis{2908,
  author       = {{Bujna, Kathrin}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Soft Clustering Algorithms - Theoretical and Practical Improvements}}},
  doi          = {{10.17619/UNIPB/1-226}},
  year         = {{2017}},
}

@inproceedings{2967,
  author       = {{Blömer, Johannes and Liske, Gennadij}},
  booktitle    = {{Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS)}},
  isbn         = {{9783319724522}},
  issn         = {{0302-9743}},
  pages        = {{438--453}},
  publisher    = {{Springer International Publishing}},
  title        = {{{Subtleties in Security Definitions for Predicate Encryption with Public Index}}},
  doi          = {{10.1007/978-3-319-72453-9_35}},
  volume       = {{10693}},
  year         = {{2017}},
}

@article{3108,
  author       = {{Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg}},
  journal      = {{J. Cryptology}},
  number       = {{4}},
  pages        = {{1276----1324}},
  title        = {{{Authenticated Confidential Channel Establishment and the Security of TLS-DHE}}},
  doi          = {{10.1007/s00145-016-9248-2}},
  year         = {{2017}},
}

@inproceedings{3109,
  author       = {{Hale, Britta and Jager, Tibor and Lauer, Sebastian and Schwenk, Jörg}},
  booktitle    = {{Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings}},
  pages        = {{20----38}},
  title        = {{{Simple Security Definitions for and Constructions of 0-RTT Key Exchange}}},
  doi          = {{10.1007/978-3-319-61204-1_2}},
  year         = {{2017}},
}