Hasler D, Hinrichs B, Siebert O. Non-Fock ground states in the translation-invariant Nelson model revisited non-perturbatively. Journal of Functional Analysis. 2024;286(7). doi:10.1016/j.jfa.2024.110319
LibreCat: /record/51374
DOI: 10.1016/j.jfa.2024.110319
arXiv: 2302.06998

Khedkar M, Bodden E. Toward an Android Static Analysis Approach for Data Protection. In: Proceedings of the 9th International Conference on Mobile Software Engineering and Systems. ; 2024.
LibreCat: /record/52235
arXiv: 2402.07889

Wickert A-K, Schlichtig M, Vogel M, Winter L, Mezini M, Bodden E. Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability.; 2024.
LibreCat: /record/52663

Brennecken D. Hankel transform, &;mml:math xmlns:mml="http://www..org/1998/Math/MathML" altimg="si1.svg"&;&;mml:mi mathvariant="script"&;K&;/mml:mi&;&;/mml:math&;-Bessel functions and zeta distributions in the Dunkl setting. Journal of Mathematical Analysis and Applications. 2024;535(2). doi:10.1016/j.jmaa.2024.128125
LibreCat: /record/53300
DOI: 10.1016/j.jmaa.2024.128125

Haake C-J, Schneider M. Playing games with QCA: Measuring the explanatory power of single conditions with the Banzhaf index. Journal of International Management. 2024;30(2).
LibreCat: /record/34114

Shivarpatna Venkatesh AP, Wang J, Li L, Bodden E. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. In: IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering); 2023. doi:10.48550/ARXIV.2301.04419
LibreCat: /record/36522
DOI: 10.48550/ARXIV.2301.04419

Black T, Fuest M, Lankeit J, Mizukami M. Possible points of blow-up in chemotaxis systems with spatially heterogeneous logistic source. Nonlinear Analysis: Real World Applications. 2023;73. doi:10.1016/j.nonrwa.2023.103868
LibreCat: /record/43105
DOI: 10.1016/j.nonrwa.2023.103868

Link C, Malena K, Gausemeier S, Trächtler A. Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios. In: Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems. SCITEPRESS - Science and Technology Publications; 2023. doi:10.5220/0011987600003479
LibreCat: /record/44390
DOI: 10.5220/0011987600003479

Hinrichs B, Janssen DW, Ziebell J. Super-Gaussian decay of exponentials: A sufficient condition. Journal of Mathematical Analysis and Applications. 2023;528(1). doi:10.1016/j.jmaa.2023.127558
LibreCat: /record/46100
DOI: 10.1016/j.jmaa.2023.127558
arXiv: 2205.09189

Ober-Blöbaum S, Offen C. Variational Learning of Euler–Lagrange Dynamics from Data. Journal of Computational and Applied Mathematics. 2023;421:114780. doi:10.1016/j.cam.2022.114780
LibreCat: /record/29240
DOI: 10.1016/j.cam.2022.114780
arXiv: 2112.12619

McLachlan R, Offen C. Backward error analysis for conjugate symplectic methods. Journal of Geometric Mechanics. 2023;15(1):98-115. doi:10.3934/jgm.2023005
LibreCat: /record/29236
DOI: 10.3934/jgm.2023005
arXiv: 2201.03911

Soyka C, Ullrich M, Striewe M, Schaper N. Comparison of Required Competences and Task Material in Modeling Education. Enterprise Modelling and Information Systems Architectures. 2023;18. doi:10.18417/EMISA.18.7
LibreCat: /record/47065
DOI: 10.18417/EMISA.18.7

Schönhärl K, Schotters F, Thiemeyer G. Editorial. Werkstatt Geschichte. 2023;88.
LibreCat: /record/47155

Schönhärl K, Schotters F, Thiemeyer G, eds. Reden über Geld. Vol 88.; 2023.
LibreCat: /record/47154

Prager RP, Dietrich K, Schneider L, et al. Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features. In: Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. FOGA ’23. Association for Computing Machinery; 2023:129–139. doi:10.1145/3594805.3607136
LibreCat: /record/47522
DOI: 10.1145/3594805.3607136

Götte R-S, Timmermann J. Approximating a Laplacian Prior for Joint State and Model Estimation within an UKF. In: IFAC-PapersOnLine. Vol 56. ; 2023:869-874.
LibreCat: /record/44326

