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.
7881 Publications
2018 | Conference Paper | LibreCat-ID: 3362
Lösch A, Wiens A, Platzner M. Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes. In: Proceedings of the International Conference on Architecture of Computing Systems (ARCS). Vol 10793. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2018:73-84. doi:10.1007/978-3-319-77610-1_6
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3373
Hansmeier T, Platzner M, Andrews D. An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications. Vol 10824. Lecture Notes in Computer Science. Springer International Publishing; 2018:153-165. doi:10.1007/978-3-319-78890-6_13
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3402
Melnikov V, Hüllermeier E. On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis. Machine Learning. 2018. doi:10.1007/s10994-018-5733-1
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3414
Börding P, Haltermann JF, Jakobs M-C, Wehrheim H. JMCTest: Automatically Testing Inter-Method Contracts in Java. In: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018). Vol 11146. Lecture Notes in Computer Science. Springer; 2018:39--55.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 3510 | 
Mohr F, Wever MD, Hüllermeier E. ML-Plan: Automated Machine Learning via Hierarchical Planning. Machine Learning. Published online 2018:1495-1515. doi: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. FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In: Software Engineering and Formal Methods. Cham: Springer International Publishing; 2018:105-120. doi: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. 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. Lecture Notes in Business Information Processing (LNBIP). Wien, Austria: Springer; 2018:390-400. doi: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. Scheduling with interjob communication on parallel processors. Journal of Combinatorial Optimization. 2018;36(4):1356-1379. doi:10.1007/s10878-018-0325-3
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3552 |
Mohr F, Wever MD, Hüllermeier E. Reduction Stumps for Multi-Class Classification. In: Proceedings of the Symposium on Intelligent Data Analysis. ‘s-Hertogenbosch, the Netherlands. doi:10.1007/978-3-030-01768-2_19
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Preprint | LibreCat-ID: 3586
Witschen LM, Wiersema T, Ghasemzadeh Mohammadi H, Awais M, Platzner M. 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, et al. 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). ; 2018:49-56. doi:10.1109/ASAP.2018.8445127
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 3590
Fischer C, Pöhler A. Supporting the Change to Digitalized Production Environments Through Learning Organization Development. In: Harteis C, ed. The Impact of Digitalization in the Workplace. ; 2018:141--160. doi:10.1007/978-3-319-63257-5_10
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 3593
Harteis C, Fischer C. Wissensmanagement unter Bedingungen von Arbeit 4.0. In: Maier GW, Engels G, Steffen E, eds. Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten. Berlin, Heidelberg: Springer; 2018:1--18.
LibreCat
2018 | Book Chapter | LibreCat-ID: 3594
Fischer C, Goller M, Brinkmann L, Harteis C. Digitalisation of Work: Between Affordances and Constraints for Learning at Work. In: Ifenthaler D, ed. Digital Workplace Learning. Cham: Springer; 2018:227--249.
LibreCat
2018 | Book | LibreCat-ID: 3595
Gruber H, Harteis C. Individual and Social Influences on Professional Learning. Supporting the Acquisition and Maintenance of Expertise. Cham: Springer; 2018. doi:10.1007/978-3-319-97041-7
LibreCat
| DOI
2018 | Dissertation | LibreCat-ID: 3720
Ho N. 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 L, Hammer M, Förstner J. Oblique incidence of semi-guided planar waves on slab waveguide steps: effects of rounded edges. Optics Express. 2018;26(14):18621-18632. doi:10.1364/OE.26.018621
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 3742
Hoof S. Dynamic Voluntary Provision of Public Goods: The Recursive Nash Bargaining Solution. In: Static & Dynamic Game Theory: Foundations & Applications. Cham: Springer International Publishing; 2018:13-23. doi:10.1007/978-3-319-92988-0_2
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3852 |
Wever MD, Mohr F, Hüllermeier E. ML-Plan for Unlimited-Length Machine Learning Pipelines. In: ICML 2018 AutoML Workshop. ; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3105
Derler D, Jager T, Slamanig D, Striecks C. 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. ; 2018:425--455. doi:10.1007/978-3-319-78372-7_14
LibreCat
| Files available
| DOI
| Download (ext.)