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.
10546 Publications
2018 | Conference Paper | LibreCat-ID: 3414
Börding, Paul, et al. “JMCTest: Automatically Testing Inter-Method Contracts in Java.” Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), vol. 11146, Springer, 2018, pp. 39--55.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 3422
Robinson, Peter, et al. “Breaking the $\tilde\Omega(\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary.” Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), doi:10.1145/3210377.3210399.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3510 | 
Mohr, Felix, et al. “ML-Plan: Automated Machine Learning via Hierarchical Planning.” Machine Learning, Springer, 2018, pp. 1495–515, doi:10.1007/s10994-018-5735-z.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Book Chapter | LibreCat-ID: 3536
Schellhorn, Gerhard, et al. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.” Software Engineering and Formal Methods, Springer International Publishing, 2018, pp. 105–20, doi:10.1007/978-3-319-92970-5_7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 3550
Jazayeri, Bahar, et al. “Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions.” Proceeding of International Symposium on Business Modeling and Software Design, vol. 319, Springer, 2018, pp. 390–400, doi:10.1007/978-3-319-94214-8_30.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3551
König, Jürgen, et al. “Scheduling with Interjob Communication on Parallel Processors.” Journal of Combinatorial Optimization, vol. 36, no. 4, 2018, pp. 1356–79, doi:10.1007/s10878-018-0325-3.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3552 |
Mohr, Felix, et al. “Reduction Stumps for Multi-Class Classification.” Proceedings of the Symposium on Intelligent Data Analysis, doi:10.1007/978-3-030-01768-2_19.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Preprint | LibreCat-ID: 3586
Witschen, Linus Matthias, et al. “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation.” Third Workshop on Approximate Computing (AxC 2018).
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 3588
Afzal, Ayesha, et al. “Solving Maxwell’s Equations with Modern C++ and SYCL: A Case Study.” Proceedings of the 29th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2018, pp. 49–56, doi:10.1109/ASAP.2018.8445127.
LibreCat
| Files available
| DOI
2018 | Dissertation | LibreCat-ID: 3720
Ho, Nam. FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization. Universität Paderborn, 2018, doi:10.17619/UNIPB/1-376.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 3740 |
Ebers, Lena, et al. “Oblique Incidence of Semi-Guided Planar Waves on Slab Waveguide Steps: Effects of Rounded Edges.” Optics Express, vol. 26, no. 14, OSA Publishing, 2018, pp. 18621–32, doi:10.1364/OE.26.018621.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3804
Al Khatib, Khalid, et al. “Modeling Deliberative Argumentation Strategies on Wikipedia.” Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 2545–55.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3806
Habernal, Ivan, et al. “Before Name-Calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation.” Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers), 2018, pp. 386–96.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3807
Habernal, Ivan, et al. “SemEval-2018 Task 12: The Argument Reasoning Comprehension Task.” Proceedings of The 12th International Workshop on Semantic Evaluation, 2018, pp. 763–72.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3821
Wachsmuth, Henning, et al. “Retrieval of the Best Counterargument without Prior Topic Knowledge.” Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 241–51.
LibreCat
| Download (ext.)
2018 | Bachelorsthesis | LibreCat-ID: 3851
Koop, Samuel. Congestion Games mit gewichteten Strategien. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 3852 |
Wever, Marcel Dominik, et al. “ML-Plan for Unlimited-Length Machine Learning Pipelines.” ICML 2018 AutoML Workshop, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference (Editor) | LibreCat-ID: 3874
Scheideler, Christian, and Jeremy T. Fineman, editors. Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures. ACM, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 2965
Blömer, Johannes, and Nils Löken. “Cloud Architectures for Searchable Encryption.” Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, ACM, pp. 25:1--25:10, doi:10.1145/3230833.3230853.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3105
Derler, David, et al. “Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange.” Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III, 2018, pp. 425--455, doi:10.1007/978-3-319-78372-7_14.
LibreCat
| Files available
| DOI
| Download (ext.)