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.
165 Publications
2019 | Conference Paper | LibreCat-ID: 10108
Together Strong: Cooperative Android App Analysis
F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374–384.
LibreCat
| Files available
| DOI
F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374–384.
2019 | Conference Paper | LibreCat-ID: 48843
Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring
J. Bossek, F. Neumann, P. Peng, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 1443–1451.
LibreCat
| DOI
J. Bossek, F. Neumann, P. Peng, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 1443–1451.
2019 | Conference Paper | LibreCat-ID: 48870
Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem
J. Bossek, D. Sudholt, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 102–115.
LibreCat
| DOI
J. Bossek, D. Sudholt, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 102–115.
2018 | Journal Article | LibreCat-ID: 20543
Debugging Static Analysis
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.
LibreCat
| DOI
| Download (ext.)
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.
2018 | Conference Paper | LibreCat-ID: 20547
Gamifying Static Analysis
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
LibreCat
| DOI
| Download (ext.)
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
2018 | Journal Article | LibreCat-ID: 34664
Global Very Weak Solutions to a Chemotaxis-Fluid System with Nonlinear Diffusion
T. Black, SIAM Journal on Mathematical Analysis 50 (2018) 4087–4116.
LibreCat
| DOI
T. Black, SIAM Journal on Mathematical Analysis 50 (2018) 4087–4116.
2018 | Journal Article | LibreCat-ID: 34666
Eventual smoothness of generalized solutions to a singular chemotaxis-Stokes system in 2D
T. Black, Journal of Differential Equations 265 (2018) 2296–2339.
LibreCat
| DOI
T. Black, Journal of Differential Equations 265 (2018) 2296–2339.
2018 | Journal Article | LibreCat-ID: 34667
Global solvability of chemotaxis–fluid systems with nonlinear diffusion and matrix-valued sensitivities in three dimensions
T. Black, Nonlinear Analysis 180 (2018) 129–153.
LibreCat
| DOI
T. Black, Nonlinear Analysis 180 (2018) 129–153.
2018 | Journal Article | LibreCat-ID: 33261
Generic Steady State Bifurcations in Monoid Equivariant Dynamics with Applications in Homogeneous Coupled Cell Systems
S. Schwenker, SIAM Journal on Mathematical Analysis 50 (2018) 2466–2485.
LibreCat
| DOI
| arXiv
S. Schwenker, SIAM Journal on Mathematical Analysis 50 (2018) 2466–2485.
2018 | Journal Article | LibreCat-ID: 37662
On the Green Function and Poisson Integrals of the Dunkl Laplacian
M. Rösler, P. Graczyk, T. Luks, Potential Analysis 48 (2018) 337–360.
LibreCat
| DOI
M. Rösler, P. Graczyk, T. Luks, Potential Analysis 48 (2018) 337–360.
2018 | Journal Article | LibreCat-ID: 45951
Computing arbitrary Lagrangian Eulerian maps for evolving surfaces
B. Kovács, Numerical Methods for Partial Differential Equations 35 (2018) 1093–1112.
LibreCat
| DOI
B. Kovács, Numerical Methods for Partial Differential Equations 35 (2018) 1093–1112.
2017 | Journal Article | LibreCat-ID: 28348
“As a person, I feel I’ve changed pretty immensely”: Sojourners’ aspirations and self-perceived achievements
M. Müller, The Canadian Modern Language Review 73 (2017) 24–47.
LibreCat
| DOI
M. Müller, The Canadian Modern Language Review 73 (2017) 24–47.
2017 | Journal Article | LibreCat-ID: 28354
Narrating the sound of self: The role of pronunciation in learners’ self-constructions in study-abroad contexts
M. Müller, B. Schmenk, International Journal of Applied Linguistics 27 (2017) 132–151.
LibreCat
| DOI
M. Müller, B. Schmenk, International Journal of Applied Linguistics 27 (2017) 132–151.
2017 | Conference Paper | LibreCat-ID: 2860
Recombinant Service System Engineering
D. Beverungen, H. Lüttenberg, V. Wolf, in: J.M. Leimeister, W. Brenner (Eds.), Proceedings Der 13. Internationalen Tagung Wirtschaftsinformatik (WI 2017), St. Gallen, 2017, pp. 136–150.
LibreCat
D. Beverungen, H. Lüttenberg, V. Wolf, in: J.M. Leimeister, W. Brenner (Eds.), Proceedings Der 13. Internationalen Tagung Wirtschaftsinformatik (WI 2017), St. Gallen, 2017, pp. 136–150.
2017 | Journal Article | LibreCat-ID: 20557
Tracking Load-time Configuration Options
M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering PP (2017) 1–1.
LibreCat
| DOI
| Download (ext.)
M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering PP (2017) 1–1.
2017 | Conference Paper | LibreCat-ID: 20559
Just-in-time Static Analysis
L.N.Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, 2017, pp. 307–317.
LibreCat
| DOI
| Download (ext.)
L.N.Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, 2017, pp. 307–317.
2017 | Journal Article | LibreCat-ID: 9862 |
"A variational formulation for fuzzy analysis in continuum mechanics"
R. Mahnken, Mathematics and Mechanics of Complex Systems 5 (2017).
LibreCat
| Download (ext.)
R. Mahnken, Mathematics and Mechanics of Complex Systems 5 (2017).
2017 | Journal Article | LibreCat-ID: 36481
Mathematics-related Competence of Early Childhood Teachers Visiting a Continuous Professional Development Course: An Intervention Study
J. Bruns, L. Eichen, H. Gasteiger, Mathematics Teacher Education and Development (MTED) 19 (2017) 76–93.
LibreCat
J. Bruns, L. Eichen, H. Gasteiger, Mathematics Teacher Education and Development (MTED) 19 (2017) 76–93.
2017 | Journal Article | LibreCat-ID: 45946
Maximum norm stability and error estimates for the evolving surface finite element method
B. Kovács, C.A. Power Guerra, Numerical Methods for Partial Differential Equations 34 (2017) 518–554.
LibreCat
| DOI
B. Kovács, C.A. Power Guerra, Numerical Methods for Partial Differential Equations 34 (2017) 518–554.
2017 | Journal Article | LibreCat-ID: 45945
Maximum norm stability and error estimates for the evolving surface finite element method
B. Kovács, C.A. Power Guerra, Numerical Methods for Partial Differential Equations 34 (2017) 518–554.
LibreCat
| DOI
B. Kovács, C.A. Power Guerra, Numerical Methods for Partial Differential Equations 34 (2017) 518–554.