Khedkar, Mugdha. “Static Analysis for Android GDPR Compliance Assurance.”10.1109/ICSE-Companion58688.2023.00054__Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23), doi:10.1109/ICSE-Companion58688.2023.00054.
LibreCat: /record/44146
DOI: 10.1109/ICSE-Companion58688.2023.00054
arXiv: 2303.09606

Nachtigall, Marcus, et al. “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale.” Software Engineering 2023, Gesellschaft für Informatik e.V., 2023, pp. 95–96.
LibreCat: /record/52662

Schlichtig, Michael, et al. “Introducing FUM: A Framework for API Usage Constraint and Misuse Classification.” Software Engineering 2023, Gesellschaft für Informatik e.V., 2023, pp. 105–106.
LibreCat: /record/52660

Winkler, Michael. “A Quantitative Strong Parabolic Maximum Principle and Application to a Taxis-Type Migration–Consumption Model Involving Signal-Dependent Degenerate Diffusion.”10.4171/aihpc/73__Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire, European Mathematical Society - EMS - Publishing House GmbH, 2023, doi:10.4171/aihpc/73.
LibreCat: /record/53320
DOI: 10.4171/aihpc/73

Li, Genglin, and Michael Winkler. “Refined Regularity Analysis for a Keller-Segel-Consumption System Involving Signal-Dependent Motilities.”10.1080/00036811.2023.2173183__Applicable Analysis, vol. 103, no. 1, Informa UK Limited, 2023, pp. 45–64, doi:10.1080/00036811.2023.2173183.
LibreCat: /record/53318
DOI: 10.1080/00036811.2023.2173183

Ahn, Jaewook, and Michael Winkler. “A Critical Exponent for Blow-up in a Two-Dimensional Chemotaxis-Consumption System.”10.1007/s00526-023-02523-5__Calculus of Variations and Partial Differential Equations, vol. 62, no. 6, 180, Springer Science and Business Media LLC, 2023, doi:10.1007/s00526-023-02523-5.
LibreCat: /record/53324
DOI: 10.1007/s00526-023-02523-5

Tao, Youshan, and Michael Winkler. “Analysis of a Chemotaxis-SIS Epidemic Model with Unbounded Infection Force.”10.1016/j.nonrwa.2022.103820__Nonlinear Analysis: Real World Applications, vol. 71, 103820, Elsevier BV, 2023, doi:10.1016/j.nonrwa.2022.103820.
LibreCat: /record/53329
DOI: 10.1016/j.nonrwa.2022.103820

Winkler, Michael. “Solutions to the Keller–Segel System with Non-Integrable Behavior at Spatial Infinity.”10.1007/s41808-023-00230-y__Journal of Elliptic and Parabolic Equations, vol. 9, no. 2, Springer Science and Business Media LLC, 2023, pp. 919–59, doi:10.1007/s41808-023-00230-y.
LibreCat: /record/53341
DOI: 10.1007/s41808-023-00230-y

Winkler, Michael, and Tomomi Yokota. “Avoiding Critical Mass Phenomena by Arbitrarily Mild Saturation of Cross-Diffusive Fluxes in Two-Dimensional Keller-Segel-Navier-Stokes Systems.”10.1016/j.jde.2023.07.029__Journal of Differential Equations, vol. 374, Elsevier BV, 2023, pp. 1–28, doi:10.1016/j.jde.2023.07.029.
LibreCat: /record/53342
DOI: 10.1016/j.jde.2023.07.029

Winkler, Michael. “Absence of Collapse into Persistent Dirac-Type Singularities in a Keller-Segel-Navier-Stokes System Involving Local Sensing.”10.57262/ade028-1112-921__Advances in Differential Equations, vol. 28, no. 11/12, Khayyam Publishing, Inc, 2023, doi:10.57262/ade028-1112-921.
LibreCat: /record/53346
DOI: 10.57262/ade028-1112-921

Papageorgiou, Efthymia. “Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds.”10.1007/s11118-023-10109-1__Potential Analysis, Springer Science and Business Media LLC, 2023, doi:10.1007/s11118-023-10109-1.
LibreCat: /record/53540
DOI: 10.1007/s11118-023-10109-1

Papageorgiou, Efthymia. “Asymptotics for the Infinite Brownian Loop on Noncompact Symmetric Spaces.”10.1007/s41808-023-00250-8__Journal of Elliptic and Parabolic Equations, Springer Science and Business Media LLC, 2023, doi:10.1007/s41808-023-00250-8.
LibreCat: /record/53539
DOI: 10.1007/s41808-023-00250-8

Schlichtig, Michael, et al. CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite. 2022, doi:10.48550/ARXIV.2204.06447.
LibreCat: /record/32409
DOI: 10.48550/ARXIV.2204.06447

Nachtigall, Marcus, et al. “A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools.”10.1145/3533767__Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–43, doi:10.1145/3533767.
LibreCat: /record/32410
DOI: 10.1145/3533767

Schlichtig, Michael, et al. “FUM - A Framework for API Usage Constraint and Misuse Classification.”https://doi.org/10.1109/SANER53432.2022.00085__2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–84, doi:https://doi.org/10.1109/SANER53432.2022.00085.
LibreCat: /record/31133
DOI: https://doi.org/10.1109/SANER53432.2022.00085

Schubert, Philipp, et al. “Static Data-Flow Analysis for Software Product Lines in C.”10.1007/s10515-022-00333-1__Automated Software Engineering, vol. 29, no. 1, 35, Springer Science and Business Media LLC, 2022, doi:10.1007/s10515-022-00333-1.
LibreCat: /record/30511
DOI: 10.1007/s10515-022-00333-1

Kersting, Joschka, and Frederik Simon Bäumer. “Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis.” Proceedings of the Fourteenth International Conference on Pervasive Patterns and Applications (PATTERNS 2022): Special Track AI-DRSWA: Maturing Artificial Intelligence - Data Science for Real-World Applications, edited by Joschka Kersting, IARIA, 2022, pp. 5–9.
LibreCat: /record/31054

Herberg, Artjom, and Dirk Kuckling. “Branching Analysis of ;2-Cyclodextrin-Based Poly(N-Isopropylacrylamide) Star Polymers Using Triple Detection SEC.”10.1080/1023666x.2022.2110133__International Journal of Polymer Analysis and Characterization, Informa UK Limited, 2022, pp. 1–19, doi:10.1080/1023666x.2022.2110133.
LibreCat: /record/32865
DOI: 10.1080/1023666x.2022.2110133

Penner, Eduard, et al. “A Polymorphic Uncertainty Model for the Curing Process of Transversely Fiber-Reinforced Plastics.”10.2140/memocs.2022.10.21__Mathematics and Mechanics of Complex Systems, vol. 10, no. 1, Mathematical Sciences Publishers, 2022, pp. 21–50, doi:10.2140/memocs.2022.10.21.
LibreCat: /record/34075
DOI: 10.2140/memocs.2022.10.21

Gräßler, Iris, and Philipp Hesse. “Approach to Sustainability-Based Assessment of Solution Alternatives in Early Stages of Product Engineering.”10.1017/pds.2022.102__Proceedings of the Design Society, vol. 2, Cambridge University Press (CUP), 2022, pp. 1001–10, doi:10.1017/pds.2022.102.
LibreCat: /record/31691
DOI: 10.1017/pds.2022.102