Non-Fock ground states in the translation-invariant Nelson model revisited non-perturbatively
D. Hasler, B. Hinrichs, O. Siebert, Journal of Functional Analysis 286 (2024).
LibreCat: /record/51374
DOI: 10.1016/j.jfa.2024.110319
arXiv: 2302.06998

Toward an Android Static Analysis Approach for Data Protection
M. Khedkar, E. Bodden, in: Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024.
LibreCat: /record/52235
arXiv: 2402.07889

Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
A.-K. Wickert, M. Schlichtig, M. Vogel, L. Winter, M. Mezini, E. Bodden, Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability, 2024.
LibreCat: /record/52663

Hankel transform, <mml:math xmlns:mml="http://www..org/1998/Math/MathML" altimg="si1.svg"><mml:mi mathvariant="script">K</mml:mi></mml:math>-Bessel functions and zeta distributions in the Dunkl setting
D. Brennecken, Journal of Mathematical Analysis and Applications 535 (2024).
LibreCat: /record/53300
DOI: 10.1016/j.jmaa.2024.128125

Playing games with QCA: Measuring the explanatory power of single conditions with the Banzhaf index
C.-J. Haake, M. Schneider, Journal of International Management 30 (2024).
LibreCat: /record/34114

Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023.
LibreCat: /record/36522
DOI: 10.48550/ARXIV.2301.04419

Possible points of blow-up in chemotaxis systems with spatially heterogeneous logistic source
T. Black, M. Fuest, J. Lankeit, M. Mizukami, Nonlinear Analysis: Real World Applications 73 (2023).
LibreCat: /record/43105
DOI: 10.1016/j.nonrwa.2023.103868

Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios
C. Link, K. Malena, S. Gausemeier, A. Trächtler, in: Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems, SCITEPRESS - Science and Technology Publications, 2023.
LibreCat: /record/44390
DOI: 10.5220/0011987600003479

Super-Gaussian decay of exponentials: A sufficient condition
B. Hinrichs, D.W. Janssen, J. Ziebell, Journal of Mathematical Analysis and Applications 528 (2023).
LibreCat: /record/46100
DOI: 10.1016/j.jmaa.2023.127558
arXiv: 2205.09189

Variational Learning of Euler–Lagrange Dynamics from Data
S. Ober-Blöbaum, C. Offen, Journal of Computational and Applied Mathematics 421 (2023) 114780.
LibreCat: /record/29240
DOI: 10.1016/j.cam.2022.114780
arXiv: 2112.12619

Backward error analysis for conjugate symplectic methods
R. McLachlan, C. Offen, Journal of Geometric Mechanics 15 (2023) 98–115.
LibreCat: /record/29236
DOI: 10.3934/jgm.2023005
arXiv: 2201.03911

Comparison of Required Competences and Task Material in Modeling Education
C. Soyka, M. Ullrich, M. Striewe, N. Schaper, Enterprise Modelling and Information Systems Architectures 18 (2023).
LibreCat: /record/47065
DOI: 10.18417/EMISA.18.7

Editorial
K. Schönhärl, F. Schotters, G. Thiemeyer, Werkstatt Geschichte 88 (2023).
LibreCat: /record/47155

Reden über Geld
K. Schönhärl, F. Schotters, G. Thiemeyer, eds., Reden über Geld, 2023.
LibreCat: /record/47154

Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features
R.P. Prager, K. Dietrich, L. Schneider, L. Schäpermeier, B. Bischl, P. Kerschke, H. Trautmann, O. Mersmann, in: Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2023, pp. 129–139.
LibreCat: /record/47522
DOI: 10.1145/3594805.3607136

Approximating a Laplacian Prior for Joint State and Model Estimation within an UKF
R.-S. Götte, J. Timmermann, in: IFAC-PapersOnLine, 2023, pp. 869–874.
LibreCat: /record/44326

Runtime Analysis of Quality Diversity Algorithms
J. Bossek, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 1546–1554.
LibreCat: /record/48872
DOI: 10.1145/3583131.3590383

Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space
A. Marrero, E. Segredo, E. Hart, J. Bossek, A. Neumann, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp. 312–320.
LibreCat: /record/48886
DOI: 10.1145/3583131.3590504

