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
2024 | Journal Article | LibreCat-ID: 51374
@article{Hasler_Hinrichs_Siebert_2024, title={Non-Fock ground states in the translation-invariant Nelson model revisited non-perturbatively}, volume={286}, DOI={10.1016/j.jfa.2024.110319}, number={7110319}, journal={Journal of Functional Analysis}, publisher={Elsevier BV}, author={Hasler, David and Hinrichs, Benjamin and Siebert, Oliver}, year={2024} }
LibreCat
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 52235
@inproceedings{Khedkar_Bodden_2024, title={Toward an Android Static Analysis Approach for Data Protection}, booktitle={Proceedings of the 9th International Conference on Mobile Software Engineering and Systems}, author={Khedkar, Mugdha and Bodden, Eric}, year={2024} }
LibreCat
| Files available
| arXiv
2024 | Misc | LibreCat-ID: 52663
@book{Wickert_Schlichtig_Vogel_Winter_Mezini_Bodden_2024, title={Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability}, author={Wickert, Anna-Katharina and Schlichtig, Michael and Vogel, Marvin and Winter, Lukas and Mezini, Mira and Bodden, Eric}, year={2024} }
LibreCat
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 53300
@article{Brennecken_2024, title={Hankel transform, <mml:math xmlns:mml="http://www.w3.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}, volume={535}, DOI={10.1016/j.jmaa.2024.128125}, number={2128125}, journal={Journal of Mathematical Analysis and Applications}, publisher={Elsevier BV}, author={Brennecken, Dominik}, year={2024} }
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 34114
@article{Haake_Schneider_2024, title={Playing games with QCA: Measuring the explanatory power of single conditions with the Banzhaf index}, volume={30}, number={2}, journal={Journal of International Management}, publisher={Elsevier}, author={Haake, Claus-Jochen and Schneider, Martin}, year={2024} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 36522 | 
@inproceedings{Shivarpatna Venkatesh_Wang_Li_Bodden_2023, title={Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis}, DOI={10.48550/ARXIV.2301.04419}, publisher={IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering)}, author={Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric}, year={2023} }
LibreCat
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 43105
@article{Black_Fuest_Lankeit_Mizukami_2023, title={Possible points of blow-up in chemotaxis systems with spatially heterogeneous logistic source}, volume={73}, DOI={10.1016/j.nonrwa.2023.103868}, number={103868}, journal={Nonlinear Analysis: Real World Applications}, publisher={Elsevier BV}, author={Black, Tobias and Fuest, Mario and Lankeit, Johannes and Mizukami, Masaaki}, year={2023} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 44390
@inproceedings{Link_Malena_Gausemeier_Trächtler_2023, title={Simulation Environment for Traffic Control Systems Targeting Mixed Autonomy Traffic Scenarios}, DOI={10.5220/0011987600003479}, booktitle={Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems}, publisher={SCITEPRESS - Science and Technology Publications}, author={Link, Christopher and Malena, Kevin and Gausemeier, Sandra and Trächtler, Ansgar}, year={2023} }
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 46100
@article{Hinrichs_Janssen_Ziebell_2023, title={Super-Gaussian decay of exponentials: A sufficient condition}, volume={528}, DOI={10.1016/j.jmaa.2023.127558}, number={1127558}, journal={Journal of Mathematical Analysis and Applications}, publisher={Elsevier BV}, author={Hinrichs, Benjamin and Janssen, Daan W. and Ziebell, Jobst}, year={2023} }
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 29240 |
@article{Ober-Blöbaum_Offen_2023, title={Variational Learning of Euler–Lagrange Dynamics from Data}, volume={421}, DOI={10.1016/j.cam.2022.114780}, journal={Journal of Computational and Applied Mathematics}, publisher={Elsevier}, author={Ober-Blöbaum, Sina and Offen, Christian}, year={2023}, pages={114780} }
LibreCat
| Files available
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 29236 |
@article{McLachlan_Offen_2023, title={Backward error analysis for conjugate symplectic methods}, volume={15}, DOI={10.3934/jgm.2023005}, number={1}, journal={Journal of Geometric Mechanics}, publisher={AIMS Press}, author={McLachlan, Robert and Offen, Christian}, year={2023}, pages={98–115} }
LibreCat
| Files available
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 47065
@article{Soyka_Ullrich_Striewe_Schaper_2023, title={Comparison of Required Competences and Task Material in Modeling Education}, volume={18}, DOI={10.18417/EMISA.18.7}, number={7}, journal={Enterprise Modelling and Information Systems Architectures}, author={Soyka, Chantal and Ullrich, Meike and Striewe, Michael and Schaper, Niclas}, year={2023} }
LibreCat
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 47155 |
@article{Schönhärl_Schotters_Thiemeyer_2023, title={Editorial}, volume={88}, journal={Werkstatt Geschichte}, author={Schönhärl, Korinna and Schotters, Frederike and Thiemeyer, Guido}, year={2023} }
LibreCat
| Files available
| Download (ext.)
2023 | Special Issue | LibreCat-ID: 47154
@book{Schönhärl_Schotters_Thiemeyer_2023, title={Reden über Geld}, volume={88}, journal={Werkstatt Geschichte}, year={2023} }
LibreCat
| Files available
2023 | Conference Paper | LibreCat-ID: 47522
@inproceedings{Prager_Dietrich_Schneider_Schäpermeier_Bischl_Kerschke_Trautmann_Mersmann_2023, place={New York, NY, USA}, series={FOGA ’23}, title={Neural Networks as Black-Box Benchmark Functions Optimized for Exploratory Landscape Features}, DOI={10.1145/3594805.3607136}, booktitle={Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms}, publisher={Association for Computing Machinery}, author={Prager, Raphael Patrick and Dietrich, Konstantin and Schneider, Lennart and Schäpermeier, Lennart and Bischl, Bernd and Kerschke, Pascal and Trautmann, Heike and Mersmann, Olaf}, year={2023}, pages={129–139}, collection={FOGA ’23} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 44326
@inproceedings{Götte_Timmermann_2023, title={Approximating a Laplacian Prior for Joint State and Model Estimation within an UKF}, volume={56}, number={2}, booktitle={IFAC-PapersOnLine}, author={Götte, Ricarda-Samantha and Timmermann, Julia}, year={2023}, pages={869–874} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 48872
@inproceedings{Bossek_Sudholt_2023, place={New York, NY, USA}, series={GECCO’23}, title={Runtime Analysis of Quality Diversity Algorithms}, DOI={10.1145/3583131.3590383}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Sudholt, Dirk}, year={2023}, pages={1546–1554}, collection={GECCO’23} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 48886
@inproceedings{Marrero_Segredo_Hart_Bossek_Neumann_2023, place={New York, NY, USA}, series={GECCO’23}, title={Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space}, DOI={10.1145/3583131.3590504}, booktitle={Proceedings of the Genetic} and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Marrero, Alejandro and Segredo, Eduardo and Hart, Emma and Bossek, Jakob and Neumann, Aneta}, year={2023}, pages={312–320}, collection={GECCO’23} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 48871
@article{Bossek_Sudholt_2023, title={Do Additional Target Points Speed Up Evolutionary Algorithms?}, DOI={10.1016/j.tcs.2023.113757}, journal={Theoretical Computer Science}, author={Bossek, Jakob and Sudholt, Dirk}, year={2023}, pages={113757} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 37058
@inproceedings{Brennig_Müller_2023, title={More Isn’t Always Better – Measuring Customers’ Preferences for Digital Process Transparency}, booktitle={Hawaii International Conference on System Sciences}, author={Brennig, Katharina and Müller, Oliver}, year={2023} }
LibreCat
2023 | Conference Paper | LibreCat-ID: 44146
@inproceedings{Khedkar, title={Static Analysis for Android GDPR Compliance Assurance}, DOI={10.1109/ICSE-Companion58688.2023.00054}, booktitle={Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23)}, author={Khedkar, Mugdha} }
LibreCat
| Files available
| DOI
| arXiv
2023 | Book Chapter | LibreCat-ID: 52662
@inbook{Nachtigall_Schlichtig_Bodden_2023, place={Bonn}, title={Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale}, booktitle={Software Engineering 2023}, publisher={Gesellschaft für Informatik e.V.}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2023}, pages={95–96} }
LibreCat
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 52660
@inbook{Schlichtig_Sassalla_Narasimhan_Bodden_2023, place={Bonn}, title={Introducing FUM: A Framework for API Usage Constraint and Misuse Classification}, booktitle={Software Engineering 2023}, publisher={Gesellschaft für Informatik e.V.}, author={Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric}, year={2023}, pages={105–106} }
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 53320
@article{Winkler_2023, title={A quantitative strong parabolic maximum principle and application to a taxis-type migration–consumption model involving signal-dependent degenerate diffusion}, DOI={10.4171/aihpc/73}, journal={Annales de l’Institut Henri Poincaré C, Analyse non linéaire}, publisher={European Mathematical Society - EMS - Publishing House GmbH}, author={Winkler, Michael}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53318
@article{Li_Winkler_2023, title={Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities}, volume={103}, DOI={10.1080/00036811.2023.2173183}, number={1}, journal={Applicable Analysis}, publisher={Informa UK Limited}, author={Li, Genglin and Winkler, Michael}, year={2023}, pages={45–64} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53324
@article{Ahn_Winkler_2023, title={A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system}, volume={62}, DOI={10.1007/s00526-023-02523-5}, number={6180}, journal={Calculus of Variations and Partial Differential Equations}, publisher={Springer Science and Business Media LLC}, author={Ahn, Jaewook and Winkler, Michael}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53329
@article{Tao_Winkler_2023, title={Analysis of a chemotaxis-SIS epidemic model with unbounded infection force}, volume={71}, DOI={10.1016/j.nonrwa.2022.103820}, number={103820}, journal={Nonlinear Analysis: Real World Applications}, publisher={Elsevier BV}, author={Tao, Youshan and Winkler, Michael}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53341
@article{Winkler_2023, title={Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity}, volume={9}, DOI={10.1007/s41808-023-00230-y}, number={2}, journal={Journal of Elliptic and Parabolic Equations}, publisher={Springer Science and Business Media LLC}, author={Winkler, Michael}, year={2023}, pages={919–959} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53342
@article{Winkler_Yokota_2023, title={Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems}, volume={374}, DOI={10.1016/j.jde.2023.07.029}, journal={Journal of Differential Equations}, publisher={Elsevier BV}, author={Winkler, Michael and Yokota, Tomomi}, year={2023}, pages={1–28} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53346
@article{Winkler_2023, title={Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing}, volume={28}, DOI={10.57262/ade028-1112-921}, number={11/12}, journal={Advances in Differential Equations}, publisher={Khayyam Publishing, Inc}, author={Winkler, Michael}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53540
@article{Papageorgiou_2023, title={Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds}, DOI={10.1007/s11118-023-10109-1}, journal={Potential Analysis}, publisher={Springer Science and Business Media LLC}, author={Papageorgiou, Efthymia}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53539
@article{Papageorgiou_2023, title={Asymptotics for the infinite Brownian loop on noncompact symmetric spaces}, DOI={10.1007/s41808-023-00250-8}, journal={Journal of Elliptic and Parabolic Equations}, publisher={Springer Science and Business Media LLC}, author={Papageorgiou, Efthymia}, year={2023} }
LibreCat
| DOI
2022 | Misc | LibreCat-ID: 32409
@book{Schlichtig_Wickert_Krüger_Bodden_Mezini_2022, title={CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite}, DOI={10.48550/ARXIV.2204.06447}, author={Schlichtig, Michael and Wickert, Anna-Katharina and Krüger, Stefan and Bodden, Eric and Mezini, Mira}, year={2022} }
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
@inproceedings{Nachtigall_Schlichtig_Bodden_2022, title={A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools}, DOI={10.1145/3533767}, booktitle={Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis}, publisher={ACM}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2022}, pages={532–543} }
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
@inproceedings{Schlichtig_Sassalla_Narasimhan_Bodden_2022, title={FUM - A Framework for API Usage constraint and Misuse Classification}, DOI={https://doi.org/10.1109/SANER53432.2022.00085}, booktitle={2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric}, year={2022}, pages={673–684} }
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 30511 |
@article{Schubert_Gazzillo_Patterson_Braha_Schiebel_Hermann_Wei_Bodden_2022, title={Static data-flow analysis for software product lines in C}, volume={29}, DOI={10.1007/s10515-022-00333-1}, number={135}, journal={Automated Software Engineering}, publisher={Springer Science and Business Media LLC}, author={Schubert, Philipp and Gazzillo, Paul and Patterson, Zach and Braha, Julian and Schiebel, Fabian and Hermann, Ben and Wei, Shiyi and Bodden, Eric}, year={2022} }
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 31054
@inproceedings{Kersting_Bäumer_2022, place={Barcelona, Spain}, title={Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis}, booktitle={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}, publisher={IARIA}, author={Kersting, Joschka and Bäumer, Frederik Simon}, editor={Kersting, Joschka}, year={2022}, pages={5–9} }
LibreCat
| Files available
2022 | Journal Article | LibreCat-ID: 32865
@article{Herberg_Kuckling_2022, title={Branching analysis of β-cyclodextrin-based poly(N-isopropylacrylamide) star polymers using triple detection SEC}, DOI={10.1080/1023666x.2022.2110133}, journal={International Journal of Polymer Analysis and Characterization}, publisher={Informa UK Limited}, author={Herberg, Artjom and Kuckling, Dirk}, year={2022}, pages={1–19} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34075
@article{Penner_Caylak_Mahnken_2022, title={A polymorphic uncertainty model for the curing process of transversely fiber-reinforced plastics}, volume={10}, DOI={10.2140/memocs.2022.10.21}, number={1}, journal={Mathematics and Mechanics of Complex Systems}, publisher={Mathematical Sciences Publishers}, author={Penner, Eduard and Caylak, Ismail and Mahnken, Rolf}, year={2022}, pages={21–50} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31691
@article{Gräßler_Hesse_2022, title={Approach to Sustainability-Based Assessment of Solution Alternatives in Early Stages of Product Engineering}, volume={2}, DOI={10.1017/pds.2022.102}, journal={Proceedings of the Design Society}, publisher={Cambridge University Press (CUP)}, author={Gräßler, Iris and Hesse, Philipp}, year={2022}, pages={1001–1010} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34677
@article{Black_Wu_2022, title={Prescribed signal concentration on the boundary: eventual smoothness in a chemotaxis-Navier–Stokes system with logistic proliferation}, volume={61}, DOI={10.1007/s00526-022-02201-y}, number={396}, journal={Calculus of Variations and Partial Differential Equations}, publisher={Springer Science and Business Media LLC}, author={Black, Tobias and Wu, Chunyan}, year={2022} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 48878
@article{Clever_Pohl_Bossek_Kerschke_Trautmann_2022, title={Process-Oriented Stream Classification Pipeline: A Literature Review}, volume={12}, DOI={10.3390/app12189094}, number={18}, journal={Applied Sciences}, publisher={{Multidisciplinary Digital Publishing Institute}}, author={Clever, Lena and Pohl, Janina Susanne and Bossek, Jakob and Kerschke, Pascal and Trautmann, Heike}, year={2022}, pages={9094} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 50025
@article{Feng_Gries_Letmathe_Schulz_2022, title={The smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series}, volume={14}, DOI={10.32614/rj-2022-017}, number={1}, journal={The R Journal}, publisher={The R Foundation}, author={Feng, Yuanhua and Gries, Thomas and Letmathe, Sebastian and Schulz, Dominik}, year={2022}, pages={182–195} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33666
@article{Feng_Gries_Letmathe_Schulz_2022, title={The smoots Package in R for Semiparametric Modeling of Trend Stationary Time Series}, volume={14}, DOI={10.32614/rj-2022-017}, number={1}, journal={The R Journal}, publisher={The R Foundation}, author={Feng, Yuanhua and Gries, Thomas and Letmathe, Sebastian and Schulz, Dominik}, year={2022}, pages={182–195} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 47627
@article{Mordhorst_Jenert_2022, title={Curricular integration of academic and vocational education: a theory-based empirical typology of dual study programmes in Germany}, volume={85}, DOI={10.1007/s10734-022-00889-7}, number={6}, journal={Higher Education}, publisher={Springer Science and Business Media LLC}, author={Mordhorst, Lisa and Jenert, Tobias}, year={2022}, pages={1257–1279} }
LibreCat
| DOI
| Download (ext.)
2022 | Journal Article | LibreCat-ID: 45956
@article{Bohn_Feischl_Kovács_2022, title={FEM-BEM Coupling for the Maxwell–Landau–Lifshitz–Gilbert Equations via Convolution Quadrature: Weak Form and Numerical Approximation}, volume={23}, DOI={10.1515/cmam-2022-0145}, number={1}, journal={Computational Methods in Applied Mathematics}, publisher={Walter de Gruyter GmbH}, author={Bohn, Jan and Feischl, Michael and Kovács, Balázs}, year={2022}, pages={19–48} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53323
@article{Winkler_2022, title={Slow Grow-up in a Quasilinear Keller–Segel System}, DOI={10.1007/s10884-022-10167-w}, journal={Journal of Dynamics and Differential Equations}, publisher={Springer Science and Business Media LLC}, author={Winkler, Michael}, year={2022} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53327
@article{Tao_Winkler_2022, title={Global solutions to a Keller-Segel-consumption system involving singularly signal-dependent motilities in domains of arbitrary dimension}, volume={343}, DOI={10.1016/j.jde.2022.10.022}, journal={Journal of Differential Equations}, publisher={Elsevier BV}, author={Tao, Youshan and Winkler, Michael}, year={2022}, pages={390–418} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 53325
@article{Desvillettes_Laurençot_Trescases_Winkler_2022, title={Weak solutions to triangular cross diffusion systems modeling chemotaxis with local sensing}, volume={226}, DOI={10.1016/j.na.2022.113153}, number={113153}, journal={Nonlinear Analysis}, publisher={Elsevier BV}, author={Desvillettes, Laurent and Laurençot, Philippe and Trescases, Ariane and Winkler, Michael}, year={2022} }
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 23388
@inproceedings{Kummita_Piskachev_Spaeth_Bodden_2021, title={Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON}, DOI={10.1109/ICCQ51190.2021.9392986}, booktitle={Proceedings of the 2021 International Conference on Code Quality (ICCQ)}, author={Kummita, Sriteja and Piskachev, Goran and Spaeth, Johannes and Bodden, Eric}, year={2021} }
LibreCat
| DOI
| Download (ext.)