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.
2279 Publications
2019 | Conference Paper | LibreCat-ID: 13443 | 
A. Redder, A. Ramaswamy, and D. Quevedo, “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, 2019.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 13454
A. Eggert, M. Kleinaltenkamp, and V. Kashyap, “Mapping Value in Business Markets: An Integrative Framework,” Industrial Marketing Management, vol. 79, pp. 13--20, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 13455
I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, and E. Boehm, “Exploring the link between payment schemes and customer fraud: a mental accounting perspective,” Journal of the Academy of Marketing Science, vol. 47, no. 4, pp. 595--616, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13456
A. Eggert, E. Boehm, R. Akalan, and H. Gebauer, “Service Growth by Acquisition – An Event Study.” 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 13457
A. Eggert, L. Steinhoff, and C. Witte, “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships,” Journal of Marketing, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10042
S. Johannesmann, D. Springer, C. Thiel, and B. Henning, “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN,” in Fortschritte der Akustik - DAGA 2019, Rostock, 2019, vol. 45, pp. 1055–1058.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10092
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying C11 programs operationally,” in Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, 2019, pp. 355–365.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers in Conditional Model Checking via Reducers,” in Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 151--152.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in 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}, 2019, vol. 11429, pp. 229–233.
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 10096
D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” CoRR, vol. abs/1905.08505, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10105
J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, and B. Henning, “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere,” in Fortschritte der Akustik - DAGA 2019, Rostock, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 |
M. D. Wever, F. Mohr, A. Tornede, and E. Hüllermeier, “Automating Multi-Label Classification Extending ML-Plan,” presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA, 2019.
LibreCat
| Files available