Do Additional Target Points Speed Up Evolutionary Algorithms?
J. Bossek, D. Sudholt, Theoretical Computer Science (2023) 113757.
LibreCat: /record/48871
DOI: 10.1016/j.tcs.2023.113757

More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency
K. Brennig, O. Müller, in: Hawaii International Conference on System Sciences, 2023.
LibreCat: /record/37058

Static Analysis for Android GDPR Compliance Assurance
M. Khedkar, in: Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23), n.d.
LibreCat: /record/44146
DOI: 10.1109/ICSE-Companion58688.2023.00054
arXiv: 2303.09606

Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale
M. Nachtigall, M. Schlichtig, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 95–96.
LibreCat: /record/52662

Introducing FUM: A Framework for API Usage Constraint and Misuse Classification
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 105–106.
LibreCat: /record/52660

A quantitative strong parabolic maximum principle and application to a taxis-type migration–consumption model involving signal-dependent degenerate diffusion
M. Winkler, Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire (2023).
LibreCat: /record/53320
DOI: 10.4171/aihpc/73

Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities
G. Li, M. Winkler, Applicable Analysis 103 (2023) 45–64.
LibreCat: /record/53318
DOI: 10.1080/00036811.2023.2173183

A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system
J. Ahn, M. Winkler, Calculus of Variations and Partial Differential Equations 62 (2023).
LibreCat: /record/53324
DOI: 10.1007/s00526-023-02523-5

Analysis of a chemotaxis-SIS epidemic model with unbounded infection force
Y. Tao, M. Winkler, Nonlinear Analysis: Real World Applications 71 (2023).
LibreCat: /record/53329
DOI: 10.1016/j.nonrwa.2022.103820

Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity
M. Winkler, Journal of Elliptic and Parabolic Equations 9 (2023) 919–959.
LibreCat: /record/53341
DOI: 10.1007/s41808-023-00230-y

Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems
M. Winkler, T. Yokota, Journal of Differential Equations 374 (2023) 1–28.
LibreCat: /record/53342
DOI: 10.1016/j.jde.2023.07.029

Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing
M. Winkler, Advances in Differential Equations 28 (2023).
LibreCat: /record/53346
DOI: 10.57262/ade028-1112-921

Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds
E. Papageorgiou, Potential Analysis (2023).
LibreCat: /record/53540
DOI: 10.1007/s11118-023-10109-1

Asymptotics for the infinite Brownian loop on noncompact symmetric spaces
E. Papageorgiou, Journal of Elliptic and Parabolic Equations (2023).
LibreCat: /record/53539
DOI: 10.1007/s41808-023-00250-8

CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022.
LibreCat: /record/32409
DOI: 10.48550/ARXIV.2204.06447

A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools
M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.
LibreCat: /record/32410
DOI: 10.1145/3533767

FUM - A Framework for API Usage constraint and Misuse Classification
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684.
LibreCat: /record/31133
DOI: https://doi.org/10.1109/SANER53432.2022.00085

Static data-flow analysis for software product lines in C
P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F. Schiebel, B. Hermann, S. Wei, E. Bodden, Automated Software Engineering 29 (2022).
LibreCat: /record/30511
DOI: 10.1007/s10515-022-00333-1

Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis
J. Kersting, F.S. Bäumer, in: J. Kersting (Ed.), Proceedings of the Fourteenth International Conference on Pervasive Patterns and Applications (PATTERNS 2022): Special Track AI-DRSWA: Maturing Artificial Intelligence - Data Science for Real-World Applications, IARIA, Barcelona, Spain, 2022, pp. 5–9.
LibreCat: /record/31054

Branching analysis of ;2-cyclodextrin-based poly(<i>N</i>-isopropylacrylamide) star polymers using triple detection SEC
A. Herberg, D. Kuckling, International Journal of Polymer Analysis and Characterization (2022) 1–19.
LibreCat: /record/32865
DOI: 10.1080/1023666x.2022.2110133

A polymorphic uncertainty model for the curing process of transversely fiber-reinforced plastics
E. Penner, I. Caylak, R. Mahnken, Mathematics and Mechanics of Complex Systems 10 (2022) 21–50.
LibreCat: /record/34075
DOI: 10.2140/memocs.2022.10.21

