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.
7267 Publications
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.)
2018 | Conference Paper | LibreCat-ID: 3105
Derler, David, Tibor Jager, Daniel Slamanig, and Christoph Striecks. “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, 425--455, 2018. https://doi.org/10.1007/978-3-319-78372-7_14.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Book Chapter | LibreCat-ID: 26979
Moritzer, Elmar, and B. Landgräber. “Die Bedeutung von Kunststoffen für hybride Leichtbaustrukturen.” In Wissenschaft im Angesicht großer gesellschaftlicher Herausforderungen, 1st ed., 127–40. Bielefeld, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 27002
Schwingshackl, Lukas, Anette Buyken, and Anna Chaimani. “Network Meta-Analysis Reaches Nutrition Research.” European Journal of Nutrition, 2018, 1–3. https://doi.org/10.1007/s00394-018-1849-0.
LibreCat
| DOI
2018 | Preprint | LibreCat-ID: 2711
Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Do Android Taint Analysis Tools Keep Their Promises?” ArXiv:1804.02903, 2018.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 27756
Roßbach, Sarah, Tanja Diederichs, Christian Herder, Anette Buyken, and Ute Alexy. “Time and Age Trends in Morning and Evening Protein Intakes of German Children and Adolescents.” Journal of Nutritional Science, 2018. https://doi.org/10.1017/jns.2018.1.
LibreCat
| DOI
2018 | Preprint | LibreCat-ID: 1165
Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Making the Case for Proof-Carrying Approximate Circuits.” 4th Workshop On Approximate Computing (WAPCO 2018), 2018.
LibreCat
| Files available