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