Approach to Sustainability-Based Assessment of Solution Alternatives in Early Stages of Product Engineering
I. Gräßler, P. Hesse, Proceedings of the Design Society 2 (2022) 1001–1010.
LibreCat: /record/31691
DOI: 10.1017/pds.2022.102

Prescribed signal concentration on the boundary: eventual smoothness in a chemotaxis-Navier–Stokes system with logistic proliferation
T. Black, C. Wu, Calculus of Variations and Partial Differential Equations 61 (2022).
LibreCat: /record/34677
DOI: 10.1007/s00526-022-02201-y

Process-Oriented Stream Classification Pipeline: A Literature Review
L. Clever, J.S. Pohl, J. Bossek, P. Kerschke, H. Trautmann, Applied Sciences 12 (2022) 9094.
LibreCat: /record/48878
DOI: 10.3390/app12189094

The smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series
Y. Feng, T. Gries, S. Letmathe, D. Schulz, The R Journal 14 (2022) 182–195.
LibreCat: /record/50025
DOI: 10.32614/rj-2022-017

The smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series
Y. Feng, T. Gries, S. Letmathe, D. Schulz, The R Journal 14 (2022) 182–195.
LibreCat: /record/33666
DOI: 10.32614/rj-2022-017

Curricular integration of academic and vocational education: a theory-based empirical typology of dual study programmes in Germany
L. Mordhorst, T. Jenert, Higher Education 85 (2022) 1257–1279.
LibreCat: /record/47627
DOI: 10.1007/s10734-022-00889-7

FEM-BEM Coupling for the Maxwell–Landau–Lifshitz–Gilbert Equations via Convolution Quadrature: Weak Form and Numerical Approximation
J. Bohn, M. Feischl, B. Kovács, Computational Methods in Applied Mathematics 23 (2022) 19–48.
LibreCat: /record/45956
DOI: 10.1515/cmam-2022-0145

Slow Grow-up in a Quasilinear Keller–Segel System
M. Winkler, Journal of Dynamics and Differential Equations (2022).
LibreCat: /record/53323
DOI: 10.1007/s10884-022-10167-w

Global solutions to a Keller-Segel-consumption system involving singularly signal-dependent motilities in domains of arbitrary dimension
Y. Tao, M. Winkler, Journal of Differential Equations 343 (2022) 390–418.
LibreCat: /record/53327
DOI: 10.1016/j.jde.2022.10.022

Weak solutions to triangular cross diffusion systems modeling chemotaxis with local sensing
L. Desvillettes, P. Laurençot, A. Trescases, M. Winkler, Nonlinear Analysis 226 (2022).
LibreCat: /record/53325
DOI: 10.1016/j.na.2022.113153

Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON
S. Kummita, G. Piskachev, J. Spaeth, E. Bodden, in: Proceedings of the 2021 International Conference on Code Quality (ICCQ), 2021.
LibreCat: /record/23388
DOI: 10.1109/ICCQ51190.2021.9392986

Which Factors Affect the Scientific Impact of Review Papers in IS Research? A Scientometric Study
G. Wagner, J. Prester, M. Roche, G. Schryen, A. Benlian, G. Paré, M. Templier, Information &; Management 58 (2021).
LibreCat: /record/20844

Artificial Neural Networks as Trial Wave Functions for Quantum Monte Carlo
J. Kessler, F. Calcavecchia, T. Kühne, Advanced Theory and Simulations 4 (2021).
LibreCat: /record/33649
DOI: 10.1002/adts.202000269

Symmetries of analytic curves
M. Hanusch, Differential Geometry and Its Applications 74 (2021).
LibreCat: /record/34818
DOI: 10.1016/j.difgeo.2020.101687

Software/Hardware Co-Verification for Custom Instruction Set Processors
M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, T. Wiersema, IEEE Access (2021).
LibreCat: /record/27841
DOI: 10.1109/ACCESS.2021.3131213

Systematische Bewertung von Auswirkungsanalysen des Engineering Change Managements
I. Gräßler, D. Wiechel, in: D. Krause, K. Paetzold, S. Wartzack (Eds.), DS 111: Proceedings of the 32nd Symposium Design for X, 2021.
LibreCat: /record/24280
DOI: 10.35199/dfx2021.12

