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 | OA
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 | OA
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 | OA
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 | OA
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
 

2023 | Conference Paper | LibreCat-ID: 44146
Khedkar, M. (n.d.). Static Analysis for Android GDPR Compliance Assurance. Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23). https://doi.org/10.1109/ICSE-Companion58688.2023.00054
LibreCat | Files available | DOI | arXiv
 

2023 | Book Chapter | LibreCat-ID: 52662
Nachtigall, M., Schlichtig, M., & Bodden, E. (2023). Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. In Software Engineering 2023 (pp. 95–96). Gesellschaft für Informatik e.V.
LibreCat | Download (ext.)
 

2023 | Book Chapter | LibreCat-ID: 52660
Schlichtig, M., Sassalla, S., Narasimhan, K., & Bodden, E. (2023). Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. In Software Engineering 2023 (pp. 105–106). Gesellschaft für Informatik e.V.
LibreCat | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 53320
Winkler, M. (2023). 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. https://doi.org/10.4171/aihpc/73
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53318
Li, G., & Winkler, M. (2023). Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities. Applicable Analysis, 103(1), 45–64. https://doi.org/10.1080/00036811.2023.2173183
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53324
Ahn, J., & Winkler, M. (2023). A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system. Calculus of Variations and Partial Differential Equations, 62(6), Article 180. https://doi.org/10.1007/s00526-023-02523-5
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53329
Tao, Y., & Winkler, M. (2023). Analysis of a chemotaxis-SIS epidemic model with unbounded infection force. Nonlinear Analysis: Real World Applications, 71, Article 103820. https://doi.org/10.1016/j.nonrwa.2022.103820
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53341
Winkler, M. (2023). Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity. Journal of Elliptic and Parabolic Equations, 9(2), 919–959. https://doi.org/10.1007/s41808-023-00230-y
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53342
Winkler, M., & Yokota, T. (2023). Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems. Journal of Differential Equations, 374, 1–28. https://doi.org/10.1016/j.jde.2023.07.029
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53346
Winkler, M. (2023). Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing. Advances in Differential Equations, 28(11/12). https://doi.org/10.57262/ade028-1112-921
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53540
Papageorgiou, E. (2023). Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds. Potential Analysis. https://doi.org/10.1007/s11118-023-10109-1
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53539
Papageorgiou, E. (2023). Asymptotics for the infinite Brownian loop on noncompact symmetric spaces. Journal of Elliptic and Parabolic Equations. https://doi.org/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. (2022). CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite. https://doi.org/10.48550/ARXIV.2204.06447
LibreCat | Files available | DOI
 

2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall, M., Schlichtig, M., & Bodden, E. (2022). 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, 532–543. https://doi.org/10.1145/3533767
LibreCat | Files available | DOI
 

2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig, M., Sassalla, S., Narasimhan, K., & Bodden, E. (2022). FUM - A Framework for API Usage constraint and Misuse Classification. 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 673–684. https://doi.org/10.1109/SANER53432.2022.00085
LibreCat | Files available | DOI
 

2022 | Journal Article | LibreCat-ID: 30511 | OA
Schubert, P., Gazzillo, P., Patterson, Z., Braha, J., Schiebel, F., Hermann, B., Wei, S., & Bodden, E. (2022). Static data-flow analysis for software product lines in C. Automated Software Engineering, 29(1), Article 35. https://doi.org/10.1007/s10515-022-00333-1
LibreCat | DOI | Download (ext.)
 

2022 | Conference Paper | LibreCat-ID: 31054
Kersting, J., & Bäumer, F. S. (2022). Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis. 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 (pp. 5–9). IARIA.
LibreCat | Files available
 

