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