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
@inproceedings{Khedkar, title={Static Analysis for Android GDPR Compliance Assurance}, DOI={10.1109/ICSE-Companion58688.2023.00054}, booktitle={Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23)}, author={Khedkar, Mugdha} }
LibreCat
| Files available
| DOI
| arXiv
2023 | Book Chapter | LibreCat-ID: 52662
@inbook{Nachtigall_Schlichtig_Bodden_2023, place={Bonn}, title={Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale}, booktitle={Software Engineering 2023}, publisher={Gesellschaft für Informatik e.V.}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2023}, pages={95–96} }
LibreCat
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 52660
@inbook{Schlichtig_Sassalla_Narasimhan_Bodden_2023, place={Bonn}, title={Introducing FUM: A Framework for API Usage Constraint and Misuse Classification}, booktitle={Software Engineering 2023}, publisher={Gesellschaft für Informatik e.V.}, author={Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric}, year={2023}, pages={105–106} }
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 53320
@article{Winkler_2023, title={A quantitative strong parabolic maximum principle and application to a taxis-type migration–consumption model involving signal-dependent degenerate diffusion}, DOI={10.4171/aihpc/73}, journal={Annales de l’Institut Henri Poincaré C, Analyse non linéaire}, publisher={European Mathematical Society - EMS - Publishing House GmbH}, author={Winkler, Michael}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53318
@article{Li_Winkler_2023, title={Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities}, volume={103}, DOI={10.1080/00036811.2023.2173183}, number={1}, journal={Applicable Analysis}, publisher={Informa UK Limited}, author={Li, Genglin and Winkler, Michael}, year={2023}, pages={45–64} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53324
@article{Ahn_Winkler_2023, title={A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system}, volume={62}, DOI={10.1007/s00526-023-02523-5}, number={6180}, journal={Calculus of Variations and Partial Differential Equations}, publisher={Springer Science and Business Media LLC}, author={Ahn, Jaewook and Winkler, Michael}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53329
@article{Tao_Winkler_2023, title={Analysis of a chemotaxis-SIS epidemic model with unbounded infection force}, volume={71}, DOI={10.1016/j.nonrwa.2022.103820}, number={103820}, journal={Nonlinear Analysis: Real World Applications}, publisher={Elsevier BV}, author={Tao, Youshan and Winkler, Michael}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53341
@article{Winkler_2023, title={Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity}, volume={9}, DOI={10.1007/s41808-023-00230-y}, number={2}, journal={Journal of Elliptic and Parabolic Equations}, publisher={Springer Science and Business Media LLC}, author={Winkler, Michael}, year={2023}, pages={919–959} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53342
@article{Winkler_Yokota_2023, title={Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems}, volume={374}, DOI={10.1016/j.jde.2023.07.029}, journal={Journal of Differential Equations}, publisher={Elsevier BV}, author={Winkler, Michael and Yokota, Tomomi}, year={2023}, pages={1–28} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53346
@article{Winkler_2023, title={Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing}, volume={28}, DOI={10.57262/ade028-1112-921}, number={11/12}, journal={Advances in Differential Equations}, publisher={Khayyam Publishing, Inc}, author={Winkler, Michael}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53540
@article{Papageorgiou_2023, title={Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds}, DOI={10.1007/s11118-023-10109-1}, journal={Potential Analysis}, publisher={Springer Science and Business Media LLC}, author={Papageorgiou, Efthymia}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53539
@article{Papageorgiou_2023, title={Asymptotics for the infinite Brownian loop on noncompact symmetric spaces}, DOI={10.1007/s41808-023-00250-8}, journal={Journal of Elliptic and Parabolic Equations}, publisher={Springer Science and Business Media LLC}, author={Papageorgiou, Efthymia}, year={2023} }
LibreCat
| DOI
2022 | Misc | LibreCat-ID: 32409
@book{Schlichtig_Wickert_Krüger_Bodden_Mezini_2022, title={CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite}, DOI={10.48550/ARXIV.2204.06447}, author={Schlichtig, Michael and Wickert, Anna-Katharina and Krüger, Stefan and Bodden, Eric and Mezini, Mira}, year={2022} }
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
@inproceedings{Nachtigall_Schlichtig_Bodden_2022, title={A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools}, DOI={10.1145/3533767}, booktitle={Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis}, publisher={ACM}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2022}, pages={532–543} }
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
@inproceedings{Schlichtig_Sassalla_Narasimhan_Bodden_2022, title={FUM - A Framework for API Usage constraint and Misuse Classification}, DOI={https://doi.org/10.1109/SANER53432.2022.00085}, booktitle={2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric}, year={2022}, pages={673–684} }
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 30511 | 
@article{Schubert_Gazzillo_Patterson_Braha_Schiebel_Hermann_Wei_Bodden_2022, title={Static data-flow analysis for software product lines in C}, volume={29}, DOI={10.1007/s10515-022-00333-1}, number={135}, journal={Automated Software Engineering}, publisher={Springer Science and Business Media LLC}, author={Schubert, Philipp and Gazzillo, Paul and Patterson, Zach and Braha, Julian and Schiebel, Fabian and Hermann, Ben and Wei, Shiyi and Bodden, Eric}, year={2022} }
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 31054
@inproceedings{Kersting_Bäumer_2022, place={Barcelona, Spain}, title={Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis}, booktitle={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}, publisher={IARIA}, author={Kersting, Joschka and Bäumer, Frederik Simon}, editor={Kersting, Joschka}, year={2022}, pages={5–9} }
LibreCat
| Files available
2022 | Journal Article | LibreCat-ID: 32865
@article{Herberg_Kuckling_2022, title={Branching analysis of β-cyclodextrin-based poly(N-isopropylacrylamide) star polymers using triple detection SEC}, DOI={10.1080/1023666x.2022.2110133}, journal={International Journal of Polymer Analysis and Characterization}, publisher={Informa UK Limited}, author={Herberg, Artjom and Kuckling, Dirk}, year={2022}, pages={1–19} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34075
@article{Penner_Caylak_Mahnken_2022, title={A polymorphic uncertainty model for the curing process of transversely fiber-reinforced plastics}, volume={10}, DOI={10.2140/memocs.2022.10.21}, number={1}, journal={Mathematics and Mechanics of Complex Systems}, publisher={Mathematical Sciences Publishers}, author={Penner, Eduard and Caylak, Ismail and Mahnken, Rolf}, year={2022}, pages={21–50} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31691
@article{Gräßler_Hesse_2022, title={Approach to Sustainability-Based Assessment of Solution Alternatives in Early Stages of Product Engineering}, volume={2}, DOI={10.1017/pds.2022.102}, journal={Proceedings of the Design Society}, publisher={Cambridge University Press (CUP)}, author={Gräßler, Iris and Hesse, Philipp}, year={2022}, pages={1001–1010} }
LibreCat
| DOI