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
2023 | Conference Paper | LibreCat-ID: 44146
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
| Files available
| DOI
| arXiv
M. Khedkar, in: Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23), n.d.
2023 | Book Chapter | LibreCat-ID: 52662
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
| Download (ext.)
M. Nachtigall, M. Schlichtig, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 95–96.
2023 | Book Chapter | LibreCat-ID: 52660
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
| Download (ext.)
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 105–106.
2023 | Journal Article | LibreCat-ID: 53320
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
| DOI
M. Winkler, Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire (2023).
2023 | Journal Article | LibreCat-ID: 53318
Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities
G. Li, M. Winkler, Applicable Analysis 103 (2023) 45–64.
LibreCat
| DOI
G. Li, M. Winkler, Applicable Analysis 103 (2023) 45–64.
2023 | Journal Article | LibreCat-ID: 53324
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
| DOI
J. Ahn, M. Winkler, Calculus of Variations and Partial Differential Equations 62 (2023).
2023 | Journal Article | LibreCat-ID: 53329
Analysis of a chemotaxis-SIS epidemic model with unbounded infection force
Y. Tao, M. Winkler, Nonlinear Analysis: Real World Applications 71 (2023).
LibreCat
| DOI
Y. Tao, M. Winkler, Nonlinear Analysis: Real World Applications 71 (2023).
2023 | Journal Article | LibreCat-ID: 53341
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
| DOI
M. Winkler, Journal of Elliptic and Parabolic Equations 9 (2023) 919–959.
2023 | Journal Article | LibreCat-ID: 53342
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
| DOI
M. Winkler, T. Yokota, Journal of Differential Equations 374 (2023) 1–28.
2023 | Journal Article | LibreCat-ID: 53346
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
| DOI
M. Winkler, Advances in Differential Equations 28 (2023).
2023 | Journal Article | LibreCat-ID: 53540
Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds
E. Papageorgiou, Potential Analysis (2023).
LibreCat
| DOI
E. Papageorgiou, Potential Analysis (2023).
2023 | Journal Article | LibreCat-ID: 53539
Asymptotics for the infinite Brownian loop on noncompact symmetric spaces
E. Papageorgiou, Journal of Elliptic and Parabolic Equations (2023).
LibreCat
| DOI
E. Papageorgiou, Journal of Elliptic and Parabolic Equations (2023).
2022 | Misc | LibreCat-ID: 32409
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
| Files available
| DOI
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022.
2022 | Conference Paper | LibreCat-ID: 32410
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
| Files available
| DOI
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.
2022 | Conference Paper | LibreCat-ID: 31133
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
| Files available
| DOI
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684.
2022 | Journal Article | LibreCat-ID: 30511 | 
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
| DOI
| Download (ext.)
P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F. Schiebel, B. Hermann, S. Wei, E. Bodden, Automated Software Engineering 29 (2022).
2022 | Conference Paper | LibreCat-ID: 31054
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
| Files available
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.
2022 | Journal Article | LibreCat-ID: 32865
Branching analysis of β-cyclodextrin-based poly(N-isopropylacrylamide) star polymers using triple detection SEC
A. Herberg, D. Kuckling, International Journal of Polymer Analysis and Characterization (2022) 1–19.
LibreCat
| DOI
A. Herberg, D. Kuckling, International Journal of Polymer Analysis and Characterization (2022) 1–19.
2022 | Journal Article | LibreCat-ID: 34075
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
| DOI
E. Penner, I. Caylak, R. Mahnken, Mathematics and Mechanics of Complex Systems 10 (2022) 21–50.
2022 | Journal Article | LibreCat-ID: 31691
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
| DOI
I. Gräßler, P. Hesse, Proceedings of the Design Society 2 (2022) 1001–1010.
2022 | Journal Article | LibreCat-ID: 34677
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
| DOI
T. Black, C. Wu, Calculus of Variations and Partial Differential Equations 61 (2022).
2022 | Journal Article | LibreCat-ID: 48878
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
| DOI
L. Clever, J.S. Pohl, J. Bossek, P. Kerschke, H. Trautmann, Applied Sciences 12 (2022) 9094.
2022 | Journal Article | LibreCat-ID: 50025
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
| DOI
Y. Feng, T. Gries, S. Letmathe, D. Schulz, The R Journal 14 (2022) 182–195.
2022 | Journal Article | LibreCat-ID: 33666
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
| DOI
Y. Feng, T. Gries, S. Letmathe, D. Schulz, The R Journal 14 (2022) 182–195.
2022 | Journal Article | LibreCat-ID: 47627
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
| DOI
| Download (ext.)
L. Mordhorst, T. Jenert, Higher Education 85 (2022) 1257–1279.
2022 | Journal Article | LibreCat-ID: 45956
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
| DOI
J. Bohn, M. Feischl, B. Kovács, Computational Methods in Applied Mathematics 23 (2022) 19–48.
2022 | Journal Article | LibreCat-ID: 53323
Slow Grow-up in a Quasilinear Keller–Segel System
M. Winkler, Journal of Dynamics and Differential Equations (2022).
LibreCat
| DOI
M. Winkler, Journal of Dynamics and Differential Equations (2022).
2022 | Journal Article | LibreCat-ID: 53327
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
| DOI
Y. Tao, M. Winkler, Journal of Differential Equations 343 (2022) 390–418.
2022 | Journal Article | LibreCat-ID: 53325
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
| DOI
L. Desvillettes, P. Laurençot, A. Trescases, M. Winkler, Nonlinear Analysis 226 (2022).
2021 | Conference Paper | LibreCat-ID: 23388
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
| DOI
| Download (ext.)
S. Kummita, G. Piskachev, J. Spaeth, E. Bodden, in: Proceedings of the 2021 International Conference on Code Quality (ICCQ), 2021.
2021 | Journal Article | LibreCat-ID: 20844 |
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
| Files available
G. Wagner, J. Prester, M. Roche, G. Schryen, A. Benlian, G. Paré, M. Templier, Information & Management 58 (2021).
2021 | Journal Article | LibreCat-ID: 33649
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
| DOI
J. Kessler, F. Calcavecchia, T. Kühne, Advanced Theory and Simulations 4 (2021).
2021 | Journal Article | LibreCat-ID: 34818
Symmetries of analytic curves
M. Hanusch, Differential Geometry and Its Applications 74 (2021).
LibreCat
| DOI
M. Hanusch, Differential Geometry and Its Applications 74 (2021).
2021 | Journal Article | LibreCat-ID: 27841
Software/Hardware Co-Verification for Custom Instruction Set Processors
M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, T. Wiersema, IEEE Access (2021).
LibreCat
| DOI
M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, T. Wiersema, IEEE Access (2021).
2021 | Conference Paper | LibreCat-ID: 24280
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
| DOI
I. Gräßler, D. Wiechel, in: D. Krause, K. Paetzold, S. Wartzack (Eds.), DS 111: Proceedings of the 32nd Symposium Design for X, 2021.
2021 | Journal Article | LibreCat-ID: 46318
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
| DOI
C. Grimme, P. Kerschke, P. Aspar, H. Trautmann, M. Preuss, A.H. Deutz, H. Wang, M. Emmerich, Computers & Operations Research 136 (2021) 105489.
2021 | Conference Paper | LibreCat-ID: 48860
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
| DOI
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.
2021 | Book Chapter | LibreCat-ID: 48862
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
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.
2021 | Journal Article | LibreCat-ID: 48854
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
| DOI
J. Bossek, F. Neumann, P. Peng, D. Sudholt, Algorithmica 83 (2021) 3148–3179.
2021 | Journal Article | LibreCat-ID: 28696 |
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
| DOI
| Download (ext.)
I. Scharlau, A. Karsten, K. Rohlfing, Journal of Writing Research 12 (2021) 493–529.
2020 | Working Paper | LibreCat-ID: 17019 |
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
| Files available
| Download (ext.)
G. Schryen, G. Wagner, A. Benlian, Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre, 2020.
2020 | Conference Paper | LibreCat-ID: 15580
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
| Files available
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.
2020 | Conference Paper | LibreCat-ID: 15256
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
| Files available
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.
2020 | Journal Article | LibreCat-ID: 20678
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
| DOI
C.R. Bielak, M. Böhnke, R. Beck, M. Bobbert, G. Meschut, Journal of Advanced Joining Processes. (2020).
2020 | Journal Article | LibreCat-ID: 33263
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
| DOI
| arXiv
E. Nijholt, B.W. Rink, S. Schwenker, SIAM Journal on Applied Dynamical Systems 19 (2020) 2428–2468.
2020 | Journal Article | LibreCat-ID: 37660
Riesz distributions and Laplace transform in the Dunkl setting of type A
M. Rösler, Journal of Functional Analysis 278 (2020).
LibreCat
| DOI
M. Rösler, Journal of Functional Analysis 278 (2020).
2020 | Conference Paper | LibreCat-ID: 48847
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
| 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, 2020, pp. 1277–1285.
2020 | Conference Paper | LibreCat-ID: 48851
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
| DOI
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.
2020 | Conference Paper | LibreCat-ID: 48895
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
| DOI
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.
2020 | Journal Article | LibreCat-ID: 53322
Approaching Critical Decay in a Strongly Degenerate Parabolic Equation
M. Winkler, Journal of Dynamics and Differential Equations 36 (2020) 3–23.
LibreCat
| DOI
M. Winkler, Journal of Dynamics and Differential Equations 36 (2020) 3–23.
2019 | Journal Article | LibreCat-ID: 20533
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
| DOI
| Download (ext.)
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software Engineering (2019) 1–1.
2019 | Report | LibreCat-ID: 23389
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
| Download (ext.)
S. Kummita, G. Piskachev, Integration of the Static Analysis Results Interchange Format in CogniCrypt, 2019.
2019 | Conference Paper | LibreCat-ID: 9613
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. Méndez Muñoz, 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
| Files available
| Download (ext.)
J. Kersting, F.S. Bäumer, M. Geierhos, in: M. Ramachandran, R. Walters, G. Wills, V. Méndez Muñoz, 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.
2019 | Conference Paper | LibreCat-ID: 15838
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
| Files available
| DOI
F. Pauck, S. Zhang, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.
2019 | Journal Article | LibreCat-ID: 34672
Global generalized solutions to a parabolic-elliptic Keller-Segel system with singular sensitivity
T. Black, Discrete & Continuous Dynamical Systems - S 13 (2019) 119–137.
LibreCat
| DOI
T. Black, Discrete & Continuous Dynamical Systems - S 13 (2019) 119–137.
2019 | Journal Article | LibreCat-ID: 34671
Stabilization in the Keller–Segel system with signal-dependent sensitivity
T. Black, J. Lankeit, M. Mizukami, Applicable Analysis 99 (2019) 2877–2891.
LibreCat
| DOI
T. Black, J. Lankeit, M. Mizukami, Applicable Analysis 99 (2019) 2877–2891.
2019 | Journal Article | LibreCat-ID: 28687 |
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
| DOI
| Download (ext.)
I. Scharlau, M. Körber, A. Karsten, Frontline Learning Research 9 (2019) 25–57.
2019 | Journal Article | LibreCat-ID: 35398
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
| Files available
| DOI
M. Tang, C. Schmidt, Chinese Journal of Magnetic Resonance 36 (2019) 138–147.
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.
2017 | Journal Article | LibreCat-ID: 32020
On the semiclassical functional calculus for h-dependent functions
B. Küster, Annals of Global Analysis and Geometry 52 (2017) 57–97.
LibreCat
| DOI
B. Küster, Annals of Global Analysis and Geometry 52 (2017) 57–97.
2017 | Journal Article | LibreCat-ID: 32022
Quantum ergodicity and symmetry reduction
B. Küster, P. Ramacher, Journal of Functional Analysis 273 (2017) 41–124.
LibreCat
| DOI
B. Küster, P. Ramacher, Journal of Functional Analysis 273 (2017) 41–124.
2017 | Book Chapter | LibreCat-ID: 48411
How do students develop lexical means for understanding the concept of relative frequency? Empirical insights on the basis of trace analyses
L. Wessel, in: T. Dooley, G. Gueudet (Eds.), Proceedings of the Tenth Congress of the European Society for Research in Mathematics Education (CERME10, February 1 – 5, 2017), DCU Institute of Education and ERME., Dublin, Ireland, 2017, pp. 1388–1395.
LibreCat
| Download (ext.)
L. Wessel, in: T. Dooley, G. Gueudet (Eds.), Proceedings of the Tenth Congress of the European Society for Research in Mathematics Education (CERME10, February 1 – 5, 2017), DCU Institute of Education and ERME., Dublin, Ireland, 2017, pp. 1388–1395.
2016 | Journal Article | LibreCat-ID: 28355
Listening to learners’ voices: Qualitative aspects of pronunciation learning during study abroad
M. Müller, Journal of Second Language Pronunciation 2 (2016) 108–142.
LibreCat
| DOI
M. Müller, Journal of Second Language Pronunciation 2 (2016) 108–142.
2016 | Conference Paper | LibreCat-ID: 20719
An In-Depth Study of More Than Ten Years of Java Exploitation
P. Holzinger, S. Triller, A. Bartel, E. Bodden, in: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–790.
LibreCat
| DOI
P. Holzinger, S. Triller, A. Bartel, E. Bodden, in: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–790.
2016 | Journal Article | LibreCat-ID: 4586
Loan Pricing: Do Borrowers Benefit from Cost-Efficient Banking?
T. Schlueter, R. Busch, S. Sievers, T. Hartmann-Wendels, Credit and Capital Markets--Kredit Und Kapital 49 (2016) 93–125.
LibreCat
| DOI
T. Schlueter, R. Busch, S. Sievers, T. Hartmann-Wendels, Credit and Capital Markets--Kredit Und Kapital 49 (2016) 93–125.
2016 | Journal Article | LibreCat-ID: 4690
The Role of Gender in Business Process Management Competence Supply
E. Gorbacheva, A. Stein, T. Schmiedel, O. Müller, Business and Information Systems Engineering (2016) 213--231.
LibreCat
| DOI
E. Gorbacheva, A. Stein, T. Schmiedel, O. Müller, Business and Information Systems Engineering (2016) 213--231.
2016 | Journal Article | LibreCat-ID: 4692
Towards a typology of business process management professionals: identifying patterns of competences through latent semantic analysis
O. Müller, T. Schmiedel, E. Gorbacheva, J. vom Brocke, Enterprise Information Systems (2016) 50--80.
LibreCat
| DOI
O. Müller, T. Schmiedel, E. Gorbacheva, J. vom Brocke, Enterprise Information Systems (2016) 50--80.
2016 | Conference Paper | LibreCat-ID: 9963
Aspects of Flexible Viscoelastic Suspension Modeling for Frictional Rolling Contact Analysis using ADAMS
S. Kohl, W. Sextro, S. Schulze, in: The 2nd International Conference on Automotive Innovation and Green Energy Vehicle (AiGEV 2016), Cyberjaya, Malaysia, 2016., Cyberjaya, Malaysia, 2016, 2016, pp. 1–12.
LibreCat
S. Kohl, W. Sextro, S. Schulze, in: The 2nd International Conference on Automotive Innovation and Green Energy Vehicle (AiGEV 2016), Cyberjaya, Malaysia, 2016., Cyberjaya, Malaysia, 2016, 2016, pp. 1–12.
2016 | Journal Article | LibreCat-ID: 34662
Boundedness in a Keller–Segel system with external signal production
T. Black, Journal of Mathematical Analysis and Applications 446 (2016) 436–455.
LibreCat
| DOI
T. Black, Journal of Mathematical Analysis and Applications 446 (2016) 436–455.
2016 | Journal Article | LibreCat-ID: 34661
Sublinear signal production in a two-dimensional Keller–Segel–Stokes system
T. Black, Nonlinear Analysis: Real World Applications 31 (2016) 593–609.
LibreCat
| DOI
T. Black, Nonlinear Analysis: Real World Applications 31 (2016) 593–609.
2016 | Journal Article | LibreCat-ID: 37663
A multivariate version of the disk convolution
M. Rösler, M. Voit, Journal of Mathematical Analysis and Applications 435 (2016) 701–717.
LibreCat
| DOI
M. Rösler, M. Voit, Journal of Mathematical Analysis and Applications 435 (2016) 701–717.
2016 | Journal Article | LibreCat-ID: 45936
Error analysis for full discretizations of quasilinear parabolic problems on evolving surfaces
B. Kovács, C.A. Power Guerra, Numerical Methods for Partial Differential Equations 32 (2016) 1200–1231.
LibreCat
| DOI
B. Kovács, C.A. Power Guerra, Numerical Methods for Partial Differential Equations 32 (2016) 1200–1231.
2016 | Journal Article | LibreCat-ID: 45939
A-Stable Time Discretizations Preserve Maximal Parabolic Regularity
B. Kovács, B. Li, C. Lubich, SIAM Journal on Numerical Analysis 54 (2016) 3600–3624.
LibreCat
| DOI
B. Kovács, B. Li, C. Lubich, SIAM Journal on Numerical Analysis 54 (2016) 3600–3624.
2015 | Conference Paper | LibreCat-ID: 9949
Advantages of reliability-adaptive system operation for maintenance planning
T. Meyer, T. Kaul, W. Sextro, in: Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, 2015, pp. 940–945.
LibreCat
| DOI
T. Meyer, T. Kaul, W. Sextro, in: Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, 2015, pp. 940–945.
2015 | Journal Article | LibreCat-ID: 38037
A Central Limit Theorem for Random Walks on the Dual of a Compact Grassmannian
M. Rösler, M. Voit, Symmetry, Integrability and Geometry: Methods and Applications 11 (2015) 18pp.
LibreCat
| DOI
M. Rösler, M. Voit, Symmetry, Integrability and Geometry: Methods and Applications 11 (2015) 18pp.
2014 | Conference Paper | LibreCat-ID: 1135 |
SentiBA: Lexicon-based Sentiment Analysis on German Product Reviews
M. Dollmann, M. Geierhos, in: G. Faaß, J. Ruppenhofer (Eds.), Workshop Proceedings of the 12th Edition of the KONVENS Conference, Universitätsverlag Hildesheim, Hildesheim, Germany, 2014, pp. 185–191.
LibreCat
| Download (ext.)
M. Dollmann, M. Geierhos, in: G. Faaß, J. Ruppenhofer (Eds.), Workshop Proceedings of the 12th Edition of the KONVENS Conference, Universitätsverlag Hildesheim, Hildesheim, Germany, 2014, pp. 185–191.
2014 | Journal Article | LibreCat-ID: 4695
Comparing business intelligence and big data skills: A text mining study using job advertisements
S. Debortoli, O. Müller, J. vom Brocke, Business and Information Systems Engineering (2014) 289--300.
LibreCat
| DOI
S. Debortoli, O. Müller, J. vom Brocke, Business and Information Systems Engineering (2014) 289--300.
2014 | Journal Article | LibreCat-ID: 4696
How In-Memory Technology Can Create Business Value: Lessons Learned from Hilti
J. vom Brocke, S. Debortoli, N. Reuter, O. Müller, Communications of the Association for Information Systems (2014) 151--167.
LibreCat
| DOI
J. vom Brocke, S. Debortoli, N. Reuter, O. Müller, Communications of the Association for Information Systems (2014) 151--167.
2014 | Conference Paper | LibreCat-ID: 9868
Improving the bond quality of copper wire bonds using a friction model approach
S. Althoff, J. Neuhaus, T. Hemsel, W. Sextro, in: Electronic Components and Technology Conference (ECTC), 2014 IEEE 64th, 2014, pp. 1549–1555.
LibreCat
| DOI
S. Althoff, J. Neuhaus, T. Hemsel, W. Sextro, in: Electronic Components and Technology Conference (ECTC), 2014 IEEE 64th, 2014, pp. 1549–1555.
2014 | Conference Paper | LibreCat-ID: 9889
Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending
C. Sprock, W. Sextro, in: Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International, 2014, pp. 320–324.
LibreCat
| DOI
C. Sprock, W. Sextro, in: Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International, 2014, pp. 320–324.
2014 | Conference Paper | LibreCat-ID: 36918
Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems
M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.
LibreCat
| DOI
M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.