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
Bodden, Eric, Ka I Pun, Martin Steffen, Volker Stolz, and Anna-Katharina 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}, 431–45, 2016. https://doi.org/10.1007/978-3-319-47166-2_30.
LibreCat
| DOI
2016 | Conference Abstract | LibreCat-ID: 206
Herrmann, Philipp, Dominik Gutt, and Mohammad 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, 2016.
LibreCat
| Files available
2016 | Conference Abstract | LibreCat-ID: 20649
Krause, D, C Zobe, K Blischke, and Jochen Baumeister. “Scalling of Visually Presented Augmented Feedback Affects Automatization in Motor Skill Learning.” J Sports Exerc Psychol, 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20651
Koopmann, T, D Krause, Y Steggemann-Weinrich, and Jochen Baumeister. “Mental Rotation of Tactical Instruction Display Affects Processing Demands and Execution Accuracy of Playing Patterns in Basketball.” J Sports Exerc Psychol, 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20653
Büchel, D, R Grundmann, T Koers, R Jakobsmeyer, and Jochen Baumeister. “Positionsspezifischer Zusammenhang von Ausdauerleistungsfähigkeit Und Laufleistung Im Profifußball.” Dt Z Sportmed, 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20654
Grundmann, R, D Büchel, T Koers, R Jakobsmeyer, and Jochen Baumeister. “Einfluss Der Mehrbelastung Fußball-WM 2014 Auf Die Ausfalltage von Spielern Der Fußball-Bundesliga.” Dt Z Sportmed, 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20656
Rudolf, N, M Krome, Jochen Baumeister, and C Reinsberger. “Evaluation Eines Trainingsprogramms Zur Steigerung Der Körperlichen Fitness von Büroangestellten.” Dt Z Sportmed, 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20657
An, YW, A DiTrani , AH Struminger, Jochen Baumeister, and CB Swanik. “Asymmetric Cortical Activity between Limbs during Joint Loading.” Med Sci Sports Exerx, 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20658
An, YW, A DiTrani, AH Struminger, T Lehmann, Jochen Baumeister, and CB Swanik. “Neuromechanical Links between Cortical Activity and Knee Stiffness during Joint Loading.” J Athl Train, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 207
Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and Sören Riechers. “Cost-Efficient Scheduling on Machines from the Cloud.” In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 578--592, 2016. https://doi.org/10.1007/978-3-319-48749-6_42.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
Bodden, Eric, Michael Eichberg, Ka I Pun, Martin Steffen, Volker Stolz, and Anna-Katharina Wickert. “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, Lisa, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. Just-in-Time Static Analysis, 2016. http://dx.doi.org/10.7939/DVN/10859.
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20718
Rasthofer, Siegfried, Steven Arzt, Eric Bodden, and Marc Miltenberger. “Harvester - Vollautomatische Extraktion von Laufzeitwerten Aus Obfuskierten Android-Applikationen.” Datenschutz Und Datensicherheit, 2016, 718–22. https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20719
Holzinger, Philipp, Stefan Triller, Alexandre Bartel, and Eric 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, 779–90. CCS ’16, 2016. http://doi.acm.org/10.1145/2976749.2978361.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20720
Follner, Andreas, Alexandre Bartel, Hui Peng, Yu-Chen Chang, Kyriakos Ispoglou, Mathias Payer, and Eric Bodden. “PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution.” In International Workshop on Security and Trust Management (STM), 212–28, 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20721
Nguyen Quang Do, Lisa, Michael Eichberg, and Eric Bodden. “Toward an Automated Benchmark Management System.” In Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 13–17. SOAP 2016, 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20722
Arzt, Steven, Tobias Kussmaul, and Eric 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, 1–6. SOAP 2016, 2016.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20724
Follner, Andreas, and Eric Bodden. “ROPocop — Dynamic Mitigation of Code-Reuse Attacks.” Journal of Information Security and Applications 29 (2016): 16–26. http://dx.doi.org/10.1016/j.jisa.2016.01.002.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20725
Follner, Andreas, Alexandre Bartel, and Eric Bodden. “Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality.” In International Symposium on Engineering Secure Software and Systems (ESSoS), 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20726
Falzon, Kevin, and Eric 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, edited by Frank Piessens and Luca Vigan’o, 116–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. https://doi.org/10.1007/978-3-662-49635-0_7.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20727
Rasthofer, Siegfried, Steven Arzt, Marc Miltenberger, and Eric Bodden. “Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques.” In Network and Distributed System Security Symposium (NDSS), 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20728
Nadi, Sarah, Stefan Krüger, Mira Mezini, and Eric Bodden. “Jumping Through Hoops: Why Do Java Developers Struggle With Cryptography APIs?” In International Conference for Software Engineering (ICSE), 935–46, 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20729
Arzt, Steven, and Eric Bodden. “StubDroid: Automatic Inference of Precise Data-Flow Summaries for the Android Framework.” In International Conference for Software Engineering (ICSE), 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20730
Eling, N., S. Rasthofer, M. Kolhagen, Eric 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), 3666–75, 2016. https://doi.org/10.1109/HICSS.2016.458.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 208
Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes.” In Proceedings of the CT-RSA 2016, 431–47. LNCS, 2016. https://doi.org/10.1007/978-3-319-29485-8_25.
LibreCat
| Files available
| DOI
2016 | Report | LibreCat-ID: 20822
Dziwok, Stefan, Uwe Pohlmann, Goran Piskachev, David Schubert, Sebastian Thiele, and Christopher Gerking. The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
LibreCat
2016 | Report | LibreCat-ID: 20823
Holtmann, Jörg, Markus Fockel, Thorsten Koch, David Schmelter, Christian Brenner, Ruslan Bernijazov, and Marcel Sander. The MechatronicUML Requirements Engineering Method: Process and Language, 2016. https://doi.org/10.13140/RG.2.2.33223.29606.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20824
Pohlmann, Uwe, Jörg Holtmann, and Matthias Meyer. “Das Erwachen Der Macht – Automatische Softwareverteilung.” In Tagungsband Embedded Software Engineering Kongress 2016, 587–92, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 20825
Greinert, Matthias, Christian Tschirner, and Jörg Holtmann. “Anwendung von Methoden Der Produktentstehung Auf Basis Des Systemmodells Mechatronischer Systeme.” In Tag Des Systems Engineering 2016, 77–86. Gesellschaft f{\"u}r Systems Engineering e.V., 2016. https://doi.org/10.3139/9783446451414.008.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20826
Koch, Thorsten, Jörg Holtmann, David Schubert, and Timo 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), edited by Ansgar Trächtler, Berend Denkena, and Klaus-Dieter Thoben, 447–54. Elsevier, 2016. https://doi.org/10.1016/j.protcy.2016.08.057.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20827
Fockel, Markus. “ASIL Tailoring on Functional Safety Requirements.” In 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), 9923:298–310. Lecture Notes in Computer Science (LNCS). Trondheim, Norway: Springer International Publishing Switzerland, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 20828
Holtmann, Jörg, Markus Fockel, Thorsten Koch, and David Schmelter. “Requirements Engineering - Zusatzaufgabe Oder Kernkompetenz?” OBJEKTspektrum, no. RE/2016 (2016).
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20829
Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.” Journal of Software Evolution and Process, 2016. https://doi.org/10.1002/smr.1780.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20830
Schubert, David, Christian Heinzemann, and Christopher Gerking. “Towards Safe Execution of Reconfigurations in Cyber-Physical Systems.” In Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering. ACM, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 20867
Sievers, Sönke, Tobias Schlüter, Ramona Busch, and Thomas Hartmann-Wendels. “Loan Pricing: Do Borrowers Benefit from Cost-Efficient Banking?” Credit and Capital Markets – Kredit Und Kapital (VHB-JOURQUAL 3 Ranking C) 49, no. 1 (2016): 93–125. https://doi.org/10.3790/ccm.49.1.93.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 209
Feldotto, Matthias, Lennart Leder, and Alexander Skopalik. “Congestion Games with Mixed Objectives.” In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 655--669. LNCS, 2016. https://doi.org/10.1007/978-3-319-48749-6_47.
LibreCat
| Files available
| DOI
| arXiv
2016 | Conference Paper | LibreCat-ID: 180
Gutt, Dominik, and Dennis 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, 2016.
LibreCat
| Files available
2016 | Book | LibreCat-ID: 18011
Brüggemann, M., T. Knaus, and Dorothee M. Meister. Kommunikationskulturen in Digitalen Welten. Konzepte Und Strategien Der Medienpädagogik Und Medienbildung. München: kopaed, 2016.
LibreCat
2016 | Book | LibreCat-ID: 18015
Kamin, A. M., A.-D. Greiner, Dorothee 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
Heuchler, Sebastian. Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18052
Brüggemann, M., T. Knaus, and Dorothee 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, edited by M. Brüggemann, T. Knaus, and Dorothee M. Meister. München: kopaed, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18053
Friedrichs-Liesenkötter, H., and Dorothee 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, edited by J. Lauffer and R. Renate, 54–60. München: kopaed, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18054
Kamin, A.-M., and Dorothee 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, edited by M. Antona and C. Stephanidis, 82–92, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18055
Kamin, A.-M., A.-D. Greiner, I. Darmann-Finck, and Dorothee M. Meister. “MeCoPflege im Detail – Qualifizierung. Lernplattform. Medienpoints.” In Mediengestütztes Lernen in der Pflege – zwischen Traditionen und Innovationen, edited by A.-M. Kamin, A.-D. Greiner, Dorothee M. Meister, and I. Darmann-Finck, 105–30. Paderborn: IN VIA Verlag, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18056
Kamin, A.-M., A.-D. Greiner, Dorothee 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, edited by A.-M. Kamin, A.-D. Greiner, Dorothee M. Meister, and I. Darmann-Finck, 5–15. Paderborn: IN VIA Verlag, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18057
Kamin, A.-M., and Dorothee 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, edited by A.-M. Kamin, A.-D. Greiner, Dorothee M. Meister, and I. Darmann-Finck, 57–83. Paderborn: INVIA Verlag, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18058
Beckmann, A., and Dorothee M. Meister. “Usability-Aspekte von virtuellen Lernplattformen am Beispiel von MeCoPdlege.” In Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen, edited by A.-M. Kamin, A.-D. Greiner, Dorothee M. Meister, and I. Darmann-Finck, 131–51. Paderborn: INVIA Verlag, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 181
Stanco, Stefan. Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 182
Kesmen, Belma. Marktmissbrauch in der Internetökonomie - Eine wettbewerbspolitische Analyse. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 183
Jubrail, Ari. Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen. Universität Paderborn, 2016.
LibreCat