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
@article{Winkler_2020, title={Approaching Critical Decay in a Strongly Degenerate Parabolic Equation}, volume={36}, DOI={10.1007/s10884-020-09892-x}, number={S1}, journal={Journal of Dynamics and Differential Equations}, publisher={Springer Science and Business Media LLC}, author={Winkler, Michael}, year={2020}, pages={3–23} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 37660
@article{Rösler_2020, title={Riesz distributions and Laplace transform in the Dunkl setting of type A}, volume={278}, DOI={10.1016/j.jfa.2020.108506}, number={12108506}, journal={Journal of Functional Analysis}, publisher={Elsevier BV}, author={Rösler, Margit}, year={2020} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 20533
@article{Krüger_Späth_Ali_Bodden_Mezini_2019, title={CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}, DOI={10.1109/TSE.2019.2948910}, journal={IEEE Transactions on Software Engineering}, author={Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2019}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2019 | Report | LibreCat-ID: 23389
@book{Kummita_Piskachev_2019, title={Integration of the Static Analysis Results Interchange Format in CogniCrypt}, author={Kummita, Sriteja and Piskachev, Goran}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 9613
@inproceedings{Kersting_Bäumer_Geierhos_2019, place={Setúbal, Portugal}, title={In Reviews We Trust: But Should We? Experiences with Physician Review Websites}, booktitle={Proceedings of the 4th International Conference on Internet of Things, Big Data and Security}, publisher={SCITEPRESS}, author={Kersting, Joschka and Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Ramachandran, Muthu and Walters, Robert and Wills, Gary and Méndez Muñoz, Víctor and Chang, VictorEditors}, year={2019}, pages={147–155} }
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15838
@inproceedings{Pauck_Zhang_2019, title={Android App Merging for Benchmark Speed-Up and Analysis Lift-Up}, DOI={10.1109/asew.2019.00019}, booktitle={2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)}, author={Pauck, Felix and Zhang, Shikun}, year={2019} }
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 34672
@article{Black_2019, title={Global generalized solutions to a parabolic-elliptic Keller-Segel system with singular sensitivity}, volume={13}, DOI={10.3934/dcdss.2020007}, number={2}, journal={Discrete & Continuous Dynamical Systems - S}, publisher={American Institute of Mathematical Sciences (AIMS)}, author={Black, Tobias}, year={2019}, pages={119–137} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 34671
@article{Black_Lankeit_Mizukami_2019, title={Stabilization in the Keller–Segel system with signal-dependent sensitivity}, volume={99}, DOI={10.1080/00036811.2019.1585534}, number={16}, journal={Applicable Analysis}, publisher={Informa UK Limited}, author={Black, Tobias and Lankeit, Johannes and Mizukami, Masaaki}, year={2019}, pages={2877–2891} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 28687 | 
@article{Scharlau_Körber_Karsten_2019, title={Plunging into a world? A novel approach to undergraduates’ metaphors of reading}, volume={9}, DOI={10.14786/flr.v7i4.559}, number={4}, journal={Frontline Learning Research}, author={Scharlau, Ingrid and Körber, Miriam and Karsten, Andrea}, year={2019}, pages={25–57} }
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 35398
@article{Tang_Schmidt_2019, title={Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals }, volume={36}, DOI={10.11938/cjmr20182685 }, journal={Chinese Journal of Magnetic Resonance}, author={Tang, Ming-xue and Schmidt, Claudia}, year={2019}, pages={138–147} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 48843
@inproceedings{Bossek_Neumann_Peng_Sudholt_2019, place={New York, NY, USA}, series={GECCO ’19}, title={Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring}, DOI={10.1145/3321707.3321792}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Neumann, Frank and Peng, Pan and Sudholt, Dirk}, year={2019}, pages={1443–1451}, collection={GECCO ’19} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48870
@inproceedings{Bossek_Sudholt_2019, place={New York, NY, USA}, series={FOGA ’19}, title={Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem}, DOI={10.1145/3299904.3340311}, booktitle={Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Sudholt, Dirk}, year={2019}, pages={102–115}, collection={FOGA ’19} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10108
@inproceedings{Pauck_Wehrheim_2019, title={Together Strong: Cooperative Android App Analysis}, DOI={10.1145/3338906.3338915}, booktitle={Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, author={Pauck, Felix and Wehrheim, Heike}, year={2019}, pages={374–384} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 59220
@inproceedings{Schwabe_Balke_Bezuidenhout_Reker_Meyers_Joubert_Hilleringmann_2019, title={Oxygen detection with zinc oxide nanoparticle structures}, volume={11043}, DOI={10.1117/12.2501507}, booktitle={Fifth Conference on Sensors, MEMS, and Electro-Optic Systems}, publisher={SPIE}, author={Schwabe, Tobias and Balke, Axel and Bezuidenhout, Petrone H. and Reker, Julia and Meyers, Thorsten and Joubert, Trudi-Heleen and Hilleringmann, Ulrich}, editor={du Plessis, Monuko}, year={2019}, pages={1104316} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20543
@article{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={Debugging Static Analysis}, DOI={10.1109/TSE.2018.2868349}, journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}, year={2018}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20547
@inproceedings{Nguyen Quang Do_Bodden_2018, place={New York, NY, USA}, series={ESEC/FSE 2018}, title={Gamifying Static Analysis}, DOI={10.1145/3236024.3264830}, booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, publisher={ACM}, author={Nguyen Quang Do, Lisa and Bodden, Eric}, year={2018}, pages={714–718}, collection={ESEC/FSE 2018} }
LibreCat
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 34664
@article{Black_2018, title={Global Very Weak Solutions to a Chemotaxis-Fluid System with Nonlinear Diffusion}, volume={50}, DOI={10.1137/17m1159488}, number={4}, journal={SIAM Journal on Mathematical Analysis}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Black, Tobias}, year={2018}, pages={4087–4116} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 34666
@article{Black_2018, title={Eventual smoothness of generalized solutions to a singular chemotaxis-Stokes system in 2D}, volume={265}, DOI={10.1016/j.jde.2018.04.035}, number={5}, journal={Journal of Differential Equations}, publisher={Elsevier BV}, author={Black, Tobias}, year={2018}, pages={2296–2339} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 34667
@article{Black_2018, title={Global solvability of chemotaxis–fluid systems with nonlinear diffusion and matrix-valued sensitivities in three dimensions}, volume={180}, DOI={10.1016/j.na.2018.10.003}, journal={Nonlinear Analysis}, publisher={Elsevier BV}, author={Black, Tobias}, year={2018}, pages={129–153} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 33261
@article{Schwenker_2018, title={Generic Steady State Bifurcations in Monoid Equivariant Dynamics with Applications in Homogeneous Coupled Cell Systems}, volume={50}, DOI={10.1137/17m116118x}, number={3}, journal={SIAM Journal on Mathematical Analysis}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Schwenker, Sören}, year={2018}, pages={2466–2485} }
LibreCat
| DOI
| arXiv