2022 | Journal Article | LibreCat-ID: 32865
Herberg, A., & Kuckling, D. (2022). Branching analysis of β-cyclodextrin-based poly(N-isopropylacrylamide) star polymers using triple detection SEC. International Journal of Polymer Analysis and Characterization, 1–19. https://doi.org/10.1080/1023666x.2022.2110133
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 34075
Penner, E., Caylak, I., & Mahnken, R. (2022). A polymorphic uncertainty model for the curing process of transversely fiber-reinforced plastics. Mathematics and Mechanics of Complex Systems, 10(1), 21–50. https://doi.org/10.2140/memocs.2022.10.21
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31691
Gräßler, I., & Hesse, P. (2022). Approach to Sustainability-Based Assessment of Solution Alternatives in Early Stages of Product Engineering. Proceedings of the Design Society, 2, 1001–1010. https://doi.org/10.1017/pds.2022.102
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 34677
Black, T., & Wu, C. (2022). Prescribed signal concentration on the boundary: eventual smoothness in a chemotaxis-Navier–Stokes system with logistic proliferation. Calculus of Variations and Partial Differential Equations, 61(3), Article 96. https://doi.org/10.1007/s00526-022-02201-y
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 48878
Clever, L., Pohl, J. S., Bossek, J., Kerschke, P., & Trautmann, H. (2022). Process-Oriented Stream Classification Pipeline: A Literature Review. Applied Sciences, 12(18), 9094. https://doi.org/10.3390/app12189094
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 50025
Feng, Y., Gries, T., Letmathe, S., & Schulz, D. (2022). The smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series. The R Journal, 14(1), 182–195. https://doi.org/10.32614/rj-2022-017
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 33666
Feng, Y., Gries, T., Letmathe, S., & Schulz, D. (2022). The smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series. The R Journal, 14(1), 182–195. https://doi.org/10.32614/rj-2022-017
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 47627
Mordhorst, L., & Jenert, T. (2022). Curricular integration of academic and vocational education: a theory-based empirical typology of dual study programmes in Germany. Higher Education, 85(6), 1257–1279. https://doi.org/10.1007/s10734-022-00889-7
LibreCat | DOI | Download (ext.)
 

2022 | Journal Article | LibreCat-ID: 45956
Bohn, J., Feischl, M., & Kovács, B. (2022). FEM-BEM Coupling for the Maxwell–Landau–Lifshitz–Gilbert Equations via Convolution Quadrature: Weak Form and Numerical Approximation. Computational Methods in Applied Mathematics, 23(1), 19–48. https://doi.org/10.1515/cmam-2022-0145
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 53323
Winkler, M. (2022). Slow Grow-up in a Quasilinear Keller–Segel System. Journal of Dynamics and Differential Equations. https://doi.org/10.1007/s10884-022-10167-w
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 53327
Tao, Y., & Winkler, M. (2022). Global solutions to a Keller-Segel-consumption system involving singularly signal-dependent motilities in domains of arbitrary dimension. Journal of Differential Equations, 343, 390–418. https://doi.org/10.1016/j.jde.2022.10.022
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 53325
Desvillettes, L., Laurençot, P., Trescases, A., & Winkler, M. (2022). Weak solutions to triangular cross diffusion systems modeling chemotaxis with local sensing. Nonlinear Analysis, 226, Article 113153. https://doi.org/10.1016/j.na.2022.113153
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 23388
Kummita, S., Piskachev, G., Spaeth, J., & Bodden, E. (2021). Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON. In Proceedings of the 2021 International Conference on Code Quality (ICCQ). Virtual. https://doi.org/10.1109/ICCQ51190.2021.9392986
LibreCat | DOI | Download (ext.)
 

2021 | Journal Article | LibreCat-ID: 20844 | OA
Wagner, G., Prester, J., Roche, M., Schryen, G., Benlian, A., Paré, G., & Templier, M. (2021). Which Factors Affect the Scientific Impact of Review Papers in IS Research? A Scientometric Study. Information & Management, 58(3), Article 103427.
LibreCat | Files available
 

