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.
173 Publications
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 & 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 | 
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: 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
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: 59220
Schwabe, T., Balke, A., Bezuidenhout, P. H., Reker, J., Meyers, T., Joubert, T.-H., & Hilleringmann, U. (2019). Oxygen detection with zinc oxide nanoparticle structures. In M. du Plessis (Ed.), Fifth Conference on Sensors, MEMS, and Electro-Optic Systems (Vol. 11043, p. 1104316). SPIE. https://doi.org/10.1117/12.2501507
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: 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
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
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