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.
6948 Publications
2018 | Conference Paper | LibreCat-ID: 3373
Hansmeier, T., Platzner, M., & Andrews, D. (2018). An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications (Vol. 10824, pp. 153–165). Santorini, Greece: Springer International Publishing. https://doi.org/10.1007/978-3-319-78890-6_13
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3402
Melnikov, V., & Hüllermeier, E. (2018). On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis. Machine Learning. https://doi.org/10.1007/s10994-018-5733-1
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3414
Börding, P., Haltermann, J. F., Jakobs, M.-C., & Wehrheim, H. (2018). JMCTest: Automatically Testing Inter-Method Contracts in Java. In Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018) (Vol. 11146, pp. 39--55). Cádiz, Spain: Springer.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 3510 | 
Mohr, F., Wever, M. D., & Hüllermeier, E. (2018). ML-Plan: Automated Machine Learning via Hierarchical Planning. Machine Learning, 1495–1515. https://doi.org/10.1007/s10994-018-5735-z
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Book Chapter | LibreCat-ID: 3536
Schellhorn, G., Wedel, M., Travkin, O., König, J., & Wehrheim, H. (2018). FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In Software Engineering and Formal Methods (pp. 105–120). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-92970-5_7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 3550
Jazayeri, B., Zimmermann, O., Engels, G., Küster, J., Kundisch, D., & Szopinski, D. (2018). Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions. In Proceeding of International Symposium on Business Modeling and Software Design (Vol. 319, pp. 390–400). Wien, Austria: Springer. https://doi.org/10.1007/978-3-319-94214-8_30
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3551
König, J., Mäcker, A., Meyer auf der Heide, F., & Riechers, S. (2018). Scheduling with interjob communication on parallel processors. Journal of Combinatorial Optimization, 36(4), 1356–1379. https://doi.org/10.1007/s10878-018-0325-3
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3552 |
Mohr, F., Wever, M. D., & Hüllermeier, E. (n.d.). Reduction Stumps for Multi-Class Classification. In Proceedings of the Symposium on Intelligent Data Analysis. ‘s-Hertogenbosch, the Netherlands. https://doi.org/10.1007/978-3-030-01768-2_19
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Preprint | LibreCat-ID: 3586
Witschen, L. M., Wiersema, T., Ghasemzadeh Mohammadi, H., Awais, M., & Platzner, M. (n.d.). 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, A., Schmitt, C., Alhaddad, S., Grynko, Y., Teich, J., Förstner, J., & Hannig, F. (2018). Solving Maxwell’s Equations with Modern C++ and SYCL: A Case Study. In Proceedings of the 29th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP) (pp. 49–56). https://doi.org/10.1109/ASAP.2018.8445127
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 3590
Fischer, C., & Pöhler, A. (2018). Supporting the Change to Digitalized Production Environments Through Learning Organization Development. In C. Harteis (Ed.), The Impact of Digitalization in the Workplace (pp. 141--160). https://doi.org/10.1007/978-3-319-63257-5_10
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 3593
Harteis, C., & Fischer, C. (2018). Wissensmanagement unter Bedingungen von Arbeit 4.0. In G. W. Maier, G. Engels, & E. Steffen (Eds.), Handbuch Gestaltung digitaler und vernetzter Arbeitswelten (pp. 1--18). Berlin, Heidelberg: Springer.
LibreCat
2018 | Book Chapter | LibreCat-ID: 3594
Fischer, C., Goller, M., Brinkmann, L., & Harteis, C. (2018). Digitalisation of Work: Between Affordances and Constraints for Learning at Work. In D. Ifenthaler (Ed.), Digital Workplace Learning (pp. 227--249). Cham: Springer.
LibreCat
2018 | Book | LibreCat-ID: 3595
Gruber, H., & Harteis, C. (2018). Individual and social influences on professional learning. Supporting the acquisition and maintenance of expertise. Cham: Springer. https://doi.org/10.1007/978-3-319-97041-7
LibreCat
| DOI
2018 | Dissertation | LibreCat-ID: 3720
Ho, N. (2018). FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-376
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 3740 |
Ebers, L., Hammer, M., & Förstner, J. (2018). Oblique incidence of semi-guided planar waves on slab waveguide steps: effects of rounded edges. Optics Express, 26(14), 18621–18632. https://doi.org/10.1364/OE.26.018621
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 3742
Hoof, S. (2018). Dynamic Voluntary Provision of Public Goods: The Recursive Nash Bargaining Solution. In Static & Dynamic Game Theory: Foundations & Applications (pp. 13–23). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-92988-0_2
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3852 |
Wever, M. D., Mohr, F., & Hüllermeier, E. (2018). ML-Plan for Unlimited-Length Machine Learning Pipelines. In ICML 2018 AutoML Workshop. Stockholm, Sweden.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3105
Derler, D., Jager, T., Slamanig, D., & Striecks, C. (2018). Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange. In 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 (pp. 425--455). https://doi.org/10.1007/978-3-319-78372-7_14
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Book Chapter | LibreCat-ID: 26979
Moritzer, E., & Landgräber, B. (2018). Die Bedeutung von Kunststoffen für hybride Leichtbaustrukturen. In Wissenschaft im Angesicht großer gesellschaftlicher Herausforderungen (1st ed., pp. 127–140).
LibreCat