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. (2024). Non-Fock ground states in the translation-invariant Nelson model revisited non-perturbatively. Journal of Functional Analysis, 286(7), Article 110319. https://doi.org/10.1016/j.jfa.2024.110319
LibreCat
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 52235
Khedkar, M., & Bodden, E. (2024). Toward an Android Static Analysis Approach for Data Protection. Proceedings of the 9th International Conference on Mobile Software Engineering and Systems. 9th International Conference on Mobile Software Engineering and Systems 2024, Lisbon, Portugal.
LibreCat
| Files available
| arXiv
2024 | Misc | LibreCat-ID: 52663
Wickert, A.-K., Schlichtig, M., Vogel, M., Winter, L., Mezini, M., & Bodden, E. (2024). Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability.
LibreCat
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 53300
Brennecken, D. (2024). 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, 535(2), Article 128125. https://doi.org/10.1016/j.jmaa.2024.128125
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 34114
Haake, C.-J., & Schneider, M. (2024). Playing games with QCA: Measuring the explanatory power of single conditions with the Banzhaf index. Journal of International Management, 30(2).
LibreCat
2023 | Conference Paper | LibreCat-ID: 36522 | 
Shivarpatna Venkatesh, A. P., Wang, J., Li, L., & Bodden, E. (2023). Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering). https://doi.org/10.48550/ARXIV.2301.04419
LibreCat
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 43105
Black, T., Fuest, M., Lankeit, J., & Mizukami, M. (2023). Possible points of blow-up in chemotaxis systems with spatially heterogeneous logistic source. Nonlinear Analysis: Real World Applications, 73, Article 103868. https://doi.org/10.1016/j.nonrwa.2023.103868
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 44390
Link, C., Malena, K., Gausemeier, S., & Trächtler, A. (2023). Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios. Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems. 9th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2023), Prague, Czech Republic. https://doi.org/10.5220/0011987600003479
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 46100
Hinrichs, B., Janssen, D. W., & Ziebell, J. (2023). Super-Gaussian decay of exponentials: A sufficient condition. Journal of Mathematical Analysis and Applications, 528(1), Article 127558. https://doi.org/10.1016/j.jmaa.2023.127558
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 29240 |
Ober-Blöbaum, S., & Offen, C. (2023). Variational Learning of Euler–Lagrange Dynamics from Data. Journal of Computational and Applied Mathematics, 421, 114780. https://doi.org/10.1016/j.cam.2022.114780
LibreCat
| Files available
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 29236 |
McLachlan, R., & Offen, C. (2023). Backward error analysis for conjugate symplectic methods. Journal of Geometric Mechanics, 15(1), 98–115. https://doi.org/10.3934/jgm.2023005
LibreCat
| Files available
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 47065
Soyka, C., Ullrich, M., Striewe, M., & Schaper, N. (2023). Comparison of Required Competences and Task Material in Modeling Education. Enterprise Modelling and Information Systems Architectures, 18, Article 7. https://doi.org/10.18417/EMISA.18.7
LibreCat
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 47155 |
Schönhärl, K., Schotters, F., & Thiemeyer, G. (2023). Editorial. Werkstatt Geschichte, 88.
LibreCat
| Files available
| Download (ext.)
2023 | Special Issue | LibreCat-ID: 47154
Reden über Geld. (2023). In K. Schönhärl, F. Schotters, & G. Thiemeyer (Eds.), Werkstatt Geschichte (Vol. 88).
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 47522
Prager, R. P., Dietrich, K., Schneider, L., Schäpermeier, L., Bischl, B., Kerschke, P., Trautmann, H., & Mersmann, O. (2023). Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features. Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 129–139. https://doi.org/10.1145/3594805.3607136
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 44326
Götte, R.-S., & Timmermann, J. (2023). Approximating a Laplacian Prior for Joint State and Model Estimation within an UKF. IFAC-PapersOnLine, 56(2), 869–874.
LibreCat
2023 | Conference Paper | LibreCat-ID: 48872
Bossek, J., & Sudholt, D. (2023). Runtime Analysis of Quality Diversity Algorithms. Proceedings of the Genetic and Evolutionary Computation Conference, 1546–1554. https://doi.org/10.1145/3583131.3590383
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 48886
Marrero, A., Segredo, E., Hart, E., Bossek, J., & Neumann, A. (2023). Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space. Proceedings of the Genetic} and Evolutionary Computation Conference, 312–320. https://doi.org/10.1145/3583131.3590504
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 48871
Bossek, J., & Sudholt, D. (2023). Do Additional Target Points Speed Up Evolutionary Algorithms? Theoretical Computer Science, 113757. https://doi.org/10.1016/j.tcs.2023.113757
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 37058
Brennig, K., & Müller, O. (2023). More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency. Hawaii International Conference on System Sciences. 56th Hawaii International Conference on System Sciences, Lāhainā.
LibreCat