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.
2192 Publications
2019 | Journal Article | LibreCat-ID: 13434
Mäck, Markus, Ismail Caylak, Philipp Edler, Steffen Freitag, Michael Hanss, Rolf Mahnken, Günther Meschke, and Eduard Penner. “‘Optimization with Constraints Considering Polymorphic Uncertainties.’” GAMM-Mitteilungen, 2019. https://doi.org/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, Ina Stratmann, and Thomas Tröster. “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, 2019. https://doi.org/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.” In Computer Aided Chemical Engineering. Eindhoven, Netherlands: 29th European Symposium on Computer Aided Process Engineering, 2019. https://doi.org/10.1016/b978-0-12-818634-3.50138-7.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13443 | 
Redder, Adrian, Arunselvan Ramaswamy, and Daniel 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, 2019.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 13454
Eggert, Andreas, Michael Kleinaltenkamp, and Vishal Kashyap. “Mapping Value in Business Markets: An Integrative Framework.” Industrial Marketing Management 79 (2019): 13--20.
LibreCat
2019 | Journal Article | LibreCat-ID: 13455
Garnefeld, Ina, Andreas Eggert, Markus Husemann-Kopetzky, and Eva Boehm. “Exploring the Link between Payment Schemes and Customer Fraud: A Mental Accounting Perspective.” Journal of the Academy of Marketing Science 47, no. 4 (2019): 595--616.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13456
Eggert, Andreas, Eva Boehm, Rodi Akalan, and Heiko Gebauer. “Service Growth by Acquisition – An Event Study.” 9th BMM-EMAC Biennial International Conference on Business Market Management, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 13457
Eggert, Andreas, Lena Steinhoff, and Carina Witte. “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. https://doi.org/10.1007/978-3-662-55146-2.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 10011
Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, Sarah, Dimitri Springer, Christian Thiel, and Bernd Henning. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” In Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., 45:1055–58. Rostock: Deutsche Gesellschaft für Akustik, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 10090
Gries, Thomas. “A New Theory of Demand-Restricted Growth: The Basic Idea.” The American Economist, 2019. https://doi.org/10.1177/0569434519846477.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” In {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, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-20652-9\_18.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10092
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John 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, edited by Jeffrey K. Hollingsworth and Idit Keidar, 355–65. {ACM}, 2019. https://doi.org/10.1145/3293883.3295702.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Combining Verifiers in Conditional Model Checking via Reducers.” In Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, P-292:151--152. LNI. GI, 2019. https://doi.org/10.18420/se2019-46.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10094
Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.” In Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, {P-292}:157–58. {LNI}. {GI}, 2019. https://doi.org/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).” 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}, edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen, 11429:229–33. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-17502-3_19.
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 10096
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” CoRR abs/1905.08505 (2019).
LibreCat
2019 | Journal Article | LibreCat-ID: 10103
Hasso, Tim, Matthias Pelster, and Bastian Breitmayer. “Who Trades Cryptocurrencies, How Do They Trade It, and How Do They Perform? Evidence from Brokerage Accounts.” Journal of Behavioral and Experimental Finance 23 (2019): 64–74. https://doi.org/10.1016/j.jbef.2019.04.009.
LibreCat
| DOI