Bossek J, Sudholt D. Runtime Analysis of Quality Diversity Algorithms. In: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO’23. Association for Computing Machinery; 2023:1546–1554. doi:10.1145/3583131.3590383
LibreCat: /record/48872
DOI: 10.1145/3583131.3590383

Marrero A, Segredo E, Hart E, Bossek J, Neumann A. Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space. In: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO’23. Association for Computing Machinery; 2023:312–320. doi:10.1145/3583131.3590504
LibreCat: /record/48886
DOI: 10.1145/3583131.3590504

Bossek J, Sudholt D. Do Additional Target Points Speed Up Evolutionary Algorithms? Theoretical Computer Science. Published online 2023:113757. doi:10.1016/j.tcs.2023.113757
LibreCat: /record/48871
DOI: 10.1016/j.tcs.2023.113757

Brennig K, Müller O. More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency. In: Hawaii International Conference on System Sciences. ; 2023.
LibreCat: /record/37058

Khedkar M. Static Analysis for Android GDPR Compliance Assurance. In: 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 M, Schlichtig M, Bodden E. Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. In: Software Engineering 2023. Gesellschaft für Informatik e.V.; 2023:95–96.
LibreCat: /record/52662

Schlichtig M, Sassalla S, Narasimhan K, Bodden E. Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. In: Software Engineering 2023. Gesellschaft für Informatik e.V.; 2023:105–106.
LibreCat: /record/52660

Winkler M. 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. Published online 2023. doi:10.4171/aihpc/73
LibreCat: /record/53320
DOI: 10.4171/aihpc/73

Li G, Winkler M. Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities. Applicable Analysis. 2023;103(1):45-64. doi:10.1080/00036811.2023.2173183
LibreCat: /record/53318
DOI: 10.1080/00036811.2023.2173183

Ahn J, Winkler M. A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system. Calculus of Variations and Partial Differential Equations. 2023;62(6). doi:10.1007/s00526-023-02523-5
LibreCat: /record/53324
DOI: 10.1007/s00526-023-02523-5

Tao Y, Winkler M. Analysis of a chemotaxis-SIS epidemic model with unbounded infection force. Nonlinear Analysis: Real World Applications. 2023;71. doi:10.1016/j.nonrwa.2022.103820
LibreCat: /record/53329
DOI: 10.1016/j.nonrwa.2022.103820

Winkler M. Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity. Journal of Elliptic and Parabolic Equations. 2023;9(2):919-959. doi:10.1007/s41808-023-00230-y
LibreCat: /record/53341
DOI: 10.1007/s41808-023-00230-y

Winkler M, Yokota T. Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems. Journal of Differential Equations. 2023;374:1-28. doi:10.1016/j.jde.2023.07.029
LibreCat: /record/53342
DOI: 10.1016/j.jde.2023.07.029

Winkler M. Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing. Advances in Differential Equations. 2023;28(11/12). doi:10.57262/ade028-1112-921
LibreCat: /record/53346
DOI: 10.57262/ade028-1112-921

Papageorgiou E. Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds. Potential Analysis. Published online 2023. doi:10.1007/s11118-023-10109-1
LibreCat: /record/53540
DOI: 10.1007/s11118-023-10109-1

Papageorgiou E. Asymptotics for the infinite Brownian loop on noncompact symmetric spaces. Journal of Elliptic and Parabolic Equations. Published online 2023. doi:10.1007/s41808-023-00250-8
LibreCat: /record/53539
DOI: 10.1007/s41808-023-00250-8

Schlichtig M, Wickert A-K, Krüger S, Bodden E, Mezini M. 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 M, Schlichtig M, Bodden E. A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools. In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM; 2022:532-543. doi:10.1145/3533767
LibreCat: /record/32410
DOI: 10.1145/3533767

Schlichtig M, Sassalla S, Narasimhan K, Bodden E. FUM - A Framework for API Usage constraint and Misuse Classification. In: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). ; 2022:673-684. doi:https://doi.org/10.1109/SANER53432.2022.00085
LibreCat: /record/31133
DOI: https://doi.org/10.1109/SANER53432.2022.00085

Schubert P, Gazzillo P, Patterson Z, et al. Static data-flow analysis for software product lines in C. Automated Software Engineering. 2022;29(1). doi:10.1007/s10515-022-00333-1
LibreCat: /record/30511
DOI: 10.1007/s10515-022-00333-1

