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.
2278 Publications
2019 | Book Chapter | LibreCat-ID: 13436
Camberg, A. A., Stratmann, I., & Tröster, T. (2019). TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES. In Technologies for economical and functional lightweight design. Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-58206-0_12
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13442
Manavi, S. A., & Kenig, E. (2019). Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface. In Computer Aided Chemical Engineering. Eindhoven, Netherlands: 29th European Symposium on Computer Aided Process Engineering. https://doi.org/10.1016/b978-0-12-818634-3.50138-7
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13443 | 
Redder, A., Ramaswamy, A., & Quevedo, D. (2019). Deep reinforcement learning for scheduling in large-scale networked control systems. In Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems. Chicago, USA.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 13454
Eggert, A., Kleinaltenkamp, M., & Kashyap, V. (2019). Mapping Value in Business Markets: An Integrative Framework. Industrial Marketing Management, 79, 13--20.
LibreCat
2019 | Journal Article | LibreCat-ID: 13455
Garnefeld, I., Eggert, A., Husemann-Kopetzky, M., & Boehm, E. (2019). Exploring the link between payment schemes and customer fraud: a mental accounting perspective. Journal of the Academy of Marketing Science, 47(4), 595--616.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13456
Eggert, A., Boehm, E., Akalan, R., & Gebauer, H. (2019). Service Growth by Acquisition – An Event Study.
LibreCat
2019 | Journal Article | LibreCat-ID: 13457
Eggert, A., Steinhoff, L., & Witte, C. (2019). Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships. Journal of Marketing.
LibreCat
2019 | Book | LibreCat-ID: 10002
Sextro, W., & Brökelmann, M. (2019). Intelligente Herstellung zuverlässiger Kupferbondverbindungen (Vol. VIII). Springer Verlag. https://doi.org/10.1007/978-3-662-55146-2
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 10011
Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, S., Springer, D., Thiel, C., & Henning, B. (2019). Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019 (Vol. 45, pp. 1055–1058). Rostock: Deutsche Gesellschaft für Akustik.
LibreCat
2019 | Journal Article | LibreCat-ID: 10090
Gries, T. (2019). A New Theory of Demand-Restricted Growth: The Basic Idea. The American Economist. https://doi.org/10.1177/0569434519846477
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10091
König, J., & Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger & K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Vol. 11460, pp. 263–279). Springer. https://doi.org/10.1007/978-3-030-20652-9\_18
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10092
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2019). Verifying C11 programs operationally. In J. K. Hollingsworth & I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019 (pp. 355–365). {ACM}. https://doi.org/10.1145/3293883.3295702
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2019). Combining Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic, G. Herzwurm, & S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 151--152). GI. https://doi.org/10.18420/se2019-46
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10094
Sharma, A., & Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In S. Becker, I. Bogicevic, G. Herzwurm, & S. Wagner (Eds.), Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019 (Vol. {P-292}, pp. 157–158). {GI}. https://doi.org/10.18420/se2019-48
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter, C., & Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In D. Beyer, M. Huisman, F. Kordon, & B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III} (Vol. 11429, pp. 229–233). Springer. https://doi.org/10.1007/978-3-030-17502-3_19
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 10096
Beyer, D., & Wehrheim, H. (2019). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR, abs/1905.08505.
LibreCat
2019 | Journal Article | LibreCat-ID: 10103
Hasso, T., Pelster, M., & Breitmayer, B. (2019). Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts. Journal of Behavioral and Experimental Finance, 23, 64–74. https://doi.org/10.1016/j.jbef.2019.04.009
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
Webersen, M., Hüttner, M., Woitschek, F., Moritzer, E., & Henning, B. (2019). Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere. In Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019. Rostock.
LibreCat