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
@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.)
2021 | Journal Article | LibreCat-ID: 20844 |
@article{Wagner_Prester_Roche_Schryen_Benlian_Paré_Templier_2021, title={Which Factors Affect the Scientific Impact of Review Papers in IS Research? A Scientometric Study}, volume={58}, number={3103427}, journal={Information & Management}, author={Wagner, Gerit and Prester, Julian and Roche, Maria and Schryen, Guido and Benlian, Alexander and Paré, Guy and Templier, Mathieu}, year={2021} }
LibreCat
| Files available
2021 | Journal Article | LibreCat-ID: 33649
@article{Kessler_Calcavecchia_Kühne_2021, title={Artificial Neural Networks as Trial Wave Functions for Quantum Monte Carlo}, volume={4}, DOI={10.1002/adts.202000269}, number={42000269}, journal={Advanced Theory and Simulations}, publisher={Wiley}, author={Kessler, Jan and Calcavecchia, Francesco and Kühne, Thomas}, year={2021} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 34818
@article{Hanusch_2021, title={Symmetries of analytic curves}, volume={74}, DOI={10.1016/j.difgeo.2020.101687}, number={101687}, journal={Differential Geometry and its Applications}, publisher={Elsevier BV}, author={Hanusch, Maximilian}, year={2021} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 27841
@article{Jakobs_Pauck_Platzner_Wehrheim_Wiersema_2021, title={Software/Hardware Co-Verification for Custom Instruction Set Processors}, DOI={10.1109/ACCESS.2021.3131213}, journal={IEEE Access}, publisher={IEEE}, author={Jakobs, Marie-Christine and Pauck, Felix and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2021} }
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 24280
@inproceedings{Gräßler_Wiechel_2021, title={Systematische Bewertung von Auswirkungsanalysen des Engineering Change Managements}, DOI={10.35199/dfx2021.12}, booktitle={DS 111: Proceedings of the 32nd Symposium Design for X}, author={Gräßler, Iris and Wiechel, Dominik}, editor={Krause, Dieter and Paetzold, Kristin and Wartzack, Sandro}, year={2021} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 46318
@article{Grimme_Kerschke_Aspar_Trautmann_Preuss_Deutz_Wang_Emmerich_2021, title={Peeking beyond peaks: Challenges and research potentials of continuous multimodal multi-objective optimization}, volume={136}, DOI={https://doi.org/10.1016/j.cor.2021.105489}, journal={Computers & Operations Research}, author={Grimme, Christian and Kerschke, Pascal and Aspar, Pelin and Trautmann, Heike and Preuss, Mike and Deutz, André H. and Wang, Hao and Emmerich, Michael}, year={2021}, pages={105489} }
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 48860
@inproceedings{Bossek_Neumann_2021, place={New York, NY, USA}, series={GECCO ’21}, title={Evolutionary Diversity Optimization and the Minimum Spanning Tree Problem}, DOI={10.1145/3449639.3459363}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Neumann, Frank}, year={2021}, pages={198–206}, collection={GECCO ’21} }
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 48862
@inbook{Bossek_Sudholt_2021, place={New York, NY, USA}, title={Do Additional Optima Speed up Evolutionary Algorithms?}, booktitle={Proceedings of the 16th ACM/SIGEVO Conference on Foundations of Genetic Algorithms}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Sudholt, Dirk}, year={2021}, pages={1–11} }
LibreCat
2021 | Journal Article | LibreCat-ID: 48854
@article{Bossek_Neumann_Peng_Sudholt_2021, title={Time Complexity Analysis of Randomized Search Heuristics for the Dynamic Graph Coloring Problem}, volume={83}, DOI={10.1007/s00453-021-00838-3}, number={10}, journal={Algorithmica}, author={Bossek, Jakob and Neumann, Frank and Peng, Pan and Sudholt, Dirk}, year={2021}, pages={3148–3179} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 28696 |
@article{Scharlau_Karsten_Rohlfing_2021, title={Building, emptying out, or dreaming? Action structures and space in undergraduates’ metaphors of academic writing}, volume={12}, DOI={10.17239/jowr-2021.12.03.01}, number={3}, journal={Journal of Writing Research}, author={Scharlau, Ingrid and Karsten, Andrea and Rohlfing, Katharina}, year={2021}, pages={493–529} }
LibreCat
| DOI
| Download (ext.)
2020 | Working Paper | LibreCat-ID: 17019 |
@book{Schryen_Wagner_Benlian_2020, title={Distinguishing Knowledge Impact from Citation Impact: A Methodology for Analysing Knowledge Impact for the Literature Review Genre}, author={Schryen, Guido and Wagner, Gerit and Benlian, Alexander}, year={2020} }
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 15580
@inproceedings{Kersting_Geierhos_2020, place={Setúbal, Portugal}, title={Aspect Phrase Extraction in Sentiment Analysis with Deep Learning}, booktitle={Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) -- Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020)}, publisher={SCITEPRESS}, author={Kersting, Joschka and Geierhos, Michaela}, year={2020}, pages={391--400} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 15256
@inproceedings{Kersting_Geierhos_2020, place={Setúbal, Portugal}, title={What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers}, booktitle={Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods}, publisher={SCITEPRESS}, author={Kersting, Joschka and Geierhos, Michaela}, year={2020}, pages={263--272} }
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 20678
@article{Bielak_Böhnke_Beck_Bobbert_Meschut_2020, title={Numerical analysis of the robustness of clinching process considering the pre-forming of the parts }, DOI={https://doi.org/10.1016/j.jajp.2020.100038}, journal={Journal of Advanced Joining Processes. }, publisher={Elsevier}, author={Bielak, Christian Roman and Böhnke, Max and Beck, Robert and Bobbert, Mathias and Meschut, Gerson}, year={2020} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 33263
@article{Nijholt_Rink_Schwenker_2020, title={Quiver Representations and Dimension Reduction in Dynamical Systems}, volume={19}, DOI={10.1137/20m1345670}, number={4}, journal={SIAM Journal on Applied Dynamical Systems}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Nijholt, Eddie and Rink, Bob W. and Schwenker, Sören}, year={2020}, pages={2428–2468} }
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 37660
@article{Rösler_2020, title={Riesz distributions and Laplace transform in the Dunkl setting of type A}, volume={278}, DOI={10.1016/j.jfa.2020.108506}, number={12108506}, journal={Journal of Functional Analysis}, publisher={Elsevier BV}, author={Rösler, Margit}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 48847
@inproceedings{Bossek_Neumann_Peng_Sudholt_2020, place={New York, NY, USA}, series={GECCO ’20}, title={More Effective Randomized Search Heuristics for Graph Coloring through Dynamic Optimization}, DOI={10.1145/3377930.3390174}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Neumann, Frank and Peng, Pan and Sudholt, Dirk}, year={2020}, pages={1277–1285}, collection={GECCO ’20} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 48851
@inproceedings{Bossek_Casel_Kerschke_Neumann_2020, place={New York, NY, USA}, series={GECCO ’20}, title={The Node Weight Dependent Traveling Salesperson Problem: Approximation Algorithms and Randomized Search Heuristics}, DOI={10.1145/3377930.3390243}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Casel, Katrin and Kerschke, Pascal and Neumann, Frank}, year={2020}, pages={1286–1294}, collection={GECCO ’20} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 48895
@inproceedings{Roostapour_Bossek_Neumann_2020, place={New York, NY, USA}, series={{GECCO} ’20}, title={Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi-Objective Minimum Spanning Tree Problem}, DOI={10.1145/3377930.3390168}, booktitle={Proceedings of the 2020 Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Roostapour, Vahid and Bossek, Jakob and Neumann, Frank}, year={2020}, pages={551–559}, collection={{GECCO} ’20} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 53322
@article{Winkler_2020, title={Approaching Critical Decay in a Strongly Degenerate Parabolic Equation}, volume={36}, DOI={10.1007/s10884-020-09892-x}, number={S1}, journal={Journal of Dynamics and Differential Equations}, publisher={Springer Science and Business Media LLC}, author={Winkler, Michael}, year={2020}, pages={3–23} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 20533
@article{Krüger_Späth_Ali_Bodden_Mezini_2019, title={CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}, DOI={10.1109/TSE.2019.2948910}, journal={IEEE Transactions on Software Engineering}, author={Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2019}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2019 | Report | LibreCat-ID: 23389
@book{Kummita_Piskachev_2019, title={Integration of the Static Analysis Results Interchange Format in CogniCrypt}, author={Kummita, Sriteja and Piskachev, Goran}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 9613
@inproceedings{Kersting_Bäumer_Geierhos_2019, place={Setúbal, Portugal}, title={In Reviews We Trust: But Should We? Experiences with Physician Review Websites}, booktitle={Proceedings of the 4th International Conference on Internet of Things, Big Data and Security}, publisher={SCITEPRESS}, author={Kersting, Joschka and Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Ramachandran, Muthu and Walters, Robert and Wills, Gary and Méndez Muñoz, Víctor and Chang, VictorEditors}, year={2019}, pages={147–155} }
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15838
@inproceedings{Pauck_Zhang_2019, title={Android App Merging for Benchmark Speed-Up and Analysis Lift-Up}, DOI={10.1109/asew.2019.00019}, booktitle={2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)}, author={Pauck, Felix and Zhang, Shikun}, year={2019} }
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 34672
@article{Black_2019, title={Global generalized solutions to a parabolic-elliptic Keller-Segel system with singular sensitivity}, volume={13}, DOI={10.3934/dcdss.2020007}, number={2}, journal={Discrete & Continuous Dynamical Systems - S}, publisher={American Institute of Mathematical Sciences (AIMS)}, author={Black, Tobias}, year={2019}, pages={119–137} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 34671
@article{Black_Lankeit_Mizukami_2019, title={Stabilization in the Keller–Segel system with signal-dependent sensitivity}, volume={99}, DOI={10.1080/00036811.2019.1585534}, number={16}, journal={Applicable Analysis}, publisher={Informa UK Limited}, author={Black, Tobias and Lankeit, Johannes and Mizukami, Masaaki}, year={2019}, pages={2877–2891} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 28687 |
@article{Scharlau_Körber_Karsten_2019, title={Plunging into a world? A novel approach to undergraduates’ metaphors of reading}, volume={9}, DOI={10.14786/flr.v7i4.559}, number={4}, journal={Frontline Learning Research}, author={Scharlau, Ingrid and Körber, Miriam and Karsten, Andrea}, year={2019}, pages={25–57} }
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 35398
@article{Tang_Schmidt_2019, title={Estimation of Nematic Order Parameters via Haller Analysis of 1H NMR Spectra of Liquid Crystals }, volume={36}, DOI={10.11938/cjmr20182685 }, journal={Chinese Journal of Magnetic Resonance}, author={Tang, Ming-xue and Schmidt, Claudia}, year={2019}, pages={138–147} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10108
@inproceedings{Pauck_Wehrheim_2019, title={Together Strong: Cooperative Android App Analysis}, DOI={10.1145/3338906.3338915}, booktitle={Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, author={Pauck, Felix and Wehrheim, Heike}, year={2019}, pages={374–384} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 48843
@inproceedings{Bossek_Neumann_Peng_Sudholt_2019, place={New York, NY, USA}, series={GECCO ’19}, title={Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring}, DOI={10.1145/3321707.3321792}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Neumann, Frank and Peng, Pan and Sudholt, Dirk}, year={2019}, pages={1443–1451}, collection={GECCO ’19} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 48870
@inproceedings{Bossek_Sudholt_2019, place={New York, NY, USA}, series={FOGA ’19}, title={Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem}, DOI={10.1145/3299904.3340311}, booktitle={Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms}, publisher={Association for Computing Machinery}, author={Bossek, Jakob and Sudholt, Dirk}, year={2019}, pages={102–115}, collection={FOGA ’19} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20543
@article{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={Debugging Static Analysis}, DOI={10.1109/TSE.2018.2868349}, journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}, year={2018}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20547
@inproceedings{Nguyen Quang Do_Bodden_2018, place={New York, NY, USA}, series={ESEC/FSE 2018}, title={Gamifying Static Analysis}, DOI={10.1145/3236024.3264830}, booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, publisher={ACM}, author={Nguyen Quang Do, Lisa and Bodden, Eric}, year={2018}, pages={714–718}, collection={ESEC/FSE 2018} }
LibreCat
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 34664
@article{Black_2018, title={Global Very Weak Solutions to a Chemotaxis-Fluid System with Nonlinear Diffusion}, volume={50}, DOI={10.1137/17m1159488}, number={4}, journal={SIAM Journal on Mathematical Analysis}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Black, Tobias}, year={2018}, pages={4087–4116} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 34666
@article{Black_2018, title={Eventual smoothness of generalized solutions to a singular chemotaxis-Stokes system in 2D}, volume={265}, DOI={10.1016/j.jde.2018.04.035}, number={5}, journal={Journal of Differential Equations}, publisher={Elsevier BV}, author={Black, Tobias}, year={2018}, pages={2296–2339} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 34667
@article{Black_2018, title={Global solvability of chemotaxis–fluid systems with nonlinear diffusion and matrix-valued sensitivities in three dimensions}, volume={180}, DOI={10.1016/j.na.2018.10.003}, journal={Nonlinear Analysis}, publisher={Elsevier BV}, author={Black, Tobias}, year={2018}, pages={129–153} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 33261
@article{Schwenker_2018, title={Generic Steady State Bifurcations in Monoid Equivariant Dynamics with Applications in Homogeneous Coupled Cell Systems}, volume={50}, DOI={10.1137/17m116118x}, number={3}, journal={SIAM Journal on Mathematical Analysis}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Schwenker, Sören}, year={2018}, pages={2466–2485} }
LibreCat
| DOI
| arXiv
2018 | Journal Article | LibreCat-ID: 37662
@article{Rösler_Graczyk_Luks_2018, title={On the Green Function and Poisson Integrals of the Dunkl Laplacian}, volume={48}, DOI={10.1007/s11118-017-9638-6}, number={3}, journal={Potential Analysis}, publisher={Springer Science and Business Media LLC}, author={Rösler, Margit and Graczyk, Piotr and Luks, Tomasz}, year={2018}, pages={337–360} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 45951
@article{Kovács_2018, title={Computing arbitrary Lagrangian Eulerian maps for evolving surfaces}, volume={35}, DOI={10.1002/num.22340}, number={3}, journal={Numerical Methods for Partial Differential Equations}, publisher={Wiley}, author={Kovács, Balázs}, year={2018}, pages={1093–1112} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 28348
@article{Müller_2017, title={“As a person, I feel I’ve changed pretty immensely”: Sojourners’ aspirations and self-perceived achievements}, volume={73}, DOI={10.3138/cmlr.3319}, number={1}, journal={The Canadian Modern Language Review}, author={Müller, Mareike}, year={2017}, pages={24–47} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 28354
@article{Müller_Schmenk_2017, title={Narrating the sound of self: The role of pronunciation in learners’ self-constructions in study-abroad contexts}, volume={27}, DOI={10.1111/ijal.12109}, number={1}, journal={International Journal of Applied Linguistics}, author={Müller, Mareike and Schmenk, Barbara}, year={2017}, pages={132–151} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 2860
@inproceedings{Beverungen_Lüttenberg_Wolf_2017, place={St. Gallen}, title={Recombinant Service System Engineering}, booktitle={Proceedings der 13. Internationalen Tagung Wirtschaftsinformatik (WI 2017)}, author={Beverungen, Daniel and Lüttenberg, Hedda and Wolf, Verena}, editor={Leimeister, Jan Marco and Brenner, WalterEditors}, year={2017}, pages={136–150} }
LibreCat
2017 | Journal Article | LibreCat-ID: 20557
@article{Lillack_Kästner_Bodden_2017, title={Tracking Load-time Configuration Options}, volume={PP}, DOI={10.1109/TSE.2017.2756048}, number={99}, journal={IEEE Transactions on Software Engineering}, author={Lillack, Max and Kästner, Christian and Bodden, Eric}, year={2017}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20559
@inproceedings{Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2017, place={New York, NY, USA}, series={ISSTA 2017}, title={Just-in-time Static Analysis}, DOI={10.1145/3092703.3092705}, booktitle={Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis}, publisher={ACM}, author={Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson}, year={2017}, pages={307–317}, collection={ISSTA 2017} }
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 9862 |
@article{Mahnken_2017, title={“A variational formulation for fuzzy analysis in continuum mechanics”}, volume={5}, number={3–4}, journal={Mathematics and Mechanics of complex systems}, author={Mahnken, Rolf}, year={2017} }
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 36481
@article{Bruns_Eichen_Gasteiger_2017, title={Mathematics-related Competence of Early Childhood Teachers Visiting a Continuous Professional Development Course: An Intervention Study}, volume={19}, number={3}, journal={Mathematics Teacher Education and Development (MTED)}, author={Bruns, Julia and Eichen, Lars and Gasteiger, Hedwig}, year={2017}, pages={76–93} }
LibreCat
2017 | Journal Article | LibreCat-ID: 45946
@article{Kovács_Power Guerra_2017, title={Maximum norm stability and error estimates for the evolving surface finite element method}, volume={34}, DOI={10.1002/num.22212}, number={2}, journal={Numerical Methods for Partial Differential Equations}, publisher={Wiley}, author={Kovács, Balázs and Power Guerra, Christian Andreas}, year={2017}, pages={518–554} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45945
@article{Kovács_Power Guerra_2017, title={Maximum norm stability and error estimates for the evolving surface finite element method}, volume={34}, DOI={10.1002/num.22212}, number={2}, journal={Numerical Methods for Partial Differential Equations}, publisher={Wiley}, author={Kovács, Balázs and Power Guerra, Christian Andreas}, year={2017}, pages={518–554} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 32020
@article{Küster_2017, title={On the semiclassical functional calculus for h-dependent functions}, volume={52}, DOI={10.1007/s10455-017-9549-1}, number={1}, journal={Annals of Global Analysis and Geometry}, publisher={Springer Science and Business Media LLC}, author={Küster, Benjamin}, year={2017}, pages={57–97} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 32022
@article{Küster_Ramacher_2017, title={Quantum ergodicity and symmetry reduction}, volume={273}, DOI={10.1016/j.jfa.2017.02.013}, number={1}, journal={Journal of Functional Analysis}, publisher={Elsevier BV}, author={Küster, Benjamin and Ramacher, Pablo}, year={2017}, pages={41–124} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 48411
@inbook{Wessel_2017, place={Dublin, Ireland}, title={How do students develop lexical means for understanding the concept of relative frequency? Empirical insights on the basis of trace analyses}, booktitle={Proceedings of the Tenth Congress of the European Society for Research in Mathematics Education (CERME10, February 1 – 5, 2017)}, publisher={DCU Institute of Education and ERME.}, author={Wessel, Lena}, editor={Dooley, T. and Gueudet, G.}, year={2017}, pages={1388–1395} }
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 28355
@article{Müller_2016, title={Listening to learners’ voices: Qualitative aspects of pronunciation learning during study abroad}, volume={2}, DOI={10.1075/jslp.2.1.05mul}, number={1}, journal={Journal of Second Language Pronunciation}, author={Müller, Mareike}, year={2016}, pages={108–142} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20719
@inproceedings{Holzinger_Triller_Bartel_Bodden_2016, series={CCS ’16}, title={An In-Depth Study of More Than Ten Years of Java Exploitation}, DOI={http://doi.acm.org/10.1145/2976749.2978361}, booktitle={Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security}, author={Holzinger, Philipp and Triller, Stefan and Bartel, Alexandre and Bodden, Eric}, year={2016}, pages={779–790}, collection={CCS ’16} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 4586
@article{Schlueter_Busch_Sievers_Hartmann-Wendels_2016, title={Loan Pricing: Do Borrowers Benefit from Cost-Efficient Banking?}, volume={49}, DOI={10.3790/ccm.49.1.93}, number={1}, journal={Credit and Capital Markets--Kredit und Kapital}, author={Schlueter, Tobias and Busch, Ramona and Sievers, Soenke and Hartmann-Wendels, Thomas}, year={2016}, pages={93–125} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 4690
@article{Gorbacheva_Stein_Schmiedel_Müller_2016, title={The Role of Gender in Business Process Management Competence Supply}, DOI={10.1007/s12599-016-0428-2}, number={3}, journal={Business and Information Systems Engineering}, author={Gorbacheva, Elena and Stein, Armin and Schmiedel, Theresa and Müller, Oliver}, year={2016}, pages={213--231} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 4692
@article{Müller_Schmiedel_Gorbacheva_vom Brocke_2016, title={Towards a typology of business process management professionals: identifying patterns of competences through latent semantic analysis}, DOI={10.1080/17517575.2014.923514}, number={1}, journal={Enterprise Information Systems}, author={Müller, Oliver and Schmiedel, Theresa and Gorbacheva, Elena and vom Brocke, Jan}, year={2016}, pages={50--80} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 9963
@inproceedings{Kohl_Sextro_Schulze_2016, place={Cyberjaya, Malaysia, 2016}, title={Aspects of Flexible Viscoelastic Suspension Modeling for Frictional Rolling Contact Analysis using ADAMS}, booktitle={The 2nd International Conference on Automotive Innovation and Green Energy Vehicle (AiGEV 2016), Cyberjaya, Malaysia, 2016.}, author={Kohl, Sergej and Sextro, Walter and Schulze, Sebastian}, year={2016}, pages={1–12} }
LibreCat
2016 | Journal Article | LibreCat-ID: 34662
@article{Black_2016, title={Boundedness in a Keller–Segel system with external signal production}, volume={446}, DOI={10.1016/j.jmaa.2016.08.049}, number={1}, journal={Journal of Mathematical Analysis and Applications}, publisher={Elsevier BV}, author={Black, Tobias}, year={2016}, pages={436–455} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 34661
@article{Black_2016, title={Sublinear signal production in a two-dimensional Keller–Segel–Stokes system}, volume={31}, DOI={10.1016/j.nonrwa.2016.03.008}, journal={Nonlinear Analysis: Real World Applications}, publisher={Elsevier BV}, author={Black, Tobias}, year={2016}, pages={593–609} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 37663
@article{Rösler_Voit_2016, title={A multivariate version of the disk convolution}, volume={435}, DOI={10.1016/j.jmaa.2015.10.062}, number={1}, journal={Journal of Mathematical Analysis and Applications}, publisher={Elsevier BV}, author={Rösler, Margit and Voit, Michael}, year={2016}, pages={701–717} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45936
@article{Kovács_Power Guerra_2016, title={Error analysis for full discretizations of quasilinear parabolic problems on evolving surfaces}, volume={32}, DOI={10.1002/num.22047}, number={4}, journal={Numerical Methods for Partial Differential Equations}, publisher={Wiley}, author={Kovács, Balázs and Power Guerra, Christian Andreas}, year={2016}, pages={1200–1231} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45939
@article{Kovács_Li_Lubich_2016, title={A-Stable Time Discretizations Preserve Maximal Parabolic Regularity}, volume={54}, DOI={10.1137/15m1040918}, number={6}, journal={SIAM Journal on Numerical Analysis}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Kovács, Balázs and Li, Buyang and Lubich, Christian}, year={2016}, pages={3600–3624} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 9949
@inproceedings{Meyer_Kaul_Sextro_2015, title={Advantages of reliability-adaptive system operation for maintenance planning}, DOI={10.1016/j.ifacol.2015.09.647}, booktitle={Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes}, author={Meyer, Tobias and Kaul, Thorben and Sextro, Walter}, year={2015}, pages={940–945} }
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 38037
@article{Rösler_Voit_2015, title={A Central Limit Theorem for Random Walks on the Dual of a Compact Grassmannian}, volume={11}, DOI={10.3842/sigma.2015.013}, number={013}, journal={Symmetry, Integrability and Geometry: Methods and Applications}, publisher={SIGMA (Symmetry, Integrability and Geometry: Methods and Application)}, author={Rösler, Margit and Voit, Michael}, year={2015}, pages={18pp} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1135 |
@inproceedings{Dollmann_Geierhos_2014, place={Hildesheim, Germany}, title={SentiBA: Lexicon-based Sentiment Analysis on German Product Reviews}, booktitle={Workshop Proceedings of the 12th Edition of the KONVENS Conference}, publisher={Universitätsverlag Hildesheim}, author={Dollmann, Markus and Geierhos, Michaela}, editor={Faaß, Gertrud and Ruppenhofer, JosefEditors}, year={2014}, pages={185–191} }
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 4695
@article{Debortoli_Müller_vom Brocke_2014, title={Comparing business intelligence and big data skills: A text mining study using job advertisements}, DOI={10.1007/s12599-014-0344-2}, number={5}, journal={Business and Information Systems Engineering}, author={Debortoli, Stefan and Müller, Oliver and vom Brocke, Jan}, year={2014}, pages={289--300} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 4696
@article{vom Brocke_Debortoli_Reuter_Müller_2014, title={How In-Memory Technology Can Create Business Value: Lessons Learned from Hilti}, DOI={10.17705/1CAIS.03407}, journal={Communications of the Association for Information Systems}, author={vom Brocke, Jan and Debortoli, Stefan and Reuter, Nadine and Müller, Oliver}, year={2014}, pages={151--167} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 9868
@inproceedings{Althoff_Neuhaus_Hemsel_Sextro_2014, title={Improving the bond quality of copper wire bonds using a friction model approach}, DOI={10.1109/ECTC.2014.6897500}, booktitle={Electronic Components and Technology Conference (ECTC), 2014 IEEE 64th}, author={Althoff, Simon and Neuhaus, Jan and Hemsel, Tobias and Sextro, Walter}, year={2014}, pages={1549–1555} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 9889
@inproceedings{Sprock_Sextro_2014, title={Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending}, DOI={10.1109/I2MTC.2014.6860760}, booktitle={Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International}, author={Sprock, Christian and Sextro, Walter}, year={2014}, pages={320–324} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36918
@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems}, DOI={10.1109/ICCPS.2014.6843726}, publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
| DOI