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
D. Hasler, B. Hinrichs, and O. Siebert, “Non-Fock ground states in the translation-invariant Nelson model revisited non-perturbatively,” Journal of Functional Analysis, vol. 286, no. 7, Art. no. 110319, 2024, doi: 10.1016/j.jfa.2024.110319.
LibreCat
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 52235
M. Khedkar and E. Bodden, “Toward an Android Static Analysis Approach for Data Protection,” presented at the 9th International Conference on Mobile Software Engineering and Systems 2024, Lisbon, Portugal, 2024.
LibreCat
| Files available
| arXiv
2024 | Misc | LibreCat-ID: 52663
A.-K. Wickert, M. Schlichtig, M. Vogel, L. Winter, M. Mezini, and E. Bodden, Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. 2024.
LibreCat
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 53300
D. Brennecken, “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, Art. no. 128125, 2024, doi: 10.1016/j.jmaa.2024.128125.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 34114
C.-J. Haake and M. Schneider, “Playing games with QCA: Measuring the explanatory power of single conditions with the Banzhaf index,” Journal of International Management, vol. 30, no. 2, 2024.
LibreCat
2023 | Conference Paper | LibreCat-ID: 36522 | 
A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis,” presented at the 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
T. Black, M. Fuest, J. Lankeit, and M. Mizukami, “Possible points of blow-up in chemotaxis systems with spatially heterogeneous logistic source,” Nonlinear Analysis: Real World Applications, vol. 73, Art. no. 103868, 2023, doi: 10.1016/j.nonrwa.2023.103868.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 44390
C. Link, K. Malena, S. Gausemeier, and A. Trächtler, “Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios,” presented at the 9th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS 2023), Prague, Czech Republic, 2023, doi: 10.5220/0011987600003479.
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 46100
B. Hinrichs, D. W. Janssen, and J. Ziebell, “Super-Gaussian decay of exponentials: A sufficient condition,” Journal of Mathematical Analysis and Applications, vol. 528, no. 1, Art. no. 127558, 2023, doi: 10.1016/j.jmaa.2023.127558.
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 29240 |
S. Ober-Blöbaum and C. Offen, “Variational Learning of Euler–Lagrange Dynamics from Data,” Journal of Computational and Applied Mathematics, vol. 421, p. 114780, 2023, doi: 10.1016/j.cam.2022.114780.
LibreCat
| Files available
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 29236 |
R. McLachlan and C. Offen, “Backward error analysis for conjugate symplectic methods,” Journal of Geometric Mechanics, vol. 15, no. 1, pp. 98–115, 2023, doi: 10.3934/jgm.2023005.
LibreCat
| Files available
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 47065
C. Soyka, M. Ullrich, M. Striewe, and N. Schaper, “Comparison of Required Competences and Task Material in Modeling Education,” Enterprise Modelling and Information Systems Architectures, vol. 18, Art. no. 7, 2023, doi: 10.18417/EMISA.18.7.
LibreCat
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 47155 |
K. Schönhärl, F. Schotters, and G. Thiemeyer, “Editorial,” Werkstatt Geschichte, vol. 88, 2023.
LibreCat
| Files available
| Download (ext.)
2023 | Special Issue | LibreCat-ID: 47154
K. Schönhärl, F. Schotters, and G. Thiemeyer, Eds., Reden über Geld, vol. 88. 2023.
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 47522
R. P. Prager 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, 2023, pp. 129–139, doi: 10.1145/3594805.3607136.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 44326
R.-S. Götte and J. Timmermann, “Approximating a Laplacian Prior for Joint State and Model Estimation within an UKF,” in IFAC-PapersOnLine, Yokohama, Japan, 2023, vol. 56, no. 2, pp. 869–874.
LibreCat
2023 | Conference Paper | LibreCat-ID: 48872
J. Bossek and D. Sudholt, “Runtime Analysis of Quality Diversity Algorithms,” in Proceedings of the Genetic and Evolutionary Computation Conference, 2023, pp. 1546–1554, doi: 10.1145/3583131.3590383.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 48886
A. Marrero, E. Segredo, E. Hart, J. Bossek, and A. Neumann, “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, 2023, pp. 312–320, doi: 10.1145/3583131.3590504.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 48871
J. Bossek and D. Sudholt, “Do Additional Target Points Speed Up Evolutionary Algorithms?,” Theoretical Computer Science, p. 113757, 2023, doi: 10.1016/j.tcs.2023.113757.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 37058
K. Brennig and O. Müller, “More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency,” presented at the 56th Hawaii International Conference on System Sciences, Lāhainā, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 44146
M. Khedkar, “Static Analysis for Android GDPR Compliance Assurance,” doi: 10.1109/ICSE-Companion58688.2023.00054.
LibreCat
| Files available
| DOI
| arXiv
2023 | Book Chapter | LibreCat-ID: 52662
M. Nachtigall, M. Schlichtig, and E. Bodden, “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale,” in Software Engineering 2023, Bonn: Gesellschaft für Informatik e.V., 2023, pp. 95–96.
LibreCat
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 52660
M. Schlichtig, S. Sassalla, K. Narasimhan, and E. Bodden, “Introducing FUM: A Framework for API Usage Constraint and Misuse Classification,” in Software Engineering 2023, Bonn: Gesellschaft für Informatik e.V., 2023, pp. 105–106.
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 53320
M. Winkler, “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, 2023, doi: 10.4171/aihpc/73.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53318
G. Li and M. Winkler, “Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities,” Applicable Analysis, vol. 103, no. 1, pp. 45–64, 2023, doi: 10.1080/00036811.2023.2173183.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53324
J. Ahn and M. 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, Art. no. 180, 2023, doi: 10.1007/s00526-023-02523-5.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53329
Y. Tao and M. Winkler, “Analysis of a chemotaxis-SIS epidemic model with unbounded infection force,” Nonlinear Analysis: Real World Applications, vol. 71, Art. no. 103820, 2023, doi: 10.1016/j.nonrwa.2022.103820.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53341
M. Winkler, “Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity,” Journal of Elliptic and Parabolic Equations, vol. 9, no. 2, pp. 919–959, 2023, doi: 10.1007/s41808-023-00230-y.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53342
M. Winkler and T. 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, pp. 1–28, 2023, doi: 10.1016/j.jde.2023.07.029.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53346
M. Winkler, “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, 2023, doi: 10.57262/ade028-1112-921.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53540
E. Papageorgiou, “Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds,” Potential Analysis, 2023, doi: 10.1007/s11118-023-10109-1.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53539
E. Papageorgiou, “Asymptotics for the infinite Brownian loop on noncompact symmetric spaces,” Journal of Elliptic and Parabolic Equations, 2023, doi: 10.1007/s41808-023-00250-8.
LibreCat
| DOI
2022 | Misc | LibreCat-ID: 32409
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, and M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite. 2022.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
M. Nachtigall, M. Schlichtig, and E. Bodden, “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, 2022, pp. 532–543, doi: 10.1145/3533767.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
M. Schlichtig, S. Sassalla, K. Narasimhan, and E. Bodden, “FUM - A Framework for API Usage constraint and Misuse Classification,” in 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684, doi: https://doi.org/10.1109/SANER53432.2022.00085.
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 30511 |
P. Schubert et al., “Static data-flow analysis for software product lines in C,” Automated Software Engineering, vol. 29, no. 1, Art. no. 35, 2022, doi: 10.1007/s10515-022-00333-1.
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 31054
J. Kersting and F. S. Bäumer, “Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis,” in 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, Barcelona, Spain, 2022, pp. 5–9.
LibreCat
| Files available
2022 | Journal Article | LibreCat-ID: 32865
A. Herberg and D. Kuckling, “Branching analysis of β-cyclodextrin-based poly(N-isopropylacrylamide) star polymers using triple detection SEC,” International Journal of Polymer Analysis and Characterization, pp. 1–19, 2022, doi: 10.1080/1023666x.2022.2110133.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34075
E. Penner, I. Caylak, and R. Mahnken, “A polymorphic uncertainty model for the curing process of transversely fiber-reinforced plastics,” Mathematics and Mechanics of Complex Systems, vol. 10, no. 1, pp. 21–50, 2022, doi: 10.2140/memocs.2022.10.21.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31691
I. Gräßler and P. Hesse, “Approach to Sustainability-Based Assessment of Solution Alternatives in Early Stages of Product Engineering,” Proceedings of the Design Society, vol. 2, pp. 1001–1010, 2022, doi: 10.1017/pds.2022.102.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34677
T. Black and C. 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, Art. no. 96, 2022, doi: 10.1007/s00526-022-02201-y.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 48878
L. Clever, J. S. Pohl, J. Bossek, P. Kerschke, and H. Trautmann, “Process-Oriented Stream Classification Pipeline: A Literature Review,” Applied Sciences, vol. 12, no. 18, p. 9094, 2022, doi: 10.3390/app12189094.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 50025
Y. Feng, T. Gries, S. Letmathe, and D. Schulz, “The smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series,” The R Journal, vol. 14, no. 1, pp. 182–195, 2022, doi: 10.32614/rj-2022-017.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33666
Y. Feng, T. Gries, S. Letmathe, and D. Schulz, “The smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series,” The R Journal, vol. 14, no. 1, pp. 182–195, 2022, doi: 10.32614/rj-2022-017.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 47627
L. Mordhorst and T. 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, pp. 1257–1279, 2022, doi: 10.1007/s10734-022-00889-7.
LibreCat
| DOI
| Download (ext.)
2022 | Journal Article | LibreCat-ID: 45956
J. Bohn, M. Feischl, and B. Kovács, “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, pp. 19–48, 2022, doi: 10.1515/cmam-2022-0145.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53323
M. Winkler, “Slow Grow-up in a Quasilinear Keller–Segel System,” Journal of Dynamics and Differential Equations, 2022, doi: 10.1007/s10884-022-10167-w.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53327
Y. Tao and M. 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, pp. 390–418, 2022, doi: 10.1016/j.jde.2022.10.022.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53325
L. Desvillettes, P. Laurençot, A. Trescases, and M. Winkler, “Weak solutions to triangular cross diffusion systems modeling chemotaxis with local sensing,” Nonlinear Analysis, vol. 226, Art. no. 113153, 2022, doi: 10.1016/j.na.2022.113153.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 23388
S. Kummita, G. Piskachev, J. Spaeth, and E. Bodden, “Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON,” in Proceedings of the 2021 International Conference on Code Quality (ICCQ), Virtual, 2021.
LibreCat
| DOI
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 20844 |
G. Wagner et al., “Which Factors Affect the Scientific Impact of Review Papers in IS Research? A Scientometric Study,” Information & Management, vol. 58, no. 3, Art. no. 103427, 2021.
LibreCat
| Files available
2021 | Journal Article | LibreCat-ID: 33649
J. Kessler, F. Calcavecchia, and T. Kühne, “Artificial Neural Networks as Trial Wave Functions for Quantum Monte Carlo,” Advanced Theory and Simulations, vol. 4, no. 4, Art. no. 2000269, 2021, doi: 10.1002/adts.202000269.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 34818
M. Hanusch, “Symmetries of analytic curves,” Differential Geometry and its Applications, vol. 74, Art. no. 101687, 2021, doi: 10.1016/j.difgeo.2020.101687.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 27841
M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, and T. Wiersema, “Software/Hardware Co-Verification for Custom Instruction Set Processors,” IEEE Access, 2021, doi: 10.1109/ACCESS.2021.3131213.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 24280
I. Gräßler and D. Wiechel, “Systematische Bewertung von Auswirkungsanalysen des Engineering Change Managements,” in DS 111: Proceedings of the 32nd Symposium Design for X, Tutzing, 2021, doi: 10.35199/dfx2021.12.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 46318
C. Grimme et al., “Peeking beyond peaks: Challenges and research potentials of continuous multimodal multi-objective optimization,” Computers & Operations Research, vol. 136, p. 105489, 2021, doi: https://doi.org/10.1016/j.cor.2021.105489.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 48860
J. Bossek and F. Neumann, “Evolutionary Diversity Optimization and the Minimum Spanning Tree Problem,” in Proceedings of the Genetic and Evolutionary Computation Conference, 2021, pp. 198–206, doi: 10.1145/3449639.3459363.
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 48862
J. Bossek and D. Sudholt, “Do Additional Optima Speed up Evolutionary Algorithms?,” in Proceedings of the 16th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, New York, NY, USA: Association for Computing Machinery, 2021, pp. 1–11.
LibreCat
2021 | Journal Article | LibreCat-ID: 48854
J. Bossek, F. Neumann, P. Peng, and D. Sudholt, “Time Complexity Analysis of Randomized Search Heuristics for the Dynamic Graph Coloring Problem,” Algorithmica, vol. 83, no. 10, pp. 3148–3179, 2021, doi: 10.1007/s00453-021-00838-3.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 28696 |
I. Scharlau, A. Karsten, and K. Rohlfing, “Building, emptying out, or dreaming? Action structures and space in undergraduates’ metaphors of academic writing,” Journal of Writing Research, vol. 12, no. 3, pp. 493–529, 2021, doi: 10.17239/jowr-2021.12.03.01.
LibreCat
| DOI
| Download (ext.)
2020 | Working Paper | LibreCat-ID: 17019 |
G. Schryen, G. Wagner, and A. Benlian, Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre. 2020.
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 15580
J. Kersting and M. Geierhos, “Aspect Phrase Extraction in Sentiment Analysis with Deep Learning,” in Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) -- Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020), Valetta, Malta, 2020, pp. 391--400.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 15256
J. Kersting and M. Geierhos, “What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers,” in Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods, Valetta, Malta, 2020, pp. 263--272.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 20678
C. R. Bielak, M. Böhnke, R. Beck, M. Bobbert, and G. Meschut, “Numerical analysis of the robustness of clinching process considering the pre-forming of the parts ,” Journal of Advanced Joining Processes. , 2020, doi: https://doi.org/10.1016/j.jajp.2020.100038.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 33263
E. Nijholt, B. W. Rink, and S. Schwenker, “Quiver Representations and Dimension Reduction in Dynamical Systems,” SIAM Journal on Applied Dynamical Systems, vol. 19, no. 4, pp. 2428–2468, 2020, doi: 10.1137/20m1345670.
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 37660
M. Rösler, “Riesz distributions and Laplace transform in the Dunkl setting of type A,” Journal of Functional Analysis, vol. 278, no. 12, Art. no. 108506, 2020, doi: 10.1016/j.jfa.2020.108506.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 48847
J. Bossek, F. Neumann, P. Peng, and D. Sudholt, “More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization,” in Proceedings of the Genetic and Evolutionary Computation Conference, 2020, pp. 1277–1285, doi: 10.1145/3377930.3390174.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 48851
J. Bossek, K. Casel, P. Kerschke, and F. Neumann, “The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics,” in Proceedings of the Genetic and Evolutionary Computation Conference, 2020, pp. 1286–1294, doi: 10.1145/3377930.3390243.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 48895
V. Roostapour, J. Bossek, and F. Neumann, “Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem,” in Proceedings of the 2020 Genetic and Evolutionary Computation Conference, 2020, pp. 551–559, doi: 10.1145/3377930.3390168.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 53322
M. Winkler, “Approaching Critical Decay in a Strongly Degenerate Parabolic Equation,” Journal of Dynamics and Differential Equations, vol. 36, no. S1, pp. 3–23, 2020, doi: 10.1007/s10884-020-09892-x.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 20533
S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,” IEEE Transactions on Software Engineering, pp. 1–1, 2019, doi: 10.1109/TSE.2019.2948910.
LibreCat
| DOI
| Download (ext.)
2019 | Report | LibreCat-ID: 23389
S. Kummita and G. Piskachev, Integration of the Static Analysis Results Interchange Format in CogniCrypt. 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 9613
J. Kersting, F. S. Bäumer, and M. Geierhos, “In Reviews We Trust: But Should We? Experiences with Physician Review Websites,” in Proceedings of the 4th International Conference on Internet of Things, Big Data and Security, Heraklion, Greece, 2019, pp. 147–155.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15838
F. Pauck and S. Zhang, “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up,” in 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 34672
T. Black, “Global generalized solutions to a parabolic-elliptic Keller-Segel system with singular sensitivity,” Discrete & Continuous Dynamical Systems - S, vol. 13, no. 2, pp. 119–137, 2019, doi: 10.3934/dcdss.2020007.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 34671
T. Black, J. Lankeit, and M. Mizukami, “Stabilization in the Keller–Segel system with signal-dependent sensitivity,” Applicable Analysis, vol. 99, no. 16, pp. 2877–2891, 2019, doi: 10.1080/00036811.2019.1585534.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 28687 |
I. Scharlau, M. Körber, and A. Karsten, “Plunging into a world? A novel approach to undergraduates’ metaphors of reading,” Frontline Learning Research, vol. 9, no. 4, pp. 25–57, 2019, doi: 10.14786/flr.v7i4.559.
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 35398
M. Tang and C. Schmidt, “Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals ,” Chinese Journal of Magnetic Resonance, vol. 36, pp. 138–147, 2019, doi: 10.11938/cjmr20182685 .
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10108
F. Pauck and H. Wehrheim, “Together Strong: Cooperative Android App Analysis,” in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374–384, doi: 10.1145/3338906.3338915.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 48843
J. Bossek, F. Neumann, P. Peng, and D. Sudholt, “Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring,” in Proceedings of the Genetic and Evolutionary Computation Conference, 2019, pp. 1443–1451, doi: 10.1145/3321707.3321792.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48870
J. Bossek and D. Sudholt, “Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem,” in Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 2019, pp. 102–115, doi: 10.1145/3299904.3340311.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20543
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “Debugging Static Analysis,” IEEE Transactions on Software Engineering, pp. 1–1, 2018, doi: 10.1109/TSE.2018.2868349.
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20547
L. Nguyen Quang Do and E. Bodden, “Gamifying Static Analysis,” in Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018, pp. 714–718, doi: 10.1145/3236024.3264830.
LibreCat
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 34664
T. Black, “Global Very Weak Solutions to a Chemotaxis-Fluid System with Nonlinear Diffusion,” SIAM Journal on Mathematical Analysis, vol. 50, no. 4, pp. 4087–4116, 2018, doi: 10.1137/17m1159488.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 34666
T. Black, “Eventual smoothness of generalized solutions to a singular chemotaxis-Stokes system in 2D,” Journal of Differential Equations, vol. 265, no. 5, pp. 2296–2339, 2018, doi: 10.1016/j.jde.2018.04.035.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 34667
T. Black, “Global solvability of chemotaxis–fluid systems with nonlinear diffusion and matrix-valued sensitivities in three dimensions,” Nonlinear Analysis, vol. 180, pp. 129–153, 2018, doi: 10.1016/j.na.2018.10.003.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 33261
S. Schwenker, “Generic Steady State Bifurcations in Monoid Equivariant Dynamics with Applications in Homogeneous Coupled Cell Systems,” SIAM Journal on Mathematical Analysis, vol. 50, no. 3, pp. 2466–2485, 2018, doi: 10.1137/17m116118x.
LibreCat
| DOI
| arXiv
2018 | Journal Article | LibreCat-ID: 37662
M. Rösler, P. Graczyk, and T. Luks, “On the Green Function and Poisson Integrals of the Dunkl Laplacian,” Potential Analysis, vol. 48, no. 3, pp. 337–360, 2018, doi: 10.1007/s11118-017-9638-6.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 45951
B. Kovács, “Computing arbitrary Lagrangian Eulerian maps for evolving surfaces,” Numerical Methods for Partial Differential Equations, vol. 35, no. 3, pp. 1093–1112, 2018, doi: 10.1002/num.22340.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 28348
M. Müller, “‘As a person, I feel I’ve changed pretty immensely’: Sojourners’ aspirations and self-perceived achievements,” The Canadian Modern Language Review, vol. 73, no. 1, pp. 24–47, 2017, doi: 10.3138/cmlr.3319.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 28354
M. Müller and B. Schmenk, “Narrating the sound of self: The role of pronunciation in learners’ self-constructions in study-abroad contexts,” International Journal of Applied Linguistics, vol. 27, no. 1, pp. 132–151, 2017, doi: 10.1111/ijal.12109.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 2860
D. Beverungen, H. Lüttenberg, and V. Wolf, “Recombinant Service System Engineering,” in Proceedings der 13. Internationalen Tagung Wirtschaftsinformatik (WI 2017), St. Gallen, Switzerland, 2017, pp. 136–150.
LibreCat
2017 | Journal Article | LibreCat-ID: 20557
M. Lillack, C. Kästner, and E. Bodden, “Tracking Load-time Configuration Options,” IEEE Transactions on Software Engineering, vol. PP, no. 99, pp. 1–1, 2017, doi: 10.1109/TSE.2017.2756048.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20559
L. N. Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, “Just-in-time Static Analysis,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2017, pp. 307–317, doi: 10.1145/3092703.3092705.
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 9862 |
R. Mahnken, “‘A variational formulation for fuzzy analysis in continuum mechanics,’” Mathematics and Mechanics of complex systems, vol. 5, no. 3–4, 2017.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 36481
J. Bruns, L. Eichen, and H. Gasteiger, “Mathematics-related Competence of Early Childhood Teachers Visiting a Continuous Professional Development Course: An Intervention Study,” Mathematics Teacher Education and Development (MTED), vol. 19, no. 3, pp. 76–93, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 45946
B. Kovács and C. A. Power Guerra, “Maximum norm stability and error estimates for the evolving surface finite element method,” Numerical Methods for Partial Differential Equations, vol. 34, no. 2, pp. 518–554, 2017, doi: 10.1002/num.22212.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45945
B. Kovács and C. A. Power Guerra, “Maximum norm stability and error estimates for the evolving surface finite element method,” Numerical Methods for Partial Differential Equations, vol. 34, no. 2, pp. 518–554, 2017, doi: 10.1002/num.22212.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 32020
B. Küster, “On the semiclassical functional calculus for h-dependent functions,” Annals of Global Analysis and Geometry, vol. 52, no. 1, pp. 57–97, 2017, doi: 10.1007/s10455-017-9549-1.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 32022
B. Küster and P. Ramacher, “Quantum ergodicity and symmetry reduction,” Journal of Functional Analysis, vol. 273, no. 1, pp. 41–124, 2017, doi: 10.1016/j.jfa.2017.02.013.
LibreCat
| DOI