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.
1960 Publications
2016 | Conference Abstract | LibreCat-ID: 205
Herrmann, P., Gutt, D., & Rahman, M. (2016). Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions. In INFORMS Annual Meeting. Nashville, USA.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 20556
Bodden, E., I Pun, K., Steffen, M., Stolz, V., & Wickert, A.-K. (2016). Information Flow Analysis for Go. 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}, 431–445. https://doi.org/10.1007/978-3-319-47166-2_30
LibreCat
| DOI
2016 | Conference Abstract | LibreCat-ID: 206
Herrmann, P., Gutt, D., & Rahman, M. (2016). 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.
LibreCat
| Files available
2016 | Conference Abstract | LibreCat-ID: 20649
Krause, D., Zobe, C., Blischke, K., & Baumeister, J. (2016). Scalling of visually presented augmented feedback affects automatization in motor skill learning.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20651
Koopmann, T., Krause, D., Steggemann-Weinrich, Y., & Baumeister, J. (2016). Mental rotation of tactical instruction display affects processing demands and execution accuracy of playing patterns in basketball.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20653
Büchel, D., Grundmann, R., Koers, T., Jakobsmeyer, R., & Baumeister, J. (2016). Positionsspezifischer Zusammenhang von Ausdauerleistungsfähigkeit und Laufleistung im Profifußball.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20654
Grundmann, R., Büchel, D., Koers, T., Jakobsmeyer, R., & Baumeister, J. (2016). Einfluss der Mehrbelastung Fußball-WM 2014 auf die Ausfalltage von Spielern der Fußball-Bundesliga.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20656
Rudolf, N., Krome, M., Baumeister, J., & Reinsberger, C. (2016). Evaluation eines Trainingsprogramms zur Steigerung der körperlichen Fitness von Büroangestellten.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20657
An, Y., DiTrani , A., Struminger, A., Baumeister, J., & Swanik, C. (2016). Asymmetric Cortical Activity between limbs during Joint Loading.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20658
An, Y., DiTrani, A., Struminger, A., Lehmann, T., Baumeister, J., & Swanik, C. (2016). Neuromechanical links between cortical activity and knee stiffness during joint loading.
LibreCat
2016 | Conference Paper | LibreCat-ID: 207
Mäcker, A., Malatyali, M., Meyer auf der Heide, F., & Riechers, S. (2016). Cost-efficient Scheduling on Machines from the Cloud. In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 578--592). https://doi.org/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. (2016). Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go. Nordic Workshop on Programming Theory (NWPT’16).
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
Nguyen Quang Do, L., Ali, K., Livshits, B., Bodden, E., Smith, J., & Murphy-Hill, E. (2016). Just-in-Time Static Analysis. 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. (2016). Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen. Datenschutz Und Datensicherheit, 718–722. 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. (2016). An In-Depth Study of More Than Ten Years of Java Exploitation. Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 779–790. http://doi.acm.org/10.1145/2976749.2978361
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20720
Follner, A., Bartel, A., Peng, H., Chang, Y.-C., Ispoglou, K., Payer, M., & Bodden, E. (2016). PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. International Workshop on Security and Trust Management (STM), 212–228.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20721
Nguyen Quang Do, L., Eichberg, M., & Bodden, E. (2016). Toward an Automated Benchmark Management System. Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 13–17.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20722
Arzt, S., Kussmaul, T., & Bodden, E. (2016). Towards Cross-Platform Cross-Language Analysis with Soot. Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 1–6.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20724
Follner, A., & Bodden, E. (2016). ROPocop — Dynamic mitigation of code-reuse attacks. Journal of Information Security and Applications , 29, 16–26. 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. (2016). Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. International Symposium on Engineering Secure Software and Systems (ESSoS).
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20726
Falzon, K., & Bodden, E. (2016). Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels. In F. Piessens & L. Vigan’o (Eds.), 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 (pp. 116–138). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-49635-0_7
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20727
Rasthofer, S., Arzt, S., Miltenberger, M., & Bodden, E. (2016). Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. Network and Distributed System Security Symposium (NDSS).
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20728
Nadi, S., Krüger, S., Mezini, M., & Bodden, E. (2016). Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs? International Conference for Software Engineering (ICSE), 935–946.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20729
Arzt, S., & Bodden, E. (2016). StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework. International Conference for Software Engineering (ICSE).
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20730
Eling, N., Rasthofer, S., Kolhagen, M., Bodden, E., & Buxmann, P. (2016). Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment. 2016 49th Hawaii International Conference on System Sciences (HICSS), 3666–3675. https://doi.org/10.1109/HICSS.2016.458
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 208
Blömer, J., & Liske, G. (2016). Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes. In Proceedings of the CT-RSA 2016 (pp. 431–447). https://doi.org/10.1007/978-3-319-29485-8_25
LibreCat
| Files available
| DOI
2016 | Report | LibreCat-ID: 20822
Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., & Gerking, C. (2016). The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling.
LibreCat
2016 | Report | LibreCat-ID: 20823
Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov, R., & Sander, M. (2016). The MechatronicUML Requirements Engineering Method: Process and Language. https://doi.org/10.13140/RG.2.2.33223.29606
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20824
Pohlmann, U., Holtmann, J., & Meyer, M. (2016). Das Erwachen der Macht – Automatische Softwareverteilung. In Tagungsband Embedded Software Engineering Kongress 2016 (pp. 587–592).
LibreCat
2016 | Conference Paper | LibreCat-ID: 20825
Greinert, M., Tschirner, C., & Holtmann, J. (2016). Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. Tag Des Systems Engineering 2016, 77–86. https://doi.org/10.3139/9783446451414.008
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20826
Koch, T., Holtmann, J., Schubert, D., & Lindemann, T. (2016). Towards Feature-based Product Line Engineering of Technical Systems. In A. Trächtler, B. Denkena, & K.-D. Thoben (Eds.), 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016) (pp. 447–454). Elsevier. https://doi.org/10.1016/j.protcy.2016.08.057
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20827
Fockel, M. (2016). ASIL Tailoring on Functional Safety Requirements. In 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR) (Vol. 9923, pp. 298–310). Trondheim, Norway: Springer International Publishing Switzerland.
LibreCat
2016 | Journal Article | LibreCat-ID: 20828
Holtmann, J., Fockel, M., Koch, T., & Schmelter, D. (2016). Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? OBJEKTspektrum, (RE/2016).
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20829
Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C. (2016). Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software Evolution and Process. https://doi.org/10.1002/smr.1780
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20830
Schubert, D., Heinzemann, C., & Gerking, C. (2016). Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering.
LibreCat
2016 | Journal Article | LibreCat-ID: 20867
Sievers, S., Schlüter, T., Busch, R., & Hartmann-Wendels, T. (2016). Loan Pricing: Do Borrowers Benefit from Cost-Efficient Banking? Credit and Capital Markets – Kredit Und Kapital (VHB-JOURQUAL 3 Ranking C), 49(1), 93–125. https://doi.org/10.3790/ccm.49.1.93
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 209
Feldotto, M., Leder, L., & Skopalik, A. (2016). Congestion Games with Mixed Objectives. In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 655--669). https://doi.org/10.1007/978-3-319-48749-6_47
LibreCat
| Files available
| DOI
| arXiv
2016 | Conference Paper | LibreCat-ID: 180
Gutt, D., & Kundisch, D. (2016). 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.
LibreCat
| Files available
2016 | Book | LibreCat-ID: 18011
Brüggemann, M., Knaus, T., & Meister, D. M. (2016). Kommunikationskulturen in digitalen Welten. Konzepte und Strategien der Medienpädagogik und Medienbildung. München: kopaed.
LibreCat
2016 | Book | LibreCat-ID: 18015
Kamin, A. M., Greiner, A.-D., Meister, D. M., & Darmann-Finck, I. (2016). Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen. Paderborn: INVIA Verlag.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 18025
Heuchler, S. (2016). Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18052
Brüggemann, M., Knaus, T., & Meister, D. M. (2016). Kommunikationskulturen in digitalen Welten. Konzepte und Strategien der Medienpädagogik und Medienbildung. (Vorwort) . In M. Brüggemann, T. Knaus, & D. M. Meister (Eds.), Kommunikationskulturen in digitalen Welten. Konzepte und Strategien der Medienpädagogik und Medienbildung. München: kopaed.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18053
Friedrichs-Liesenkötter, H., & Meister, D. M. (2016). Qualifizierung von Erzieherinnen und Erziehern zur frühkindlichen Medienbildung in Kindertagesstätten. In J. Lauffer & R. Renate (Eds.), Krippe, Kita, Kinderzimmer – Medienpädagogik von Anfang an – Medienpädagogische Konzepte und Perspektiven (pp. 54–60). München: kopaed.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18054
Kamin, A.-M., & Meister, D. M. (2016). Increasing Educational Opportunities through Digital Participation. In M. Antona & C. Stephanidis (Eds.), 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 (pp. 82–92).
LibreCat
2016 | Book Chapter | LibreCat-ID: 18055
Kamin, A.-M., Greiner, A.-D., Darmann-Finck, I., & Meister, D. M. (2016). MeCoPflege im Detail – Qualifizierung. Lernplattform. Medienpoints. In A.-M. Kamin, A.-D. Greiner, D. M. Meister, & I. Darmann-Finck (Eds.), Mediengestütztes Lernen in der Pflege – zwischen Traditionen und Innovationen (pp. 105–130). Paderborn: IN VIA Verlag.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18056
Kamin, A.-M., Greiner, A.-D., Meister, D. M., & Darmann-Finck, I. (2016). Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen. Einführende Gedanken. In A.-M. Kamin, A.-D. Greiner, D. M. Meister, & I. Darmann-Finck (Eds.), Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen (pp. 5–15). Paderborn: IN VIA Verlag.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18057
Kamin, A.-M., & Meister, D. M. (2016). Digital unterstütztes Lernen in der beruflichen Bildung - Potenziale und Bedarfe bei den Pflege und Gesundheitsberufen. In A.-M. Kamin, A.-D. Greiner, D. M. Meister, & I. Darmann-Finck (Eds.), Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen (pp. 57–83). Paderborn: INVIA Verlag.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18058
Beckmann, A., & Meister, D. M. (2016). Usability-Aspekte von virtuellen Lernplattformen am Beispiel von MeCoPdlege. In A.-M. Kamin, A.-D. Greiner, D. M. Meister, & I. Darmann-Finck (Eds.), Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen (pp. 131–151). Paderborn: INVIA Verlag.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 181
Stanco, S. (2016). Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen. Universität Paderborn.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 182
Kesmen, B. (2016). Marktmissbrauch in der Internetökonomie - Eine wettbewerbspolitische Analyse. Universität Paderborn.
LibreCat