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
Khedkar, Mugdha. “Static Analysis for Android GDPR Compliance Assurance.” In Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23), n.d. https://doi.org/10.1109/ICSE-Companion58688.2023.00054.
LibreCat
| Files available
| DOI
| arXiv
2023 | Book Chapter | LibreCat-ID: 52662
Nachtigall, Marcus, Michael Schlichtig, and Eric Bodden. “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale.” In Software Engineering 2023, 95–96. Bonn: Gesellschaft für Informatik e.V., 2023.
LibreCat
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 52660
Schlichtig, Michael, Steffen Sassalla, Krishna Narasimhan, and Eric Bodden. “Introducing FUM: A Framework for API Usage Constraint and Misuse Classification.” In Software Engineering 2023, 105–106. Bonn: Gesellschaft für Informatik e.V., 2023.
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 53320
Winkler, Michael. “A Quantitative Strong Parabolic Maximum Principle and Application to a Taxis-Type Migration–Consumption Model Involving Signal-Dependent Degenerate Diffusion.” Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire, 2023. https://doi.org/10.4171/aihpc/73.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53318
Li, Genglin, and Michael Winkler. “Refined Regularity Analysis for a Keller-Segel-Consumption System Involving Signal-Dependent Motilities.” Applicable Analysis 103, no. 1 (2023): 45–64. https://doi.org/10.1080/00036811.2023.2173183.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53324
Ahn, Jaewook, and Michael Winkler. “A Critical Exponent for Blow-up in a Two-Dimensional Chemotaxis-Consumption System.” Calculus of Variations and Partial Differential Equations 62, no. 6 (2023). https://doi.org/10.1007/s00526-023-02523-5.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53329
Tao, Youshan, and Michael Winkler. “Analysis of a Chemotaxis-SIS Epidemic Model with Unbounded Infection Force.” Nonlinear Analysis: Real World Applications 71 (2023). https://doi.org/10.1016/j.nonrwa.2022.103820.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53341
Winkler, Michael. “Solutions to the Keller–Segel System with Non-Integrable Behavior at Spatial Infinity.” Journal of Elliptic and Parabolic Equations 9, no. 2 (2023): 919–59. https://doi.org/10.1007/s41808-023-00230-y.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53342
Winkler, Michael, and Tomomi Yokota. “Avoiding Critical Mass Phenomena by Arbitrarily Mild Saturation of Cross-Diffusive Fluxes in Two-Dimensional Keller-Segel-Navier-Stokes Systems.” Journal of Differential Equations 374 (2023): 1–28. https://doi.org/10.1016/j.jde.2023.07.029.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53346
Winkler, Michael. “Absence of Collapse into Persistent Dirac-Type Singularities in a Keller-Segel-Navier-Stokes System Involving Local Sensing.” Advances in Differential Equations 28, no. 11/12 (2023). https://doi.org/10.57262/ade028-1112-921.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53540
Papageorgiou, Efthymia. “Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds.” Potential Analysis, 2023. https://doi.org/10.1007/s11118-023-10109-1.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53539
Papageorgiou, Efthymia. “Asymptotics for the Infinite Brownian Loop on Noncompact Symmetric Spaces.” Journal of Elliptic and Parabolic Equations, 2023. https://doi.org/10.1007/s41808-023-00250-8.
LibreCat
| DOI
2022 | Misc | LibreCat-ID: 32409
Schlichtig, Michael, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, and Mira Mezini. CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022. https://doi.org/10.48550/ARXIV.2204.06447.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall, Marcus, Michael Schlichtig, and Eric Bodden. “A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools.” In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 532–43. ACM, 2022. https://doi.org/10.1145/3533767.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig, Michael, Steffen Sassalla, Krishna Narasimhan, and Eric Bodden. “FUM - A Framework for API Usage Constraint and Misuse Classification.” In 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 673–84, 2022. https://doi.org/10.1109/SANER53432.2022.00085.
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 30511 | 
Schubert, Philipp, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, and Eric Bodden. “Static Data-Flow Analysis for Software Product Lines in C.” Automated Software Engineering 29, no. 1 (2022). https://doi.org/10.1007/s10515-022-00333-1.
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 31054
Kersting, Joschka, and Frederik Simon Bäumer. “Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis.” In 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, edited by Joschka Kersting, 5–9. Barcelona, Spain: IARIA, 2022.
LibreCat
| Files available
2022 | Journal Article | LibreCat-ID: 32865
Herberg, Artjom, and Dirk Kuckling. “Branching Analysis of β-Cyclodextrin-Based Poly(N-Isopropylacrylamide) Star Polymers Using Triple Detection SEC.” International Journal of Polymer Analysis and Characterization, 2022, 1–19. https://doi.org/10.1080/1023666x.2022.2110133.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34075
Penner, Eduard, Ismail Caylak, and Rolf Mahnken. “A Polymorphic Uncertainty Model for the Curing Process of Transversely Fiber-Reinforced Plastics.” Mathematics and Mechanics of Complex Systems 10, no. 1 (2022): 21–50. https://doi.org/10.2140/memocs.2022.10.21.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31691
Gräßler, Iris, and Philipp Hesse. “Approach to Sustainability-Based Assessment of Solution Alternatives in Early Stages of Product Engineering.” Proceedings of the Design Society 2 (2022): 1001–10. https://doi.org/10.1017/pds.2022.102.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34677
Black, Tobias, and Chunyan Wu. “Prescribed Signal Concentration on the Boundary: Eventual Smoothness in a Chemotaxis-Navier–Stokes System with Logistic Proliferation.” Calculus of Variations and Partial Differential Equations 61, no. 3 (2022). https://doi.org/10.1007/s00526-022-02201-y.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 48878
Clever, Lena, Janina Susanne Pohl, Jakob Bossek, Pascal Kerschke, and Heike Trautmann. “Process-Oriented Stream Classification Pipeline: A Literature Review.” Applied Sciences 12, no. 18 (2022): 9094. https://doi.org/10.3390/app12189094.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 50025
Feng, Yuanhua, Thomas Gries, Sebastian Letmathe, and Dominik Schulz. “The Smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series.” The R Journal 14, no. 1 (2022): 182–95. https://doi.org/10.32614/rj-2022-017.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33666
Feng, Yuanhua, Thomas Gries, Sebastian Letmathe, and Dominik Schulz. “The Smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series.” The R Journal 14, no. 1 (2022): 182–95. https://doi.org/10.32614/rj-2022-017.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 47627
Mordhorst, Lisa, and Tobias Jenert. “Curricular Integration of Academic and Vocational Education: A Theory-Based Empirical Typology of Dual Study Programmes in Germany.” Higher Education 85, no. 6 (2022): 1257–79. https://doi.org/10.1007/s10734-022-00889-7.
LibreCat
| DOI
| Download (ext.)
2022 | Journal Article | LibreCat-ID: 45956
Bohn, Jan, Michael Feischl, and Balázs Kovács. “FEM-BEM Coupling for the Maxwell–Landau–Lifshitz–Gilbert Equations via Convolution Quadrature: Weak Form and Numerical Approximation.” Computational Methods in Applied Mathematics 23, no. 1 (2022): 19–48. https://doi.org/10.1515/cmam-2022-0145.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53323
Winkler, Michael. “Slow Grow-up in a Quasilinear Keller–Segel System.” Journal of Dynamics and Differential Equations, 2022. https://doi.org/10.1007/s10884-022-10167-w.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53327
Tao, Youshan, and Michael Winkler. “Global Solutions to a Keller-Segel-Consumption System Involving Singularly Signal-Dependent Motilities in Domains of Arbitrary Dimension.” Journal of Differential Equations 343 (2022): 390–418. https://doi.org/10.1016/j.jde.2022.10.022.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53325
Desvillettes, Laurent, Philippe Laurençot, Ariane Trescases, and Michael Winkler. “Weak Solutions to Triangular Cross Diffusion Systems Modeling Chemotaxis with Local Sensing.” Nonlinear Analysis 226 (2022). https://doi.org/10.1016/j.na.2022.113153.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 23388
Kummita, Sriteja, Goran Piskachev, Johannes Spaeth, and Eric Bodden. “Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON.” In Proceedings of the 2021 International Conference on Code Quality (ICCQ), 2021. https://doi.org/10.1109/ICCQ51190.2021.9392986.
LibreCat
| DOI
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 20844 |
Wagner, Gerit, Julian Prester, Maria Roche, Guido Schryen, Alexander Benlian, Guy Paré, and Mathieu Templier. “Which Factors Affect the Scientific Impact of Review Papers in IS Research? A Scientometric Study.” Information & Management 58, no. 3 (2021).
LibreCat
| Files available
2021 | Journal Article | LibreCat-ID: 33649
Kessler, Jan, Francesco Calcavecchia, and Thomas Kühne. “Artificial Neural Networks as Trial Wave Functions for Quantum Monte Carlo.” Advanced Theory and Simulations 4, no. 4 (2021). https://doi.org/10.1002/adts.202000269.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 34818
Hanusch, Maximilian. “Symmetries of Analytic Curves.” Differential Geometry and Its Applications 74 (2021). https://doi.org/10.1016/j.difgeo.2020.101687.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 27841
Jakobs, Marie-Christine, Felix Pauck, Marco Platzner, Heike Wehrheim, and Tobias Wiersema. “Software/Hardware Co-Verification for Custom Instruction Set Processors.” IEEE Access, 2021. https://doi.org/10.1109/ACCESS.2021.3131213.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 24280
Gräßler, Iris, and Dominik Wiechel. “Systematische Bewertung von Auswirkungsanalysen Des Engineering Change Managements.” In DS 111: Proceedings of the 32nd Symposium Design for X, edited by Dieter Krause, Kristin Paetzold, and Sandro Wartzack, 2021. https://doi.org/10.35199/dfx2021.12.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 46318
Grimme, Christian, Pascal Kerschke, Pelin Aspar, Heike Trautmann, Mike Preuss, André H. Deutz, Hao Wang, and Michael Emmerich. “Peeking beyond Peaks: Challenges and Research Potentials of Continuous Multimodal Multi-Objective Optimization.” Computers & Operations Research 136 (2021): 105489. https://doi.org/10.1016/j.cor.2021.105489.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 48860
Bossek, Jakob, and Frank Neumann. “Evolutionary Diversity Optimization and the Minimum Spanning Tree Problem.” In Proceedings of the Genetic and Evolutionary Computation Conference, 198–206. GECCO ’21. New York, NY, USA: Association for Computing Machinery, 2021. https://doi.org/10.1145/3449639.3459363.
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 48862
Bossek, Jakob, and Dirk Sudholt. “Do Additional Optima Speed up Evolutionary Algorithms?” In Proceedings of the 16th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 1–11. New York, NY, USA: Association for Computing Machinery, 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 48854
Bossek, Jakob, Frank Neumann, Pan Peng, and Dirk Sudholt. “Time Complexity Analysis of Randomized Search Heuristics for the Dynamic Graph Coloring Problem.” Algorithmica 83, no. 10 (2021): 3148–3179. https://doi.org/10.1007/s00453-021-00838-3.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 28696 |
Scharlau, Ingrid, Andrea Karsten, and Katharina Rohlfing. “Building, Emptying out, or Dreaming? Action Structures and Space in Undergraduates’ Metaphors of Academic Writing.” Journal of Writing Research 12, no. 3 (2021): 493–529. https://doi.org/10.17239/jowr-2021.12.03.01.
LibreCat
| DOI
| Download (ext.)
2020 | Working Paper | LibreCat-ID: 17019 |
Schryen, Guido, Gerit Wagner, and Alexander 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
Kersting, Joschka, and Michaela Geierhos. “Aspect Phrase Extraction in Sentiment Analysis with Deep Learning.” 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), 391--400. Setúbal, Portugal: SCITEPRESS, 2020.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 15256
Kersting, Joschka, and Michaela Geierhos. “What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers.” In Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods, 263--272. Setúbal, Portugal: SCITEPRESS, 2020.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 20678
Bielak, Christian Roman, Max Böhnke, Robert Beck, Mathias Bobbert, and Gerson Meschut. “Numerical Analysis of the Robustness of Clinching Process Considering the Pre-Forming of the Parts .” Journal of Advanced Joining Processes. , 2020. https://doi.org/10.1016/j.jajp.2020.100038.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 33263
Nijholt, Eddie, Bob W. Rink, and Sören Schwenker. “Quiver Representations and Dimension Reduction in Dynamical Systems.” SIAM Journal on Applied Dynamical Systems 19, no. 4 (2020): 2428–68. https://doi.org/10.1137/20m1345670.
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 37660
Rösler, Margit. “Riesz Distributions and Laplace Transform in the Dunkl Setting of Type A.” Journal of Functional Analysis 278, no. 12 (2020). https://doi.org/10.1016/j.jfa.2020.108506.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 48847
Bossek, Jakob, Frank Neumann, Pan Peng, and Dirk Sudholt. “More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization.” In Proceedings of the Genetic and Evolutionary Computation Conference, 1277–1285. GECCO ’20. New York, NY, USA: Association for Computing Machinery, 2020. https://doi.org/10.1145/3377930.3390174.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 48851
Bossek, Jakob, Katrin Casel, Pascal Kerschke, and Frank Neumann. “The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics.” In Proceedings of the Genetic and Evolutionary Computation Conference, 1286–1294. GECCO ’20. New York, NY, USA: Association for Computing Machinery, 2020. https://doi.org/10.1145/3377930.3390243.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 48895
Roostapour, Vahid, Jakob Bossek, and Frank Neumann. “Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem.” In Proceedings of the 2020 Genetic and Evolutionary Computation Conference, 551–559. {GECCO} ’20. New York, NY, USA: Association for Computing Machinery, 2020. https://doi.org/10.1145/3377930.3390168.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 53322
Winkler, Michael. “Approaching Critical Decay in a Strongly Degenerate Parabolic Equation.” Journal of Dynamics and Differential Equations 36, no. S1 (2020): 3–23. https://doi.org/10.1007/s10884-020-09892-x.
LibreCat
| DOI