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.
2301 Publications
2018 | Journal Article | LibreCat-ID: 20485
Needle, A., Baumeister, J., Farquahr, W., Greaney, J., Higginson, J., Kaminski, T., & Swanik, C. (2018). The Relationship between Sensory Responses to Ankle Joint Loading and Corticomotor Excitability. Int J Neuroscience, 128(5), 435–441.
LibreCat
2018 | Journal Article | LibreCat-ID: 20486
Welling, W., Benjaminse, A., Seil, R., Lemmink, K., Zaffagnini, S., & Gokeler, A. (2018). Low rates of patients meeting return to sport criteria 9 months after anterior cruciate ligament reconstruction: a prospective longitudinal study. Knee Surg Sports Traumatol Arthrosc, 26(12), 3636–3644. https://doi.org/10.1007/s00167-018-4916-4
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20488
Hotfiel, T., Seil, R., Bily, W., Bloch, W., Gokeler, A., Krifter, R., … Engelhardt, M. (2018). Nonoperative treatment of muscle injuries - recommendations from the GOTS expert meeting. J Exp Orthop, 5(1).
LibreCat
2018 | Journal Article | LibreCat-ID: 20489
Welling, W., Benjaminse, A., Seil, R., Lemmink, K., & Gokeler, A. (2018). Altered movement during single leg hop test after ACL reconstruction: implications to incorporate 2-D video movement analysis for hop test. Knee Surg Sports Traumatol Arthrosc, 26(10), 3012–3019.
LibreCat
2018 | Conference Paper | LibreCat-ID: 20530
Bodden, E., & Nguyen Quang Do, L. (2018). Explainable Static Analysis. Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 205–208.
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018). Debugging Static Analysis. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/TSE.2018.2868349
LibreCat
| DOI
| Download (ext.)
2018 | Conference (Editor) | LibreCat-ID: 20544
Tichy, M., Bodden, E., Kuhrmann, M., Wagner, S., & Steghöfer, J.-P. (Eds.). (2018). Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany: Vol. {P-279}. Gesellschaft für Informatik.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 20545
Tip, F., & Bodden, E. (Eds.). (2018). Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. ACM.
LibreCat
2018 | Conference Paper | LibreCat-ID: 20546
Gerking, C., Schubert, D., & Bodden, E. (2018). Model Checking the Information Flow Security of Real-Time Systems. In M. Payer, A. Rashid, & J. M. Such (Eds.), Engineering Secure Software and Systems (pp. 27–43). Springer International Publishing.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20547
Nguyen Quang Do, L., & Bodden, E. (2018). Gamifying Static Analysis. Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 714–718. https://doi.org/10.1145/3236024.3264830
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20548
Bodden, E. (2018). The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them). ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), 85–93. https://doi.org/10.1145/3236454.3236500
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20549
Geismann, J., Gerking, C., & Bodden, E. (2018). Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. International Conference on Software and System Processes (ICSSP).
LibreCat
| Files available
2018 | Book Chapter | LibreCat-ID: 2055
Krimphove, D., & Niehaus, S. (2018). Maschinelle Entscheidungsfindung: Der Einsatz der Fuzzy-Logik in der Rechtswissenschaft. In S. Breidenbach & F. Glatz (Eds.), Rechtshandbuch Legal Tech (pp. 249 – 262). München: C.H. Beck.
LibreCat
2018 | Conference Paper | LibreCat-ID: 20550
Bodden, E. (2018). Self-adaptive Static Analysis. Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 45–48. https://doi.org/10.1145/3183399.3183401
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 20551
Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018). VISUFLOW, a Debugging Environment for Static Analyses. International Conference for Software Engineering (ICSE), Tool Demonstrations Track.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20623
Aßmuth, V., Teutenberg, D., Meschut, G., Stepanov, S., Ihde, Jörg , & Mayer, B. (2018). Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse (OffPlas). In DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 18. Kolloquium Gemeinsame Forschung in der Klebtechnik (pp. 91–93). Köln.
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20662
Lehmann, T., Paschen, L., & Baumeister, J. (2018). Comparison of postural stability in the ACL deficient and reconstructed leg: a Meta analysis (Vol. 69, Issue 5, p. 173).
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20663
An, Y., DiTrani Lobacz, A., Baumeister, J., & Swanik, C. (2018). Negative emotional stimuli increase neurocognitive processing in the brain.
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20666
Lehmann, T., Büchel, D., Cockcroft, J., Louw, Q., & Baumeister, J. (2018). Exploring Functional Brain Connectivity of Postural Control in Upright Stance. In Proceedings of the 3rd International Mobile Brain/Body Imaging Conference.
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20667
Büchel, D., Lehmann, T., Cockcroft, J., Louw, Q., & Baumeister, J. (2018). Effect of a cognitive dual-task on electrocortical activation during single leg stance. In Proceedings of the 3rd International Mobile Brain/Body Imaging Conference.
LibreCat