"A possibilistic finite element method for sparse data"
A. Dridger, I. Caylak, R. Mahnken, E. Penner, Safety and Reliability (2019) 58–82.
LibreCat: /record/13431
DOI: 10.1080/09617353.2018.1552477

"Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity"
X. Ju, R. Mahnken, Computer Methods in Applied Mechanics and Engineering (2019) 297–329.
LibreCat: /record/13432
DOI: 10.1016/j.cma.2019.01.031

"Optimization with constraints considering polymorphic uncertainties"
M. Mäck, I. Caylak, P. Edler, S. Freitag, M. Hanss, R. Mahnken, G. Meschke, E. Penner, GAMM-Mitteilungen (2019).
LibreCat: /record/13434
DOI: 10.1002/gamm.201900005

Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis, Universität Paderborn, 2019.
LibreCat: /record/13435

TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES
A.A. Camberg, I. Stratmann, T. Tröster, in: Technologies for Economical and Functional Lightweight Design, Berlin, Heidelberg, 2019.
LibreCat: /record/13436
DOI: 10.1007/978-3-662-58206-0_12

Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface
S.A. Manavi, E. Kenig, in: Computer Aided Chemical Engineering, 29th European Symposium on Computer Aided Process Engineering, Eindhoven, Netherlands, 2019.
LibreCat: /record/13442
DOI: 10.1016/b978-0-12-818634-3.50138-7

Deep reinforcement learning for scheduling in large-scale networked control systems
A. Redder, A. Ramaswamy, D. Quevedo, in: Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019.
LibreCat: /record/13443

Mapping Value in Business Markets: An Integrative Framework
A. Eggert, M. Kleinaltenkamp, V. Kashyap, Industrial Marketing Management 79 (2019) 13--20.
LibreCat: /record/13454

Exploring the link between payment schemes and customer fraud: a mental accounting perspective
I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, E. Boehm, Journal of the Academy of Marketing Science 47 (2019) 595--616.
LibreCat: /record/13455

Service Growth by Acquisition – An Event Study
A. Eggert, E. Boehm, R. Akalan, H. Gebauer, (2019).
LibreCat: /record/13456

Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships
A. Eggert, L. Steinhoff, C. Witte, Journal of Marketing (2019).
LibreCat: /record/13457

Intelligente Herstellung zuverlässiger Kupferbondverbindungen
W. Sextro, M. Brökelmann, Intelligente Herstellung Zuverlässiger Kupferbondverbindungen, Springer Verlag, 2019.
LibreCat: /record/10002
DOI: 10.1007/978-3-662-55146-2

Editorial
M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.
LibreCat: /record/10011
DOI: 10.1007/s00165-018-00477-6

Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN
S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft für Akustik, Rostock, 2019, pp. 1055–1058.
LibreCat: /record/10042

A New Theory of Demand-Restricted Growth: The Basic Idea
T. Gries, The American Economist (2019).
LibreCat: /record/10090
DOI: 10.1177/0569434519846477

Data Independence for Software Transactional Memory
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

Verifying  programs operationally
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, 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, ACM, 2019, pp. 355–365.
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

Combining Verifiers in Conditional Model Checking via Reducers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
LibreCat: /record/10093
DOI: 10.18420/se2019-46

Testing Balancedness of ML Algorithms
A. Sharma, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 157–158.
LibreCat: /record/10094
DOI: 10.18420/se2019-48

PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, 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, Springer, 2019, pp. 229–233.
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19