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
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
 

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.)
 

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.)
 

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
 

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
 

2018 | Journal Article | LibreCat-ID: 34667 LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 33261 LibreCat | DOI | arXiv
 

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
 

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
 

2017 | Journal Article | LibreCat-ID: 28348 LibreCat | DOI
 

Filters and Search Terms

keyword="Analysis"

Search

Filter Publications

Display / Sort

Export / Embed