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.
9900 Publications
2020 | Journal Article | LibreCat-ID: 18350
Koldewey, C., Meyer, M., Stockbrügger, P., Dumitrescu, R., & Gausemeier, J. (2020). Framework and Functionality Patterns for Smart Service Innovation. Procedia CIRP, (91), 851–857. https://doi.org/10.1016/j.procir.2020.02.244
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 18520
Setzer, A. (2020). Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-1026
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 18637 | 
Schürmann, P. (2020). A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes. Universität Paderborn.
LibreCat
| Files available
2020 | Bachelorsthesis | LibreCat-ID: 18639
Terfort, T. (2020). Enhancing Security by Usage of Universal One-Way Hash Functions. Universität Paderborn.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 18648
Guggenmos, A. (2020). Algorithmen für selbststabilisierende Skip+-Delaunaygraphen. Universität Paderborn.
LibreCat
2020 | Conference Paper | LibreCat-ID: 23376
Piskachev, G., Nguyen Quang Do, L., Johnson, O., & Bodden, E. (2020). SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). https://doi.org/10.1109/ase.2019.00110
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 23377
Piskachev, G., Petrasch, T., Späth, J., & Bodden, E. (2020). AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-030-54997-8_34
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21819 |
Klus, S., Nüske, F., & Hamzi, B. (2020). Kernel-Based Approximation of the Koopman Generator and Schrödinger Operator. Entropy. https://doi.org/10.3390/e22070722
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 7283
Alshomary, M., Düsterhus, N., & Wachsmuth, H. (2020). Extractive Snippet Generation for Arguments. In Proceedings of 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval (pp. 1969–1972). Xi’an, China.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 16487 |
Bobolz, J., Eidens, F., Krenn, S., Slamanig, D., & Striecks, C. (2020). Privacy-Preserving Incentive Systems with Highly Efficient Point-Collection. In Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS ’20),. New York, NY, USA: ACM. https://doi.org/10.1145/3320269.3384769
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 16570
Jovanovikj, I., Yigitbas, E., Sauer, S., & Engels, G. (2020). Challenges in Model-Driven Development of Multi-Platform Augmented Reality Applications . Softwaretechnik-Trends, Proceedings of the 22st Workshop Software-Reengineering & Evolution (WSRE) & 11h Workshop Design for Future (DFF).
LibreCat
2020 | Conference Paper | LibreCat-ID: 16724
Sharma, A., & Wehrheim, H. (n.d.). Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). ACM.
LibreCat
2020 | Journal Article | LibreCat-ID: 16725
Richter, C., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (n.d.). Algorithm Selection for Software Validation Based on Graph Kernels. Journal of Automated Software Engineering.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16726
Razzaghi Kouchaksaraei, H., Shivarpatna Venkatesh, A. P., Churi, A., Illian, M., & Karl, H. (n.d.). Dynamic Provisioning of Network Services on Heterogeneous Resources. In European Conference on Networks and Communications (EUCNC 2020).
LibreCat
2020 | Journal Article | LibreCat-ID: 16902
Feldmann, M., Scheideler, C., & Schmid, S. (2020). Survey on Algorithms for Self-Stabilizing Overlay Networks. ACM Computing Surveys. https://doi.org/10.1145/3397190
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16903
Feldmann, M., Khazraei, A., & Scheideler, C. (2020). Time- and Space-Optimal Discrete Clock Synchronization in the Beeping Model. In Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM. https://doi.org/10.1145/3350755.3400246
LibreCat
| DOI
| arXiv
2020 | Conference Paper | LibreCat-ID: 16933 |
Gottschalk, S., Rittmeier, F., & Engels, G. (2020). Hypothesis-driven Adaptation of Business Models based on Product Line Engineering. In Proceedings of the 22nd IEEE International Conference on Business Informatics. Antwerp: IEEE. https://doi.org/10.1109/CBI49978.2020.00022
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 16934 |
Gottschalk, S., Yigitbas, E., & Engels, G. (2020). Model-based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs. In B. Shishkov (Ed.), Business Modeling and Software Design (Vol. 391, pp. 276–286). Potsdam: Springer International Publishing. https://doi.org/10.1007/978-3-030-52306-0_18
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 16964
Hochmuth, R., Liebendörfer, M., Biehler, R., & Eichler, A. (2020). Das Kompetenzzentrum Hochschuldidaktik Mathematik (khdm). Neues Handbuch Hochschullehre, 95, 117–138.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16968
Braun, M., Castenow, J., & Meyer auf der Heide, F. (2020). Local Gathering of Mobile Robots in Three Dimensions. In Proceedings of the 27th Conference on Structural Information and Communication Complexity (SIROCCO). Paderborn: Springer. https://doi.org/10.1007/978-3-030-54921-3_4
LibreCat
| Files available
| DOI
| arXiv