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.
2138 Publications
2019 | Journal Article | LibreCat-ID: 13431
Dridger, A., et al. “‘A Possibilistic Finite Element Method for Sparse Data.’” Safety and Reliability, 2019, pp. 58–82, doi:10.1080/09617353.2018.1552477.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13432
Ju, Xiaozhe, and Rolf Mahnken. “‘Goal-Oriented h-Type Adaptive Finite Elements for Micromorphic Elastoplasticity.’” Computer Methods in Applied Mechanics and Engineering, 2019, pp. 297–329, doi:10.1016/j.cma.2019.01.031.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13434
Mäck, Markus, et al. “‘Optimization with Constraints Considering Polymorphic Uncertainties.’” GAMM-Mitteilungen, e201900005, 2019, doi:10.1002/gamm.201900005.
LibreCat
| DOI
2019 | Bachelorsthesis | LibreCat-ID: 13435
Friesen, Edwin. Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn, 2019.
LibreCat
2019 | Book Chapter | LibreCat-ID: 13436
Camberg, Alan Adam, et al. “TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES.” Technologies for Economical and Functional Lightweight Design, 2019, doi:10.1007/978-3-662-58206-0_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13442
Manavi, Seyed Alborz, and Eugeny Kenig. “Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface.” Computer Aided Chemical Engineering, 29th European Symposium on Computer Aided Process Engineering, 2019, doi:10.1016/b978-0-12-818634-3.50138-7.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13443 | 
Redder, Adrian, et al. “Deep Reinforcement Learning for Scheduling in Large-Scale Networked Control Systems.” Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 13454
Eggert, Andreas, et al. “Mapping Value in Business Markets: An Integrative Framework.” Industrial Marketing Management, vol. 79, 2019, pp. 13--20.
LibreCat
2019 | Journal Article | LibreCat-ID: 13455
Garnefeld, Ina, et al. “Exploring the Link between Payment Schemes and Customer Fraud: A Mental Accounting Perspective.” Journal of the Academy of Marketing Science, vol. 47, no. 4, 2019, pp. 595--616.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13456
Eggert, Andreas, et al. Service Growth by Acquisition – An Event Study. 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 13457
Eggert, Andreas, et al. “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships.” Journal of Marketing, 2019.
LibreCat
2019 | Book | LibreCat-ID: 10002
Sextro, Walter, and Michael Brökelmann. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol. VIII, Springer Verlag, 2019, doi:10.1007/978-3-662-55146-2.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 10011
Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, Sarah, et al. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., vol. 45, Deutsche Gesellschaft für Akustik, 2019, pp. 1055–58.
LibreCat
2019 | Journal Article | LibreCat-ID: 10090
Gries, Thomas. “A New Theory of Demand-Restricted Growth: The Basic Idea.” The American Economist, 056943451984647, 2019, doi:10.1177/0569434519846477.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9\_18.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10092
Doherty, Simon, et al. “Verifying C11 Programs Operationally.” Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, {ACM}, 2019, pp. 355–65, doi:10.1145/3293883.3295702.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via Reducers.” Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 151--152, doi:10.18420/se2019-46.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10094
Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.” Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. {P-292}, {GI}, 2019, pp. 157–58, doi:10.18420/se2019-48.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).” 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}, edited by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:10.1007/978-3-030-17502-3_19.
LibreCat
| Files available
| DOI