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.
9806 Publications
2019 | Book Chapter | LibreCat-ID: 13178
Beverungen D, Bartelheimer C, Wolf V. Smart Service Systems als Handlungsfeld einer konvergierenden Dienstleistungsforschung. In: Stich, V.; Schumann, J.H.; Beverungen, D.; Gudergan, G.; Jussen, P. , ed. Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln. Wiesbaden: SpringerVieweg; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13182
Feldmann M, Götte T, Scheideler C. 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). Lecture Notes in Computer Science. Springer, Cham; 2019:149-164. doi:https://doi.org/10.1007/978-3-030-34992-9_13
LibreCat
| Files available
| DOI
| arXiv
2019 | Journal Article | LibreCat-ID: 13185
Rittinghaus RD, Schäfer PM, Albrecht P, et al. New Kids in Lactide Polymerization: Highly Active and Robust Iron Guanidine Complexes as Superior Catalysts. ChemSusChem. 2019;12(10):2161-2165. doi:10.1002/cssc.201900481
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13211
Kodalle T, Kormath Madam Raghupathy R, Bertram T, et al. Properties of Co-Evaporated RbInSe2 Thin Films. physica status solidi (RRL)--Rapid Research Letters. 2019;13(3):1800564. doi:10.1002/pssr.201800564
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13225
Clark T, Heske JJ, Kühne T. Opposing Electronic and Nuclear Quantum Effects on Hydrogen Bonds in H2O and D2O. ChemPhysChem. 2019;20(0):1-6. doi:10.1002/cphc.201900839
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13232
Kaliannan NK, Henao Aristizabal A, Wiebeler H, et al. Impact of intermolecular vibrational coupling effects on the sum-frequency generation spectra of the water/air interface. Molecular Physics. 2019;0(0):1-10. doi: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 TD, Bauer M. Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes. The Journal of Physical Chemistry A. 2019;123(16):3575-3581. doi:10.1021/acs.jpca.9b00463
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13236
Walczak R, Savateev A, Heske JJ, et al. Controlling the strength of interaction between carbon dioxide and nitrogen-rich carbon materials by molecular design. Sustainable Energy Fuels. 2019. doi:10.1039/C9SE00486F
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13237
Elgabarty H, Kaliannan NK, Kühne TD. Enhancement of the asymmetry in the hydrogen bond network of liquid water by an ultrafast electric field pulse. Scientific Reports. 2019;9:10002. doi: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. Hyper-Reactive Tabu Search for MaxSAT. In: Learning and Intelligent Optimization. Cham: Springer International Publishing; 2019:309-325. doi:10.1007/978-3-030-05348-2_27
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13261
Wolters D, Kirchhoff J, Engels G. Specifying Web Interfaces for Command-line Applications Based on OpenAPI. In: Yangui S, Bouguettaya A, Xue X, et al., eds. Service-Oriented Computing – ICSOC 2019 Workshops. Vol 12019. LNCS. Springer; 2019:30-41. doi: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. All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis. In: ICASSP 2019, Brighton, UK. ; 2019.
LibreCat
| Files available
2019 | Bachelorsthesis | LibreCat-ID: 13435
Friesen E. 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 AA, Stratmann I, Tröster T. 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. doi:10.1007/978-3-662-58206-0_12
LibreCat
| DOI
2019 | Book | LibreCat-ID: 10002
Sextro W, Brökelmann M. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol VIII. Springer Verlag; 2019. doi:10.1007/978-3-662-55146-2
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann S, Springer D, Thiel C, Henning B. Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In: Gesellschaft für Akustik e.V. D, ed. Fortschritte der Akustik - DAGA 2019. Vol 45. Rostock: Deutsche Gesellschaft für Akustik; 2019:1055-1058.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10091
König J, Wehrheim H. Data Independence for Software Transactional Memory. In: M. Badger J, Yvonne Rozier K, eds. {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Vol 11460. Lecture Notes in Computer Science. Springer; 2019:263-279. doi: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. Combining Verifiers in Conditional Model Checking via Reducers. In: Becker S, Bogicevic I, Herzwurm G, Wagner S, eds. Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019. Vol P-292. LNI. GI; 2019:151--152. doi:10.18420/se2019-46
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter C, Wehrheim H. PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In: Beyer D, Huisman M, Kordon F, Steffen B, 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. Lecture Notes in Computer Science. Springer; 2019:229-233. doi:10.1007/978-3-030-17502-3_19
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann J. Analyzing Data Usage in Array Programs. Universität Paderborn; 2019.
LibreCat