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.
2372 Publications
2018 | Journal Article | LibreCat-ID: 20486
@article{Welling_Benjaminse_Seil_Lemmink_Zaffagnini_Gokeler_2018, title={Low rates of patients meeting return to sport criteria 9 months after anterior cruciate ligament reconstruction: a prospective longitudinal study}, volume={26}, DOI={10.1007/s00167-018-4916-4}, number={12}, journal={Knee Surg Sports Traumatol Arthrosc}, author={Welling, W and Benjaminse, A and Seil, R and Lemmink, K and Zaffagnini, S and Gokeler, A}, year={2018}, pages={3636–3644} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20488
@article{Hotfiel_Seil_Bily_Bloch_Gokeler_Krifter_Mayer_Ueblacker_Weisskopf_Engelhardt_2018, title={Nonoperative treatment of muscle injuries - recommendations from the GOTS expert meeting}, volume={5}, number={1}, journal={J Exp Orthop}, author={Hotfiel, T and Seil, R and Bily, W and Bloch, W and Gokeler, A and Krifter, RM and Mayer, F and Ueblacker, P and Weisskopf, L and Engelhardt, M}, year={2018} }
LibreCat
2018 | Journal Article | LibreCat-ID: 20489
@article{Welling_Benjaminse_Seil_Lemmink_Gokeler_2018, title={Altered movement during single leg hop test after ACL reconstruction: implications to incorporate 2-D video movement analysis for hop test}, volume={26}, number={10}, journal={Knee Surg Sports Traumatol Arthrosc}, author={Welling, W and Benjaminse, A and Seil, R and Lemmink, K and Gokeler, A}, year={2018}, pages={3012–3019} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 20530
@inproceedings{Bodden_Nguyen Quang Do_2018, series={{LNI}}, title={Explainable Static Analysis}, booktitle={Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany.}, author={Bodden, Eric and Nguyen Quang Do, Lisa}, year={2018}, pages={205–208}, collection={{LNI}} }
LibreCat
| Download (ext.)
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 (Editor) | LibreCat-ID: 20544
@book{Tichy_Bodden_Kuhrmann_Wagner_Steghöfer_2018, series={{LNI}}, title={Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany}, volume={{P-279}}, publisher={Gesellschaft für Informatik}, year={2018}, collection={{LNI}} }
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 20545
@book{Tip_Bodden_2018, title={Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018}, publisher={ACM}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 20546
@inproceedings{Gerking_Schubert_Bodden_2018, place={Cham}, title={Model Checking the Information Flow Security of Real-Time Systems}, booktitle={Engineering Secure Software and Systems}, publisher={Springer International Publishing}, author={Gerking, Christopher and Schubert, David and Bodden, Eric}, editor={Payer, Mathias and Rashid, Awais and Such, Jose M.}, year={2018}, pages={27–43} }
LibreCat
| 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 | Conference Paper | LibreCat-ID: 20548
@inproceedings{Bodden_2018, place={New York, NY, USA}, series={ISSTA ’18}, title={The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them)}, DOI={10.1145/3236454.3236500}, booktitle={ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)}, publisher={ACM}, author={Bodden, Eric}, year={2018}, pages={85–93}, collection={ISSTA ’18} }
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20549
@inproceedings{Geismann_Gerking_Bodden_2018, title={Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes}, booktitle={International Conference on Software and System Processes (ICSSP)}, author={Geismann, Johannes and Gerking, Christopher and Bodden, Eric}, year={2018} }
LibreCat
| Files available
2018 | Book Chapter | LibreCat-ID: 2055
@inbook{Krimphove_Niehaus_2018, place={München}, title={Maschinelle Entscheidungsfindung: Der Einsatz der Fuzzy-Logik in der Rechtswissenschaft}, booktitle={Rechtshandbuch Legal Tech }, publisher={C.H. Beck}, author={Krimphove, Dieter and Niehaus, Sabastian}, editor={Breidenbach, Stephan and Glatz, FlorianEditors}, year={2018}, pages={249 – 262} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 20550
@inproceedings{Bodden_2018, place={New York, NY, USA}, series={ICSE-NIER ’18}, title={Self-adaptive Static Analysis}, DOI={10.1145/3183399.3183401}, booktitle={Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results}, publisher={ACM}, author={Bodden, Eric}, year={2018}, pages={45–48}, collection={ICSE-NIER ’18} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 20551
@inproceedings{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={VISUFLOW, a Debugging Environment for Static Analyses}, booktitle={International Conference for Software Engineering (ICSE), Tool Demonstrations Track}, author={Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}, year={2018} }
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20623
@inproceedings{Aßmuth_Teutenberg_Meschut_Stepanov_Ihde_Mayer_2018, title={Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse (OffPlas)}, booktitle={18. Kolloquium Gemeinsame Forschung in der Klebtechnik}, author={Aßmuth, Verena and Teutenberg, Dominik and Meschut, Gerson and Stepanov, Sergey and Ihde, Jörg and Mayer, Bernd}, editor={DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V.Editor}, year={2018}, pages={91–93} }
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20662
@article{Lehmann_Paschen_Baumeister_2018, series={Dt Z Sportmed}, title={Comparison of postural stability in the ACL deficient and reconstructed leg: a Meta analysis}, volume={69}, number={5}, author={Lehmann, T and Paschen, Linda and Baumeister, Jochen}, year={2018}, pages={173}, collection={Dt Z Sportmed} }
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20663
@article{An_DiTrani Lobacz_Baumeister_Swanik_2018, series={J Athl Train}, title={Negative emotional stimuli increase neurocognitive processing in the brain}, volume={53}, number={6S}, author={An, YW and DiTrani Lobacz, A and Baumeister, Jochen and Swanik, CB}, year={2018}, pages={113}, collection={J Athl Train} }
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20666
@inproceedings{Lehmann_Büchel_Cockcroft_Louw_Baumeister_2018, title={Exploring Functional Brain Connectivity of Postural Control in Upright Stance}, booktitle={Proceedings of the 3rd International Mobile Brain/Body Imaging Conference}, author={Lehmann, T and Büchel, D and Cockcroft, J and Louw, QA and Baumeister, Jochen}, year={2018} }
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20667
@inproceedings{Büchel_Lehmann_Cockcroft_Louw_Baumeister_2018, title={Effect of a cognitive dual-task on electrocortical activation during single leg stance}, booktitle={Proceedings of the 3rd International Mobile Brain/Body Imaging Conference}, author={Büchel, D and Lehmann, T and Cockcroft, J and Louw, QA and Baumeister, Jochen}, year={2018} }
LibreCat
2018 | Dissertation | LibreCat-ID: 20779
@book{Fockel_2018, title={Safety Requirements Engineering for Early SIL Tailoring}, DOI={10.17619/UNIPB/1-490}, publisher={Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn}, author={Fockel, Markus}, year={2018} }
LibreCat
| DOI