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, Sriteja, and Goran Piskachev. Integration of the Static Analysis Results Interchange Format in CogniCrypt. 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 9613
Kersting, Joschka, et al. “In Reviews We Trust: But Should We? Experiences with Physician Review Websites.” Proceedings of the 4th International Conference on Internet of Things, Big Data and Security, edited by Muthu Ramachandran et al., SCITEPRESS, 2019, pp. 147–55.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15838
Pauck, Felix, and Shikun Zhang. “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up.” 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, Tobias. “Global Generalized Solutions to a Parabolic-Elliptic Keller-Segel System with Singular Sensitivity.” Discrete & Continuous Dynamical Systems - S, vol. 13, no. 2, American Institute of Mathematical Sciences (AIMS), 2019, pp. 119–37, doi:10.3934/dcdss.2020007.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 34671
Black, Tobias, et al. “Stabilization in the Keller–Segel System with Signal-Dependent Sensitivity.” Applicable Analysis, vol. 99, no. 16, Informa UK Limited, 2019, pp. 2877–91, doi:10.1080/00036811.2019.1585534.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 28687 | 
Scharlau, Ingrid, et al. “Plunging into a World? A Novel Approach to Undergraduates’ Metaphors of Reading.” Frontline Learning Research, vol. 9, no. 4, 2019, pp. 25–57, doi:10.14786/flr.v7i4.559.
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 35398
Tang, Ming-xue, and Claudia Schmidt. “Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals .” Chinese Journal of Magnetic Resonance, vol. 36, 2019, pp. 138–47, doi:10.11938/cjmr20182685 .
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 48843
Bossek, Jakob, et al. “Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring.” Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2019, pp. 1443–1451, doi:10.1145/3321707.3321792.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48870
Bossek, Jakob, and Dirk Sudholt. “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, Association for Computing Machinery, 2019, pp. 102–115, doi:10.1145/3299904.3340311.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10108
Pauck, Felix, and Heike Wehrheim. “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, 2019, pp. 374–84, doi:10.1145/3338906.3338915.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 59220
Schwabe, Tobias, et al. “Oxygen Detection with Zinc Oxide Nanoparticle Structures.” Fifth Conference on Sensors, MEMS, and Electro-Optic Systems, edited by Monuko du Plessis, vol. 11043, SPIE, 2019, p. 1104316, doi:10.1117/12.2501507.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do, Lisa, et al. “Debugging Static Analysis.” IEEE Transactions on Software Engineering, 2018, pp. 1–1, doi:10.1109/TSE.2018.2868349.
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20547
Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.” Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, 2018, pp. 714–18, doi:10.1145/3236024.3264830.
LibreCat
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 34664
Black, Tobias. “Global Very Weak Solutions to a Chemotaxis-Fluid System with Nonlinear Diffusion.” SIAM Journal on Mathematical Analysis, vol. 50, no. 4, Society for Industrial & Applied Mathematics (SIAM), 2018, pp. 4087–116, doi:10.1137/17m1159488.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 34666
Black, Tobias. “Eventual Smoothness of Generalized Solutions to a Singular Chemotaxis-Stokes System in 2D.” Journal of Differential Equations, vol. 265, no. 5, Elsevier BV, 2018, pp. 2296–339, doi:10.1016/j.jde.2018.04.035.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 34667
Black, Tobias. “Global Solvability of Chemotaxis–Fluid Systems with Nonlinear Diffusion and Matrix-Valued Sensitivities in Three Dimensions.” Nonlinear Analysis, vol. 180, Elsevier BV, 2018, pp. 129–53, doi:10.1016/j.na.2018.10.003.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 33261
Schwenker, Sören. “Generic Steady State Bifurcations in Monoid Equivariant Dynamics with Applications in Homogeneous Coupled Cell Systems.” SIAM Journal on Mathematical Analysis, vol. 50, no. 3, Society for Industrial & Applied Mathematics (SIAM), 2018, pp. 2466–85, doi:10.1137/17m116118x.
LibreCat
| DOI
| arXiv
2018 | Journal Article | LibreCat-ID: 45951
Kovács, Balázs. “Computing Arbitrary Lagrangian Eulerian Maps for Evolving Surfaces.” Numerical Methods for Partial Differential Equations, vol. 35, no. 3, Wiley, 2018, pp. 1093–112, doi:10.1002/num.22340.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 37662
Rösler, Margit, et al. “On the Green Function and Poisson Integrals of the Dunkl Laplacian.” Potential Analysis, vol. 48, no. 3, Springer Science and Business Media LLC, 2018, pp. 337–60, doi:10.1007/s11118-017-9638-6.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 28348
Müller, Mareike. “‘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, 2017, pp. 24–47, doi:10.3138/cmlr.3319.
LibreCat
| DOI