Peeking beyond peaks: Challenges and research potentials of continuous multimodal multi-objective optimization
C. Grimme, P. Kerschke, P. Aspar, H. Trautmann, M. Preuss, A.H. Deutz, H. Wang, M. Emmerich, Computers &; Operations Research 136 (2021) 105489.
LibreCat: /record/46318
DOI: https://doi.org/10.1016/j.cor.2021.105489

Evolutionary Diversity Optimization and the Minimum Spanning Tree Problem
J. Bossek, F. Neumann, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2021, pp. 198–206.
LibreCat: /record/48860
DOI: 10.1145/3449639.3459363

Do Additional Optima Speed up Evolutionary Algorithms?
J. Bossek, D. Sudholt, in: Proceedings of the 16th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2021, pp. 1–11.
LibreCat: /record/48862

Time Complexity Analysis of Randomized Search Heuristics for the Dynamic Graph Coloring Problem
J. Bossek, F. Neumann, P. Peng, D. Sudholt, Algorithmica 83 (2021) 3148–3179.
LibreCat: /record/48854
DOI: 10.1007/s00453-021-00838-3

Building, emptying out, or dreaming? Action structures and space in undergraduates’ metaphors of academic writing
I. Scharlau, A. Karsten, K. Rohlfing, Journal of Writing Research 12 (2021) 493–529.
LibreCat: /record/28696
DOI: 10.17239/jowr-2021.12.03.01

Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre
G. Schryen, G. Wagner, A. Benlian, Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre, 2020.
LibreCat: /record/17019

Aspect Phrase Extraction in Sentiment Analysis with Deep Learning
J. Kersting, M. Geierhos, in: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) --  Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020), SCITEPRESS, Setúbal, Portugal, 2020, pp. 391--400.
LibreCat: /record/15580

What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers
J. Kersting, M. Geierhos, in: Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods, SCITEPRESS, Setúbal, Portugal, 2020, pp. 263--272.
LibreCat: /record/15256

Numerical analysis of the robustness of clinching process considering the pre-forming of the parts 
C.R. Bielak, M. Böhnke, R. Beck, M. Bobbert, G. Meschut, Journal of Advanced Joining Processes.  (2020).
LibreCat: /record/20678
DOI: https://doi.org/10.1016/j.jajp.2020.100038

Quiver Representations and Dimension Reduction in Dynamical Systems
E. Nijholt, B.W. Rink, S. Schwenker, SIAM Journal on Applied Dynamical Systems 19 (2020) 2428–2468.
LibreCat: /record/33263
DOI: 10.1137/20m1345670
arXiv: 2006.08073

Riesz distributions and Laplace transform in the Dunkl setting of type A
M. Rösler, Journal of Functional Analysis 278 (2020).
LibreCat: /record/37660
DOI: 10.1016/j.jfa.2020.108506

More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization
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, 2020, pp. 1277–1285.
LibreCat: /record/48847
DOI: 10.1145/3377930.3390174

The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics
J. Bossek, K. Casel, P. Kerschke, F. Neumann, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2020, pp. 1286–1294.
LibreCat: /record/48851
DOI: 10.1145/3377930.3390243

Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem
V. Roostapour, J. Bossek, F. Neumann, in: Proceedings of the 2020 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2020, pp. 551–559.
LibreCat: /record/48895
DOI: 10.1145/3377930.3390168

Approaching Critical Decay in a Strongly Degenerate Parabolic Equation
M. Winkler, Journal of Dynamics and Differential Equations 36 (2020) 3–23.
LibreCat: /record/53322
DOI: 10.1007/s10884-020-09892-x

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software Engineering (2019) 1–1.
LibreCat: /record/20533
DOI: 10.1109/TSE.2019.2948910

Integration of the Static Analysis Results Interchange Format in CogniCrypt
S. Kummita, G. Piskachev, Integration of the Static Analysis Results Interchange Format in CogniCrypt, 2019.
LibreCat: /record/23389

