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.
1958 Publications
2016 | Conference Abstract | LibreCat-ID: 205
Herrmann P, Gutt D, Rahman M. Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions. In: INFORMS Annual Meeting. ; 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 20556
Bodden E, I Pun K, Steffen M, Stolz V, Wickert A-K. Information Flow Analysis for Go. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}. ; 2016:431-445. doi:10.1007/978-3-319-47166-2_30
LibreCat
| DOI
2016 | Conference Abstract | LibreCat-ID: 206
Herrmann P, Gutt D, Rahman M. Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions. In: NBER Summer Institute on the Economics of Information Technology and Digitization. ; 2016.
LibreCat
| Files available
2016 | Conference Abstract | LibreCat-ID: 20649
Krause D, Zobe C, Blischke K, Baumeister J. Scalling of visually presented augmented feedback affects automatization in motor skill learning. 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20651
Koopmann T, Krause D, Steggemann-Weinrich Y, Baumeister J. Mental rotation of tactical instruction display affects processing demands and execution accuracy of playing patterns in basketball. 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20653
Büchel D, Grundmann R, Koers T, Jakobsmeyer R, Baumeister J. Positionsspezifischer Zusammenhang von Ausdauerleistungsfähigkeit und Laufleistung im Profifußball. 2016;67(7+8):183.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20654
Grundmann R, Büchel D, Koers T, Jakobsmeyer R, Baumeister J. Einfluss der Mehrbelastung Fußball-WM 2014 auf die Ausfalltage von Spielern der Fußball-Bundesliga. 2016;67(7+8):187.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20656
Rudolf N, Krome M, Baumeister J, Reinsberger C. Evaluation eines Trainingsprogramms zur Steigerung der körperlichen Fitness von Büroangestellten. 2016;67(7+8):186.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20657
An Y, DiTrani A, Struminger A, Baumeister J, Swanik C. Asymmetric Cortical Activity between limbs during Joint Loading. 2016;48(5S):973.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20658
An Y, DiTrani A, Struminger A, Lehmann T, Baumeister J, Swanik C. Neuromechanical links between cortical activity and knee stiffness during joint loading. 2016;51(6):290.
LibreCat
2016 | Conference Paper | LibreCat-ID: 207
Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Cost-efficient Scheduling on Machines from the Cloud. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA). ; 2016:578--592. doi:10.1007/978-3-319-48749-6_42
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
Bodden E, Eichberg M, I Pun K, Steffen M, Stolz V, Wickert A-K. Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go. In: Nordic Workshop on Programming Theory (NWPT’16). ; 2016.
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
Nguyen Quang Do L, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Just-in-Time Static Analysis.; 2016. doi:http://dx.doi.org/10.7939/DVN/10859
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20718
Rasthofer S, Arzt S, Bodden E, Miltenberger M. Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen. Datenschutz und Datensicherheit. Published online 2016:718-722. doi:https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20719
Holzinger P, Triller S, Bartel A, Bodden E. An In-Depth Study of More Than Ten Years of Java Exploitation. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. CCS ’16. ; 2016:779-790. doi:http://doi.acm.org/10.1145/2976749.2978361
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20720
Follner A, Bartel A, Peng H, et al. PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. In: International Workshop on Security and Trust Management (STM). ; 2016:212-228.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20721
Nguyen Quang Do L, Eichberg M, Bodden E. Toward an Automated Benchmark Management System. In: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. SOAP 2016. ; 2016:13-17.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20722
Arzt S, Kussmaul T, Bodden E. Towards Cross-Platform Cross-Language Analysis with Soot. In: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. SOAP 2016. ; 2016:1-6.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20724
Follner A, Bodden E. ROPocop — Dynamic mitigation of code-reuse attacks. Journal of Information Security and Applications . 2016;29:16-26. doi:http://dx.doi.org/10.1016/j.jisa.2016.01.002
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20725
Follner A, Bartel A, Bodden E. Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. In: International Symposium on Engineering Secure Software and Systems (ESSoS). ; 2016.
LibreCat
| Download (ext.)