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