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