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, 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
2017 | Journal Article | LibreCat-ID: 28354
Müller, Mareike, and Barbara Schmenk. “Narrating the Sound of Self: The Role of Pronunciation in Learners’ Self-Constructions in Study-Abroad Contexts.” International Journal of Applied Linguistics 27, no. 1 (2017): 132–51. https://doi.org/10.1111/ijal.12109.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 2860
Beverungen, Daniel, Hedda Lüttenberg, and Verena Wolf. “Recombinant Service System Engineering.” In Proceedings Der 13. Internationalen Tagung Wirtschaftsinformatik (WI 2017), edited by Jan Marco Leimeister and Walter Brenner, 136–50. St. Gallen, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 20557
Lillack, Max, Christian Kästner, and Eric Bodden. “Tracking Load-Time Configuration Options.” IEEE Transactions on Software Engineering PP, no. 99 (2017): 1–1. https://doi.org/10.1109/TSE.2017.2756048.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20559
Do, Lisa Nguyen Quang, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. “Just-in-Time Static Analysis.” In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 307–17. ISSTA 2017. New York, NY, USA: ACM, 2017. https://doi.org/10.1145/3092703.3092705.
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 9862 | 
Mahnken, Rolf. “‘A Variational Formulation for Fuzzy Analysis in Continuum Mechanics.’” Mathematics and Mechanics of Complex Systems 5, no. 3–4 (2017).
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 36481
Bruns, Julia, Lars Eichen, and Hedwig Gasteiger. “Mathematics-Related Competence of Early Childhood Teachers Visiting a Continuous Professional Development Course: An Intervention Study.” Mathematics Teacher Education and Development (MTED) 19, no. 3 (2017): 76–93.
LibreCat
2017 | Journal Article | LibreCat-ID: 45946
Kovács, Balázs, and Christian Andreas Power Guerra. “Maximum Norm Stability and Error Estimates for the Evolving Surface Finite Element Method.” Numerical Methods for Partial Differential Equations 34, no. 2 (2017): 518–54. https://doi.org/10.1002/num.22212.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45945
Kovács, Balázs, and Christian Andreas Power Guerra. “Maximum Norm Stability and Error Estimates for the Evolving Surface Finite Element Method.” Numerical Methods for Partial Differential Equations 34, no. 2 (2017): 518–54. https://doi.org/10.1002/num.22212.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 32020
Küster, Benjamin. “On the Semiclassical Functional Calculus for H-Dependent Functions.” Annals of Global Analysis and Geometry 52, no. 1 (2017): 57–97. https://doi.org/10.1007/s10455-017-9549-1.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 32022
Küster, Benjamin, and Pablo Ramacher. “Quantum Ergodicity and Symmetry Reduction.” Journal of Functional Analysis 273, no. 1 (2017): 41–124. https://doi.org/10.1016/j.jfa.2017.02.013.
LibreCat
| DOI