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.
5786 Publications
2017 | Conference Paper | LibreCat-ID: 3325
Melnikov, Vitalik, and Eyke Hüllermeier. “Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics.” Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, KIT Scientific Publishing, 2017, doi:10.5445/KSP/1000074341.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 3512
Börding, Paul. Testing Java Method Contracts. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 3580
Hansmeier, Tim. An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 3751
Ajjour, Yamen, et al. “Unit Segmentation of Argumentative Texts.” Proceedings of the 4th Workshop on Argument Mining, 2017, pp. 118–28.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3803
Al Khatib, Khalid, et al. “Patterns of Argumentation Strategies across Topics.” Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017, pp. 1362–68.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3809
Kiesel, Johannes, et al. “WAT-SL: A Customizable Web Annotation Tool for Segment Labeling.” Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics, 2017, pp. 13–16.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3817
Wachsmuth, Henning, et al. “‘Page Rank’’’ for Argument Relevance.’” Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 1117–27.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3819
Wachsmuth, Henning, et al. “Building an Argument Search Engine for the Web.” Proceedings of the 4th Workshop on Argument Mining, 2017, pp. 49–59.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3820
Wachsmuth, Henning, et al. “The Impact of Modeling Overall Argumentation with Tree Kernels.” Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017, pp. 2369–79.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 3872
Ogierman, Adrian, et al. “Sade: Competitive MAC under Adversarial SINR.” Distributed Computing, vol. 31, no. 3, Springer Nature, 2017, pp. 241–54, doi:10.1007/s00446-017-0307-1.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3881
Wachsmuth, Henning, et al. “Computational Argumentation Quality Assessment in Natural Language.” Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 176–87.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 3882
Wachsmuth, Henning, and Benno Stein. “A Universal Model for Discourse-Level Argumentation Analysis.” Special Section of the ACM Transactions on Internet Technology: Argumentation in Social Media, no. 3, 2017, pp. 1–24.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3883
Wachsmuth, Henning, et al. “Argumentation Quality Assessment: Theory vs. Practice.” Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2017, pp. 250–55, doi:10.18653/v1/P17-2039.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3904
Hagen, Matthias, et al. “Webis at the CLEF 2017 Dynamic Search Lab.” Working Notes of CLEF 2017 - Conference and Labs of the Evaluation Forum, 2017.
LibreCat
| Download (ext.)
2017 | Dissertation | LibreCat-ID: 2908
Bujna, Kathrin. Soft Clustering Algorithms - Theoretical and Practical Improvements. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-226.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 2967 | 
Blömer, Johannes, and Gennadij Liske. “Subtleties in Security Definitions for Predicate Encryption with Public Index.” Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), vol. 10693, Springer International Publishing, 2017, pp. 438–53, doi:10.1007/978-3-319-72453-9_35.
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 3108
Jager, Tibor, et al. “Authenticated Confidential Channel Establishment and the Security of TLS-DHE.” J. Cryptology, no. 4, 2017, pp. 1276--1324, doi:10.1007/s00145-016-9248-2.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3109
Hale, Britta, et al. “Simple Security Definitions for and Constructions of 0-RTT Key Exchange.” Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings, 2017, pp. 20--38, doi:10.1007/978-3-319-61204-1_2.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3110
Günther, Felix, et al. “0-RTT Key Exchange with Full Forward Secrecy.” Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III, 2017, pp. 519--548, doi:10.1007/978-3-319-56617-7_18.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3111
Jager, Tibor, et al. “Multi-Key Authenticated Encryption with Corruptions: Reductions Are Lossy.” Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I, 2017, pp. 409--441, doi:10.1007/978-3-319-70500-2_14.
LibreCat
| DOI