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.
7878 Publications
2018 | Bachelorsthesis | LibreCat-ID: 3320
Rautenberg, Kai. Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 3362
Lösch, Achim, Alex Wiens, and Marco Platzner. “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes.” In Proceedings of the International Conference on Architecture of Computing Systems (ARCS), 10793:73–84. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-77610-1_6.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3373
Hansmeier, Tim, Marco Platzner, and David Andrews. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.” In ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, 10824:153–65. Lecture Notes in Computer Science. Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-78890-6_13.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3402
Melnikov, Vitalik, and Eyke Hüllermeier. “On the Effectiveness of Heuristics for Learning Nested Dichotomies: An Empirical Analysis.” Machine Learning, 2018. https://doi.org/10.1007/s10994-018-5733-1.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3414
Börding, Paul, Jan Frederik Haltermann, Marie-Christine Jakobs, and Heike Wehrheim. “JMCTest: Automatically Testing Inter-Method Contracts in Java.” In Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), 11146:39--55. Lecture Notes in Computer Science. Springer, 2018.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 3510 | 
Mohr, Felix, Marcel Dominik Wever, and Eyke Hüllermeier. “ML-Plan: Automated Machine Learning via Hierarchical Planning.” Machine Learning, 2018, 1495–1515. https://doi.org/10.1007/s10994-018-5735-z.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Book Chapter | LibreCat-ID: 3536
Schellhorn, Gerhard, Monika Wedel, Oleg Travkin, Jürgen König, and Heike Wehrheim. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.” In Software Engineering and Formal Methods, 105–20. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-92970-5_7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 3550
Jazayeri, Bahar, Olaf Zimmermann, Gregor Engels, Jochen Küster, Dennis Kundisch, and Daniel Szopinski. “Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions.” In Proceeding of International Symposium on Business Modeling and Software Design, 319:390–400. Lecture Notes in Business Information Processing (LNBIP). Wien, Austria: Springer, 2018. https://doi.org/10.1007/978-3-319-94214-8_30.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3551
König, Jürgen, Alexander Mäcker, Friedhelm Meyer auf der Heide, and Sören Riechers. “Scheduling with Interjob Communication on Parallel Processors.” Journal of Combinatorial Optimization 36, no. 4 (2018): 1356–79. https://doi.org/10.1007/s10878-018-0325-3.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3552 |
Mohr, Felix, Marcel Dominik Wever, and Eyke Hüllermeier. “Reduction Stumps for Multi-Class Classification.” In Proceedings of the Symposium on Intelligent Data Analysis. ‘s-Hertogenbosch, the Netherlands, n.d. https://doi.org/10.1007/978-3-030-01768-2_19.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Preprint | LibreCat-ID: 3586
Witschen, Linus Matthias, Tobias Wiersema, Hassan Ghasemzadeh Mohammadi, Muhammad Awais, and Marco Platzner. “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation.” Third Workshop on Approximate Computing (AxC 2018), n.d.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 3588
Afzal, Ayesha, Christian Schmitt, Samer Alhaddad, Yevgen Grynko, Jürgen Teich, Jens Förstner, and Frank Hannig. “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), 49–56, 2018. https://doi.org/10.1109/ASAP.2018.8445127.
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 3590
Fischer, Christoph, and Alexander Pöhler. “Supporting the Change to Digitalized Production Environments Through Learning Organization Development.” In The Impact of Digitalization in the Workplace, edited by Christian Harteis, 141--160, 2018. https://doi.org/10.1007/978-3-319-63257-5_10.
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 3593
Harteis, Christian, and Christoph Fischer. “Wissensmanagement Unter Bedingungen von Arbeit 4.0.” In Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, edited by Günter W. Maier, Gregor Engels, and Eckhard Steffen, 1--18. Berlin, Heidelberg: Springer, 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 3594
Fischer, Christoph, Michael Goller, Lorraine Brinkmann, and Christian Harteis. “Digitalisation of Work: Between Affordances and Constraints for Learning at Work.” In Digital Workplace Learning, edited by Dirk Ifenthaler, 227--249. Cham: Springer, 2018.
LibreCat
2018 | Book | LibreCat-ID: 3595
Gruber, Hans, and Christian Harteis. Individual and Social Influences on Professional Learning. Supporting the Acquisition and Maintenance of Expertise. Cham: Springer, 2018. https://doi.org/10.1007/978-3-319-97041-7.
LibreCat
| DOI
2018 | Dissertation | LibreCat-ID: 3720
Ho, Nam. FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization. Universität Paderborn, 2018. https://doi.org/10.17619/UNIPB/1-376.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 3740 |
Ebers, Lena, Manfred Hammer, and Jens Förstner. “Oblique Incidence of Semi-Guided Planar Waves on Slab Waveguide Steps: Effects of Rounded Edges.” Optics Express 26, no. 14 (2018): 18621–32. https://doi.org/10.1364/OE.26.018621.
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 3742
Hoof, Simon. “Dynamic Voluntary Provision of Public Goods: The Recursive Nash Bargaining Solution.” In Static & Dynamic Game Theory: Foundations & Applications, 13–23. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-92988-0_2.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3852 |
Wever, Marcel Dominik, Felix Mohr, and Eyke Hüllermeier. “ML-Plan for Unlimited-Length Machine Learning Pipelines.” In ICML 2018 AutoML Workshop, 2018.
LibreCat
| Files available
| Download (ext.)