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