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: 13442
@inproceedings{Manavi_Kenig_2019, place={Eindhoven, Netherlands}, title={Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface}, DOI={10.1016/b978-0-12-818634-3.50138-7}, booktitle={Computer Aided Chemical Engineering}, publisher={29th European Symposium on Computer Aided Process Engineering}, author={Manavi, Seyed Alborz and Kenig, Eugeny}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13443 | 
@inproceedings{Redder_Ramaswamy_Quevedo_2019, title={Deep reinforcement learning for scheduling in large-scale networked control systems}, booktitle={Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems}, author={Redder, Adrian and Ramaswamy, Arunselvan and Quevedo, Daniel}, year={2019} }
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 13454
@article{Eggert_Kleinaltenkamp_Kashyap_2019, title={Mapping Value in Business Markets: An Integrative Framework}, volume={79}, journal={Industrial Marketing Management}, author={Eggert, Andreas and Kleinaltenkamp, Michael and Kashyap, Vishal}, year={2019}, pages={13--20} }
LibreCat
2019 | Journal Article | LibreCat-ID: 13455
@article{Garnefeld_Eggert_Husemann-Kopetzky_Boehm_2019, title={Exploring the link between payment schemes and customer fraud: a mental accounting perspective}, volume={47}, number={4}, journal={Journal of the Academy of Marketing Science}, author={Garnefeld, Ina and Eggert, Andreas and Husemann-Kopetzky, Markus and Boehm, Eva}, year={2019}, pages={595--616} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 13456
@article{Eggert_Boehm_Akalan_Gebauer_2019, series={9th BMM-EMAC Biennial International Conference on Business Market Management}, title={Service Growth by Acquisition – An Event Study}, author={Eggert, Andreas and Boehm, Eva and Akalan, Rodi and Gebauer, Heiko}, year={2019}, collection={9th BMM-EMAC Biennial International Conference on Business Market Management} }
LibreCat
2019 | Journal Article | LibreCat-ID: 13457
@article{Eggert_Steinhoff_Witte_2019, title={Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships}, journal={Journal of Marketing}, author={Eggert, Andreas and Steinhoff, Lena and Witte, Carina}, year={2019} }
LibreCat
2019 | Book | LibreCat-ID: 10002
@book{Sextro_Brökelmann_2019, title={Intelligente Herstellung zuverlässiger Kupferbondverbindungen}, volume={VIII}, DOI={10.1007/978-3-662-55146-2}, publisher={Springer Verlag}, author={Sextro, Walter and Brökelmann, Michael}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 10011
@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31}, DOI={10.1007/s00165-018-00477-6}, number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10042
@inproceedings{Johannesmann_Springer_Thiel_Henning_2019, place={Rostock}, title={Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN}, volume={45}, booktitle={Fortschritte der Akustik - DAGA 2019}, publisher={Deutsche Gesellschaft für Akustik}, author={Johannesmann, Sarah and Springer, Dimitri and Thiel, Christian and Henning, Bernd}, editor={Gesellschaft für Akustik e.V., DeutscheEditor}, year={2019}, pages={1055–1058} }
LibreCat
2019 | Journal Article | LibreCat-ID: 10090
@article{Gries_2019, title={A New Theory of Demand-Restricted Growth: The Basic Idea}, DOI={10.1177/0569434519846477}, number={056943451984647}, journal={The American Economist}, author={Gries, Thomas}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10091
@inproceedings{König_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Data Independence for Software Transactional Memory}, volume={11460}, DOI={10.1007/978-3-030-20652-9\_18}, booktitle={{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings}, publisher={Springer}, author={König, Jürgen and Wehrheim, Heike}, editor={M. Badger, Julia and Yvonne Rozier, KristinEditors}, year={2019}, pages={263–279}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10092
@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2019, title={Verifying C11 programs operationally}, DOI={10.1145/3293883.3295702}, booktitle={Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019}, publisher={{ACM}}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, editor={K. Hollingsworth, Jeffrey and Keidar, IditEditors}, year={2019}, pages={355–365} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2019, series={LNI}, title={Combining Verifiers in Conditional Model Checking via Reducers}, volume={P-292}, DOI={10.18420/se2019-46}, booktitle={Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019}, publisher={GI}, author={Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, editor={Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors}, year={2019}, pages={151--152}, collection={LNI} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10094
@inproceedings{Sharma_Wehrheim_2019, series={{LNI}}, title={Testing Balancedness of ML Algorithms}, volume={{P-292}}, DOI={10.18420/se2019-48}, booktitle={Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019}, publisher={{GI}}, author={Sharma, Arnab and Wehrheim, Heike}, editor={Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors}, year={2019}, pages={157–158}, collection={{LNI}} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
@inproceedings{Richter_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)}, volume={11429}, DOI={10.1007/978-3-030-17502-3_19}, booktitle={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}}, publisher={Springer}, author={Richter, Cedric and Wehrheim, Heike}, editor={Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, BernhardEditors}, year={2019}, pages={229–233}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 10096
@article{Beyer_Wehrheim_2019, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={abs/1905.08505}, journal={CoRR}, author={Beyer, Dirk and Wehrheim, Heike}, year={2019} }
LibreCat
2019 | Journal Article | LibreCat-ID: 10103
@article{Hasso_Pelster_Breitmayer_2019, title={Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts}, volume={23}, DOI={10.1016/j.jbef.2019.04.009}, journal={Journal of Behavioral and Experimental Finance}, publisher={Elsevier}, author={Hasso, Tim and Pelster, Matthias and Breitmayer, Bastian}, year={2019}, pages={64–74} }
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
@book{Haltermann_2019, title={Analyzing Data Usage in Array Programs}, publisher={Universität Paderborn}, author={Haltermann, Jan}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
@inproceedings{Webersen_Hüttner_Woitschek_Moritzer_Henning_2019, title={Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere}, booktitle={Fortschritte der Akustik - DAGA 2019}, author={Webersen, Manuel and Hüttner, Matthias and Woitschek, Fabian and Moritzer, Elmar and Henning, Bernd}, editor={Deutsche Gesellschaft für Akustik e.V. (DEGA)Editor}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 |
@inproceedings{Wever_Mohr_Tornede_Hüllermeier_2019, title={Automating Multi-Label Classification Extending ML-Plan}, author={Wever, Marcel Dominik and Mohr, Felix and Tornede, Alexander and Hüllermeier, Eyke}, year={2019} }
LibreCat
| Files available