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.
180 Publications
2020 | Conference Paper | LibreCat-ID: 48847
J. Bossek, F. Neumann, P. Peng, and D. Sudholt, “More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization,” in Proceedings of the Genetic and Evolutionary Computation Conference, 2020, pp. 1277–1285, doi: 10.1145/3377930.3390174.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 48851
J. Bossek, K. Casel, P. Kerschke, and F. Neumann, “The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics,” in Proceedings of the Genetic and Evolutionary Computation Conference, 2020, pp. 1286–1294, doi: 10.1145/3377930.3390243.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 48895
V. Roostapour, J. Bossek, and F. Neumann, “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, 2020, pp. 551–559, doi: 10.1145/3377930.3390168.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 53322
M. Winkler, “Approaching Critical Decay in a Strongly Degenerate Parabolic Equation,” Journal of Dynamics and Differential Equations, vol. 36, no. S1, pp. 3–23, 2020, doi: 10.1007/s10884-020-09892-x.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 37660
M. Rösler, “Riesz distributions and Laplace transform in the Dunkl setting of type A,” Journal of Functional Analysis, vol. 278, no. 12, Art. no. 108506, 2020, doi: 10.1016/j.jfa.2020.108506.
LibreCat
| DOI
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: 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
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: 59220
T. Schwabe et al., “Oxygen detection with zinc oxide nanoparticle structures,” in Fifth Conference on Sensors, MEMS, and Electro-Optic Systems, 2019, vol. 11043, p. 1104316, doi: 10.1117/12.2501507.
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