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
@inproceedings{Bossek_Sudholt_2019, place={New York, NY, USA}, series={FOGA ’19}, title={Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem}, DOI={10.1145/3299904.3340311}, booktitle={Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Sudholt, Dirk}, year={2019}, pages={102–115}, collection={FOGA ’19} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20543
@article{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={Debugging Static Analysis}, DOI={10.1109/TSE.2018.2868349}, journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}, year={2018}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20547
@inproceedings{Nguyen Quang Do_Bodden_2018, place={New York, NY, USA}, series={ESEC/FSE 2018}, title={Gamifying Static Analysis}, DOI={10.1145/3236024.3264830}, booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, publisher={ACM}, author={Nguyen Quang Do, Lisa and Bodden, Eric}, year={2018}, pages={714–718}, collection={ESEC/FSE 2018} }
LibreCat
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 34664
@article{Black_2018, title={Global Very Weak Solutions to a Chemotaxis-Fluid System with Nonlinear Diffusion}, volume={50}, DOI={10.1137/17m1159488}, number={4}, journal={SIAM Journal on Mathematical Analysis}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Black, Tobias}, year={2018}, pages={4087–4116} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 34666
@article{Black_2018, title={Eventual smoothness of generalized solutions to a singular chemotaxis-Stokes system in 2D}, volume={265}, DOI={10.1016/j.jde.2018.04.035}, number={5}, journal={Journal of Differential Equations}, publisher={Elsevier BV}, author={Black, Tobias}, year={2018}, pages={2296–2339} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 34667
@article{Black_2018, title={Global solvability of chemotaxis–fluid systems with nonlinear diffusion and matrix-valued sensitivities in three dimensions}, volume={180}, DOI={10.1016/j.na.2018.10.003}, journal={Nonlinear Analysis}, publisher={Elsevier BV}, author={Black, Tobias}, year={2018}, pages={129–153} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 33261
@article{Schwenker_2018, title={Generic Steady State Bifurcations in Monoid Equivariant Dynamics with Applications in Homogeneous Coupled Cell Systems}, volume={50}, DOI={10.1137/17m116118x}, number={3}, journal={SIAM Journal on Mathematical Analysis}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Schwenker, Sören}, year={2018}, pages={2466–2485} }
LibreCat
| DOI
| arXiv
2018 | Journal Article | LibreCat-ID: 37662
@article{Rösler_Graczyk_Luks_2018, title={On the Green Function and Poisson Integrals of the Dunkl Laplacian}, volume={48}, DOI={10.1007/s11118-017-9638-6}, number={3}, journal={Potential Analysis}, publisher={Springer Science and Business Media LLC}, author={Rösler, Margit and Graczyk, Piotr and Luks, Tomasz}, year={2018}, pages={337–360} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 45951
@article{Kovács_2018, title={Computing arbitrary Lagrangian Eulerian maps for evolving surfaces}, volume={35}, DOI={10.1002/num.22340}, number={3}, journal={Numerical Methods for Partial Differential Equations}, publisher={Wiley}, author={Kovács, Balázs}, year={2018}, pages={1093–1112} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 28348
@article{Müller_2017, title={“As a person, I feel I’ve changed pretty immensely”: Sojourners’ aspirations and self-perceived achievements}, volume={73}, DOI={10.3138/cmlr.3319}, number={1}, journal={The Canadian Modern Language Review}, author={Müller, Mareike}, year={2017}, pages={24–47} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 28354
@article{Müller_Schmenk_2017, title={Narrating the sound of self: The role of pronunciation in learners’ self-constructions in study-abroad contexts}, volume={27}, DOI={10.1111/ijal.12109}, number={1}, journal={International Journal of Applied Linguistics}, author={Müller, Mareike and Schmenk, Barbara}, year={2017}, pages={132–151} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 2860
@inproceedings{Beverungen_Lüttenberg_Wolf_2017, place={St. Gallen}, title={Recombinant Service System Engineering}, booktitle={Proceedings der 13. Internationalen Tagung Wirtschaftsinformatik (WI 2017)}, author={Beverungen, Daniel and Lüttenberg, Hedda and Wolf, Verena}, editor={Leimeister, Jan Marco and Brenner, WalterEditors}, year={2017}, pages={136–150} }
LibreCat
2017 | Journal Article | LibreCat-ID: 20557
@article{Lillack_Kästner_Bodden_2017, title={Tracking Load-time Configuration Options}, volume={PP}, DOI={10.1109/TSE.2017.2756048}, number={99}, journal={IEEE Transactions on Software Engineering}, author={Lillack, Max and Kästner, Christian and Bodden, Eric}, year={2017}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20559
@inproceedings{Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2017, place={New York, NY, USA}, series={ISSTA 2017}, title={Just-in-time Static Analysis}, DOI={10.1145/3092703.3092705}, booktitle={Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis}, publisher={ACM}, author={Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson}, year={2017}, pages={307–317}, collection={ISSTA 2017} }
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 9862 | 
@article{Mahnken_2017, title={“A variational formulation for fuzzy analysis in continuum mechanics”}, volume={5}, number={3–4}, journal={Mathematics and Mechanics of complex systems}, author={Mahnken, Rolf}, year={2017} }
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 36481
@article{Bruns_Eichen_Gasteiger_2017, title={Mathematics-related Competence of Early Childhood Teachers Visiting a Continuous Professional Development Course: An Intervention Study}, volume={19}, number={3}, journal={Mathematics Teacher Education and Development (MTED)}, author={Bruns, Julia and Eichen, Lars and Gasteiger, Hedwig}, year={2017}, pages={76–93} }
LibreCat
2017 | Journal Article | LibreCat-ID: 45946
@article{Kovács_Power Guerra_2017, title={Maximum norm stability and error estimates for the evolving surface finite element method}, volume={34}, DOI={10.1002/num.22212}, number={2}, journal={Numerical Methods for Partial Differential Equations}, publisher={Wiley}, author={Kovács, Balázs and Power Guerra, Christian Andreas}, year={2017}, pages={518–554} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45945
@article{Kovács_Power Guerra_2017, title={Maximum norm stability and error estimates for the evolving surface finite element method}, volume={34}, DOI={10.1002/num.22212}, number={2}, journal={Numerical Methods for Partial Differential Equations}, publisher={Wiley}, author={Kovács, Balázs and Power Guerra, Christian Andreas}, year={2017}, pages={518–554} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 32020
@article{Küster_2017, title={On the semiclassical functional calculus for h-dependent functions}, volume={52}, DOI={10.1007/s10455-017-9549-1}, number={1}, journal={Annals of Global Analysis and Geometry}, publisher={Springer Science and Business Media LLC}, author={Küster, Benjamin}, year={2017}, pages={57–97} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 32022
@article{Küster_Ramacher_2017, title={Quantum ergodicity and symmetry reduction}, volume={273}, DOI={10.1016/j.jfa.2017.02.013}, number={1}, journal={Journal of Functional Analysis}, publisher={Elsevier BV}, author={Küster, Benjamin and Ramacher, Pablo}, year={2017}, pages={41–124} }
LibreCat
| DOI