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.
10546 Publications
2020 | Bachelorsthesis | LibreCat-ID: 18639
Terfort, Tobias. Enhancing Security by Usage of Universal One-Way Hash Functions. Universität Paderborn, 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 18648
Guggenmos, Andreas. Algorithmen Für Selbststabilisierende Skip+-Delaunaygraphen. Universität Paderborn, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 23376
Piskachev, Goran, et al. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” 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, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-54997-8_34.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21819 | 
Klus, Stefan, et al. “Kernel-Based Approximation of the Koopman Generator and Schrödinger Operator.” Entropy, 722, 2020, doi:10.3390/e22070722.
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 7283
Alshomary, Milad, et al. “Extractive Snippet Generation for Arguments.” Proceedings of 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2020, pp. 1969–72.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 16487 |
Bobolz, Jan, et al. “Privacy-Preserving Incentive Systems with Highly Efficient Point-Collection.” Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS ’20), ACM, 2020, doi:10.1145/3320269.3384769.
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 16570
Jovanovikj, Ivan, et al. “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, Arnab, and Heike Wehrheim. “Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models.” Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., ACM.
LibreCat
2020 | Journal Article | LibreCat-ID: 16725
Richter, Cedric, et al. “Algorithm Selection for Software Validation Based on Graph Kernels.” Journal of Automated Software Engineering, Springer.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16726
Razzaghi Kouchaksaraei, Hadi, et al. “Dynamic Provisioning of Network Services on Heterogeneous Resources.” European Conference on Networks and Communications (EUCNC 2020).
LibreCat
2020 | Journal Article | LibreCat-ID: 16902
Feldmann, Michael, et al. “Survey on Algorithms for Self-Stabilizing Overlay Networks.” ACM Computing Surveys, ACM, 2020, doi:10.1145/3397190.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16903
Feldmann, Michael, et al. “Time- and Space-Optimal Discrete Clock Synchronization in the Beeping Model.” 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, Sebastian, et al. “Hypothesis-Driven Adaptation of Business Models Based on Product Line Engineering.” 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, Sebastian, et al. “Model-Based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs.” Business Modeling and Software Design, edited by Boris Shishkov, vol. 391, Springer International Publishing, 2020, pp. 276–86, doi:10.1007/978-3-030-52306-0_18.
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 16964
Hochmuth, Reinhard, et al. “Das Kompetenzzentrum Hochschuldidaktik Mathematik (Khdm).” Neues Handbuch Hochschullehre, vol. 95, 2020, pp. 117–38.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16968
Braun, Michael, et al. “Local Gathering of Mobile Robots in Three Dimensions.” 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
2020 | Conference Paper | LibreCat-ID: 17063
Hansmeier, Tim, et al. “An Adaption Mechanism for the Error Threshold of XCSF.” GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), 2020, pp. 1756–64, doi:10.1145/3377929.3398106.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 17082
Hasnain, Asif, and Holger Karl. “Coflow Scheduling with Performance Guarantees for Data Center Applications.” 2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID), IEEE Computer Society, 2020, doi:https://doi.org/10.1109/CCGrid49817.2020.00010.
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 17084
Weidmann, Nils, and Anthony Anjorin. “Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming.” Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, edited by Heike Wehrheim and Jordi Cabot, Springer, 2020, doi:10.1007/978-3-030-45234-6_16.
LibreCat
| DOI