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.
176 Publications
2020 | Journal Article | LibreCat-ID: 53322
Winkler, Michael. “Approaching Critical Decay in a Strongly Degenerate Parabolic Equation.” Journal of Dynamics and Differential Equations 36, no. S1 (2020): 3–23. https://doi.org/10.1007/s10884-020-09892-x.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 37660
Rösler, Margit. “Riesz Distributions and Laplace Transform in the Dunkl Setting of Type A.” Journal of Functional Analysis 278, no. 12 (2020). https://doi.org/10.1016/j.jfa.2020.108506.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 20533
Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” IEEE Transactions on Software Engineering, 2019, 1–1. https://doi.org/10.1109/TSE.2019.2948910.
LibreCat
| DOI
| Download (ext.)
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, Frederik Simon Bäumer, and Michaela 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, edited by Muthu Ramachandran, Robert Walters, Gary Wills, Víctor Méndez Muñoz, and Victor Chang, 147–55. Setúbal, Portugal: SCITEPRESS, 2019.
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.” In 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019. https://doi.org/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 13, no. 2 (2019): 119–37. https://doi.org/10.3934/dcdss.2020007.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 34671
Black, Tobias, Johannes Lankeit, and Masaaki Mizukami. “Stabilization in the Keller–Segel System with Signal-Dependent Sensitivity.” Applicable Analysis 99, no. 16 (2019): 2877–91. https://doi.org/10.1080/00036811.2019.1585534.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 28687 | 
Scharlau, Ingrid, Miriam Körber, and Andrea Karsten. “Plunging into a World? A Novel Approach to Undergraduates’ Metaphors of Reading.” Frontline Learning Research 9, no. 4 (2019): 25–57. https://doi.org/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 36 (2019): 138–47. https://doi.org/10.11938/cjmr20182685 .
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 48843
Bossek, Jakob, Frank Neumann, Pan Peng, and Dirk Sudholt. “Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring.” In Proceedings of the Genetic and Evolutionary Computation Conference, 1443–1451. GECCO ’19. New York, NY, USA: Association for Computing Machinery, 2019. https://doi.org/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.” In Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 102–115. FOGA ’19. New York, NY, USA: Association for Computing Machinery, 2019. https://doi.org/10.1145/3299904.3340311.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10108
Pauck, Felix, and Heike 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, 374–84, 2019. https://doi.org/10.1145/3338906.3338915.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 59220
Schwabe, Tobias, Axel Balke, Petrone H. Bezuidenhout, Julia Reker, Thorsten Meyers, Trudi-Heleen Joubert, and Ulrich Hilleringmann. “Oxygen Detection with Zinc Oxide Nanoparticle Structures.” In Fifth Conference on Sensors, MEMS, and Electro-Optic Systems, edited by Monuko du Plessis, 11043:1104316. SPIE, 2019. https://doi.org/10.1117/12.2501507.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric Bodden. “Debugging Static Analysis.” IEEE Transactions on Software Engineering, 2018, 1–1. https://doi.org/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.” In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 714–18. ESEC/FSE 2018. New York, NY, USA: ACM, 2018. https://doi.org/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 50, no. 4 (2018): 4087–4116. https://doi.org/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 265, no. 5 (2018): 2296–2339. https://doi.org/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 180 (2018): 129–53. https://doi.org/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 50, no. 3 (2018): 2466–85. https://doi.org/10.1137/17m116118x.
LibreCat
| DOI
| arXiv