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
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
| DOI
| arXiv
D. Hasler, B. Hinrichs, O. Siebert, Journal of Functional Analysis 286 (2024).
2024 | Conference Paper | LibreCat-ID: 52235
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
| Files available
| arXiv
M. Khedkar, E. Bodden, in: Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024.
2024 | Misc | LibreCat-ID: 52663
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
| Download (ext.)
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.
2024 | Journal Article | LibreCat-ID: 53300
Hankel transform, K-Bessel functions and zeta distributions in the Dunkl setting
D. Brennecken, Journal of Mathematical Analysis and Applications 535 (2024).
LibreCat
| DOI
D. Brennecken, Journal of Mathematical Analysis and Applications 535 (2024).
2024 | Journal Article | LibreCat-ID: 34114
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
C.-J. Haake, M. Schneider, Journal of International Management 30 (2024).
2023 | Conference Paper | LibreCat-ID: 36522 | 
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
| Files available
| DOI
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023.
2023 | Journal Article | LibreCat-ID: 43105
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
| DOI
T. Black, M. Fuest, J. Lankeit, M. Mizukami, Nonlinear Analysis: Real World Applications 73 (2023).
2023 | Conference Paper | LibreCat-ID: 44390
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
| DOI
| Download (ext.)
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.
2023 | Journal Article | LibreCat-ID: 46100
Super-Gaussian decay of exponentials: A sufficient condition
B. Hinrichs, D.W. Janssen, J. Ziebell, Journal of Mathematical Analysis and Applications 528 (2023).
LibreCat
| DOI
| arXiv
B. Hinrichs, D.W. Janssen, J. Ziebell, Journal of Mathematical Analysis and Applications 528 (2023).
2023 | Journal Article | LibreCat-ID: 29240 |
Variational Learning of Euler–Lagrange Dynamics from Data
S. Ober-Blöbaum, C. Offen, Journal of Computational and Applied Mathematics 421 (2023) 114780.
LibreCat
| Files available
| DOI
| arXiv
S. Ober-Blöbaum, C. Offen, Journal of Computational and Applied Mathematics 421 (2023) 114780.
2023 | Journal Article | LibreCat-ID: 29236 |
Backward error analysis for conjugate symplectic methods
R. McLachlan, C. Offen, Journal of Geometric Mechanics 15 (2023) 98–115.
LibreCat
| Files available
| DOI
| arXiv
R. McLachlan, C. Offen, Journal of Geometric Mechanics 15 (2023) 98–115.
2023 | Journal Article | LibreCat-ID: 47065
Comparison of Required Competences and Task Material in Modeling Education
C. Soyka, M. Ullrich, M. Striewe, N. Schaper, Enterprise Modelling and Information Systems Architectures 18 (2023).
LibreCat
| Files available
| DOI
C. Soyka, M. Ullrich, M. Striewe, N. Schaper, Enterprise Modelling and Information Systems Architectures 18 (2023).
2023 | Journal Article | LibreCat-ID: 47155 |
Editorial
K. Schönhärl, F. Schotters, G. Thiemeyer, Werkstatt Geschichte 88 (2023).
LibreCat
| Files available
| Download (ext.)
K. Schönhärl, F. Schotters, G. Thiemeyer, Werkstatt Geschichte 88 (2023).
2023 | Special Issue | LibreCat-ID: 47154
Reden über Geld
K. Schönhärl, F. Schotters, G. Thiemeyer, eds., Reden über Geld, 2023.
LibreCat
| Files available
K. Schönhärl, F. Schotters, G. Thiemeyer, eds., Reden über Geld, 2023.
2023 | Conference Paper | LibreCat-ID: 47522
Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features
R.P. Prager, K. Dietrich, L. Schneider, L. Schäpermeier, B. Bischl, P. Kerschke, H. Trautmann, O. Mersmann, in: Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2023, pp. 129–139.
LibreCat
| DOI
R.P. Prager, K. Dietrich, L. Schneider, L. Schäpermeier, B. Bischl, P. Kerschke, H. Trautmann, O. Mersmann, in: Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2023, pp. 129–139.
2023 | Conference Paper | LibreCat-ID: 44326
Approximating a Laplacian Prior for Joint State and Model Estimation within an UKF
R.-S. Götte, J. Timmermann, in: IFAC-PapersOnLine, 2023, pp. 869–874.
LibreCat
R.-S. Götte, J. Timmermann, in: IFAC-PapersOnLine, 2023, pp. 869–874.
2023 | Conference Paper | LibreCat-ID: 48872
Runtime Analysis of Quality Diversity Algorithms
J. Bossek, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 1546–1554.
LibreCat
| DOI
J. Bossek, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 1546–1554.
2023 | Conference Paper | LibreCat-ID: 48886
Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space
A. Marrero, E. Segredo, E. Hart, J. Bossek, A. Neumann, in: Proceedings of the Genetic} and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 312–320.
LibreCat
| DOI
A. Marrero, E. Segredo, E. Hart, J. Bossek, A. Neumann, in: Proceedings of the Genetic} and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 312–320.
2023 | Journal Article | LibreCat-ID: 48871
Do Additional Target Points Speed Up Evolutionary Algorithms?
J. Bossek, D. Sudholt, Theoretical Computer Science (2023) 113757.
LibreCat
| DOI
J. Bossek, D. Sudholt, Theoretical Computer Science (2023) 113757.
2023 | Conference Paper | LibreCat-ID: 37058
More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency
K. Brennig, O. Müller, in: Hawaii International Conference on System Sciences, 2023.
LibreCat
K. Brennig, O. Müller, in: Hawaii International Conference on System Sciences, 2023.
2023 | Conference Paper | LibreCat-ID: 44146
Static Analysis for Android GDPR Compliance Assurance
M. Khedkar, in: Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23), n.d.
LibreCat
| Files available
| DOI
| arXiv
M. Khedkar, in: Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23), n.d.
2023 | Book Chapter | LibreCat-ID: 52662
Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale
M. Nachtigall, M. Schlichtig, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 95–96.
LibreCat
| Download (ext.)
M. Nachtigall, M. Schlichtig, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 95–96.
2023 | Book Chapter | LibreCat-ID: 52660
Introducing FUM: A Framework for API Usage Constraint and Misuse Classification
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 105–106.
LibreCat
| Download (ext.)
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 105–106.
2023 | Journal Article | LibreCat-ID: 53320
A quantitative strong parabolic maximum principle and application to a taxis-type migration–consumption model involving signal-dependent degenerate diffusion
M. Winkler, Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire (2023).
LibreCat
| DOI
M. Winkler, Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire (2023).
2023 | Journal Article | LibreCat-ID: 53318
Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities
G. Li, M. Winkler, Applicable Analysis 103 (2023) 45–64.
LibreCat
| DOI
G. Li, M. Winkler, Applicable Analysis 103 (2023) 45–64.
2023 | Journal Article | LibreCat-ID: 53324
A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system
J. Ahn, M. Winkler, Calculus of Variations and Partial Differential Equations 62 (2023).
LibreCat
| DOI
J. Ahn, M. Winkler, Calculus of Variations and Partial Differential Equations 62 (2023).
2023 | Journal Article | LibreCat-ID: 53329
Analysis of a chemotaxis-SIS epidemic model with unbounded infection force
Y. Tao, M. Winkler, Nonlinear Analysis: Real World Applications 71 (2023).
LibreCat
| DOI
Y. Tao, M. Winkler, Nonlinear Analysis: Real World Applications 71 (2023).
2023 | Journal Article | LibreCat-ID: 53341
Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity
M. Winkler, Journal of Elliptic and Parabolic Equations 9 (2023) 919–959.
LibreCat
| DOI
M. Winkler, Journal of Elliptic and Parabolic Equations 9 (2023) 919–959.
2023 | Journal Article | LibreCat-ID: 53342
Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems
M. Winkler, T. Yokota, Journal of Differential Equations 374 (2023) 1–28.
LibreCat
| DOI
M. Winkler, T. Yokota, Journal of Differential Equations 374 (2023) 1–28.
2023 | Journal Article | LibreCat-ID: 53346
Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing
M. Winkler, Advances in Differential Equations 28 (2023).
LibreCat
| DOI
M. Winkler, Advances in Differential Equations 28 (2023).
2023 | Journal Article | LibreCat-ID: 53540
Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds
E. Papageorgiou, Potential Analysis (2023).
LibreCat
| DOI
E. Papageorgiou, Potential Analysis (2023).
2023 | Journal Article | LibreCat-ID: 53539
Asymptotics for the infinite Brownian loop on noncompact symmetric spaces
E. Papageorgiou, Journal of Elliptic and Parabolic Equations (2023).
LibreCat
| DOI
E. Papageorgiou, Journal of Elliptic and Parabolic Equations (2023).
2022 | Misc | LibreCat-ID: 32409
CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022.
LibreCat
| Files available
| DOI
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022.
2022 | Conference Paper | LibreCat-ID: 32410
A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools
M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.
LibreCat
| Files available
| DOI
M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.
2022 | Conference Paper | LibreCat-ID: 31133
FUM - A Framework for API Usage constraint and Misuse Classification
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684.
LibreCat
| Files available
| DOI
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684.
2022 | Journal Article | LibreCat-ID: 30511 |
Static data-flow analysis for software product lines in C
P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F. Schiebel, B. Hermann, S. Wei, E. Bodden, Automated Software Engineering 29 (2022).
LibreCat
| DOI
| Download (ext.)
P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F. Schiebel, B. Hermann, S. Wei, E. Bodden, Automated Software Engineering 29 (2022).
2022 | Conference Paper | LibreCat-ID: 31054
Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis
J. Kersting, F.S. Bäumer, in: J. Kersting (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, Barcelona, Spain, 2022, pp. 5–9.
LibreCat
| Files available
J. Kersting, F.S. Bäumer, in: J. Kersting (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, Barcelona, Spain, 2022, pp. 5–9.
2022 | Journal Article | LibreCat-ID: 32865
Branching analysis of β-cyclodextrin-based poly(N-isopropylacrylamide) star polymers using triple detection SEC
A. Herberg, D. Kuckling, International Journal of Polymer Analysis and Characterization (2022) 1–19.
LibreCat
| DOI
A. Herberg, D. Kuckling, International Journal of Polymer Analysis and Characterization (2022) 1–19.
2022 | Journal Article | LibreCat-ID: 34075
A polymorphic uncertainty model for the curing process of transversely fiber-reinforced plastics
E. Penner, I. Caylak, R. Mahnken, Mathematics and Mechanics of Complex Systems 10 (2022) 21–50.
LibreCat
| DOI
E. Penner, I. Caylak, R. Mahnken, Mathematics and Mechanics of Complex Systems 10 (2022) 21–50.
2022 | Journal Article | LibreCat-ID: 31691
Approach to Sustainability-Based Assessment of Solution Alternatives in Early Stages of Product Engineering
I. Gräßler, P. Hesse, Proceedings of the Design Society 2 (2022) 1001–1010.
LibreCat
| DOI
I. Gräßler, P. Hesse, Proceedings of the Design Society 2 (2022) 1001–1010.
2022 | Journal Article | LibreCat-ID: 34677
Prescribed signal concentration on the boundary: eventual smoothness in a chemotaxis-Navier–Stokes system with logistic proliferation
T. Black, C. Wu, Calculus of Variations and Partial Differential Equations 61 (2022).
LibreCat
| DOI
T. Black, C. Wu, Calculus of Variations and Partial Differential Equations 61 (2022).
2022 | Journal Article | LibreCat-ID: 48878
Process-Oriented Stream Classification Pipeline: A Literature Review
L. Clever, J.S. Pohl, J. Bossek, P. Kerschke, H. Trautmann, Applied Sciences 12 (2022) 9094.
LibreCat
| DOI
L. Clever, J.S. Pohl, J. Bossek, P. Kerschke, H. Trautmann, Applied Sciences 12 (2022) 9094.
2022 | Journal Article | LibreCat-ID: 50025
The smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series
Y. Feng, T. Gries, S. Letmathe, D. Schulz, The R Journal 14 (2022) 182–195.
LibreCat
| DOI
Y. Feng, T. Gries, S. Letmathe, D. Schulz, The R Journal 14 (2022) 182–195.
2022 | Journal Article | LibreCat-ID: 33666
The smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series
Y. Feng, T. Gries, S. Letmathe, D. Schulz, The R Journal 14 (2022) 182–195.
LibreCat
| DOI
Y. Feng, T. Gries, S. Letmathe, D. Schulz, The R Journal 14 (2022) 182–195.
2022 | Journal Article | LibreCat-ID: 47627
Curricular integration of academic and vocational education: a theory-based empirical typology of dual study programmes in Germany
L. Mordhorst, T. Jenert, Higher Education 85 (2022) 1257–1279.
LibreCat
| DOI
| Download (ext.)
L. Mordhorst, T. Jenert, Higher Education 85 (2022) 1257–1279.
2022 | Journal Article | LibreCat-ID: 45956
FEM-BEM Coupling for the Maxwell–Landau–Lifshitz–Gilbert Equations via Convolution Quadrature: Weak Form and Numerical Approximation
J. Bohn, M. Feischl, B. Kovács, Computational Methods in Applied Mathematics 23 (2022) 19–48.
LibreCat
| DOI
J. Bohn, M. Feischl, B. Kovács, Computational Methods in Applied Mathematics 23 (2022) 19–48.
2022 | Journal Article | LibreCat-ID: 53323
Slow Grow-up in a Quasilinear Keller–Segel System
M. Winkler, Journal of Dynamics and Differential Equations (2022).
LibreCat
| DOI
M. Winkler, Journal of Dynamics and Differential Equations (2022).
2022 | Journal Article | LibreCat-ID: 53327
Global solutions to a Keller-Segel-consumption system involving singularly signal-dependent motilities in domains of arbitrary dimension
Y. Tao, M. Winkler, Journal of Differential Equations 343 (2022) 390–418.
LibreCat
| DOI
Y. Tao, M. Winkler, Journal of Differential Equations 343 (2022) 390–418.
2022 | Journal Article | LibreCat-ID: 53325
Weak solutions to triangular cross diffusion systems modeling chemotaxis with local sensing
L. Desvillettes, P. Laurençot, A. Trescases, M. Winkler, Nonlinear Analysis 226 (2022).
LibreCat
| DOI
L. Desvillettes, P. Laurençot, A. Trescases, M. Winkler, Nonlinear Analysis 226 (2022).
2021 | Conference Paper | LibreCat-ID: 23388
Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON
S. Kummita, G. Piskachev, J. Spaeth, E. Bodden, in: Proceedings of the 2021 International Conference on Code Quality (ICCQ), 2021.
LibreCat
| DOI
| Download (ext.)
S. Kummita, G. Piskachev, J. Spaeth, E. Bodden, in: Proceedings of the 2021 International Conference on Code Quality (ICCQ), 2021.