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.
7914 Publications
2018 | Conference Paper | LibreCat-ID: 26605
Stadler, Claus, et al. “Efficiently Pinpointing SPARQL Query Containments.” Web Engineering - 18th International Conference, {ICWE} 2018, C{\’{a}}ceres, Spain, June 5-8, 2018, Proceedings, edited by Tommi Mikkonen et al., vol. 10845, Springer, 2018, pp. 210–24, doi:10.1007/978-3-319-91662-0\_16.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 26618
Saveta, Tzanina, et al. “SPgen : A Benchmark Generator for Spatial Link Discovery Tools.” The Semantic Web - {ISWC} 2018 - 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018, Proceedings, Part {I}, edited by Denny Vrandecic et al., vol. 11136, Springer, 2018, pp. 408–23, doi:10.1007/978-3-030-00671-6\_24.
LibreCat
| DOI
2018 | Conference (Editor) | LibreCat-ID: 26620
Wauer, Matthias, et al., editors. Proceedings of the 3rd International Workshop on Geospatial Linked Data and the 2nd Workshop on Querying the Web of Data Co-Located with 15th Extended Semantic Web Conference (ESWC 2018), Heraklion, Greece, June 3, 2018. CEUR-WS.org, 2018.
LibreCat
2018 | Book (Editor) | LibreCat-ID: 26637
Hellmich, Frank, et al., editors. Inklusive Schul- und Unterrichtsentwicklung. Vom Anspruch zur erfolgreichen Umsetzung. Kohlhammer, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 26928
Penczynski, Katharina J., et al. “Flavonoid Intake from Fruit and Vegetables during Adolescence Is Prospectively Associated with a Favourable Risk Factor Profile for Type 2 Diabetes in Early Adulthood.” European Journal of Nutrition, 2018, pp. 1159–72, doi:10.1007/s00394-018-1631-3.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 26938
Moritzer, Elmar, et al. “Dauerschwinguntersuchungen an FDM-Verstärkungsstrukturen.” 3. Tagung Des DVM-Arbeitskreises Additiv Gefertigte Bauteile Und Strukturen, 2018.
LibreCat
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, et al. “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes.” Proceedings of the International Conference on Architecture of Computing Systems (ARCS), vol. 10793, Springer International Publishing, 2018, pp. 73–84, doi:10.1007/978-3-319-77610-1_6.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3373
Hansmeier, Tim, et al. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.” ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, vol. 10824, Springer International Publishing, 2018, pp. 153–65, doi: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, doi:10.1007/s10994-018-5733-1.
LibreCat
| Files available
| DOI
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 | 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 | Book Chapter | LibreCat-ID: 3590
Fischer, Christoph, and Alexander Pöhler. “Supporting the Change to Digitalized Production Environments Through Learning Organization Development.” The Impact of Digitalization in the Workplace, edited by Christian Harteis, 2018, pp. 141--160, doi: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.” Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, edited by Günter W. Maier et al., Springer, 2018, pp. 1--18.
LibreCat