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
A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory
M. Feldmann, T. Götte, C. Scheideler, in: Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2019, pp. 149–164.
LibreCat
| Files available
| DOI
| arXiv
M. Feldmann, T. Götte, C. Scheideler, in: Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2019, pp. 149–164.
2019 | Journal Article | LibreCat-ID: 13185
New Kids in Lactide Polymerization: Highly Active and Robust Iron Guanidine Complexes as Superior Catalysts
R.D. Rittinghaus, P.M. Schäfer, P. Albrecht, C. Conrads, A. Hoffmann, A.N. Ksiazkiewicz, O. Bienemann, A. Pich, S. Herres-Pawlis, ChemSusChem 12 (2019) 2161–2165.
LibreCat
| DOI
R.D. Rittinghaus, P.M. Schäfer, P. Albrecht, C. Conrads, A. Hoffmann, A.N. Ksiazkiewicz, O. Bienemann, A. Pich, S. Herres-Pawlis, ChemSusChem 12 (2019) 2161–2165.
2019 | Journal Article | LibreCat-ID: 13211
Properties of Co-Evaporated RbInSe2 Thin Films
T. Kodalle, R. Kormath Madam Raghupathy, T. Bertram, N. Maticiuc, H.A. Yetkin, R. Gunder, R. Schlatmann, T.D. Kühne, C.A. Kaufmann, H. Mirhosseini, Physica Status Solidi (RRL)--Rapid Research Letters 13 (2019) 1800564.
LibreCat
| DOI
T. Kodalle, R. Kormath Madam Raghupathy, T. Bertram, N. Maticiuc, H.A. Yetkin, R. Gunder, R. Schlatmann, T.D. Kühne, C.A. Kaufmann, H. Mirhosseini, Physica Status Solidi (RRL)--Rapid Research Letters 13 (2019) 1800564.
2019 | Journal Article | LibreCat-ID: 13225
Opposing Electronic and Nuclear Quantum Effects on Hydrogen Bonds in H2O and D2O
T. Clark, J.J. Heske, T. Kühne, ChemPhysChem 20 (2019) 1–6.
LibreCat
| DOI
T. Clark, J.J. Heske, T. Kühne, ChemPhysChem 20 (2019) 1–6.
2019 | Journal Article | LibreCat-ID: 13232
Impact of intermolecular vibrational coupling effects on the sum-frequency generation spectra of the water/air interface
N.K. Kaliannan, A. Henao Aristizabal, H. Wiebeler, F. Zysk, T. Ohto, Y. Nagata, T. D. Kühne, Molecular Physics 0 (2019) 1–10.
LibreCat
| DOI
N.K. Kaliannan, A. Henao Aristizabal, H. Wiebeler, F. Zysk, T. Ohto, Y. Nagata, T. D. Kühne, Molecular Physics 0 (2019) 1–10.
2019 | Journal Article | LibreCat-ID: 13233
Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes
P. Müller, A. Neuba, U. Flörke, G. Henkel, T.D. Kühne, M. Bauer, The Journal of Physical Chemistry A 123 (2019) 3575–3581.
LibreCat
| DOI
P. Müller, A. Neuba, U. Flörke, G. Henkel, T.D. Kühne, M. Bauer, The Journal of Physical Chemistry A 123 (2019) 3575–3581.
2019 | Journal Article | LibreCat-ID: 13236
Controlling the strength of interaction between carbon dioxide and nitrogen-rich carbon materials by molecular design
R. Walczak, A. Savateev, J.J. Heske, N.V. Tarakina, S. Sahoo, J.D. Epping, T. Kühne, B. Kurpil, M. Antonietti, M. Oschatz, Sustainable Energy Fuels (2019).
LibreCat
| DOI
R. Walczak, A. Savateev, J.J. Heske, N.V. Tarakina, S. Sahoo, J.D. Epping, T. Kühne, B. Kurpil, M. Antonietti, M. Oschatz, Sustainable Energy Fuels (2019).
2019 | Journal Article | LibreCat-ID: 13237
Enhancement of the asymmetry in the hydrogen bond network of liquid water by an ultrafast electric field pulse
H. Elgabarty, N.K. Kaliannan, T.D. Kühne, Scientific Reports 9 (2019) 10002.
LibreCat
| DOI
H. Elgabarty, N.K. Kaliannan, T.D. Kühne, Scientific Reports 9 (2019) 10002.
2019 | Conference Paper | LibreCat-ID: 13250
Hyper-Reactive Tabu Search for MaxSAT
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, K. Tierney, in: Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 309–325.
LibreCat
| DOI
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, K. Tierney, in: Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 309–325.
2019 | Conference Paper | LibreCat-ID: 13261
Specifying Web Interfaces for Command-line Applications Based on OpenAPI
D. Wolters, J. Kirchhoff, G. Engels, in: S. Yangui, A. Bouguettaya, X. Xue, N. Faci, W. Gaaloul, Q. Yu, Z. Zhou, N. Hernandez, E.Y. Nakagawa (Eds.), Service-Oriented Computing – ICSOC 2019 Workshops, Springer, 2019, pp. 30–41.
LibreCat
| DOI
D. Wolters, J. Kirchhoff, G. Engels, in: S. Yangui, A. Bouguettaya, X. Xue, N. Faci, W. Gaaloul, Q. Yu, Z. Zhou, N. Hernandez, E.Y. Nakagawa (Eds.), Service-Oriented Computing – ICSOC 2019 Workshops, Springer, 2019, pp. 30–41.
2019 | Conference Paper | LibreCat-ID: 13271 | 
All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis
T. von Neumann, K. Kinoshita, M. Delcroix, S. Araki, T. Nakatani, R. Haeb-Umbach, in: ICASSP 2019, Brighton, UK, 2019.
LibreCat
| Files available
T. von Neumann, K. Kinoshita, M. Delcroix, S. Araki, T. Nakatani, R. Haeb-Umbach, in: ICASSP 2019, Brighton, UK, 2019.
2019 | Bachelorsthesis | LibreCat-ID: 13435
Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis, Universität Paderborn, 2019.
LibreCat
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis, Universität Paderborn, 2019.
2019 | Book Chapter | LibreCat-ID: 13436
TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES
A.A. Camberg, I. Stratmann, T. Tröster, in: Technologies for Economical and Functional Lightweight Design, Berlin, Heidelberg, 2019.
LibreCat
| DOI
A.A. Camberg, I. Stratmann, T. Tröster, in: Technologies for Economical and Functional Lightweight Design, Berlin, Heidelberg, 2019.
2019 | Book | LibreCat-ID: 10002
Intelligente Herstellung zuverlässiger Kupferbondverbindungen
W. Sextro, M. Brökelmann, Intelligente Herstellung Zuverlässiger Kupferbondverbindungen, Springer Verlag, 2019.
LibreCat
| DOI
W. Sextro, M. Brökelmann, Intelligente Herstellung Zuverlässiger Kupferbondverbindungen, Springer Verlag, 2019.
2019 | Conference Paper | LibreCat-ID: 10042
Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN
S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft für Akustik, Rostock, 2019, pp. 1055–1058.
LibreCat
S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft für Akustik, Rostock, 2019, pp. 1055–1058.
2019 | Conference Paper | LibreCat-ID: 10091
Data Independence for Software Transactional Memory
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
LibreCat
| DOI
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
2019 | Conference Paper | LibreCat-ID: 10093
Combining Verifiers in Conditional Model Checking via Reducers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
LibreCat
| Files available
| DOI
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
2019 | Conference Paper | LibreCat-ID: 10095
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, 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}, Springer, 2019, pp. 229–233.
LibreCat
| Files available
| DOI
C. Richter, H. Wehrheim, 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}, Springer, 2019, pp. 229–233.
2019 | Mastersthesis | LibreCat-ID: 10105
Analyzing Data Usage in Array Programs
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
LibreCat
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 10135
Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, B. Henning, in: Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019, 2019.
LibreCat
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, B. Henning, in: Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019, 2019.