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
2024 | Journal Article | LibreCat-ID: 51374
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
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 52235
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
| Files available
| arXiv
2024 | Misc | LibreCat-ID: 52663
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
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 53300
Brennecken D. Hankel transform, <mml:math xmlns:mml="http://www.w3.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
| DOI
2024 | Journal Article | LibreCat-ID: 34114
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
2023 | Conference Paper | LibreCat-ID: 36522 | 
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
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 43105
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
| DOI
2023 | Conference Paper | LibreCat-ID: 44390
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
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 46100
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
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 29240 |
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
| Files available
| DOI
| arXiv