2021 | Journal Article | LibreCat-ID: 33649
Kessler, J., Calcavecchia, F., & Kühne, T. (2021). Artificial Neural Networks as Trial Wave Functions for Quantum Monte Carlo. Advanced Theory and Simulations, 4(4), Article 2000269. https://doi.org/10.1002/adts.202000269
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 34818
Hanusch, M. (2021). Symmetries of analytic curves. Differential Geometry and Its Applications, 74, Article 101687. https://doi.org/10.1016/j.difgeo.2020.101687
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 27841
Jakobs, M.-C., Pauck, F., Platzner, M., Wehrheim, H., & Wiersema, T. (2021). Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access. https://doi.org/10.1109/ACCESS.2021.3131213
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 24280
Gräßler, I., & Wiechel, D. (2021). Systematische Bewertung von Auswirkungsanalysen des Engineering Change Managements. In D. Krause, K. Paetzold, & S. Wartzack (Eds.), DS 111: Proceedings of the 32nd Symposium Design for X. https://doi.org/10.35199/dfx2021.12
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 46318
Grimme, C., Kerschke, P., Aspar, P., Trautmann, H., Preuss, M., Deutz, A. H., Wang, H., & Emmerich, M. (2021). Peeking beyond peaks: Challenges and research potentials of continuous multimodal multi-objective optimization. Computers & Operations Research, 136, 105489. https://doi.org/10.1016/j.cor.2021.105489
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 48860
Bossek, J., & Neumann, F. (2021). Evolutionary Diversity Optimization and the Minimum Spanning Tree Problem. Proceedings of the Genetic and Evolutionary Computation Conference, 198–206. https://doi.org/10.1145/3449639.3459363
LibreCat | DOI
 

2021 | Book Chapter | LibreCat-ID: 48862
Bossek, J., & Sudholt, D. (2021). Do Additional Optima Speed up Evolutionary Algorithms? In Proceedings of the 16th ACM/SIGEVO Conference on Foundations of Genetic Algorithms (pp. 1–11). Association for Computing Machinery.
LibreCat
 

2021 | Journal Article | LibreCat-ID: 48854
Bossek, J., Neumann, F., Peng, P., & Sudholt, D. (2021). Time Complexity Analysis of Randomized Search Heuristics for the Dynamic Graph Coloring Problem. Algorithmica, 83(10), 3148–3179. https://doi.org/10.1007/s00453-021-00838-3
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 28696 | OA
Scharlau, I., Karsten, A., & Rohlfing, K. (2021). Building, emptying out, or dreaming? Action structures and space in undergraduates’ metaphors of academic writing. Journal of Writing Research, 12(3), 493–529. https://doi.org/10.17239/jowr-2021.12.03.01
LibreCat | DOI | Download (ext.)
 

2020 | Working Paper | LibreCat-ID: 17019 | OA
Schryen, G., Wagner, G., & Benlian, A. (2020). Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre.
LibreCat | Files available | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 15580
Kersting, J., & Geierhos, M. (2020). 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) (pp. 391--400). Setúbal, Portugal: SCITEPRESS.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 15256
Kersting, J., & Geierhos, M. (2020). 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 (pp. 263--272). Setúbal, Portugal: SCITEPRESS.
LibreCat | Files available
 

2020 | Journal Article | LibreCat-ID: 20678
Bielak, C. R., Böhnke, M., Beck, R., Bobbert, M., & Meschut, G. (2020). Numerical analysis of the robustness of clinching process considering the pre-forming of the parts . Journal of Advanced Joining Processes. . https://doi.org/10.1016/j.jajp.2020.100038
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 33263
Nijholt, E., Rink, B. W., & Schwenker, S. (2020). Quiver Representations and Dimension Reduction in Dynamical Systems. SIAM Journal on Applied Dynamical Systems, 19(4), 2428–2468. https://doi.org/10.1137/20m1345670
LibreCat | DOI | arXiv
 

