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.
2272 Publications
2019 | Journal Article | LibreCat-ID: 20429
Zult, T., Gokeler, A., van Raay, J., Brouwer, R., Zijdewind, I., Farthing, J., & Hortobágyi, T. (2019). Cross-education does not improve early and late-phase rehabilitation outcomes after ACL reconstruction: a randomized controlled clinical trial. Knee Surg Sports Traumatol Arthrosc, 27(2), 478–490. https://doi.org/10.1007/s00167-018-5116-y
LibreCat
| DOI
| PubMed | Europe PMC
2019 | Journal Article | LibreCat-ID: 20430
Welling, W., Benjaminse, A., Lemmink, K., Dingenen, B., & Gokeler, A. (2019). Progressive strength training restores quadriceps and hamstring muscle strength within 7 months after ACL reconstruction in amateur male soccer players. Phys Ther Sport, 40, 10–18. https://doi.org/10.1016/j.ptsp.2019.08.004
LibreCat
| DOI
| PubMed | Europe PMC
2019 | Book Chapter | LibreCat-ID: 20438
Dressler, F., Klingler, F., & Rizzo, G. A. (2019). Dynamic Mobile Base Stations in 5G Networks -- The Moving Network Paradigm. In M. Ajmone Marsan, N. Blefari Melazzi, S. Buzzi, & S. Palazzo (Eds.), The 5G Italy Book 2019: a Multiperspective View of 5G (pp. 477–492). Consorzio Nazionale Interuniversitario per le Telecomunicazioni (CNIT).
LibreCat
2019 | Conference Paper | LibreCat-ID: 20451
Rochel, P., Olfert, V., Giese, P., Meschut, G., & Sommer, S. (2019). Einfluss fertigungsbedingter Toleranzen auf das Versagens- und Verformungsverhalten mechanisch gefügter Verbindungen unter Crashbelastung. Presented at the 9. Fügetechnisches Gemeinschaftskolloquium, Braunschweig, Germany .
LibreCat
2019 | Journal Article | LibreCat-ID: 20476
Büchel, D., Jakobsmeyer, R., Döring, M., Adams, M., Rückert, U., & Baumeister, J. (2019). Effect of playing position and time on-court on activity profiles in german elite team handball. International Journal Performance Analysis in Sports, 19(2), 832–844.
LibreCat
2019 | Dissertation | LibreCat-ID: 20522
Holzinger, P. (2019). A Systematic Analysis and Hardening of the Java Security Architecture. Universität Paderborn.
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 20524
Nguyen Quang Do, L. (2019). User-Centered Tool Design for Data-Flow Analysis. Universität Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20525
Stockmann, L., Laux, S., & Bodden, E. (2019). Architectural Runtime Verification. 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 77–84. https://doi.org/10.1109/ICSA-C.2019.00021
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20527
Hazhirpasand, M., Ghafari, M., Krüger, S., Bodden, E., & Nierstrasz, O. (2019). The Impact of Developer Experience in Using Java Cryptography. 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), 1–6. https://doi.org/10.1109/ESEM.2019.8870184
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20528
Piskachev, G., Petrasch, T., Späth, J., & Bodden, E. (2019). AuthCheck: Program-state Analysis for Access-control Vulnerabilities. 10th Workshop on Tools for Automatic Program Analysis (TAPAS).
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20529
Nachtigall, M., Nguyen Quang Do, L., & Bodden, E. (2019). Explaining Static Analysis -- A Perspective. 1st International Workshop on Explainable Software (EXPLAIN) at ASE.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20531
Luo, L., Bodden, E., & Späth, J. (2019). A Qualitative Analysis of Android Taint-Analysis Results. IEEE/ACM International Conference on Automated Software Engineering (ASE 2019).
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20532
Piskachev, G., Nguyen Quang Do, L., Johnson, O., & Bodden, E. (2019). SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track.
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20533
Krüger, S., Späth, J., Ali, K., Bodden, E., & Mezini, M. (2019). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/TSE.2019.2948910
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20534
Piskachev, G., Nguyen Quang Do, L., & Bodden, E. (2019). Codebase-Adaptive Detection of Security-Relevant Methods. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20535
Luo, L., Dolby, J., & Bodden, E. (2019). MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors. European Conference on Object-Oriented Programming (ECOOP).
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 20536
Späth, J. (2019). Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn.
LibreCat
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
Piskachev, G., Nguyen, L., & Bodden, E. (2019). Codebase-Adaptive Detection of Security-Relevant Methods.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20538
Albert Gorski Iii, S., Andow, B., Nadkarni, A., Manandhar, S., Enck, W., Bodden, E., & Bartel, A. (2019). ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware. ACM Conference on Data and Application Security and Privacy (CODASPY 2019).
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20539
Späth, J., Ali, K., & Bodden, E. (2019). Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems. Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, 3(POPL), 48:1-48:29. https://doi.org/10.1145/3290361
LibreCat
| DOI
| Download (ext.)