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.
367 Publications
2019 | Conference Paper | LibreCat-ID: 9913 | 
Ahmed, Qazi Arbab, Tobias Wiersema, and Marco Platzner. “Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan.” In Applied Reconfigurable Computing, edited by Christian Hochberger, Brent Nelson, Andreas Koch, Roger Woods, and Pedro Diniz, 11444:127–36. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-17227-5_10.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 14898
Schubert, Philipp, Richard Leer, Ben Hermann, and Eric Bodden. “Know Your Analysis: How Instrumentation Aids Understanding Static Analysis.” In Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019, 2019. https://doi.org/10.1145/3315568.3329965.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 2479 |
Mohr, Felix, Marcel Dominik Wever, Eyke Hüllermeier, and Amin Faez. “(WIP) Towards the Automated Composition of Machine Learning Services.” In SCC. San Francisco, CA, USA: IEEE, 2018. https://doi.org/10.1109/SCC.2018.00039.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2857 |
Mohr, Felix, Theodor Lettmann, Eyke Hüllermeier, and Marcel Dominik Wever. “Programmatic Task Network Planning.” In Proceedings of the 1st ICAPS Workshop on Hierarchical Planning, 31–39. AAAI, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2471 |
Mohr, Felix, Marcel Dominik Wever, and Eyke Hüllermeier. “On-The-Fly Service Construction with Prototypes.” In SCC. San Francisco, CA, USA: IEEE Computer Society, 2018. https://doi.org/10.1109/SCC.2018.00036.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Bachelorsthesis | LibreCat-ID: 3320
Rautenberg, Kai. Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn, 2018.
LibreCat
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 | 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 | 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 | 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 | 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 | 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
2018 | Conference Paper | LibreCat-ID: 2109 |
Wever, Marcel Dominik, Felix Mohr, and Eyke Hüllermeier. “Ensembles of Evolved Nested Dichotomies for Classification.” In Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018. Kyoto, Japan: ACM, 2018. https://doi.org/10.1145/3205455.3205562.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Preprint | LibreCat-ID: 17713 |
Wever, Marcel Dominik, Felix Mohr, and Eyke Hüllermeier. “Automated Multi-Label Classification Based on ML-Plan.” Arxiv, 2018.
LibreCat
| Download (ext.)
2018 | Preprint | LibreCat-ID: 17714 |
Mohr, Felix, Marcel Dominik Wever, and Eyke Hüllermeier. “Automated Machine Learning Service Composition,” 2018.
LibreCat
| Download (ext.)
2018 | Book Chapter | LibreCat-ID: 2322
Bäumer, Frederik Simon, and Michaela Geierhos. “How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges.” In Proceedings of the 23rd International Conference on Natural Language and Information Systems, edited by Max Silberztein, Faten Atigui, Elena Kornyshova, Elisabeth Métais, and Farid Meziane, 10859:509–13. Lecture Notes in Computer Science. Cham, Switzerland: Springer, 2018. https://doi.org/10.1007/978-3-319-91947-8_53.
LibreCat
| Files available
| DOI