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.
7916 Publications
2019 | Conference Paper | LibreCat-ID: 10091
Data Independence for Software Transactional Memory
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
LibreCat
| DOI
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
2019 | Conference Paper | LibreCat-ID: 10093
Combining Verifiers in Conditional Model Checking via Reducers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
LibreCat
| Files available
| DOI
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
2019 | Conference Paper | LibreCat-ID: 10095
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, 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}, Springer, 2019, pp. 229–233.
LibreCat
| Files available
| DOI
C. Richter, H. Wehrheim, 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}, Springer, 2019, pp. 229–233.
2019 | Mastersthesis | LibreCat-ID: 10105
Analyzing Data Usage in Array Programs
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
LibreCat
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 10135
Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, B. Henning, in: Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019, 2019.
LibreCat
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, B. Henning, in: Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019, 2019.
2019 | Conference Paper | LibreCat-ID: 10232 |
Automating Multi-Label Classification Extending ML-Plan
M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.
LibreCat
| Files available
M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.
2019 | Conference Paper | LibreCat-ID: 10284
Wikipedia Text Reuse: Within and Without
M. Alshomary, M. Völske, T. Licht, H. Wachsmuth, B. Stein, M. Hagen, M. Potthast, in: L. Azzopardi, B. Stein, N. Fuhr, P. Mayr, C. Hauff, D. Hiemstra (Eds.), Advances in Information Retrieval, Springer International Publishing, Cham, 2019, pp. 747–754.
LibreCat
| Download (ext.)
M. Alshomary, M. Völske, T. Licht, H. Wachsmuth, B. Stein, M. Hagen, M. Potthast, in: L. Azzopardi, B. Stein, N. Fuhr, P. Mayr, C. Hauff, D. Hiemstra (Eds.), Advances in Information Retrieval, Springer International Publishing, Cham, 2019, pp. 747–754.
2019 | Conference Paper | LibreCat-ID: 13554 |
Personal Cross-Platform Reputation
J. Blömer, N. Löken, in: Security and Trust Management, STM 2019, 2019.
LibreCat
| Files available
| DOI
J. Blömer, N. Löken, in: Security and Trust Management, STM 2019, 2019.
2019 | Conference Paper | LibreCat-ID: 13647
Quantification of frequency-dependent absorption phenomena
L. Claes, S. Johannesmann, E. Baumhögger, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
LibreCat
| DOI
L. Claes, S. Johannesmann, E. Baumhögger, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
2019 | Journal Article | LibreCat-ID: 25030
Controller Design for Electrical Drives by Deep Reinforcement Learning: A Proof of Concept
M. Schenke, W. Kirchgässner, O. Wallscheid, IEEE Transactions on Industrial Informatics (2019) 4650–4658.
LibreCat
| DOI
M. Schenke, W. Kirchgässner, O. Wallscheid, IEEE Transactions on Industrial Informatics (2019) 4650–4658.
2019 | Conference Paper | LibreCat-ID: 29885
Speed Estimation in Induction Machines at all Speed Ranges Using Sensing Windings
M.T. Joy, J. Böcker, in: 2018 IEEE International Conference on Power Electronics, Drives and Energy Systems (PEDES), IEEE, 2019.
LibreCat
| DOI
M.T. Joy, J. Böcker, in: 2018 IEEE International Conference on Power Electronics, Drives and Energy Systems (PEDES), IEEE, 2019.
2019 | Conference Paper | LibreCat-ID: 21247
Empirical Evaluation of Exponentially Weighted Moving Averages for Simple Linear Thermal Modeling of Permanent Magnet Synchronous Machines
W. Kirchgässner, O. Wallscheid, J. Böcker, in: 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), 2019.
LibreCat
| DOI
W. Kirchgässner, O. Wallscheid, J. Böcker, in: 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), 2019.
2019 | Conference Paper | LibreCat-ID: 21249
Deep Residual Convolutional and Recurrent Neural Networks for Temperature Estimation in Permanent Magnet Synchronous Motors
W. Kirchgässner, O. Wallscheid, J. Böcker, in: 2019 IEEE International Electric Machines & Drives Conference (IEMDC), 2019.
LibreCat
| DOI
W. Kirchgässner, O. Wallscheid, J. Böcker, in: 2019 IEEE International Electric Machines & Drives Conference (IEMDC), 2019.
2019 | Book Chapter | LibreCat-ID: 29900
Traffic Sign Detection Using R-CNN
P. Rehlaender, M. Schroeer, G. Chadha, A. Schwung, in: Proceedings of the International Neural Networks Society, Springer International Publishing, Cham, 2019.
LibreCat
| DOI
P. Rehlaender, M. Schroeer, G. Chadha, A. Schwung, in: Proceedings of the International Neural Networks Society, Springer International Publishing, Cham, 2019.
2019 | Conference Paper | LibreCat-ID: 16441
Interleaved Active Clamp Forward Converters as Single Stage On-Board DC-DC Converters for EVs - an Accurate Model and Design Considerations
P. Rehlaender, T. Grote, F. Schafmeister, J. Böcker, in: PCIM Europe 2019, 2019.
LibreCat
P. Rehlaender, T. Grote, F. Schafmeister, J. Böcker, in: PCIM Europe 2019, 2019.
2019 | Conference Paper | LibreCat-ID: 29999
Common Mode Analysis of Non-Isolated Three-Phase EV-Charger for Bi-Directional Vehicle-to-Grid Operation
B. Strothmann, F. Schafmeister, J. Böcker, in: PCIM Europe 2019; International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management, 2019, pp. 1–7.
LibreCat
| Download (ext.)
B. Strothmann, F. Schafmeister, J. Böcker, in: PCIM Europe 2019; International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management, 2019, pp. 1–7.
2019 | Conference Paper | LibreCat-ID: 16442
Analytical Modeling and Design of an Active Clamp Forward Converter Applied as a Single-Stage On-Board DC-DC Converter for EVs
P. Rehlaender, T. Grote, F. Schafmeister, J. Böcker, in: PCIM Europe 2019, 2019.
LibreCat
| Download (ext.)
P. Rehlaender, T. Grote, F. Schafmeister, J. Böcker, in: PCIM Europe 2019, 2019.
2019 | Conference Paper | LibreCat-ID: 29942
MMC-Topology for High-Current and Low-Voltage Applications with Minimal Number of Submodules, Reduced Switching and Capacitor Losses
R. Unruh, F. Schafmeister, N. Fröhleke, J. Böcker, in: PCIM Europe 2019; International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management, VDE, 2019.
LibreCat
| Download (ext.)
R. Unruh, F. Schafmeister, N. Fröhleke, J. Böcker, in: PCIM Europe 2019; International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management, VDE, 2019.
2019 | Conference Paper | LibreCat-ID: 30035
Development of a Black-Box Two-Level IGBT Three-Phase Inverter Compensation Scheme for Electrical Drives
M. Stender, O. Wallscheid, J. Böcker, in: 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), IEEE, 2019.
LibreCat
| DOI
M. Stender, O. Wallscheid, J. Böcker, in: 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), IEEE, 2019.
2019 | Conference Paper | LibreCat-ID: 29636
Finite-control-set model predictive control for a permanent magnet synchronous motor application with online least squares system identification
S. Hanke, S. Peitz, O. Wallscheid, J. Böcker, M. Dellnitz, in: 2019 IEEE International Symposium on Predictive Control of Electrical Drives and Power Electronics (PRECEDE), 2019, pp. 1–6.
LibreCat
S. Hanke, S. Peitz, O. Wallscheid, J. Böcker, M. Dellnitz, in: 2019 IEEE International Symposium on Predictive Control of Electrical Drives and Power Electronics (PRECEDE), 2019, pp. 1–6.