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.
9802 Publications
2019 | Conference Paper | LibreCat-ID: 13182
Feldmann, M., Götte, T., & Scheideler, C. (2019). A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory. In Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) (pp. 149–164). Springer, Cham. https://doi.org/10.1007/978-3-030-34992-9_13
LibreCat
| Files available
| DOI
| arXiv
2019 | Journal Article | LibreCat-ID: 13185
Rittinghaus, R. D., Schäfer, P. M., Albrecht, P., Conrads, C., Hoffmann, A., Ksiazkiewicz, A. N., … Herres-Pawlis, S. (2019). New Kids in Lactide Polymerization: Highly Active and Robust Iron Guanidine Complexes as Superior Catalysts. ChemSusChem, 12(10), 2161–2165. https://doi.org/10.1002/cssc.201900481
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13211
Kodalle, T., Kormath Madam Raghupathy, R., Bertram, T., Maticiuc, N., Yetkin, H. A., Gunder, R., … Mirhosseini, H. (2019). Properties of Co-Evaporated RbInSe2 Thin Films. Physica Status Solidi (RRL)--Rapid Research Letters, 13(3), 1800564. https://doi.org/10.1002/pssr.201800564
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13225
Clark, T., Heske, J. J., & Kühne, T. (2019). Opposing Electronic and Nuclear Quantum Effects on Hydrogen Bonds in H2O and D2O. ChemPhysChem, 20(0), 1–6. https://doi.org/10.1002/cphc.201900839
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13232
Kaliannan, N. K., Henao Aristizabal, A., Wiebeler, H., Zysk, F., Ohto, T., Nagata, Y., & D. Kühne, T. (2019). Impact of intermolecular vibrational coupling effects on the sum-frequency generation spectra of the water/air interface. Molecular Physics, 0(0), 1–10. https://doi.org/10.1080/00268976.2019.1620358
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13233
Müller, P., Neuba, A., Flörke, U., Henkel, G., Kühne, T. D., & Bauer, M. (2019). Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes. The Journal of Physical Chemistry A, 123(16), 3575–3581. https://doi.org/10.1021/acs.jpca.9b00463
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13236
Walczak, R., Savateev, A., Heske, J. J., Tarakina, N. V., Sahoo, S., Epping, J. D., … Oschatz, M. (2019). Controlling the strength of interaction between carbon dioxide and nitrogen-rich carbon materials by molecular design. Sustainable Energy Fuels. https://doi.org/10.1039/C9SE00486F
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13237
Elgabarty, H., Kaliannan, N. K., & Kühne, T. D. (2019). Enhancement of the asymmetry in the hydrogen bond network of liquid water by an ultrafast electric field pulse. Scientific Reports, 9, 10002. https://doi.org/10.1038/s41598-019-46449-5
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13250
Ansótegui, C., Heymann, B., Pon, J., Sellmann, M., & Tierney, K. (2019). Hyper-Reactive Tabu Search for MaxSAT. In Learning and Intelligent Optimization (pp. 309–325). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-05348-2_27
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13261
Wolters, D., Kirchhoff, J., & Engels, G. (2019). Specifying Web Interfaces for Command-line Applications Based on OpenAPI. In S. Yangui, A. Bouguettaya, X. Xue, N. Faci, W. Gaaloul, Q. Yu, … E. Y. Nakagawa (Eds.), Service-Oriented Computing – ICSOC 2019 Workshops (Vol. 12019, pp. 30–41). Springer. https://doi.org/10.1007/978-3-030-45989-5\_3
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13271 | 
von Neumann, T., Kinoshita, K., Delcroix, M., Araki, S., Nakatani, T., & Haeb-Umbach, R. (2019). All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis. In ICASSP 2019, Brighton, UK.
LibreCat
| Files available
2019 | Bachelorsthesis | LibreCat-ID: 13435
Friesen, E. (2019). Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn.
LibreCat
2019 | Book Chapter | LibreCat-ID: 13436
Camberg, A. A., Stratmann, I., & Tröster, T. (2019). 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. https://doi.org/10.1007/978-3-662-58206-0_12
LibreCat
| DOI
2019 | Book | LibreCat-ID: 10002
Sextro, W., & Brökelmann, M. (2019). Intelligente Herstellung zuverlässiger Kupferbondverbindungen (Vol. VIII). Springer Verlag. https://doi.org/10.1007/978-3-662-55146-2
LibreCat
| DOI
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 | 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: 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: 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 | Mastersthesis | LibreCat-ID: 10105
Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn.
LibreCat
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