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.
7881 Publications
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 | Journal Article | LibreCat-ID: 10011
Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6
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
2019 | Conference Paper | LibreCat-ID: 10232 |
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: 10284
Alshomary, M., Völske, M., Licht, T., Wachsmuth, H., Stein, B., Hagen, M., & Potthast, M. (2019). Wikipedia Text Reuse: Within and Without. In L. Azzopardi, B. Stein, N. Fuhr, P. Mayr, C. Hauff, & D. Hiemstra (Eds.), Advances in Information Retrieval (pp. 747–754). Cham: Springer International Publishing.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13554 |
Blömer, J., & Löken, N. (2019). Personal Cross-Platform Reputation. In Security and Trust Management, STM 2019 (Vol. 11738). https://doi.org/10.1007/978-3-030-31511-5_9
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13647
Claes, L., Johannesmann, S., Baumhögger, E., & Henning, B. (2019). Quantification of frequency-dependent absorption phenomena. In 2019 International Congress on Ultrasonics. Bruges. https://doi.org/10.1121/2.0001043
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 25030
Schenke, M., Kirchgässner, W., & Wallscheid, O. (2019). Controller Design for Electrical Drives by Deep Reinforcement Learning: A Proof of Concept. IEEE Transactions on Industrial Informatics, 4650–4658. https://doi.org/10.1109/tii.2019.2948387
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 29885
Joy, M. T., & Böcker, J. (2019). Speed Estimation in Induction Machines at all Speed Ranges Using Sensing Windings. 2018 IEEE International Conference on Power Electronics, Drives and Energy Systems (PEDES). IEEE International Conference on Power Electronics, Drives and Energy Systems (PEDES), Chennai, India. https://doi.org/10.1109/pedes.2018.8707494
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 21247
Kirchgässner, W., Wallscheid, O., & Böcker, J. (2019). Empirical Evaluation of Exponentially Weighted Moving Averages for Simple Linear Thermal Modeling of Permanent Magnet Synchronous Machines. 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE). https://doi.org/10.1109/isie.2019.8781195
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 21249
Kirchgässner, W., Wallscheid, O., & Böcker, J. (2019). Deep Residual Convolutional and Recurrent Neural Networks for Temperature Estimation in Permanent Magnet Synchronous Motors. 2019 IEEE International Electric Machines & Drives Conference (IEMDC). https://doi.org/10.1109/iemdc.2019.8785109
LibreCat
| DOI