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.
163 Publications
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: 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: 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
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
2018 | Journal Article | LibreCat-ID: 37662
Rösler, Margit, Piotr Graczyk, and Tomasz Luks. “On the Green Function and Poisson Integrals of the Dunkl Laplacian.” Potential Analysis 48, no. 3 (2018): 337–60. https://doi.org/10.1007/s11118-017-9638-6.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 45951
Kovács, Balázs. “Computing Arbitrary Lagrangian Eulerian Maps for Evolving Surfaces.” Numerical Methods for Partial Differential Equations 35, no. 3 (2018): 1093–1112. https://doi.org/10.1002/num.22340.
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 73, no. 1 (2017): 24–47. https://doi.org/10.3138/cmlr.3319.
LibreCat
| DOI