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
 

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

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

2023 | Journal Article | LibreCat-ID: 53320 LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53318 LibreCat | DOI
 

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
 

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
 

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
 

2023 | Journal Article | LibreCat-ID: 53342 LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53346 LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53540 LibreCat | DOI
 

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
 

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
 

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
 

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
 

2022 | Journal Article | LibreCat-ID: 30511 | OA
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.)
 

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
 

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
 

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
 

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
 

2022 | Journal Article | LibreCat-ID: 34677 LibreCat | DOI
 

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
 

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
 

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
 

2022 | Journal Article | LibreCat-ID: 47627 LibreCat | DOI | Download (ext.)
 

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
 

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
 

2022 | Journal Article | LibreCat-ID: 53327 LibreCat | DOI
 

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
 

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

2021 | Journal Article | LibreCat-ID: 20844 | OA
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
 

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
 

2021 | Journal Article | LibreCat-ID: 34818
Symmetries of analytic curves
M. Hanusch, Differential Geometry and Its Applications 74 (2021).
LibreCat | DOI
 

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
 

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
 

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
 

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
 

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
 

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
 

2021 | Journal Article | LibreCat-ID: 28696 | OA
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.)
 

2020 | Working Paper | LibreCat-ID: 17019 | OA
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.)
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

Filters and Search Terms

keyword="Analysis"

Search

Filter Publications

Display / Sort

Export / Embed