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
@article{Zult_Gokeler_van Raay_Brouwer_Zijdewind_Farthing_Hortobágyi_2019, title={Cross-education does not improve early and late-phase rehabilitation outcomes after ACL reconstruction: a randomized controlled clinical trial.}, volume={27}, DOI={10.1007/s00167-018-5116-y}, number={2}, journal={Knee Surg Sports Traumatol Arthrosc}, author={Zult, T and Gokeler, A and van Raay, JJAM and Brouwer, RW and Zijdewind, I and Farthing, JP and Hortobágyi, T}, year={2019}, pages={478–490} }
LibreCat
| DOI
| PubMed | Europe PMC
2019 | Journal Article | LibreCat-ID: 20430
@article{Welling_Benjaminse_Lemmink_Dingenen_Gokeler_2019, title={Progressive strength training restores quadriceps and hamstring muscle strength within 7 months after ACL reconstruction in amateur male soccer players.}, volume={40}, DOI={10.1016/j.ptsp.2019.08.004}, journal={Phys Ther Sport}, author={Welling, W and Benjaminse, A and Lemmink, K and Dingenen, B and Gokeler, A}, year={2019}, pages={10–18} }
LibreCat
| DOI
| PubMed | Europe PMC
2019 | Book Chapter | LibreCat-ID: 20438
@inbook{Dressler_Klingler_Rizzo_2019, title={Dynamic Mobile Base Stations in 5G Networks -- The Moving Network Paradigm}, booktitle={The 5G Italy Book 2019: a Multiperspective View of 5G}, publisher={Consorzio Nazionale Interuniversitario per le Telecomunicazioni (CNIT)}, author={Dressler, Falko and Klingler, Florian and Rizzo, Gianluca A.}, editor={Ajmone Marsan, Marco and Blefari Melazzi, Nicola and Buzzi, Stefano and Palazzo, SergioEditors}, year={2019}, pages={477–492} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 20451
@inproceedings{Rochel_Olfert_Giese_Meschut_Sommer_2019, title={Einfluss fertigungsbedingter Toleranzen auf das Versagens- und Verformungsverhalten mechanisch gefügter Verbindungen unter Crashbelastung}, author={Rochel, Philip and Olfert, Viktoria and Giese, Patrick and Meschut, Gerson and Sommer, Silke}, year={2019} }
LibreCat
2019 | Journal Article | LibreCat-ID: 20476
@article{Büchel_Jakobsmeyer_Döring_Adams_Rückert_Baumeister_2019, title={Effect of playing position and time on-court on activity profiles in german elite team handball}, volume={19}, number={2}, journal={International Journal Performance Analysis in Sports}, author={Büchel, D and Jakobsmeyer, R and Döring, M and Adams, M and Rückert, U and Baumeister, Jochen}, year={2019}, pages={832–844} }
LibreCat
2019 | Dissertation | LibreCat-ID: 20522
@book{Holzinger_2019, title={A Systematic Analysis and Hardening of the Java Security Architecture}, publisher={Universität Paderborn}, author={Holzinger, Philipp}, year={2019} }
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 20524
@book{Nguyen Quang Do_2019, title={User-Centered Tool Design for Data-Flow Analysis}, publisher={Universität Paderborn}, author={Nguyen Quang Do, Lisa}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 20525
@inproceedings{Stockmann_Laux_Bodden_2019, title={Architectural Runtime Verification}, DOI={10.1109/ICSA-C.2019.00021}, booktitle={2019 IEEE International Conference on Software Architecture Companion (ICSA-C)}, author={Stockmann, Lars and Laux, Sven and Bodden, Eric}, year={2019}, pages={77–84} }
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20527
@inproceedings{Hazhirpasand_Ghafari_Krüger_Bodden_Nierstrasz_2019, title={The Impact of Developer Experience in Using Java Cryptography}, DOI={10.1109/ESEM.2019.8870184}, booktitle={2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)}, author={Hazhirpasand, Mohammadreza and Ghafari, Mohammad and Krüger, Stefan and Bodden, Eric and Nierstrasz, Oskar}, year={2019}, pages={1–6} }
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20528
@inproceedings{Piskachev_Petrasch_Späth_Bodden_2019, title={AuthCheck: Program-state Analysis for Access-control Vulnerabilities}, booktitle={10th Workshop on Tools for Automatic Program Analysis (TAPAS)}, author={Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20529
@inproceedings{Nachtigall_Nguyen Quang Do_Bodden_2019, title={Explaining Static Analysis -- A Perspective}, booktitle={1st International Workshop on Explainable Software (EXPLAIN) at ASE}, author={Nachtigall, Marcus and Nguyen Quang Do, Lisa and Bodden, Eric}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20531
@inproceedings{Luo_Bodden_Späth_2019, title={A Qualitative Analysis of Android Taint-Analysis Results}, booktitle={IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)}, author={Luo, Linghui and Bodden, Eric and Späth, Johannes}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20532
@inproceedings{Piskachev_Nguyen Quang Do_Johnson_Bodden_2019, title={SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods}, booktitle={IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track}, author={Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden, Eric}, year={2019} }
LibreCat
| Download (ext.)
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 | Conference Paper | LibreCat-ID: 20534
@inproceedings{Piskachev_Nguyen Quang Do_Bodden_2019, title={Codebase-Adaptive Detection of Security-Relevant Methods}, booktitle={ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)}, author={Piskachev, Goran and Nguyen Quang Do, Lisa and Bodden, Eric}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20535
@inproceedings{Luo_Dolby_Bodden_2019, title={MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors}, booktitle={European Conference on Object-Oriented Programming (ECOOP)}, author={Luo, Linghui and Dolby, Julian and Bodden, Eric}, year={2019} }
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 20536
@book{Späth_2019, title={Synchronized Pushdown Systems for Pointer and Data-Flow Analysis}, publisher={Universität Paderborn}, author={Späth, Johannes}, year={2019} }
LibreCat
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
@book{Piskachev_Nguyen_Bodden_2019, title={Codebase-Adaptive Detection of Security-Relevant Methods}, author={Piskachev, Goran and Nguyen, Lisa and Bodden, Eric}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 20538
@inproceedings{Albert Gorski Iii_Andow_Nadkarni_Manandhar_Enck_Bodden_Bartel_2019, title={ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware}, booktitle={ACM Conference on Data and Application Security and Privacy (CODASPY 2019)}, author={Albert Gorski Iii, Sigmund and Andow, Benjamin and Nadkarni, Adwait and Manandhar, Sunil and Enck, William and Bodden, Eric and Bartel, Alexandre}, year={2019} }
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20539
@article{Späth_Ali_Bodden_2019, title={Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems}, volume={3}, DOI={10.1145/3290361}, number={POPL}, journal={Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages}, publisher={ACM}, author={Späth, Johannes and Ali, Karim and Bodden, Eric}, year={2019}, pages={48:1-48:29} }
LibreCat
| DOI
| Download (ext.)