Kersting J, Bäumer FS. Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis. In: Kersting J, ed. 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. IARIA; 2022:5-9.
LibreCat: /record/31054

Herberg A, Kuckling D. Branching analysis of ;2-cyclodextrin-based poly(N-isopropylacrylamide) star polymers using triple detection SEC. International Journal of Polymer Analysis and Characterization. Published online 2022:1-19. doi:10.1080/1023666x.2022.2110133
LibreCat: /record/32865
DOI: 10.1080/1023666x.2022.2110133

Penner E, Caylak I, Mahnken R. A polymorphic uncertainty model for the curing process of transversely fiber-reinforced plastics. Mathematics and Mechanics of Complex Systems. 2022;10(1):21-50. doi:10.2140/memocs.2022.10.21
LibreCat: /record/34075
DOI: 10.2140/memocs.2022.10.21

Gräßler I, Hesse P. Approach to Sustainability-Based Assessment of Solution Alternatives in Early Stages of Product Engineering. Proceedings of the Design Society. 2022;2:1001-1010. doi:10.1017/pds.2022.102
LibreCat: /record/31691
DOI: 10.1017/pds.2022.102

Black T, Wu C. Prescribed signal concentration on the boundary: eventual smoothness in a chemotaxis-Navier–Stokes system with logistic proliferation. Calculus of Variations and Partial Differential Equations. 2022;61(3). doi:10.1007/s00526-022-02201-y
LibreCat: /record/34677
DOI: 10.1007/s00526-022-02201-y

Clever L, Pohl JS, Bossek J, Kerschke P, Trautmann H. Process-Oriented Stream Classification Pipeline: A Literature Review. Applied Sciences. 2022;12(18):9094. doi:10.3390/app12189094
LibreCat: /record/48878
DOI: 10.3390/app12189094

Feng Y, Gries T, Letmathe S, Schulz D. The smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series. The R Journal. 2022;14(1):182-195. doi:10.32614/rj-2022-017
LibreCat: /record/50025
DOI: 10.32614/rj-2022-017

Feng Y, Gries T, Letmathe S, Schulz D. The smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series. The R Journal. 2022;14(1):182-195. doi:10.32614/rj-2022-017
LibreCat: /record/33666
DOI: 10.32614/rj-2022-017

Mordhorst L, Jenert T. Curricular integration of academic and vocational education: a theory-based empirical typology of dual study programmes in Germany. Higher Education. 2022;85(6):1257-1279. doi:10.1007/s10734-022-00889-7
LibreCat: /record/47627
DOI: 10.1007/s10734-022-00889-7

Bohn J, Feischl M, Kovács B. FEM-BEM Coupling for the Maxwell–Landau–Lifshitz–Gilbert Equations via Convolution Quadrature: Weak Form and Numerical Approximation. Computational Methods in Applied Mathematics. 2022;23(1):19-48. doi:10.1515/cmam-2022-0145
LibreCat: /record/45956
DOI: 10.1515/cmam-2022-0145

Winkler M. Slow Grow-up in a Quasilinear Keller–Segel System. Journal of Dynamics and Differential Equations. Published online 2022. doi:10.1007/s10884-022-10167-w
LibreCat: /record/53323
DOI: 10.1007/s10884-022-10167-w

Tao Y, Winkler M. Global solutions to a Keller-Segel-consumption system involving singularly signal-dependent motilities in domains of arbitrary dimension. Journal of Differential Equations. 2022;343:390-418. doi:10.1016/j.jde.2022.10.022
LibreCat: /record/53327
DOI: 10.1016/j.jde.2022.10.022

Desvillettes L, Laurençot P, Trescases A, Winkler M. Weak solutions to triangular cross diffusion systems modeling chemotaxis with local sensing. Nonlinear Analysis. 2022;226. doi:10.1016/j.na.2022.113153
LibreCat: /record/53325
DOI: 10.1016/j.na.2022.113153

Kummita S, Piskachev G, Spaeth J, Bodden E. Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON. In: Proceedings of the 2021 International Conference on Code Quality (ICCQ). ; 2021. doi:10.1109/ICCQ51190.2021.9392986
LibreCat: /record/23388
DOI: 10.1109/ICCQ51190.2021.9392986