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.
5503 Publications
2019 | Conference Paper | LibreCat-ID: 7669
Josifovska, K., Yigitbas, E., & Engels, G. (2019). A Digital Twin-Based Multi-Modal UI Adaptation Framework for Assistance Systems in Industry 4.0 . In Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019) (Vol. 11568, pp. 398–409). Orlando, Florida: Springer, LNCS.
LibreCat
2019 | Misc | LibreCat-ID: 8112
Maaz, M. U., Sprenger, A., & Hellebrand, S. (2019). A Hybrid Space Compactor for Varying X-Rates. Prien am Chiemsee: 31. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’19).
LibreCat
2019 | Journal Article | LibreCat-ID: 8667
Sprenger, A., & Hellebrand, S. (2019). Divide and Compact - Stochastic Space Compaction for Faster-than-At-Speed Test. Journal of Circuits, Systems and Computers, 28(1), 1–23. https://doi.org/10.1142/s0218126619400012
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 8833
Jovanovikj, I., Yigitbas, E., Gerth, C., Sauer, S., & Engels, G. (2019). Detection and Resolution of Data-Flow Differences in Business Process Models. In C. Cappiello & M. Ruiz (Eds.), Information Systems Engineering in Responsible Information Systems - CAiSE Forum 2019, Rome, Italy, June 3-7, 2019, Proceedings (Vol. 350, pp. 145–157). Rome.
LibreCat
2019 | Conference Paper | LibreCat-ID: 8871
Augustine, J., Ghaffari, M., Gmyr, R., Hinnenthal, K., Kuhn, F., Li, J., & Scheideler, C. (2019). Distributed Computation in Node-Capacitated Networks. In Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures (pp. 69--79). ACM. https://doi.org/10.1145/3323165.3323195
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 9824
Peuster, M., Schneider, S. B., Zhao, M., Xilouris, G., Trakadas, P., Vicens, F., … Karl, H. (2019). Introducing Automated Verification and Validation for Virtualized Network Functions and Services. IEEE Communications Magazine, 96–102. https://doi.org/10.1109/mcom.2019.1800873
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 9913
Ahmed, Q. A., Wiersema, T., & Platzner, M. (2019). Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan. In C. Hochberger, B. Nelson, A. Koch, R. Woods, & P. Diniz (Eds.), Applied Reconfigurable Computing (Vol. 11444, pp. 127–136). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-17227-5_10
LibreCat
| Files available
| DOI
2019 | Book Chapter | LibreCat-ID: 16966
Kuklinski, C., Liebendörfer, M., Hochmuth, R., Biehler, R., Schaper, N., Lankeit, E., … Schürmann, M. (2019). Features of innovative lectures that distinguish them from traditional lectures and their evaluation by attending students. In Proceedings of {CERME} 11. Utrecht.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15007
Melnikov, V., & Hüllermeier, E. (2019). Learning to Aggregate: Tackling the Aggregation/Disaggregation Problem for OWA. In Proceedings ACML, Asian Conference on Machine Learning (Proceedings of Machine Learning Research, 101). https://doi.org/10.1016/j.jmva.2019.02.017
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 17565
Merten, M.-L., Seemann, N., & Wever, M. D. (2019). Grammatikwandel digital-kulturwissenschaftlich erforscht. Mittelniederdeutscher Sprachausbau im interdisziplinären Zugriff. Niederdeutsches Jahrbuch, (142), 124–146.
LibreCat
2019 | Journal Article | LibreCat-ID: 17762
Haeb-Umbach, R. (2019). Lektionen für Alexa \& Co?! Forschung, 44(1), 12–15. https://doi.org/10.1002/fors.201970104
LibreCat
| DOI
2019 | Preprint | LibreCat-ID: 18018
Bengs, V., & Holzmann, H. (2019). Uniform approximation in classical weak convergence theory. ArXiv:1903.09864.
LibreCat
2019 | Dissertation | LibreCat-ID: 8080
Feldotto, M. (2019). Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-588
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Newspaper Article | LibreCat-ID: 17402
Koldewey, C., & Dumitrescu, R. (2019). Strategie als Erfolgsfaktor. ServiceToday, pp. 76–77.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 15920
Keerthipati, M. (2019). A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Universität Paderborn.
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
Khaluf, L. (2019). Organic Programming of Dynamic Real-Time Applications. Universität Paderborn.
LibreCat
2019 | Newspaper Article | LibreCat-ID: 20366
Koldewey, C., Reinhold, J., Willmes, G., & Michels, J. S. (2019). Smart Service-Innovationen - Gewusst wie. markt & wirtschaft westfalen - Das Wirtschaftsmagazin für zukunftsorientierte Unternehmer.
LibreCat
2019 | Newspaper Article | LibreCat-ID: 20342
Kahl, B., Kogan, Y., & Menzefricke, J. S. (2019). Servicerobotik kooperativ entwickeln. Computer & Automation, pp. 58–61.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20532
Piskachev, G., Nguyen Quang Do, L., Johnson, O., & Bodden, E. (2019). SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. In IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20525
Stockmann, L., Laux, S., & Bodden, E. (2019). Architectural Runtime Verification. In 2019 IEEE International Conference on Software Architecture Companion (ICSA-C) (pp. 77–84). https://doi.org/10.1109/ICSA-C.2019.00021
LibreCat
| DOI
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
Piskachev, G., Nguyen, L., & Bodden, E. (2019). Codebase-Adaptive Detection of Security-Relevant Methods.
LibreCat
2019 | Journal Article | LibreCat-ID: 19446
Drude, L., Heitkaemper, J., Boeddeker, C., & Haeb-Umbach, R. (2019). SMS-WSJ: Database, performance measures, and baseline recipe for multi-channel source separation and recognition. ArXiv E-Prints.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 12882
Afifi, H., Karl, H., Eikenberg, S., Mueller, A., Gansel, L., Makejkin, A., … Schellenberg, R. (2019). A Rapid Prototyping for Wireless Virtual Network Embedding using MARVELO. In 2019 IEEE Wireless Communications and Networking Conference (WCNC) (IEEE WCNC 2019) (Demo). Marrakech, Morocco.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 15261
Lugovtsova, Y., Johannesmann, S., Henning, B., & Prager, J. (2019). Analysis of Lamb wave mode repulsion and its implications to the characterisation of adhesive bonding strength. In 2019 International Congress on Ultrasonics. Bruges: Acoustical Society of America. https://doi.org/10.1121/2.0001074
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 15874
Lienen, C. (n.d.). Implementing a Real-time System on a Platform FPGA operated with ReconOS. Universität Paderborn.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 13140
Weidmann, N., Anjorin, A., Stolte, F., & Kraus, F. (2019). From Pattern Invocation Networks to Rule Preconditions. In E. Guerra & F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019 (pp. 195–211). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-030-23611-3\_12
LibreCat
| DOI
2019 | Preprint | LibreCat-ID: 19523
Pfannschmidt, K., Gupta, P., & Hüllermeier, E. (2019). Learning Choice Functions: Concepts and Architectures. ArXiv:1901.10860.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22709
Dumitrescu, R., Japs, S., Kaiser, L., & Rasor, R. (2019). Model Checking of Integratively Designed Product and Production Systems. In TdSE 2019. Garching.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22716
Wortmann, F., Joppen, R., Drewel, M., Kühn, A., & Dumitrescu, R. (2019). Developing and Evaluating Concepts for a Digital Platform. In K. Jain, S. Sangle, R. Gupta, J. Persis, & R. Mukundan (Eds.), IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT.
LibreCat
2019 | Book | LibreCat-ID: 22728
Gausemeier, J., Dumitrescu, R., Echterfeld, J., Pfänder, T., Steffen, D., & Thielemann, F. (2019). Innovationen für die Märkte von morgen – Strategische Planung von Produkten, Dienstleistungen und Geschäftsmodellen. München: Carl Hanser Verlag.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22730
Hobscheidt, D., Fechtelpeter, C., Kühn, A., & Dumitrescu, R. (2019). Using existing industry 4.0 knowledge for the assessment of SME innovation-demands. In ISPIM Innovation Conference, Florence, Italien, 16.-19. Juni, 2019. Florence, Italien.
LibreCat
2019 | Journal Article | LibreCat-ID: 22735
Joppen, R., von Enzberg, S., Kühn, A., & Dumitrescu, R. (2019). Investitionsbewertung vor dem Hintergrund der Digitalisierung am Beispiel Schaltschrankbau. Zeitschrift für wirtschaftlichen Fabrikbetrieb (ZWF), Band 114, Ausgabe 7-8(7–8), 483–487.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22747
Heihoff-Schwede, J., Bretz, L., Kaiser, L., & Dumitrescu, R. (2019). An Explanatory Model as Basis for the Introduction of Systems Engineering and capable IT-Infrastructures in Industry. In IEEE ISSE 2019, Edinburgh, Scotland, 2019. Edinburgh, Scotland.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10091
König, J., & Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger & K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Vol. 11460, pp. 263–279). Springer. https://doi.org/10.1007/978-3-030-20652-9\_18
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 10096
Beyer, D., & Wehrheim, H. (2019). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR, abs/1905.08505.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
Webersen, M., Hüttner, M., Woitschek, F., Moritzer, E., & Henning, B. (2019). Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere. In Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019. Rostock.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10577
Witschen, L. M., Ghasemzadeh Mohammadi, H., Artmann, M., & Platzner, M. (2019). Jump Search: A Fast Technique for the Synthesis of Approximate Circuits. In Proceedings of the 2019 on Great Lakes Symposium on VLSI - GLSVLSI ’19. New York, NY, USA: ACM. https://doi.org/10.1145/3299874.3317998
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10281
Feldotto, M., Lenzner, P., Molitor, L., & Skopalik, A. (2019). From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation. In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems (pp. 1949--1951). Montreal QC, Canada: International Foundation for Autonomous Agents and Multiagent Systems.
LibreCat
| Files available
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10306
Porzenheim, L. A. (2019). Post-Quantum Secure Group Signatures.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10325
Peuster, M., Marchetti, M., García de Blas, G., & Karl, H. (2019). Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing. EURASIP Journal on Wireless Communications and Networking. https://doi.org/10.1186/s13638-019-1493-2
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13292
Schneider, S. B., Peuster, M., Hannemann, K., Behnke, D., Müller, M., Bök, P.-B., & Karl, H. (2019). “Producing Cloud-Native”: Smart Manufacturing Use Cases on Kubernetes. In IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track. Dallas, TX, USA: IEEE.
LibreCat
| Files available
2019 | Book (Editor) | LibreCat-ID: 13139
Rezat, S., Fan, L., Hattermann, M., Schumacher, J., & Wuschke, H. (Eds.). (2019). Proceedings of the Third International Conference on Mathematics Textbook Research and Development: 16-19 September 2019 Paderborn, Germany. Presented at the Third International Conference on Mathematics Textbook Research and Development, Paderborn: Universitätsbibliothek Paderborn. https://doi.org/10.17619/UNIPB/1-768
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 11950
Boschmann, A., Agne, A., Thombansen, G., Witschen, L. M., Kraus, F., & Platzner, M. (2019). Zynq-based acceleration of robust high density myoelectric signal processing. Journal of Parallel and Distributed Computing, 123, 77–89. https://doi.org/10.1016/j.jpdc.2018.07.004
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 12871
Platzner, M., & Plessl, C. (2019). FPGAs im Rechenzentrum. Informatik Spektrum. https://doi.org/10.1007/s00287-019-01187-w
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 12876
Kurz, G., Gilitschenski, I., Pfaff, F., Drude, L., Hanebeck, U. D., Haeb-Umbach, R., & Siegwart, R. Y. (2019). Directional Statistics and Filtering Using libDirectional. In Journal of Statistical Software 89(4).
LibreCat
| Files available
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
2019 | Journal Article | LibreCat-ID: 8795
Peuster, M., Küttner, H., & Karl, H. (2019). A flow handover protocol to support state migration in softwarized networks. International Journal of Network Management. https://doi.org/10.1002/nem.2067
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13261
Wolters, D., Kirchhoff, J., & Engels, G. (2019). Specifying Web Interfaces for Command-line Applications Based on OpenAPI. In S. Yangui, A. Bouguettaya, X. Xue, N. Faci, W. Gaaloul, Q. Yu, … E. Y. Nakagawa (Eds.), Service-Oriented Computing – ICSOC 2019 Workshops (Vol. 12019, pp. 30–41). Springer. https://doi.org/10.1007/978-3-030-45989-5\_3
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 7689
Riebler, H., Vaz, G. F., Kenter, T., & Plessl, C. (2019). Transparent Acceleration for Heterogeneous Platforms with Compilation to OpenCL. ACM Trans. Archit. Code Optim. (TACO), 16(2), 14:1–14:26. https://doi.org/10.1145/3319423
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13259
Chen, W.-F., Al-Khatib, K., Hagen, M., Wachsmuth, H., & Stein, B. (2019). Unraveling the Search Space of Abusive Language in Wikipedia with Dynamic Lexicon Acquisition. In Proceedings of the Second Workshop on Natural Language Processing for Internet Freedom (pp. 76–82).
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 16708
Ziessler, A., Dellnitz, M., & Gerlach, R. (2019). The Numerical Computation of Unstable Manifolds for Infinite Dimensional Dynamical Systems by Embedding Techniques. SIAM Journal on Applied Dynamical Systems, 1265–1292. https://doi.org/10.1137/18m1204395
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 18975
Malatyali, M. (2019). Big Data: Sublinear Algorithms for Distributed Data Streams. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-766
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 17395
Koldewey, C., Reinhold, J., Dumitrescu, R., Frank, M., Schweppe, T., & Melzer, A. (2019). Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services. ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, 380–384. https://doi.org/10.3139/104.112113
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 17403
Koldewey, C., Evers, H. H., Dumitrescu, R., Frank, M., Gausemeier, J., & Reinhold, J. (2019). Development Process for Smart Service Strategies. In I. Bitran, S. Conn, C. Gernreich, M. Heber, K. R. E. Huizingh, O. Kokshagina, … M. Tynnhammar (Eds.), Proceedings of The XXX ISPIM INNOVATION CONFERENCE (Vol. 93). ISPIM Innovation Conference.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10344
Pukrop, S. (2019). Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine. Universität Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17667
Koning, R., Polevoy, G., Meijer, L., de Laat, C., & Grosso, P. (2019). Approaches for Collaborative Security Defences in Multi Network Environments. In 2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom) (pp. 113–123). https://doi.org/10.1109/CSCloud/EdgeCom.2019.000-9
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20533
Krüger, S., Späth, J., Ali, K., Bodden, E., & Mezini, M. (2019). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/TSE.2019.2948910
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20538
Albert Gorski Iii, S., Andow, B., Nadkarni, A., Manandhar, S., Enck, W., Bodden, E., & Bartel, A. (2019). ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware. In ACM Conference on Data and Application Security and Privacy (CODASPY 2019).
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20759
Gerking, C., & Schubert, D. (2019). Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. In International Conference on Software Architecture (ICSA 2019).
LibreCat
2019 | Conference Paper | LibreCat-ID: 13141
Weidmann, N., Anjorin, A., Robrecht, P., & Varró, G. (2019). Incremental (Unidirectional) Model Transformation with eMoflon::IBeX. In E. Guerra & F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019 (pp. 131–140). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-030-23611-3\_8
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 21524
Lange, S., Schröder, D., Hedayat, C., Otto, T., & Hilleringmann, U. (2019). Inductive Locating Method to Locate Miniaturized Wireless Sensors within Inhomogeneous Dielectrics. In 2019 17th IEEE International New Circuits and Systems Conference (NEWCAS). Munich, Germany. https://doi.org/10.1109/newcas44328.2019.8961227
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 22712
Drewel, M., Gausemeier, J., Vaßholz, M., & Homburg, N. (2019). Einstieg in die Plattformökonomie. In J. Gausemeier, W. Bauer, R. Dumitrescu, & Heinz Nixdorf Institut (Eds.), Symposium für Vorausschau und Technologieplanung (Vol. 15).
LibreCat
2019 | Conference Paper | LibreCat-ID: 22717
Reinhold, J., Frank, M., Koldewey, C., Dumitrescu, R., & Gausemeier, J. (2019). Competence-based Planning of Value Networks for Smart Services. In International Society for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the ISPIM Connects.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22731
Joppen, R., von Enzberg, S., Gundlach, J., Kühn, A., & Dumitrescu, R. (2019). Key Performance Indicators in the Production of the Future. In P. Butala, E. Govekar, R. Vrabic, A. Roglej-Ritonja, D. Bracun, D. Kozjek, … G. Skulj (Eds.), 52nd CIRP Manufacturing Systems Conference, Ljubljana, 2019. Ljubljana.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22729
Hobscheidt, D., Jürgenhake, C., Anacker, H., & Dumitrescu, R. (2019). Sociotechnical solution patterns for the development of smart products. In 29th CIRP Design 2019, Povoa de Varzim, Portugal, May 8th - May 10th, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22748
Tekaat, J., Kharatyan, A., Anacker, H., & Dumitrescu, R. (2019). Potentials for the Integration of Design Thinking along Automotive Systems Engineering focusing Security and Safety. In Proceedings of the International Conference on Engineering Design (ICED 19), 5.-8. August 2019, Delft, Niederlande, 2019. Delft, Niederlande, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 8872
Stankevich, D., Hradyska, L., Shkuratov, Y., Grynko, Y., Videen, G., & Förstner, J. (2019). Light scattering by 3-Foci convex and concave particles in the geometrical optics approximation. Journal of Quantitative Spectroscopy and Radiative Transfer, 231, 49. https://doi.org/10.1016/j.jqsrt.2019.04.016
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 12908
Hammer, M., Ebers, L., & Förstner, J. (2019). Oblique quasi-lossless excitation of a thin silicon slab waveguide: a guided-wave variant of an anti-reflection coating. Journal of the Optical Society of America B, 36, 2395. https://doi.org/10.1364/josab.36.002395
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10232
Wever, M. D., Mohr, F., Tornede, A., & Hüllermeier, E. (2019). Automating Multi-Label Classification Extending ML-Plan. Presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10011
Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, S., Springer, D., Thiel, C., & Henning, B. (2019). Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019 (Vol. 45, pp. 1055–1058). Rostock: Deutsche Gesellschaft für Akustik.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10092
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2019). Verifying C11 programs operationally. In J. K. Hollingsworth & I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019 (pp. 355–365). {ACM}. https://doi.org/10.1145/3293883.3295702
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 10578
Tagne, V. K., Fotso, S., Fono, L. A., & Hüllermeier, E. (2019). Choice Functions Generated by Mallows and Plackett–Luce Relations. New Mathematics and Natural Computation, 15(2), 191–213.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10597
Hanke, S., Peitz, S., Wallscheid, O., Böcker, J., & Dellnitz, M. (2019). Finite-Control-Set Model Predictive Control for a Permanent Magnet Synchronous Motor Application with Online Least Squares System Identification. In 2019 IEEE International Symposium on Predictive Control of Electrical Drives and Power Electronics (PRECEDE). https://doi.org/10.1109/precede.2019.8753313
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 11709
Potthast, M., Gienapp, L., Euchner, F., Heilenkötter, N., Weidmann, N., Wachsmuth, H., … Hagen, M. (2019). Argument Search: Assessing Argument Relevance. In 42nd International ACM Conference on Research and Development in Information Retrieval (SIGIR 2019) (pp. 1117–1120). ACM. https://doi.org/10.1145/3331184.3331327
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13123
Afifi, H., Horbach, K., & Karl, H. (2019). A Genetic Algorithm Framework for Solving Wireless Virtual Network Embedding. In 2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) (WiMob 2019). Barcelona, Spain.
LibreCat
2019 | Book Chapter | LibreCat-ID: 12043
Reinold, P., Meyer, N., Buse, D., Klingler, F., Sommer, C., Dressler, F., … Andert, J. (2019). Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest. In Proceedings. Wiesbaden. https://doi.org/10.1007/978-3-658-25294-6_15
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 12889
Yigitbas, E., Jovanovikj, I., Sauer, S., & Engels, G. (2019). A Model-based Framework for Context-aware Augmented Reality Applications . In Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes (IFIP WG 13.2 & WG 13.5 International Workshop @ INTERACT2019).
LibreCat
2019 | Patent | LibreCat-ID: 14032
Göllner, T., Schwarz, J.-H., Gottschalk, S., & Sauer, S. (2019). Verteiltes Warenwirtschaftssystem [Distributed Warehouse System].
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13647
Claes, L., Johannesmann, S., Baumhögger, E., & Henning, B. (2019). Quantification of frequency-dependent absorption phenomena. In 2019 International Congress on Ultrasonics. Bruges. https://doi.org/10.1121/2.0001043
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14568
Heindorf, S., Scholten, Y., Engels, G., & Potthast, M. (2019). Debiasing Vandalism Detection Models at Wikidata (Extended Abstract). In INFORMATIK (pp. 289–290). https://doi.org/10.18420/inf2019_48
LibreCat
| DOI
| Download (ext.)