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.
9734 Publications
2019 | Journal Article | LibreCat-ID: 13185
Rittinghaus, Ruth D., et al. “New Kids in Lactide Polymerization: Highly Active and Robust Iron Guanidine Complexes as Superior Catalysts.” ChemSusChem, vol. 12, no. 10, 2019, pp. 2161–65, doi:10.1002/cssc.201900481.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13236
Walczak, Ralf, et al. “Controlling the Strength of Interaction between Carbon Dioxide and Nitrogen-Rich Carbon Materials by Molecular Design.” Sustainable Energy Fuels, The Royal Society of Chemistry, 2019, doi:10.1039/C9SE00486F.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13250
Ansótegui, Carlos, et al. “Hyper-Reactive Tabu Search for MaxSAT.” Learning and Intelligent Optimization, Springer International Publishing, 2019, pp. 309–25, doi:10.1007/978-3-030-05348-2_27.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13261
Wolters, Dennis, et al. “Specifying Web Interfaces for Command-Line Applications Based on OpenAPI.” Service-Oriented Computing – ICSOC 2019 Workshops, edited by Sami Yangui et al., vol. 12019, Springer, 2019, pp. 30–41, doi:10.1007/978-3-030-45989-5\_3.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13270
Guevara-Carrion, Gabriela, et al. “Diffusion of Methane in Supercritical Carbon Dioxide Across the Widom Line.” Scientific Reports, vol. 9, 8466, 2019, doi:10.1038/s41598-019-44687-1.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13271 | 
von Neumann, Thilo, et al. “All-Neural Online Source Separation, Counting, and Diarization for Meeting Analysis.” ICASSP 2019, Brighton, UK, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 13292 |
Schneider, Stefan Balthasar, et al. “‘Producing Cloud-Native’: Smart Manufacturing Use Cases on Kubernetes.” IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track, IEEE, 2019.
LibreCat
| Files available
2019 | Bachelorsthesis | LibreCat-ID: 13435
Friesen, Edwin. 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, Alan Adam, et al. “TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES.” Technologies for Economical and Functional Lightweight Design, 2019, doi:10.1007/978-3-662-58206-0_12.
LibreCat
| DOI
2019 | Book | LibreCat-ID: 10002
Sextro, Walter, and Michael Brökelmann. 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, Sarah, et al. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., vol. 45, Deutsche Gesellschaft für Akustik, 2019, pp. 1055–58.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9\_18.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via Reducers.” Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 151--152, doi:10.18420/se2019-46.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).” 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}, edited by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:10.1007/978-3-030-17502-3_19.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
Webersen, Manuel, et al. “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere.” Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V. (DEGA), 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 |
Wever, Marcel Dominik, et al. Automating Multi-Label Classification Extending ML-Plan. 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10258
Dunst, Paul, et al. “Modellbasierte Und Experimentelle Charakterisierung von Intensiven Ultraschall-Stehwellenfeldern Für Die Zerstäubung Hochviskoser Flüssigkeiten.” DAGA 2019, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10271
N., N. Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 10277
Althaus, Steffen. Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry. 2019.
LibreCat