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
2023 | Journal Article | LibreCat-ID: 29236 |
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
| Files available
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 47065
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
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 47155 |
Schönhärl K, Schotters F, Thiemeyer G. Editorial. Werkstatt Geschichte. 2023;88.
LibreCat
| Files available
| Download (ext.)
2023 | Special Issue | LibreCat-ID: 47154
Schönhärl K, Schotters F, Thiemeyer G, eds. Reden über Geld. Vol 88.; 2023.
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 47522
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
| DOI
2023 | Conference Paper | LibreCat-ID: 44326
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
2023 | Conference Paper | LibreCat-ID: 48872
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
| DOI
2023 | Conference Paper | LibreCat-ID: 48886
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
| DOI
2023 | Journal Article | LibreCat-ID: 48871
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
| DOI
2023 | Conference Paper | LibreCat-ID: 37058
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
2023 | Conference Paper | LibreCat-ID: 44146
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
| Files available
| DOI
| arXiv
2023 | Book Chapter | LibreCat-ID: 52662
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
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 52660
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
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 53320
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
| DOI
2023 | Journal Article | LibreCat-ID: 53318
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
| DOI
2023 | Journal Article | LibreCat-ID: 53324
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
| DOI
2023 | Journal Article | LibreCat-ID: 53329
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
| DOI
2023 | Journal Article | LibreCat-ID: 53341
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
| DOI
2023 | Journal Article | LibreCat-ID: 53342
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
| DOI
2023 | Journal Article | LibreCat-ID: 53346
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
| DOI
2023 | Journal Article | LibreCat-ID: 53540
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
| DOI
2023 | Journal Article | LibreCat-ID: 53539
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
| DOI
2022 | Misc | LibreCat-ID: 32409
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
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
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
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
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
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 30511 |
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
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 31054
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
| Files available
2022 | Journal Article | LibreCat-ID: 32865
Herberg A, Kuckling D. Branching analysis of β-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
| DOI
2022 | Journal Article | LibreCat-ID: 34075
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
| DOI
2022 | Journal Article | LibreCat-ID: 31691
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
| DOI
2022 | Journal Article | LibreCat-ID: 34677
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
| DOI
2022 | Journal Article | LibreCat-ID: 48878
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
| DOI
2022 | Journal Article | LibreCat-ID: 50025
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
| DOI
2022 | Journal Article | LibreCat-ID: 33666
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
| DOI
2022 | Journal Article | LibreCat-ID: 47627
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
| DOI
| Download (ext.)
2022 | Journal Article | LibreCat-ID: 45956
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
| DOI
2022 | Journal Article | LibreCat-ID: 53323
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
| DOI
2022 | Journal Article | LibreCat-ID: 53327
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
| DOI
2022 | Journal Article | LibreCat-ID: 53325
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
| DOI
2021 | Conference Paper | LibreCat-ID: 23388
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
| DOI
| Download (ext.)