2020 | Journal Article | LibreCat-ID: 37660
Rösler, M. (2020). Riesz distributions and Laplace transform in the Dunkl setting of type A. Journal of Functional Analysis, 278(12), Article 108506. https://doi.org/10.1016/j.jfa.2020.108506
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 48847
Bossek, J., Neumann, F., Peng, P., & Sudholt, D. (2020). More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization. Proceedings of the Genetic and Evolutionary Computation Conference, 1277–1285. https://doi.org/10.1145/3377930.3390174
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 48851
Bossek, J., Casel, K., Kerschke, P., & Neumann, F. (2020). The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics. Proceedings of the Genetic and Evolutionary Computation Conference, 1286–1294. https://doi.org/10.1145/3377930.3390243
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 48895
Roostapour, V., Bossek, J., & Neumann, F. (2020). Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem. Proceedings of the 2020 Genetic and Evolutionary Computation Conference, 551–559. https://doi.org/10.1145/3377930.3390168
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 53322
Winkler, M. (2020). Approaching Critical Decay in a Strongly Degenerate Parabolic Equation. Journal of Dynamics and Differential Equations, 36(S1), 3–23. https://doi.org/10.1007/s10884-020-09892-x
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 20533
Krüger, S., Späth, J., Ali, K., Bodden, E., & Mezini, M. (2019). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/TSE.2019.2948910
LibreCat | DOI | Download (ext.)
 

2019 | Report | LibreCat-ID: 23389
Kummita, S., & Piskachev, G. (2019). Integration of the Static Analysis Results Interchange Format in CogniCrypt.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 9613
Kersting, J., Bäumer, F. S., & Geierhos, M. (2019). In Reviews We Trust: But Should We? Experiences with Physician Review Websites. In M. Ramachandran, R. Walters, G. Wills, V. Méndez Muñoz, & V. Chang (Eds.), Proceedings of the 4th International Conference on Internet of Things, Big Data and Security (pp. 147–155). Setúbal, Portugal: SCITEPRESS.
LibreCat | Files available | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15838
Pauck, F., & Zhang, S. (2019). Android App Merging for Benchmark Speed-Up and Analysis Lift-Up. In 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW). https://doi.org/10.1109/asew.2019.00019
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 34672
Black, T. (2019). Global generalized solutions to a parabolic-elliptic Keller-Segel system with singular sensitivity. Discrete &amp; Continuous Dynamical Systems - S, 13(2), 119–137. https://doi.org/10.3934/dcdss.2020007
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 34671
Black, T., Lankeit, J., & Mizukami, M. (2019). Stabilization in the Keller–Segel system with signal-dependent sensitivity. Applicable Analysis, 99(16), 2877–2891. https://doi.org/10.1080/00036811.2019.1585534
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 28687 | OA
Scharlau, I., Körber, M., & Karsten, A. (2019). Plunging into a world? A novel approach to undergraduates’ metaphors of reading. Frontline Learning Research, 9(4), 25–57. https://doi.org/10.14786/flr.v7i4.559
LibreCat | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 35398
Tang, M., & Schmidt, C. (2019). Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals . Chinese Journal of Magnetic Resonance, 36, 138–147. https://doi.org/10.11938/cjmr20182685
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10108
Pauck, F., & Wehrheim, H. (2019). Together Strong: Cooperative Android App Analysis. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 374–384. https://doi.org/10.1145/3338906.3338915
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 48843
Bossek, J., Neumann, F., Peng, P., & Sudholt, D. (2019). Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring. Proceedings of the Genetic and Evolutionary Computation Conference, 1443–1451. https://doi.org/10.1145/3321707.3321792
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 48870
Bossek, J., & Sudholt, D. (2019). Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem. Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 102–115. https://doi.org/10.1145/3299904.3340311
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018). Debugging Static Analysis. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/TSE.2018.2868349
LibreCat | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 20547
Nguyen Quang Do, L., & Bodden, E. (2018). Gamifying Static Analysis. Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 714–718. https://doi.org/10.1145/3236024.3264830
LibreCat | DOI | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 34664
Black, T. (2018). Global Very Weak Solutions to a Chemotaxis-Fluid System with Nonlinear Diffusion. SIAM Journal on Mathematical Analysis, 50(4), 4087–4116. https://doi.org/10.1137/17m1159488
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 34666
Black, T. (2018). Eventual smoothness of generalized solutions to a singular chemotaxis-Stokes system in 2D. Journal of Differential Equations, 265(5), 2296–2339. https://doi.org/10.1016/j.jde.2018.04.035
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 34667
Black, T. (2018). Global solvability of chemotaxis–fluid systems with nonlinear diffusion and matrix-valued sensitivities in three dimensions. Nonlinear Analysis, 180, 129–153. https://doi.org/10.1016/j.na.2018.10.003
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 33261
Schwenker, S. (2018). Generic Steady State Bifurcations in Monoid Equivariant Dynamics with Applications in Homogeneous Coupled Cell Systems. SIAM Journal on Mathematical Analysis, 50(3), 2466–2485. https://doi.org/10.1137/17m116118x
LibreCat | DOI | arXiv
 

