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

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

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

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
D. Brennecken, Journal of Mathematical Analysis and Applications 535 (2024).
LibreCat: /record/53300
DOI: 10.1016/j.jmaa.2024.128125

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

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

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

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

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

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