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