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.

1307 Publications


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

2019 | Journal Article | LibreCat-ID: 10090
Gries, T. (2019). A New Theory of Demand-Restricted Growth: The Basic Idea. The American Economist. https://doi.org/10.1177/0569434519846477
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10091
König, J., & Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger & K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Vol. 11460, pp. 263–279). Springer. https://doi.org/10.1007/978-3-030-20652-9\_18
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10092
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2019). Verifying C11 programs operationally. 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 (pp. 355–365). {ACM}. https://doi.org/10.1145/3293883.3295702
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10093
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2019). Combining Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic, G. Herzwurm, & S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 151--152). GI. https://doi.org/10.18420/se2019-46
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10094
Sharma, A., & Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In S. Becker, I. Bogicevic, G. Herzwurm, & S. Wagner (Eds.), Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019 (Vol. {P-292}, pp. 157–158). {GI}. https://doi.org/10.18420/se2019-48
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
Richter, C., & Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). 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} (Vol. 11429, pp. 229–233). Springer. https://doi.org/10.1007/978-3-030-17502-3_19
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 10096
Beyer, D., & Wehrheim, H. (2019). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR, abs/1905.08505.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 10103
Hasso, T., Pelster, M., & Breitmayer, B. (2019). Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts. Journal of Behavioral and Experimental Finance, 23, 64–74. https://doi.org/10.1016/j.jbef.2019.04.009
LibreCat | DOI
 

2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10108
Pauck, F., & Wehrheim, H. (n.d.). Together Strong: Cooperative Android App Analysis. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (pp. 374–384). https://doi.org/10.1145/3338906.3338915
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10135
Webersen, M., Hüttner, M., Woitschek, F., Moritzer, E., & Henning, B. (2019). Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere. In Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019. Rostock.
LibreCat
 

2019 | Bachelorsthesis | LibreCat-ID: 10203
Rohde, L. (2019). Sozioökonomische Implikationen des Sharing Economy Trends. Universität Paderborn.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10232 | OA
Wever, M. D., Mohr, F., Tornede, A., & Hüllermeier, E. (2019). Automating Multi-Label Classification Extending ML-Plan. Presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 10255
Bender, A., Reinke, K., & Sextro, W. (2019). Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement. In 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019 (Vol. VDI-Berichte 2346, pp. 241–248). Bremen 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10257
Kaul, T., Hentze, J., Sextro, W., & Gräßler, I. (2019). Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung. In Fachtagung Mechatronik 2019 Paderborn.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10258
Dunst, P., Hemsel, T., Bornmann, P., Littmann, W., & Sextro, W. (2019). Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten. In DAGA 2019. Rostock.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 10271
N., N. (2019). Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 10277
Althaus, S. (2019). Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry. Universität Paderborn.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 10279
Pelster, M., Breitmayer, B., & Hasso, T. (2019). Are cryptocurrency traders pioneers or just risk-seekers? evidence from brokerage accounts. Economics Letters, 182, 98–100. https://doi.org/10.1016/j.econlet.2019.06.013
LibreCat | DOI
 

Filters and Search Terms

year=2019

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed