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.
5947 Publications
2017 | Conference Paper | LibreCat-ID: 3819
Wachsmuth, Henning, Martin Potthast, Khalid Al-Khatib, Yamen Ajjour, Jana Puschmann, Jiani Qu, Jonas Dorsch, Viorel Morari, Janek Bevendorff, and Benno Stein. “Building an Argument Search Engine for the Web.” In Proceedings of the 4th Workshop on Argument Mining, 49–59, 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3820
Wachsmuth, Henning, Giovanni Da San Martino, Dora Kiesel, and Benno Stein. “The Impact of Modeling Overall Argumentation with Tree Kernels.” In Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2369–79, 2017.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 3872
Ogierman, Adrian, Andrea Richa, Christian Scheideler, Stefan Schmid, and Jin Zhang. “Sade: Competitive MAC under Adversarial SINR.” Distributed Computing 31, no. 3 (2017): 241–54. https://doi.org/10.1007/s00446-017-0307-1.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3881
Wachsmuth, Henning, Nona Naderi, Yufang Hou, Yonatan Bilu, Vinodkumar Prabhakaran, Tim Alberdingk Thijm, Graeme Hirst, and Benno Stein. “Computational Argumentation Quality Assessment in Natural Language.” In Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 176–87, 2017.
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): 1–24.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3883
Wachsmuth, Henning, Nona Naderi, Ivan Habernal, Yufang Hou, Graeme Hirst, Iryna Gurevych, and Benno Stein. “Argumentation Quality Assessment: Theory vs. Practice.” In Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 250–55, 2017. https://doi.org/10.18653/v1/P17-2039.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3904
Hagen, Matthias, Johannes Kiesel, Milad Alshomary, and Benno Stein. “Webis at the CLEF 2017 Dynamic Search Lab.” In 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. https://doi.org/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.” In Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), 10693:438–53. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-72453-9_35.
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 3108
Jager, Tibor, Florian Kohlar, Sven Schäge, and Jörg Schwenk. “Authenticated Confidential Channel Establishment and the Security of TLS-DHE.” J. Cryptology, no. 4 (2017): 1276--1324. https://doi.org/10.1007/s00145-016-9248-2.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3109
Hale, Britta, Tibor Jager, Sebastian Lauer, and Jörg Schwenk. “Simple Security Definitions for and Constructions of 0-RTT Key Exchange.” In Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings, 20--38, 2017. https://doi.org/10.1007/978-3-319-61204-1_2.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3110
Günther, Felix, Britta Hale, Tibor Jager, and Sebastian Lauer. “0-RTT Key Exchange with Full Forward Secrecy.” In 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, 519--548, 2017. https://doi.org/10.1007/978-3-319-56617-7_18.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3111
Jager, Tibor, Martijn Stam, Ryan Stanley-Oakes, and Bogdan Warinschi. “Multi-Key Authenticated Encryption with Corruptions: Reductions Are Lossy.” In Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I, 409--441, 2017. https://doi.org/10.1007/978-3-319-70500-2_14.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3155
Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.” In Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings, edited by Zhenhua Duan and Luke Ong, 362--378. Lecture Notes in Computer Science, 2017. https://doi.org/10.1007/978-3-319-68690-5_22.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 3156
König, Jürgen, and Heike Wehrheim. “Value-Based or Conflict-Based? Opacity Definitions for STMs.” In Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, edited by Dang Van Hung and Deepak Kapur, 118--135. Lecture Notes in Computer Science, 2017. https://doi.org/10.1007/978-3-319-67729-3_8.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 2741
Ali Ashraf, Shehzad, Y.-P. Eric Wang, Sameh Eldessoki, Bernd Holfeld, Donald Parruca, Martin Serror, and James Gross. “From Radio Design to System Evaluations for Ultra-Reliable and Low-Latency Communication .” Dresden: Proceedings of 23th European Wireless Conference 2017, 17- 19.05.2017, 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 112
Feldotto, Matthias, Lennart Leder, and Alexander Skopalik. “Congestion Games with Complementarities.” In Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 222--233. LNCS, 2017. https://doi.org/10.1007/978-3-319-57586-5_19.
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 113
Feldotto, Matthias, Martin Gairing, Grammateia Kotsialou, and Alexander Skopalik. “Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games.” In Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017. https://doi.org/10.1007/978-3-319-71924-5_14.
LibreCat
| Files available
| DOI
| arXiv
2017 | Conference Paper | LibreCat-ID: 114
Jakobs, Marie-Christine, and Heike Wehrheim. “Compact Proof Witnesses.” In NASA Formal Methods: 9th International Symposium, edited by Clark Barrett, Misty Davies, and Temesghen Kahsai, 389–403. Lecture Notes in Computer Science, 2017. https://doi.org/10.1007/978-3-319-57288-8_28.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
Jakobs, Marie-Christine, Julia Krämer, Dirk van Straaten, and Theodor Lettmann. “Certification Matters for Service Markets.” In The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), edited by Thomas Prinz Marcelo De Barros, Janusz Klink,Tadeus Uhl, 7–12, 2017.
LibreCat
| Files available