In Reviews We Trust: But Should We? Experiences with Physician Review Websites
J. Kersting, F.S. Bäumer, M. Geierhos, in: M. Ramachandran, R. Walters, G. Wills, V. Mendez Munoz, V. Chang (Eds.), Proceedings of the 4th International Conference on Internet of Things, Big Data and Security, SCITEPRESS, Setúbal, Portugal, 2019, pp. 147–155.
LibreCat: /record/9613

Android App Merging for Benchmark Speed-Up and Analysis Lift-Up
F. Pauck, S. Zhang, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.
LibreCat: /record/15838
DOI: 10.1109/asew.2019.00019

Global generalized solutions to a parabolic-elliptic Keller-Segel system with singular sensitivity
T. Black, Discrete &;amp; Continuous Dynamical Systems - S 13 (2019) 119–137.
LibreCat: /record/34672
DOI: 10.3934/dcdss.2020007

Stabilization in the Keller–Segel system with signal-dependent sensitivity
T. Black, J. Lankeit, M. Mizukami, Applicable Analysis 99 (2019) 2877–2891.
LibreCat: /record/34671
DOI: 10.1080/00036811.2019.1585534

Plunging into a world? A novel approach to undergraduates’ metaphors of reading
I. Scharlau, M. Körber, A. Karsten, Frontline Learning Research 9 (2019) 25–57.
LibreCat: /record/28687
DOI: 10.14786/flr.v7i4.559

Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals 
M. Tang, C. Schmidt, Chinese Journal of Magnetic Resonance 36 (2019) 138–147.
LibreCat: /record/35398
DOI: 10.11938/cjmr20182685 

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: /record/10108
DOI: 10.1145/3338906.3338915

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: /record/48843
DOI: 10.1145/3321707.3321792

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: /record/48870
DOI: 10.1145/3299904.3340311

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: /record/20543
DOI: 10.1109/TSE.2018.2868349

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: /record/20547
DOI: 10.1145/3236024.3264830

Global Very Weak Solutions to a Chemotaxis-Fluid System with Nonlinear Diffusion
T. Black, SIAM Journal on Mathematical Analysis 50 (2018) 4087–4116.
LibreCat: /record/34664
DOI: 10.1137/17m1159488

Eventual smoothness of generalized solutions to a singular chemotaxis-Stokes system in 2D
T. Black, Journal of Differential Equations 265 (2018) 2296–2339.
LibreCat: /record/34666
DOI: 10.1016/j.jde.2018.04.035

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: /record/34667
DOI: 10.1016/j.na.2018.10.003

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: /record/33261
DOI: 10.1137/17m116118x
arXiv: 1802.08490

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: /record/37662
DOI: 10.1007/s11118-017-9638-6

Computing arbitrary Lagrangian Eulerian maps for evolving surfaces
B. Kovács, Numerical Methods for Partial Differential Equations 35 (2018) 1093–1112.
LibreCat: /record/45951
DOI: 10.1002/num.22340

cAs a person, I feel ve changed pretty immenselyd: Sojourner aspirations and self-perceived achievements
M. Müller, The Canadian Modern Language Review 73 (2017) 24–47.
LibreCat: /record/28348
DOI: 10.3138/cmlr.3319

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: /record/28354
DOI: 10.1111/ijal.12109

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: /record/2860

Tracking Load-time Configuration Options
M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering PP (2017) 1–1.
LibreCat: /record/20557
DOI: 10.1109/TSE.2017.2756048

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: /record/20559
DOI: 10.1145/3092703.3092705

"A variational formulation for fuzzy analysis in continuum mechanics"
R. Mahnken, Mathematics and Mechanics of Complex Systems 5 (2017).
LibreCat: /record/9862

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: /record/36481

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: /record/45946
DOI: 10.1002/num.22212

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: /record/45945
DOI: 10.1002/num.22212

On the semiclassical functional calculus for h-dependent functions
B. Küster, Annals of Global Analysis and Geometry 52 (2017) 57–97.
LibreCat: /record/32020
DOI: 10.1007/s10455-017-9549-1

Quantum ergodicity and symmetry reduction
B. Küster, P. Ramacher, Journal of Functional Analysis 273 (2017) 41–124.
LibreCat: /record/32022
DOI: 10.1016/j.jfa.2017.02.013