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.
163 Publications
2023 | Conference Paper | LibreCat-ID: 44146
Khedkar, M. (n.d.). Static Analysis for Android GDPR Compliance Assurance. Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23). https://doi.org/10.1109/ICSE-Companion58688.2023.00054
LibreCat
| Files available
| DOI
| arXiv
2023 | Book Chapter | LibreCat-ID: 52662
Nachtigall, M., Schlichtig, M., & Bodden, E. (2023). Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. In Software Engineering 2023 (pp. 95–96). Gesellschaft für Informatik e.V.
LibreCat
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 52660
Schlichtig, M., Sassalla, S., Narasimhan, K., & Bodden, E. (2023). Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. In Software Engineering 2023 (pp. 105–106). Gesellschaft für Informatik e.V.
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 53320
Winkler, M. (2023). A quantitative strong parabolic maximum principle and application to a taxis-type migration–consumption model involving signal-dependent degenerate diffusion. Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire. https://doi.org/10.4171/aihpc/73
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53318
Li, G., & Winkler, M. (2023). Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities. Applicable Analysis, 103(1), 45–64. https://doi.org/10.1080/00036811.2023.2173183
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53324
Ahn, J., & Winkler, M. (2023). A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system. Calculus of Variations and Partial Differential Equations, 62(6), Article 180. https://doi.org/10.1007/s00526-023-02523-5
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53329
Tao, Y., & Winkler, M. (2023). Analysis of a chemotaxis-SIS epidemic model with unbounded infection force. Nonlinear Analysis: Real World Applications, 71, Article 103820. https://doi.org/10.1016/j.nonrwa.2022.103820
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53341
Winkler, M. (2023). Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity. Journal of Elliptic and Parabolic Equations, 9(2), 919–959. https://doi.org/10.1007/s41808-023-00230-y
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53342
Winkler, M., & Yokota, T. (2023). Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems. Journal of Differential Equations, 374, 1–28. https://doi.org/10.1016/j.jde.2023.07.029
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53346
Winkler, M. (2023). Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing. Advances in Differential Equations, 28(11/12). https://doi.org/10.57262/ade028-1112-921
LibreCat
| DOI