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, David, et al. “Non-Fock Ground States in the Translation-Invariant Nelson Model Revisited Non-Perturbatively.” Journal of Functional Analysis, vol. 286, no. 7, 110319, Elsevier BV, 2024, doi:10.1016/j.jfa.2024.110319.
LibreCat
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 52235
Khedkar, Mugdha, and Eric Bodden. “Toward an Android Static Analysis Approach for Data Protection.” Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024.
LibreCat
| Files available
| arXiv
2024 | Misc | LibreCat-ID: 52663
Wickert, Anna-Katharina, et al. Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. 2024.
LibreCat
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 53300
Brennecken, Dominik. “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, vol. 535, no. 2, 128125, Elsevier BV, 2024, doi:10.1016/j.jmaa.2024.128125.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 34114
Haake, Claus-Jochen, and Martin Schneider. “Playing Games with QCA: Measuring the Explanatory Power of Single Conditions with the Banzhaf Index.” Journal of International Management, vol. 30, no. 2, Elsevier, 2024.
LibreCat
2023 | Conference Paper | LibreCat-ID: 36522 | 
Shivarpatna Venkatesh, Ashwin Prasad, et al. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. 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, Tobias, et al. “Possible Points of Blow-up in Chemotaxis Systems with Spatially Heterogeneous Logistic Source.” Nonlinear Analysis: Real World Applications, vol. 73, 103868, Elsevier BV, 2023, doi:10.1016/j.nonrwa.2023.103868.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 44390
Link, Christopher, et al. “Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios.” 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, Benjamin, et al. “Super-Gaussian Decay of Exponentials: A Sufficient Condition.” Journal of Mathematical Analysis and Applications, vol. 528, no. 1, 127558, Elsevier BV, 2023, doi:10.1016/j.jmaa.2023.127558.
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 29240 |
Ober-Blöbaum, Sina, and Christian Offen. “Variational Learning of Euler–Lagrange Dynamics from Data.” Journal of Computational and Applied Mathematics, vol. 421, Elsevier, 2023, p. 114780, doi:10.1016/j.cam.2022.114780.
LibreCat
| Files available
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 29236 |
McLachlan, Robert, and Christian Offen. “Backward Error Analysis for Conjugate Symplectic Methods.” Journal of Geometric Mechanics, vol. 15, no. 1, AIMS Press, 2023, pp. 98–115, doi:10.3934/jgm.2023005.
LibreCat
| Files available
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 47065
Soyka, Chantal, et al. “Comparison of Required Competences and Task Material in Modeling Education.” Enterprise Modelling and Information Systems Architectures, vol. 18, 7, 2023, doi:10.18417/EMISA.18.7.
LibreCat
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 47155 |
Schönhärl, Korinna, et al. “Editorial.” Werkstatt Geschichte, vol. 88, 2023.
LibreCat
| Files available
| Download (ext.)
2023 | Special Issue | LibreCat-ID: 47154
Schönhärl, Korinna, et al., editors. “Reden über Geld.” Werkstatt Geschichte, vol. 88, 2023.
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 47522
Prager, Raphael Patrick, et al. “Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features.” Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, 2023, pp. 129–139, doi:10.1145/3594805.3607136.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 44326
Götte, Ricarda-Samantha, and Julia Timmermann. “Approximating a Laplacian Prior for Joint State and Model Estimation within an UKF.” IFAC-PapersOnLine, vol. 56, no. 2, 2023, pp. 869–74.
LibreCat
2023 | Conference Paper | LibreCat-ID: 48872
Bossek, Jakob, and Dirk Sudholt. “Runtime Analysis of Quality Diversity Algorithms.” Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2023, pp. 1546–1554, doi:10.1145/3583131.3590383.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 48886
Marrero, Alejandro, et al. “Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space.” Proceedings of the Genetic} and Evolutionary Computation Conference, Association for Computing Machinery, 2023, pp. 312–320, doi:10.1145/3583131.3590504.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 48871
Bossek, Jakob, and Dirk Sudholt. “Do Additional Target Points Speed Up Evolutionary Algorithms?” Theoretical Computer Science, 2023, p. 113757, doi:10.1016/j.tcs.2023.113757.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 37058
Brennig, Katharina, and Oliver Müller. “More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency.” Hawaii International Conference on System Sciences, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 44146
Khedkar, Mugdha. “Static Analysis for Android GDPR Compliance Assurance.” 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, Marcus, et al. “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale.” Software Engineering 2023, Gesellschaft für Informatik e.V., 2023, pp. 95–96.
LibreCat
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 52660
Schlichtig, Michael, et al. “Introducing FUM: A Framework for API Usage Constraint and Misuse Classification.” Software Engineering 2023, Gesellschaft für Informatik e.V., 2023, pp. 105–106.
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 53320
Winkler, Michael. “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, European Mathematical Society - EMS - Publishing House GmbH, 2023, doi:10.4171/aihpc/73.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53318
Li, Genglin, and Michael Winkler. “Refined Regularity Analysis for a Keller-Segel-Consumption System Involving Signal-Dependent Motilities.” Applicable Analysis, vol. 103, no. 1, Informa UK Limited, 2023, pp. 45–64, doi:10.1080/00036811.2023.2173183.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53324
Ahn, Jaewook, and Michael Winkler. “A Critical Exponent for Blow-up in a Two-Dimensional Chemotaxis-Consumption System.” Calculus of Variations and Partial Differential Equations, vol. 62, no. 6, 180, Springer Science and Business Media LLC, 2023, doi:10.1007/s00526-023-02523-5.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53329
Tao, Youshan, and Michael Winkler. “Analysis of a Chemotaxis-SIS Epidemic Model with Unbounded Infection Force.” Nonlinear Analysis: Real World Applications, vol. 71, 103820, Elsevier BV, 2023, doi:10.1016/j.nonrwa.2022.103820.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53341
Winkler, Michael. “Solutions to the Keller–Segel System with Non-Integrable Behavior at Spatial Infinity.” Journal of Elliptic and Parabolic Equations, vol. 9, no. 2, Springer Science and Business Media LLC, 2023, pp. 919–59, doi:10.1007/s41808-023-00230-y.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53342
Winkler, Michael, and Tomomi Yokota. “Avoiding Critical Mass Phenomena by Arbitrarily Mild Saturation of Cross-Diffusive Fluxes in Two-Dimensional Keller-Segel-Navier-Stokes Systems.” Journal of Differential Equations, vol. 374, Elsevier BV, 2023, pp. 1–28, doi:10.1016/j.jde.2023.07.029.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53346
Winkler, Michael. “Absence of Collapse into Persistent Dirac-Type Singularities in a Keller-Segel-Navier-Stokes System Involving Local Sensing.” Advances in Differential Equations, vol. 28, no. 11/12, Khayyam Publishing, Inc, 2023, doi:10.57262/ade028-1112-921.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53540
Papageorgiou, Efthymia. “Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds.” Potential Analysis, Springer Science and Business Media LLC, 2023, doi:10.1007/s11118-023-10109-1.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53539
Papageorgiou, Efthymia. “Asymptotics for the Infinite Brownian Loop on Noncompact Symmetric Spaces.” Journal of Elliptic and Parabolic Equations, Springer Science and Business Media LLC, 2023, doi:10.1007/s41808-023-00250-8.
LibreCat
| DOI
2022 | Misc | LibreCat-ID: 32409
Schlichtig, Michael, et al. 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, Marcus, et al. “A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools.” Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–43, doi:10.1145/3533767.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig, Michael, et al. “FUM - A Framework for API Usage Constraint and Misuse Classification.” 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–84, doi:https://doi.org/10.1109/SANER53432.2022.00085.
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 30511 |
Schubert, Philipp, et al. “Static Data-Flow Analysis for Software Product Lines in C.” Automated Software Engineering, vol. 29, no. 1, 35, Springer Science and Business Media LLC, 2022, doi:10.1007/s10515-022-00333-1.
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 31054
Kersting, Joschka, and Frederik Simon Bäumer. “Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis.” 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, edited by Joschka Kersting, IARIA, 2022, pp. 5–9.
LibreCat
| Files available
2022 | Journal Article | LibreCat-ID: 32865
Herberg, Artjom, and Dirk Kuckling. “Branching Analysis of β-Cyclodextrin-Based Poly(N-Isopropylacrylamide) Star Polymers Using Triple Detection SEC.” International Journal of Polymer Analysis and Characterization, Informa UK Limited, 2022, pp. 1–19, doi:10.1080/1023666x.2022.2110133.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34075
Penner, Eduard, et al. “A Polymorphic Uncertainty Model for the Curing Process of Transversely Fiber-Reinforced Plastics.” Mathematics and Mechanics of Complex Systems, vol. 10, no. 1, Mathematical Sciences Publishers, 2022, pp. 21–50, doi:10.2140/memocs.2022.10.21.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31691
Gräßler, Iris, and Philipp Hesse. “Approach to Sustainability-Based Assessment of Solution Alternatives in Early Stages of Product Engineering.” Proceedings of the Design Society, vol. 2, Cambridge University Press (CUP), 2022, pp. 1001–10, doi:10.1017/pds.2022.102.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34677
Black, Tobias, and Chunyan Wu. “Prescribed Signal Concentration on the Boundary: Eventual Smoothness in a Chemotaxis-Navier–Stokes System with Logistic Proliferation.” Calculus of Variations and Partial Differential Equations, vol. 61, no. 3, 96, Springer Science and Business Media LLC, 2022, doi:10.1007/s00526-022-02201-y.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 48878
Clever, Lena, et al. “Process-Oriented Stream Classification Pipeline: A Literature Review.” Applied Sciences, vol. 12, no. 18, {Multidisciplinary Digital Publishing Institute}, 2022, p. 9094, doi:10.3390/app12189094.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 50025
Feng, Yuanhua, et al. “The Smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series.” The R Journal, vol. 14, no. 1, The R Foundation, 2022, pp. 182–95, doi:10.32614/rj-2022-017.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33666
Feng, Yuanhua, et al. “The Smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series.” The R Journal, vol. 14, no. 1, The R Foundation, 2022, pp. 182–95, doi:10.32614/rj-2022-017.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 47627
Mordhorst, Lisa, and Tobias Jenert. “Curricular Integration of Academic and Vocational Education: A Theory-Based Empirical Typology of Dual Study Programmes in Germany.” Higher Education, vol. 85, no. 6, Springer Science and Business Media LLC, 2022, pp. 1257–79, doi:10.1007/s10734-022-00889-7.
LibreCat
| DOI
| Download (ext.)
2022 | Journal Article | LibreCat-ID: 45956
Bohn, Jan, et al. “FEM-BEM Coupling for the Maxwell–Landau–Lifshitz–Gilbert Equations via Convolution Quadrature: Weak Form and Numerical Approximation.” Computational Methods in Applied Mathematics, vol. 23, no. 1, Walter de Gruyter GmbH, 2022, pp. 19–48, doi:10.1515/cmam-2022-0145.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53323
Winkler, Michael. “Slow Grow-up in a Quasilinear Keller–Segel System.” Journal of Dynamics and Differential Equations, Springer Science and Business Media LLC, 2022, doi:10.1007/s10884-022-10167-w.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53327
Tao, Youshan, and Michael Winkler. “Global Solutions to a Keller-Segel-Consumption System Involving Singularly Signal-Dependent Motilities in Domains of Arbitrary Dimension.” Journal of Differential Equations, vol. 343, Elsevier BV, 2022, pp. 390–418, doi:10.1016/j.jde.2022.10.022.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53325
Desvillettes, Laurent, et al. “Weak Solutions to Triangular Cross Diffusion Systems Modeling Chemotaxis with Local Sensing.” Nonlinear Analysis, vol. 226, 113153, Elsevier BV, 2022, doi:10.1016/j.na.2022.113153.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 23388
Kummita, Sriteja, et al. “Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON.” Proceedings of the 2021 International Conference on Code Quality (ICCQ), 2021, doi:10.1109/ICCQ51190.2021.9392986.
LibreCat
| DOI
| Download (ext.)