2018 | Journal Article | LibreCat-ID: 37662
Rösler, M., Graczyk, P., & Luks, T. (2018). On the Green Function and Poisson Integrals of the Dunkl Laplacian. Potential Analysis, 48(3), 337–360. https://doi.org/10.1007/s11118-017-9638-6
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 45951
Kovács, B. (2018). Computing arbitrary Lagrangian Eulerian maps for evolving surfaces. Numerical Methods for Partial Differential Equations, 35(3), 1093–1112. https://doi.org/10.1002/num.22340
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 28348
Müller, M. (2017). “As a person, I feel I’ve changed pretty immensely”: Sojourners’ aspirations and self-perceived achievements. The Canadian Modern Language Review, 73(1), 24–47. https://doi.org/10.3138/cmlr.3319
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 28354
Müller, M., & Schmenk, B. (2017). Narrating the sound of self: The role of pronunciation in learners’ self-constructions in study-abroad contexts. International Journal of Applied Linguistics, 27(1), 132–151. https://doi.org/10.1111/ijal.12109
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 2860
Beverungen, D., Lüttenberg, H., & Wolf, V. (2017). Recombinant Service System Engineering. In J. M. Leimeister & W. Brenner (Eds.), Proceedings der 13. Internationalen Tagung Wirtschaftsinformatik (WI 2017) (pp. 136–150). St.  Gallen.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 20557
Lillack, M., Kästner, C., & Bodden, E. (2017). Tracking Load-time Configuration Options. IEEE Transactions on Software Engineering, PP(99), 1–1. https://doi.org/10.1109/TSE.2017.2756048
LibreCat | DOI | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 20559
Do, L. N. Q., Ali, K., Livshits, B., Bodden, E., Smith, J., & Murphy-Hill, E. (2017). Just-in-time Static Analysis. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 307–317. https://doi.org/10.1145/3092703.3092705
LibreCat | DOI | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 9862 | OA
Mahnken, R. (2017). “A variational formulation for fuzzy analysis in continuum mechanics.” Mathematics and Mechanics of Complex Systems, 5(3–4).
LibreCat | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 36481
Bruns, J., Eichen, L., & Gasteiger, H. (2017). Mathematics-related Competence of Early Childhood Teachers Visiting a Continuous Professional Development Course: An Intervention Study. Mathematics Teacher Education and Development (MTED), 19(3), 76–93.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 45946
Kovács, B., & Power Guerra, C. A. (2017). Maximum norm stability and error estimates for the evolving surface finite element method. Numerical Methods for Partial Differential Equations, 34(2), 518–554. https://doi.org/10.1002/num.22212
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 45945
Kovács, B., & Power Guerra, C. A. (2017). Maximum norm stability and error estimates for the evolving surface finite element method. Numerical Methods for Partial Differential Equations, 34(2), 518–554. https://doi.org/10.1002/num.22212
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 32020
Küster, B. (2017). On the semiclassical functional calculus for h-dependent functions. Annals of Global Analysis and Geometry, 52(1), 57–97. https://doi.org/10.1007/s10455-017-9549-1
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 32022
Küster, B., & Ramacher, P. (2017). Quantum ergodicity and symmetry reduction. Journal of Functional Analysis, 273(1), 41–124. https://doi.org/10.1016/j.jfa.2017.02.013
LibreCat | DOI
 

Filters and Search Terms

keyword="Analysis"

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed