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.
1990 Publications
2016 | Conference Paper | LibreCat-ID: 20556
E. Bodden, K. I Pun, M. Steffen, V. Stolz, and A.-K. Wickert, “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, pp. 431–445, doi: 10.1007/978-3-319-47166-2_30.
LibreCat
| DOI
2016 | Conference Abstract | LibreCat-ID: 206
P. Herrmann, D. Gutt, and M. Rahman, “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, Cambridge, MA, USA, 2016.
LibreCat
| Files available
2016 | Conference Abstract | LibreCat-ID: 20649
D. Krause, C. Zobe, K. Blischke, and J. Baumeister, “Scalling of visually presented augmented feedback affects automatization in motor skill learning.” 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20651
T. Koopmann, D. Krause, Y. Steggemann-Weinrich, and J. Baumeister, “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
D. Büchel, R. Grundmann, T. Koers, R. Jakobsmeyer, and J. Baumeister, “Positionsspezifischer Zusammenhang von Ausdauerleistungsfähigkeit und Laufleistung im Profifußball,” vol. 67, no. 7+8. p. 183, 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20654
R. Grundmann, D. Büchel, T. Koers, R. Jakobsmeyer, and J. Baumeister, “Einfluss der Mehrbelastung Fußball-WM 2014 auf die Ausfalltage von Spielern der Fußball-Bundesliga,” vol. 67, no. 7+8. p. 187, 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20656
N. Rudolf, M. Krome, J. Baumeister, and C. Reinsberger, “Evaluation eines Trainingsprogramms zur Steigerung der körperlichen Fitness von Büroangestellten,” vol. 67, no. 7+8. p. 186, 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20657
Y. An, A. DiTrani , A. Struminger, J. Baumeister, and C. Swanik, “Asymmetric Cortical Activity between limbs during Joint Loading,” vol. 48, no. 5S. p. 973, 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20658
Y. An, A. DiTrani, A. Struminger, T. Lehmann, J. Baumeister, and C. Swanik, “Neuromechanical links between cortical activity and knee stiffness during joint loading,” vol. 51, no. 6. p. 290, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 207
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Cost-efficient Scheduling on Machines from the Cloud,” in Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 578--592.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
E. Bodden, M. Eichberg, K. I Pun, M. Steffen, V. Stolz, and A.-K. Wickert, “Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go,” 2016.
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, Just-in-Time Static Analysis. 2016.
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20718
S. Rasthofer, S. Arzt, E. Bodden, and M. Miltenberger, “Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen,” Datenschutz und Datensicherheit, pp. 718–722, 2016, doi: https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20719
P. Holzinger, S. Triller, A. Bartel, and E. Bodden, “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, 2016, pp. 779–790, doi: http://doi.acm.org/10.1145/2976749.2978361.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20720
A. Follner et al., “PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution,” in International Workshop on Security and Trust Management (STM), 2016, pp. 212–228.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20721
L. Nguyen Quang Do, M. Eichberg, and E. Bodden, “Toward an Automated Benchmark Management System,” in Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 13–17.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20722
S. Arzt, T. Kussmaul, and E. Bodden, “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, 2016, pp. 1–6.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20724
A. Follner and E. Bodden, “ROPocop — Dynamic mitigation of code-reuse attacks,” Journal of Information Security and Applications , vol. 29, pp. 16–26, 2016, doi: http://dx.doi.org/10.1016/j.jisa.2016.01.002.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20725
A. Follner, A. Bartel, and E. Bodden, “Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality,” 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20726
K. Falzon and E. Bodden, “Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels,” in Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings, 2016, pp. 116–138, doi: 10.1007/978-3-662-49635-0_7.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20727
S. Rasthofer, S. Arzt, M. Miltenberger, and E. Bodden, “Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques,” 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20728
S. Nadi, S. Krüger, M. Mezini, and E. Bodden, “Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?,” in International Conference for Software Engineering (ICSE), 2016, pp. 935–946.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20729
S. Arzt and E. Bodden, “StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework,” 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20730
N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, and P. Buxmann, “Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment,” in 2016 49th Hawaii International Conference on System Sciences (HICSS), 2016, pp. 3666–3675, doi: 10.1109/HICSS.2016.458.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 208
J. Blömer and G. Liske, “Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes,” in Proceedings of the CT-RSA 2016, 2016, pp. 431–447.
LibreCat
| Files available
| DOI
2016 | Report | LibreCat-ID: 20822
S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, and C. Gerking, The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 20824
U. Pohlmann, J. Holtmann, and M. Meyer, “Das Erwachen der Macht – Automatische Softwareverteilung,” in Tagungsband Embedded Software Engineering Kongress 2016, 2016, pp. 587–592.
LibreCat
2016 | Conference Paper | LibreCat-ID: 20825
M. Greinert, C. Tschirner, and J. Holtmann, “Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme,” in Tag des Systems Engineering 2016, 2016, pp. 77–86, doi: 10.3139/9783446451414.008.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20826
T. Koch, J. Holtmann, D. Schubert, and T. Lindemann, “Towards Feature-based Product Line Engineering of Technical Systems,” in 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), 2016, pp. 447–454.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20827
M. Fockel, “ASIL Tailoring on Functional Safety Requirements,” in 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), 2016, vol. 9923, pp. 298–310.
LibreCat
2016 | Journal Article | LibreCat-ID: 20828
J. Holtmann, M. Fockel, T. Koch, and D. Schmelter, “Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?,” OBJEKTspektrum, no. RE/2016, 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20830
D. Schubert, C. Heinzemann, and C. Gerking, “Towards Safe Execution of Reconfigurations in Cyber-Physical Systems,” 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 20867
S. Sievers, T. Schlüter, R. Busch, and T. Hartmann-Wendels, “Loan Pricing: Do Borrowers Benefit from Cost-Efficient Banking?,” Credit and Capital Markets – Kredit und Kapital (VHB-JOURQUAL 3 Ranking C), vol. 49, no. 1, pp. 93–125, 2016.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 209
M. Feldotto, L. Leder, and A. Skopalik, “Congestion Games with Mixed Objectives,” in Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.
LibreCat
| Files available
| DOI
| arXiv
2016 | Conference Paper | LibreCat-ID: 180
D. Gutt and D. Kundisch, “Money Talks (Even) in the Sharing Economy: Empirical Evidence for Price Effects in Online Ratings as Quality Signals,” in Proceedings of the 37th International Conference on Information Systems (ICIS), Dublin, Ireland, Dublin, Ireland, 2016.
LibreCat
| Files available
2016 | Book | LibreCat-ID: 18011
M. Brüggemann, T. Knaus, and D. M. Meister, Kommunikationskulturen in digitalen Welten. Konzepte und Strategien der Medienpädagogik und Medienbildung. München: kopaed, 2016.
LibreCat
2016 | Book | LibreCat-ID: 18015
A. M. Kamin, A.-D. Greiner, D. M. Meister, and I. Darmann-Finck, Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen. Paderborn: INVIA Verlag, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 18025
S. Heuchler, Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem. 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18052
M. Brüggemann, T. Knaus, and D. M. Meister, “Kommunikationskulturen in digitalen Welten. Konzepte und Strategien der Medienpädagogik und Medienbildung. (Vorwort) ,” in Kommunikationskulturen in digitalen Welten. Konzepte und Strategien der Medienpädagogik und Medienbildung, M. Brüggemann, T. Knaus, and D. M. Meister, Eds. München: kopaed, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18053
H. Friedrichs-Liesenkötter and D. M. Meister, “Qualifizierung von Erzieherinnen und Erziehern zur frühkindlichen Medienbildung in Kindertagesstätten,” in Krippe, Kita, Kinderzimmer – Medienpädagogik von Anfang an – Medienpädagogische Konzepte und Perspektiven, J. Lauffer and R. Renate, Eds. München: kopaed, 2016, pp. 54–60.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18054
A.-M. Kamin and D. M. Meister, “Increasing Educational Opportunities through Digital Participation,” in Universal Access in Human-Computer Interaction: Methods, Techniques, and Best Practices. 10th International Conference, UAHCI 2016 Held as Part of HCI International 2016 Toronto, Canada, Juli 17- 22, 2016, Proceedings, Part III, M. Antona and C. Stephanidis, Eds. 2016, pp. 82–92.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18055
A.-M. Kamin, A.-D. Greiner, I. Darmann-Finck, and D. M. Meister, “MeCoPflege im Detail – Qualifizierung. Lernplattform. Medienpoints,” in Mediengestütztes Lernen in der Pflege – zwischen Traditionen und Innovationen, A.-M. Kamin, A.-D. Greiner, D. M. Meister, and I. Darmann-Finck, Eds. Paderborn: IN VIA Verlag, 2016, pp. 105–130.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18056
A.-M. Kamin, A.-D. Greiner, D. M. Meister, and I. Darmann-Finck, “Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen. Einführende Gedanken,” in Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen, A.-M. Kamin, A.-D. Greiner, D. M. Meister, and I. Darmann-Finck, Eds. Paderborn: IN VIA Verlag, 2016, pp. 5–15.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18057
A.-M. Kamin and D. M. Meister, “Digital unterstütztes Lernen in der beruflichen Bildung - Potenziale und Bedarfe bei den Pflege und Gesundheitsberufen,” in Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen, A.-M. Kamin, A.-D. Greiner, D. M. Meister, and I. Darmann-Finck, Eds. Paderborn: INVIA Verlag, 2016, pp. 57–83.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18058
A. Beckmann and D. M. Meister, “Usability-Aspekte von virtuellen Lernplattformen am Beispiel von MeCoPdlege,” in Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen, A.-M. Kamin, A.-D. Greiner, D. M. Meister, and I. Darmann-Finck, Eds. Paderborn: INVIA Verlag, 2016, pp. 131–151.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 181
S. Stanco, Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 182
B. Kesmen, Marktmissbrauch in der Internetökonomie - Eine wettbewerbspolitische Analyse. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 183
A. Jubrail, Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen. Universität Paderborn, 2016.
LibreCat