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.
9931 Publications
2020 | Journal Article | LibreCat-ID: 18350
Koldewey C, Meyer M, Stockbrügger P, Dumitrescu R, Gausemeier J. Framework and Functionality Patterns for Smart Service Innovation. Procedia CIRP. 2020;(91):851-857. doi:10.1016/j.procir.2020.02.244
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 18520
Setzer A. Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks. Universität Paderborn; 2020. doi:10.17619/UNIPB/1-1026
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 18637 | 
Schürmann P. A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes. Universität Paderborn; 2020.
LibreCat
| Files available
2020 | Bachelorsthesis | LibreCat-ID: 18639
Terfort T. Enhancing Security by Usage of Universal One-Way Hash Functions. Universität Paderborn; 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 18648
Guggenmos A. Algorithmen Für Selbststabilisierende Skip+-Delaunaygraphen. Universität Paderborn; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 23376
Piskachev G, Nguyen Quang Do L, Johnson O, Bodden E. SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). ; 2020. doi:10.1109/ase.2019.00110
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 23377
Piskachev G, Petrasch T, Späth J, Bodden E. AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In: Lecture Notes in Computer Science. ; 2020. doi:10.1007/978-3-030-54997-8_34
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21819 |
Klus S, Nüske F, Hamzi B. Kernel-Based Approximation of the Koopman Generator and Schrödinger Operator. Entropy. 2020. doi:10.3390/e22070722
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 7283
Alshomary M, Düsterhus N, Wachsmuth H. Extractive Snippet Generation for Arguments. In: Proceedings of 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. ; 2020:1969-1972.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 16487 |
Bobolz J, Eidens F, Krenn S, Slamanig D, Striecks C. 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; 2020. doi:10.1145/3320269.3384769
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 16570
Jovanovikj I, Yigitbas E, Sauer S, Engels G. 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). 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16724
Sharma A, Wehrheim H. 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. 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 AP, Churi A, Illian M, Karl H. 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. Survey on Algorithms for Self-Stabilizing Overlay Networks. ACM Computing Surveys. 2020. doi:10.1145/3397190
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16903
Feldmann M, Khazraei A, Scheideler C. 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; 2020. doi:10.1145/3350755.3400246
LibreCat
| DOI
| arXiv
2020 | Conference Paper | LibreCat-ID: 16933 |
Gottschalk S, Rittmeier F, Engels G. Hypothesis-driven Adaptation of Business Models based on Product Line Engineering. In: Proceedings of the 22nd IEEE International Conference on Business Informatics. IEEE; 2020. doi:10.1109/CBI49978.2020.00022
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 16934 |
Gottschalk S, Yigitbas E, Engels G. Model-based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs. In: Shishkov B, ed. Business Modeling and Software Design. Vol 391. Lecture Notes in Business Information Processing. Springer International Publishing; 2020:276-286. doi: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. Das Kompetenzzentrum Hochschuldidaktik Mathematik (khdm). Neues Handbuch Hochschullehre. 2020;95:117-138.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16968
Braun M, Castenow J, Meyer auf der Heide F. Local Gathering of Mobile Robots in Three Dimensions. In: Proceedings of the 27th Conference on Structural Information and Communication Complexity (SIROCCO). Springer; 2020. doi:10.1007/978-3-030-54921-3_4
LibreCat
| Files available
| DOI
| arXiv