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.
7876 Publications
2019 | Conference Paper | LibreCat-ID: 13261
Wolters, Dennis, Jonas Kirchhoff, and Gregor Engels. “Specifying Web Interfaces for Command-Line Applications Based on OpenAPI.” In Service-Oriented Computing – ICSOC 2019 Workshops, edited by Sami Yangui, Athman Bouguettaya, Xiao Xue, Noura Faci, Walid Gaaloul, Qi Yu, Zhangbing Zhou, Nathalie Hernandez, and Elisa Y. Nakagawa, 12019:30–41. LNCS. Springer, 2019. https://doi.org/10.1007/978-3-030-45989-5\_3.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13271 | 
Neumann, Thilo von, Keisuke Kinoshita, Marc Delcroix, Shoko Araki, Tomohiro Nakatani, and Reinhold Haeb-Umbach. “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, 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, Ina Stratmann, and Thomas Tröster. “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. https://doi.org/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. https://doi.org/10.1007/978-3-662-55146-2.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 10011
Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, Sarah, Dimitri Springer, Christian Thiel, and Bernd Henning. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” In Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., 45:1055–58. Rostock: Deutsche Gesellschaft für Akustik, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” In {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, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-20652-9\_18.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Combining Verifiers in Conditional Model Checking via Reducers.” In Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, P-292:151--152. LNI. GI, 2019. https://doi.org/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).” In 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, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen, 11429:229–33. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/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, Matthias Hüttner, Fabian Woitschek, Elmar Moritzer, and Bernd Henning. “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere.” In 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, Felix Mohr, Alexander Tornede, and Eyke Hüllermeier. “Automating Multi-Label Classification Extending ML-Plan,” 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10284
Alshomary, Milad, Michael Völske, Tristan Licht, Henning Wachsmuth, Benno Stein, Matthias Hagen, and Martin Potthast. “Wikipedia Text Reuse: Within and Without.” In Advances in Information Retrieval, edited by Leif Azzopardi, Benno Stein, Norbert Fuhr, Philipp Mayr, Claudia Hauff, and Djoerd Hiemstra, 747–54. Cham: Springer International Publishing, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13554 |
Blömer, Johannes, and Nils Löken. “Personal Cross-Platform Reputation.” In Security and Trust Management, STM 2019, Vol. 11738. LNCS, 2019. https://doi.org/10.1007/978-3-030-31511-5_9.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13647
Claes, Leander, Sarah Johannesmann, Elmar Baumhögger, and Bernd Henning. “Quantification of Frequency-Dependent Absorption Phenomena.” In 2019 International Congress on Ultrasonics, 2019. https://doi.org/10.1121/2.0001043.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 25030
Schenke, Maximilian, Wilhelm Kirchgässner, and Oliver Wallscheid. “Controller Design for Electrical Drives by Deep Reinforcement Learning: A Proof of Concept.” IEEE Transactions on Industrial Informatics, 2019, 4650–58. https://doi.org/10.1109/tii.2019.2948387.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 29885
Joy, Meryl Teresa, and Joachim Böcker. “Speed Estimation in Induction Machines at All Speed Ranges Using Sensing Windings.” In 2018 IEEE International Conference on Power Electronics, Drives and Energy Systems (PEDES). IEEE, 2019. https://doi.org/10.1109/pedes.2018.8707494.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 21247
Kirchgässner, Wilhelm, Oliver Wallscheid, and Joachim Böcker. “Empirical Evaluation of Exponentially Weighted Moving Averages for Simple Linear Thermal Modeling of Permanent Magnet Synchronous Machines.” In 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), 2019. https://doi.org/10.1109/isie.2019.8781195.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 21249
Kirchgässner, Wilhelm, Oliver Wallscheid, and Joachim Böcker. “Deep Residual Convolutional and Recurrent Neural Networks for Temperature Estimation in Permanent Magnet Synchronous Motors.” In 2019 IEEE International Electric Machines & Drives Conference (IEMDC), 2019. https://doi.org/10.1109/iemdc.2019.8785109.
LibreCat
| DOI