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.
164 Publications
2020 | Journal Article | LibreCat-ID: 53322
Approaching Critical Decay in a Strongly Degenerate Parabolic Equation
M. Winkler, Journal of Dynamics and Differential Equations 36 (2020) 3–23.
LibreCat
| DOI
M. Winkler, Journal of Dynamics and Differential Equations 36 (2020) 3–23.
2019 | Journal Article | LibreCat-ID: 20533
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software Engineering (2019) 1–1.
LibreCat
| DOI
| Download (ext.)
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software Engineering (2019) 1–1.
2019 | Report | LibreCat-ID: 23389
Integration of the Static Analysis Results Interchange Format in CogniCrypt
S. Kummita, G. Piskachev, Integration of the Static Analysis Results Interchange Format in CogniCrypt, 2019.
LibreCat
| Download (ext.)
S. Kummita, G. Piskachev, Integration of the Static Analysis Results Interchange Format in CogniCrypt, 2019.
2019 | Conference Paper | LibreCat-ID: 9613
In Reviews We Trust: But Should We? Experiences with Physician Review Websites
J. Kersting, F.S. Bäumer, M. Geierhos, 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, SCITEPRESS, Setúbal, Portugal, 2019, pp. 147–155.
LibreCat
| Files available
| Download (ext.)
J. Kersting, F.S. Bäumer, M. Geierhos, 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, SCITEPRESS, Setúbal, Portugal, 2019, pp. 147–155.
2019 | Conference Paper | LibreCat-ID: 15838
Android App Merging for Benchmark Speed-Up and Analysis Lift-Up
F. Pauck, S. Zhang, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.
LibreCat
| Files available
| DOI
F. Pauck, S. Zhang, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.
2019 | Journal Article | LibreCat-ID: 34672
Global generalized solutions to a parabolic-elliptic Keller-Segel system with singular sensitivity
T. Black, Discrete & Continuous Dynamical Systems - S 13 (2019) 119–137.
LibreCat
| DOI
T. Black, Discrete & Continuous Dynamical Systems - S 13 (2019) 119–137.
2019 | Journal Article | LibreCat-ID: 34671
Stabilization in the Keller–Segel system with signal-dependent sensitivity
T. Black, J. Lankeit, M. Mizukami, Applicable Analysis 99 (2019) 2877–2891.
LibreCat
| DOI
T. Black, J. Lankeit, M. Mizukami, Applicable Analysis 99 (2019) 2877–2891.
2019 | Journal Article | LibreCat-ID: 28687 | 
Plunging into a world? A novel approach to undergraduates’ metaphors of reading
I. Scharlau, M. Körber, A. Karsten, Frontline Learning Research 9 (2019) 25–57.
LibreCat
| DOI
| Download (ext.)
I. Scharlau, M. Körber, A. Karsten, Frontline Learning Research 9 (2019) 25–57.
2019 | Journal Article | LibreCat-ID: 35398
Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals
M. Tang, C. Schmidt, Chinese Journal of Magnetic Resonance 36 (2019) 138–147.
LibreCat
| Files available
| DOI
M. Tang, C. Schmidt, Chinese Journal of Magnetic Resonance 36 (2019) 138–147.
2019 | Conference Paper | LibreCat-ID: 10108
Together Strong: Cooperative Android App Analysis
F. Pauck, H. Wehrheim, 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.
LibreCat
| Files available
| DOI
F. Pauck, H. Wehrheim, 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.
2019 | Conference Paper | LibreCat-ID: 48843
Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring
J. Bossek, F. Neumann, P. Peng, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 1443–1451.
LibreCat
| DOI
J. Bossek, F. Neumann, P. Peng, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 1443–1451.
2019 | Conference Paper | LibreCat-ID: 48870
Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem
J. Bossek, D. Sudholt, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 102–115.
LibreCat
| DOI
J. Bossek, D. Sudholt, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 102–115.
2018 | Journal Article | LibreCat-ID: 20543
Debugging Static Analysis
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.
LibreCat
| DOI
| Download (ext.)
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.
2018 | Conference Paper | LibreCat-ID: 20547
Gamifying Static Analysis
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
LibreCat
| DOI
| Download (ext.)
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
2018 | Journal Article | LibreCat-ID: 34664
Global Very Weak Solutions to a Chemotaxis-Fluid System with Nonlinear Diffusion
T. Black, SIAM Journal on Mathematical Analysis 50 (2018) 4087–4116.
LibreCat
| DOI
T. Black, SIAM Journal on Mathematical Analysis 50 (2018) 4087–4116.
2018 | Journal Article | LibreCat-ID: 34666
Eventual smoothness of generalized solutions to a singular chemotaxis-Stokes system in 2D
T. Black, Journal of Differential Equations 265 (2018) 2296–2339.
LibreCat
| DOI
T. Black, Journal of Differential Equations 265 (2018) 2296–2339.
2018 | Journal Article | LibreCat-ID: 34667
Global solvability of chemotaxis–fluid systems with nonlinear diffusion and matrix-valued sensitivities in three dimensions
T. Black, Nonlinear Analysis 180 (2018) 129–153.
LibreCat
| DOI
T. Black, Nonlinear Analysis 180 (2018) 129–153.
2018 | Journal Article | LibreCat-ID: 33261
Generic Steady State Bifurcations in Monoid Equivariant Dynamics with Applications in Homogeneous Coupled Cell Systems
S. Schwenker, SIAM Journal on Mathematical Analysis 50 (2018) 2466–2485.
LibreCat
| DOI
| arXiv
S. Schwenker, SIAM Journal on Mathematical Analysis 50 (2018) 2466–2485.
2018 | Journal Article | LibreCat-ID: 37662
On the Green Function and Poisson Integrals of the Dunkl Laplacian
M. Rösler, P. Graczyk, T. Luks, Potential Analysis 48 (2018) 337–360.
LibreCat
| DOI
M. Rösler, P. Graczyk, T. Luks, Potential Analysis 48 (2018) 337–360.
2018 | Journal Article | LibreCat-ID: 45951
Computing arbitrary Lagrangian Eulerian maps for evolving surfaces
B. Kovács, Numerical Methods for Partial Differential Equations 35 (2018) 1093–1112.
LibreCat
| DOI
B. Kovács, Numerical Methods for Partial Differential Equations 35 (2018) 1093–1112.