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.
9683 Publications
2018 | Conference Paper | LibreCat-ID: 26618
@inproceedings{Saveta_Fundulaki_Flouris_Ngonga Ngomo_2018, series={Lecture Notes in Computer Science}, title={SPgen : A Benchmark Generator for Spatial Link Discovery Tools}, volume={11136}, DOI={10.1007/978-3-030-00671-6\_24}, booktitle={The Semantic Web - {ISWC} 2018 - 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018, Proceedings, Part {I}}, publisher={Springer}, author={Saveta, Tzanina and Fundulaki, Irini and Flouris, Giorgos and Ngonga Ngomo, Axel-Cyrille}, editor={Vrandecic, Denny and Bontcheva, Kalina and Carmen Suárez-Figueroa, Mari and Presutti, Valentina and Celino, Irene and Sabou, Marta and Kaffee, Lucie-Aimée and Simperl, Elena}, year={2018}, pages={408–423}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2018 | Conference (Editor) | LibreCat-ID: 26620
@book{Wauer_Ahmed Sherif_Saleem_Hartig_Usbeck_Verborgh_Ngonga Ngomo_2018, series={{CEUR} Workshop Proceedings}, title={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}, volume={2110}, publisher={CEUR-WS.org}, year={2018}, collection={{CEUR} Workshop Proceedings} }
LibreCat
2018 | Book (Editor) | LibreCat-ID: 26637
@book{Hellmich_Görel_Löper_2018, place={Stuttgart}, title={Inklusive Schul- und Unterrichtsentwicklung. Vom Anspruch zur erfolgreichen Umsetzung}, publisher={Kohlhammer}, year={2018} }
LibreCat
2018 | Journal Article | LibreCat-ID: 26928
@article{Penczynski_Herder_Krupp_Rienks_Egert_Wudy_Roden_Remer_Buyken_2018, title={Flavonoid intake from fruit and vegetables during adolescence is prospectively associated with a favourable risk factor profile for type 2 diabetes in early adulthood}, DOI={10.1007/s00394-018-1631-3}, journal={European Journal of Nutrition}, author={Penczynski, Katharina J. and Herder, Christian and Krupp, Danika and Rienks, Johanna and Egert, Sarah and Wudy, Stefan A. and Roden, Michael and Remer, Thomas and Buyken, Anette}, year={2018}, pages={1159–1172} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 26938
@inproceedings{Moritzer_Hirsch_Paulus_2018, title={Dauerschwinguntersuchungen an FDM-Verstärkungsstrukturen}, booktitle={3. Tagung des DVM-Arbeitskreises Additiv gefertigte Bauteile und Strukturen}, author={Moritzer, Elmar and Hirsch, André and Paulus, S.}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 3265 | 
@inproceedings{Bemmann_Blömer_Bobolz_Bröcher_Diemert_Eidens_Eilers_Haltermann_Juhnke_Otour_et al., place={New York, NY, USA}, title={Fully-Featured Anonymous Credentials with Reputation System}, DOI={10.1145/3230833.3234517}, booktitle={Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18}, publisher={ACM}, author={Bemmann, Kai and Blömer, Johannes and Bobolz, Jan and Bröcher, Henrik and Diemert, Denis Pascal and Eidens, Fabian and Eilers, Lukas and Haltermann, Jan Frederik and Juhnke, Jakob and Otour, Burhan and et al.} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Bachelorsthesis | LibreCat-ID: 3320
@book{Rautenberg_2018, title={Korrektheitsbeweise für Muster von Servicekompositionen}, publisher={Universität Paderborn}, author={Rautenberg, Kai}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 3362
@inproceedings{Lösch_Wiens_Platzner_2018, place={Cham}, series={Lecture Notes in Computer Science}, title={Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes}, volume={10793}, DOI={10.1007/978-3-319-77610-1_6}, booktitle={Proceedings of the International Conference on Architecture of Computing Systems (ARCS)}, publisher={Springer International Publishing}, author={Lösch, Achim and Wiens, Alex and Platzner, Marco}, year={2018}, pages={73–84}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3373
@inproceedings{Hansmeier_Platzner_Andrews_2018, series={Lecture Notes in Computer Science}, title={An FPGA/HMC-Based Accelerator for Resolution Proof Checking}, volume={10824}, DOI={10.1007/978-3-319-78890-6_13}, booktitle={ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications}, publisher={Springer International Publishing}, author={Hansmeier, Tim and Platzner, Marco and Andrews, David}, year={2018}, pages={153–165}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3402
@article{Melnikov_Hüllermeier_2018, title={On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis}, DOI={10.1007/s10994-018-5733-1}, journal={Machine Learning}, author={Melnikov, Vitalik and Hüllermeier, Eyke}, year={2018} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3414
@inproceedings{Börding_Haltermann_Jakobs_Wehrheim_2018, series={Lecture Notes in Computer Science}, title={JMCTest: Automatically Testing Inter-Method Contracts in Java}, volume={11146}, booktitle={Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018)}, publisher={Springer}, author={Börding, Paul and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Wehrheim, Heike}, year={2018}, pages={39--55}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 3510 |
@article{Mohr_Wever_Hüllermeier_2018, title={ML-Plan: Automated Machine Learning via Hierarchical Planning}, DOI={10.1007/s10994-018-5735-z}, journal={Machine Learning}, publisher={Springer}, author={Mohr, Felix and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2018}, pages={1495–1515} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Book Chapter | LibreCat-ID: 3536
@inbook{Schellhorn_Wedel_Travkin_König_Wehrheim_2018, place={Cham}, title={FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity}, DOI={10.1007/978-3-319-92970-5_7}, booktitle={Software Engineering and Formal Methods}, publisher={Springer International Publishing}, author={Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and König, Jürgen and Wehrheim, Heike}, year={2018}, pages={105–120} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 3550
@inproceedings{Jazayeri_Zimmermann_Engels_Küster_Kundisch_Szopinski_2018, place={Wien, Austria}, series={Lecture Notes in Business Information Processing (LNBIP)}, title={Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions}, volume={319}, DOI={10.1007/978-3-319-94214-8_30}, booktitle={Proceeding of International Symposium on Business Modeling and Software Design}, publisher={Springer}, author={Jazayeri, Bahar and Zimmermann, Olaf and Engels, Gregor and Küster, Jochen and Kundisch, Dennis and Szopinski, Daniel}, year={2018}, pages={390–400}, collection={Lecture Notes in Business Information Processing (LNBIP)} }
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3551
@article{König_Mäcker_Meyer auf der Heide_Riechers_2018, title={Scheduling with interjob communication on parallel processors}, volume={36}, DOI={10.1007/s10878-018-0325-3}, number={4}, journal={Journal of Combinatorial Optimization}, author={König, Jürgen and Mäcker, Alexander and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2018}, pages={1356–1379} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3552 |
@inproceedings{Mohr_Wever_Hüllermeier, place={‘s-Hertogenbosch, the Netherlands}, title={Reduction Stumps for Multi-Class Classification}, DOI={10.1007/978-3-030-01768-2_19}, booktitle={Proceedings of the Symposium on Intelligent Data Analysis}, author={Mohr, Felix and Wever, Marcel Dominik and Hüllermeier, Eyke} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Preprint | LibreCat-ID: 3586
@article{Witschen_Wiersema_Ghasemzadeh Mohammadi_Awais_Platzner, title={CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation}, journal={Third Workshop on Approximate Computing (AxC 2018)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Ghasemzadeh Mohammadi, Hassan and Awais, Muhammad and Platzner, Marco} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 3588
@inproceedings{Afzal_Schmitt_Alhaddad_Grynko_Teich_Förstner_Hannig_2018, title={Solving Maxwell’s Equations with Modern C++ and SYCL: A Case Study}, DOI={10.1109/ASAP.2018.8445127}, booktitle={Proceedings of the 29th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP)}, author={Afzal, Ayesha and Schmitt, Christian and Alhaddad, Samer and Grynko, Yevgen and Teich, Jürgen and Förstner, Jens and Hannig, Frank}, year={2018}, pages={49–56} }
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 3590
@inbook{Fischer_Pöhler_2018, title={Supporting the Change to Digitalized Production Environments Through Learning Organization Development}, DOI={10.1007/978-3-319-63257-5_10}, booktitle={The Impact of Digitalization in the Workplace}, author={Fischer, Christoph and Pöhler, Alexander}, editor={Harteis, ChristianEditor}, year={2018}, pages={141--160} }
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 3593
@inbook{Harteis_Fischer_2018, place={Berlin, Heidelberg}, title={Wissensmanagement unter Bedingungen von Arbeit 4.0}, booktitle={Handbuch Gestaltung digitaler und vernetzter Arbeitswelten}, publisher={Springer}, author={Harteis, Christian and Fischer, Christoph}, editor={Maier, Günter W. and Engels, Gregor and Steffen, EckhardEditors}, year={2018}, pages={1--18} }
LibreCat