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.
164 Publications
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