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.
12176 Publications
2019 | Conference Paper | LibreCat-ID: 20535
Luo, L., Dolby, J., & Bodden, E. (2019). MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors. European Conference on Object-Oriented Programming (ECOOP).
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 20536
Späth, J. (2019). Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn.
LibreCat
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
Piskachev, G., Nguyen, L., & Bodden, E. (2019). Codebase-Adaptive Detection of Security-Relevant Methods.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20538
Albert Gorski Iii, S., Andow, B., Nadkarni, A., Manandhar, S., Enck, W., Bodden, E., & Bartel, A. (2019). ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware. ACM Conference on Data and Application Security and Privacy (CODASPY 2019).
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20539
Späth, J., Ali, K., & Bodden, E. (2019). Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems. Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, 3(POPL), 48:1-48:29. https://doi.org/10.1145/3290361
LibreCat
| DOI
| Download (ext.)
2019 | Book | LibreCat-ID: 20677
Bobbert, M. (2019). Untersuchungen zu kontinuums- und bruchmechanischen Methoden für die Prognose des Crashverhaltens toleranzbehafteter Strukturklebverbindungen.
LibreCat
2019 | Journal Article | LibreCat-ID: 20688
Hüther, N., Robinson, D. T., Sievers, S., & Hartmann-Wendels, T. (2019). Paying for Performance in Private Equity: Evidence from Venture Capital Partnerships. Management Science (VHB-JOURQUAL 3 Ranking A+), 66(4), 1756–1782. https://doi.org/10.1287/mnsc.2018.3274
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20759
Gerking, C., & Schubert, D. (2019). Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. International Conference on Software Architecture (ICSA 2019).
LibreCat
2019 | Preprint | LibreCat-ID: 18018
Bengs, V., & Holzmann, H. (2019). Uniform approximation in classical weak convergence theory. ArXiv:1903.09864.
LibreCat
2019 | Dissertation | LibreCat-ID: 22500
Kriegel, N.-P. (2019). Konzeption eines energieeffizienten Betätigungs- und Haltesystems für eine Federkraftbremse. Shaker Verlag GmbH .
LibreCat
2019 | Journal Article | LibreCat-ID: 2256
Hoyer, B., & Haller, H. (2019). The Common Enemy Effect under Strategic Network Formation and Disruption. Journal of Economic Behavior & Organization, 162, 146–163. https://doi.org/10.1016/j.jebo.2019.03.011
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 22708
Eckelt, D., Bismark, R., Dumitrescu, R., Frank, M., Gausemeier, J., & Reinhold, J. (2019). Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen. In J. Gausemeier, W. Bauer, R. Dumitrescu, & Heinz Nixdorf Institut (Eds.), Vorausschau und Technologieplanung (Vol. 390, pp. 535–555).
LibreCat
2019 | Conference Paper | LibreCat-ID: 22709
Dumitrescu, R., Japs, S., Kaiser, L., & Rasor, R. (2019). Model Checking of Integratively Designed Product and Production Systems. In TdSE 2019. Garching.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22710
Albers, A., Ellermann, K. F., Kühn, A., & Dumitrescu, R. (2019). Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik. In J. Gausemeier, W. Bauer, R. Dumitrescu, & Heinz Nixdorf Institut (Eds.), 15. Symposium für Vorausschau und Technologieplanung (Vol. 390, pp. 277–291). Berlin.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22712
Drewel, M., Gausemeier, J., Vaßholz, M., & Homburg, N. (2019). Einstieg in die Plattformökonomie. In J. Gausemeier, W. Bauer, R. Dumitrescu, & Heinz Nixdorf Institut (Eds.), Symposium für Vorausschau und Technologieplanung (Vol. 15).
LibreCat
2019 | Newspaper Article | LibreCat-ID: 22714
Pierenkemper, C., Reinhold, J., Dumitrescu, R., & Gausemeier, J. (2019). Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen. Industrie 4.0 Management, pp. 30–34.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 22716
Wortmann, F., Joppen, R., Drewel, M., Kühn, A., & Dumitrescu, R. (2019). Developing and Evaluating Concepts for a Digital Platform. In K. Jain, S. Sangle, R. Gupta, J. Persis, & R. Mukundan (Eds.), IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22717
Reinhold, J., Frank, M., Koldewey, C., Dumitrescu, R., & Gausemeier, J. (2019). Competence-based Planning of Value Networks for Smart Services. In International Society for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the ISPIM Connects.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22721
Bansmann, M., Foullois, M., Roeltgen, D., Wöste, L., & Dumitrescu, R. (2019). Reference Architecture and Classification of technology-induced Scenarios of Digitized Work. In 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22725
Asmar, L., Wortmann, F., Röltgen, D., Niewöhner, N., Kühn, A., & Dumitrescu, R. (2019). Framework for the configuration of an engineering based Makeathon. In Proceedings of ISPIM Innovation Conference, 7.-9. April, Ottawa, 2019.
LibreCat