en
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.
4838 Publications
2019 | Journal Article | LibreCat-ID: 12890
Drude, L., & Haeb-Umbach, R. (2019). Integration of Neural Networks and Probabilistic Spatial Models for Acoustic Blind Source Separation. IEEE Journal of Selected Topics in Signal Processing. https://doi.org/10.1109/JSTSP.2019.2912565
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13874
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2019). When Are Software Verification Results Valid for Approximate Hardware? In Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings (pp. 3–20). https://doi.org/10.1007/978-3-030-31157-5\_1
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13937
Meyer auf der Heide, F. (2019). Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln. Mathematische Semesterberichte, 66(2), 259–260. https://doi.org/10.1007/s00591-019-00249-0
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13557
Blömer, J., & Löken, N. (2019). Dynamic Searchable Encryption with Access Control. In 12th International Symposium on Foundations and Practice of Security, FPS 2019 (Vol. 12056). Springer.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15332
Schlichtig, M., Opel, S. A., Budde, L., & Schulte, C. (2019). Understanding Artificial Intelligence – A Project for the Development of Comprehensive Teaching Material. In E. Jasutė & S. Pozdniakov (Eds.), ISSEP 2019 - 12th International conference on informatics in schools: Situation, evaluation and perspectives, Local Proceedings (Vol. 12, pp. 65–73). Lanarca.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15375
Müller, M., Behnke, D., Bök, P.-B., Schneider, S. B., Peuster, M., & Karl, H. (2019). Putting NFV into Reality: Physical Smart Manufacturing Testbed. In IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN). Dallas: IEEE.
LibreCat
2019 | Journal Article | LibreCat-ID: 14896
Dann, A., Hermann, B., & Bodden, E. (2019). ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/tse.2019.2931331
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15488
Thiel, C., Steidl, C., & Henning, B. (2019). P2.9 Comparison of deep feature extraction techniques for varying-length time series from an industrial piercing press. In AMA Service GmbH (Ed.), 20. GMA/ITG-Fachtagung. Sensoren und Messsysteme 2019. Von-Münchhausen-Str. 49, 31515 Wunstorf. https://doi.org/10.5162/SENSOREN2019/P2.9
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15003
Mortier, T., Wydmuch, M., Dembczynski, K., Hüllermeier, E., & Waegeman, W. (2019). Set-Valued Prediction in Multi-Class Classification. In Proceedings of the 31st Benelux Conference on Artificial Intelligence {(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 15015
Henzgen, S., & Hüllermeier, E. (2019). Mining Rank Data. ACM Transactions on Knowledge Discovery from Data, 1–36. https://doi.org/10.1145/3363572
LibreCat
| DOI
2019 | Conference Abstract | LibreCat-ID: 15248
Grabo, M., Weber, D., Paul, A., Klaus, T., Bermpohl, W., & Kenig, E. (2019). Numerische Untersuchung der Temperaturverteilung in PCM-integrierten Solarmodulen. Presented at the Jahrestreffen der ProcessNet-Fachgruppe Energieverfahrenstechnik und des Arbeitsausschusses Thermische Energiespeicherung, Frankfurt am Main.
LibreCat
2019 | Journal Article | LibreCat-ID: 15250
Grabo, M., Weber, D., Paul, A., Klaus, T., Bermpohl, W., Krauter, S., & Kenig, E. (2019). Numerical Investigation of the Temperature Distribution in PCM-integrated Solar Modules. Chemical Engineering Transactions, 895–900. https://doi.org/10.3303/CET1976150
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14822
Heitkaemper, J., Feher, T., Freitag, M., & Haeb-Umbach, R. (2019). A Study on Online Source Extraction in the Presence of Changing Speaker Positions. In International Conference on Statistical Language and Speech Processing 2019, Ljubljana, Slovenia.
LibreCat
| Files available
2019 | Preprint | LibreCat-ID: 16296
Banholzer, S., Gebken, B., Dellnitz, M., Peitz, S., & Volkwein, S. (2019). ROM-based multiobjective optimization of elliptic PDEs via numerical continuation. ArXiv:1906.09075.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15921
Desouki, A. A., Röder, M., & Ngonga Ngomo, A.-C. (2019). Ranking on Very Large Knowledge Graphs. In Proceedings of the 30th ACM Conference on Hypertext and Social Media - HT ’19 (pp. 163–171). ACM. https://doi.org/10.1145/3342220.3343660
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16361
Fischer, H. G., Rittmeier, F., Strothmann, T. F., & Schwenniger, N. (2019). Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode. In C. K. Bosse & K. J. Zink (Eds.), Arbeit 4.0 im Mittelstand. Berlin, Heidelberg: Springer Gabler. https://doi.org/10.1007/978-3-662-59474-2_11
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16215
Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., & Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In M. H. ter Beek, A. McIver, & J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Vol. 11800, pp. 179–195). Springer. https://doi.org/10.1007/978-3-030-30942-8\_12
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 8113
Peuster, M., Dröge, C., Boos, C., & Karl, H. (2019). Joint testing and profiling of microservice-based network services using TTCN-3. ICT Express. https://doi.org/10.1016/j.icte.2019.02.001
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 8543
Strothmann, T. F. (2019). Förderung von Kreativität in studentischen Kleingruppenprojekten in der Informatik – Ein Prototyping-basierter Ansatz. Die Hochschullehre.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 8240
Dräxler, S., & Karl, H. (n.d.). SPRING: Scaling, Placement, and Routing of Heterogeneous Services with Flexible Structures. In 5th IEEE International Conference on Network Softwarization (NetSoft) 2019. Paris.
LibreCat