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.
7265 Publications
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
2019 | Conference Paper | LibreCat-ID: 10135
Webersen M, Hüttner M, Woitschek F, Moritzer E, Henning B. Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere. In: Deutsche Gesellschaft für Akustik e.V. (DEGA), ed. Fortschritte der Akustik - DAGA 2019. ; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 | 
Wever MD, Mohr F, Tornede A, Hüllermeier E. Automating Multi-Label Classification Extending ML-Plan. In: ; 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10284
Alshomary M, Völske M, Licht T, et al. Wikipedia Text Reuse: Within and Without. In: Azzopardi L, Stein B, Fuhr N, Mayr P, Hauff C, Hiemstra D, eds. Advances in Information Retrieval. Cham: Springer International Publishing; 2019:747-754.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13554 |
Blömer J, Löken N. Personal Cross-Platform Reputation. In: Security and Trust Management, STM 2019. Vol 11738. LNCS. ; 2019. doi: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. Quantification of frequency-dependent absorption phenomena. In: 2019 International Congress on Ultrasonics. ; 2019. doi:10.1121/2.0001043
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 25030
Schenke M, Kirchgässner W, Wallscheid O. Controller Design for Electrical Drives by Deep Reinforcement Learning: A Proof of Concept. IEEE Transactions on Industrial Informatics. Published online 2019:4650-4658. doi:10.1109/tii.2019.2948387
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 29885
Joy MT, Böcker J. 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. doi:10.1109/pedes.2018.8707494
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 21247
Kirchgässner W, Wallscheid O, Böcker J. 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. doi:10.1109/isie.2019.8781195
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 21249
Kirchgässner W, Wallscheid O, Böcker J. 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. doi:10.1109/iemdc.2019.8785109
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 29900
Rehlaender P, Schroeer M, Chadha G, Schwung A. Traffic Sign Detection Using R-CNN. In: Proceedings of the International Neural Networks Society. Springer International Publishing; 2019. doi:10.1007/978-3-030-16841-4_24
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16441
Rehlaender P, Grote T, Schafmeister F, Böcker J. Interleaved Active Clamp Forward Converters as Single Stage On-Board DC-DC Converters for EVs - an Accurate Model and Design Considerations. In: PCIM Europe 2019. ; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 29999
Strothmann B, Schafmeister F, Böcker J. Common Mode Analysis of Non-Isolated Three-Phase EV-Charger for Bi-Directional Vehicle-to-Grid Operation. In: PCIM Europe 2019; International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management. ; 2019:1-7.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 16442
Rehlaender P, Grote T, Schafmeister F, Böcker J. Analytical Modeling and Design of an Active Clamp Forward Converter Applied as a Single-Stage On-Board DC-DC Converter for EVs. In: PCIM Europe 2019. ; 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 29942
Unruh R, Schafmeister F, Fröhleke N, Böcker J. MMC-Topology for High-Current and Low-Voltage Applications with Minimal Number of Submodules, Reduced Switching and Capacitor Losses. In: PCIM Europe 2019; International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management. VDE; 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 30035
Stender M, Wallscheid O, Böcker J. Development of a Black-Box Two-Level IGBT Three-Phase Inverter Compensation Scheme for Electrical Drives. In: 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE). IEEE; 2019. doi:10.1109/isie.2019.8781543
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 29636
Hanke S, Peitz S, Wallscheid O, Böcker J, Dellnitz M. Finite-control-set model predictive control for a permanent magnet synchronous motor application with online least squares system identification. In: 2019 IEEE International Symposium on Predictive Control of Electrical Drives and Power Electronics (PRECEDE). ; 2019:1–6.
LibreCat