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 | Conference Paper | LibreCat-ID: 48870
Bossek, J., & Sudholt, D. (2019). Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem. Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 102–115. https://doi.org/10.1145/3299904.3340311
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018). Debugging Static Analysis. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/TSE.2018.2868349
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20547
Nguyen Quang Do, L., & Bodden, E. (2018). Gamifying Static Analysis. Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 714–718. https://doi.org/10.1145/3236024.3264830
LibreCat
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 34664
Black, T. (2018). Global Very Weak Solutions to a Chemotaxis-Fluid System with Nonlinear Diffusion. SIAM Journal on Mathematical Analysis, 50(4), 4087–4116. https://doi.org/10.1137/17m1159488
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 34666
Black, T. (2018). Eventual smoothness of generalized solutions to a singular chemotaxis-Stokes system in 2D. Journal of Differential Equations, 265(5), 2296–2339. https://doi.org/10.1016/j.jde.2018.04.035
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 34667
Black, T. (2018). Global solvability of chemotaxis–fluid systems with nonlinear diffusion and matrix-valued sensitivities in three dimensions. Nonlinear Analysis, 180, 129–153. https://doi.org/10.1016/j.na.2018.10.003
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 33261
Schwenker, S. (2018). Generic Steady State Bifurcations in Monoid Equivariant Dynamics with Applications in Homogeneous Coupled Cell Systems. SIAM Journal on Mathematical Analysis, 50(3), 2466–2485. https://doi.org/10.1137/17m116118x
LibreCat
| DOI
| arXiv
2018 | Journal Article | LibreCat-ID: 37662
Rösler, M., Graczyk, P., & Luks, T. (2018). On the Green Function and Poisson Integrals of the Dunkl Laplacian. Potential Analysis, 48(3), 337–360. https://doi.org/10.1007/s11118-017-9638-6
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 45951
Kovács, B. (2018). Computing arbitrary Lagrangian Eulerian maps for evolving surfaces. Numerical Methods for Partial Differential Equations, 35(3), 1093–1112. https://doi.org/10.1002/num.22340
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 28348
Müller, M. (2017). “As a person, I feel I’ve changed pretty immensely”: Sojourners’ aspirations and self-perceived achievements. The Canadian Modern Language Review, 73(1), 24–47. https://doi.org/10.3138/cmlr.3319
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 28354
Müller, M., & Schmenk, B. (2017). Narrating the sound of self: The role of pronunciation in learners’ self-constructions in study-abroad contexts. International Journal of Applied Linguistics, 27(1), 132–151. https://doi.org/10.1111/ijal.12109
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 2860
Beverungen, D., Lüttenberg, H., & Wolf, V. (2017). Recombinant Service System Engineering. In J. M. Leimeister & W. Brenner (Eds.), Proceedings der 13. Internationalen Tagung Wirtschaftsinformatik (WI 2017) (pp. 136–150). St. Gallen.
LibreCat
2017 | Journal Article | LibreCat-ID: 20557
Lillack, M., Kästner, C., & Bodden, E. (2017). Tracking Load-time Configuration Options. IEEE Transactions on Software Engineering, PP(99), 1–1. https://doi.org/10.1109/TSE.2017.2756048
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20559
Do, L. N. Q., Ali, K., Livshits, B., Bodden, E., Smith, J., & Murphy-Hill, E. (2017). Just-in-time Static Analysis. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 307–317. https://doi.org/10.1145/3092703.3092705
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 9862 | 
Mahnken, R. (2017). “A variational formulation for fuzzy analysis in continuum mechanics.” Mathematics and Mechanics of Complex Systems, 5(3–4).
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 36481
Bruns, J., Eichen, L., & Gasteiger, H. (2017). Mathematics-related Competence of Early Childhood Teachers Visiting a Continuous Professional Development Course: An Intervention Study. Mathematics Teacher Education and Development (MTED), 19(3), 76–93.
LibreCat
2017 | Journal Article | LibreCat-ID: 45946
Kovács, B., & Power Guerra, C. A. (2017). Maximum norm stability and error estimates for the evolving surface finite element method. Numerical Methods for Partial Differential Equations, 34(2), 518–554. https://doi.org/10.1002/num.22212
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45945
Kovács, B., & Power Guerra, C. A. (2017). Maximum norm stability and error estimates for the evolving surface finite element method. Numerical Methods for Partial Differential Equations, 34(2), 518–554. https://doi.org/10.1002/num.22212
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 32020
Küster, B. (2017). On the semiclassical functional calculus for h-dependent functions. Annals of Global Analysis and Geometry, 52(1), 57–97. https://doi.org/10.1007/s10455-017-9549-1
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 32022
Küster, B., & Ramacher, P. (2017). Quantum ergodicity and symmetry reduction. Journal of Functional Analysis, 273(1), 41–124. https://doi.org/10.1016/j.jfa.2017.02.013
LibreCat
| DOI