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.
9804 Publications
2019 | Conference Paper | LibreCat-ID: 10042
Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN
S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft für Akustik, Rostock, 2019, pp. 1055–1058.
LibreCat
S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft für Akustik, Rostock, 2019, pp. 1055–1058.
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: 10092
Verifying C11 programs operationally
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.
LibreCat
| DOI
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.
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: 10094
Testing Balancedness of ML Algorithms
A. Sharma, 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. 157–158.
LibreCat
| DOI
A. Sharma, 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. 157–158.
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 | Journal Article | LibreCat-ID: 10096
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, CoRR abs/1905.08505 (2019).
LibreCat
D. Beyer, H. Wehrheim, CoRR abs/1905.08505 (2019).
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 | Mastersthesis | LibreCat-ID: 10271
Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves
N. N., Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves, Universität Paderborn, 2019.
LibreCat
N. N., Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 10281
From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation
M. Feldotto, P. Lenzner, L. Molitor, A. Skopalik, in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
LibreCat
| Files available
| Download (ext.)
M. Feldotto, P. Lenzner, L. Molitor, A. Skopalik, in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
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 | Mastersthesis | LibreCat-ID: 10306 |
Post-Quantum Secure Group Signatures
L.A. Porzenheim, Post-Quantum Secure Group Signatures, 2019.
LibreCat
| Files available
L.A. Porzenheim, Post-Quantum Secure Group Signatures, 2019.
2019 | Journal Article | LibreCat-ID: 10325 |
Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing
M. Peuster, M. Marchetti, G. García de Blas, H. Karl, EURASIP Journal on Wireless Communications and Networking (2019).
LibreCat
| Files available
| DOI
| Download (ext.)
M. Peuster, M. Marchetti, G. García de Blas, H. Karl, EURASIP Journal on Wireless Communications and Networking (2019).
2019 | Mastersthesis | LibreCat-ID: 10344
Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine
S. Pukrop, Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine, Universität Paderborn, 2019.
LibreCat
S. Pukrop, Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine, Universität Paderborn, 2019.
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: 13557 |
Dynamic Searchable Encryption with Access Control
J. Blömer, N. Löken, in: 12th International Symposium on Foundations and Practice of Security, FPS 2019, Springer, 2019.
LibreCat
| Download (ext.)
J. Blömer, N. Löken, in: 12th International Symposium on Foundations and Practice of Security, FPS 2019, Springer, 2019.
2019 | Bachelorsthesis | LibreCat-ID: 13592
Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java
M. Pilot, Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java, Universität Paderborn, 2019.
LibreCat
M. Pilot, Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java, Universität Paderborn, 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 | Mastersthesis | LibreCat-ID: 13648 |
Implementation and Comparison of Elliptic Curve Algorithms in Java
S. Scholz, Implementation and Comparison of Elliptic Curve Algorithms in Java, Universität Paderborn, 2019.
LibreCat
| Files available
S. Scholz, Implementation and Comparison of Elliptic Curve Algorithms in Java, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 13652
Fast Distributed Algorithms for LP-Type Problems of Low Dimension
K. Hinnenthal, C. Scheideler, M. Struijs, in: 33rd International Symposium on Distributed Computing (DISC 2019), 2019.
LibreCat
| DOI
K. Hinnenthal, C. Scheideler, M. Struijs, in: 33rd International Symposium on Distributed Computing (DISC 2019), 2019.
2019 | Dissertation | LibreCat-ID: 13679
Classification and Approximation of Geometric Location Problems
S. Brauer, Classification and Approximation of Geometric Location Problems, Paderborn, 2019.
LibreCat
| DOI
S. Brauer, Classification and Approximation of Geometric Location Problems, Paderborn, 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 | 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.
2019 | Conference Paper | LibreCat-ID: 29634
Stator flux-based field-oriented position-sensorless control of permanent magnet synchronous motors with limited parameter knowledge
O. Wallscheid, M.S. Shafiq, J. Böcker, in: 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), 2019, pp. 402–407.
LibreCat
O. Wallscheid, M.S. Shafiq, J. Böcker, in: 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), 2019, pp. 402–407.
2019 | Conference Paper | LibreCat-ID: 29633
Hierarchical model predictive speed and current control of an induction machine drive with moving-horizon load torque estimator
O. Wallscheid, E.F.B. Ngoumtsa, J. Böcker, in: 2019 IEEE International Electric Machines & Drives Conference (IEMDC), 2019, pp. 2188–2195.
LibreCat
O. Wallscheid, E.F.B. Ngoumtsa, J. Böcker, in: 2019 IEEE International Electric Machines & Drives Conference (IEMDC), 2019, pp. 2188–2195.
2019 | Conference Paper | LibreCat-ID: 29637
Continuous-control-set model predictive control with integrated modulator in permanent magnet synchronous motor applications
S. Hanke, O. Wallscheid, J. Böcker, in: 2019 IEEE International Electric Machines & Drives Conference (IEMDC), 2019, pp. 2210–2216.
LibreCat
S. Hanke, O. Wallscheid, J. Böcker, in: 2019 IEEE International Electric Machines & Drives Conference (IEMDC), 2019, pp. 2210–2216.
2019 | Journal Article | LibreCat-ID: 29629
Improved Fusion of Permanent Magnet Temperature Estimation Techniques for Synchronous Motors Using a Kalman Filter
D.E.E. Gaona, O. Wallscheid, J. Böcker, IEEE Transactions on Industrial Electronics (2019).
LibreCat
D.E.E. Gaona, O. Wallscheid, J. Böcker, IEEE Transactions on Industrial Electronics (2019).
2019 | Conference Paper | LibreCat-ID: 30334
Computer-Aided Design and Optimization of an Integrated Transformer with Distributed Air Gap and Leakage Path for an LLC Resonant Converter
L. Keuck, F. Schafmeister, J. Böcker, in: Proc. 34th IEEE Applied Power Electronics Conference (APEC), IEEE, Anaheim, CA, USA, 2019, pp. 1415–1422.
LibreCat
L. Keuck, F. Schafmeister, J. Böcker, in: Proc. 34th IEEE Applied Power Electronics Conference (APEC), IEEE, Anaheim, CA, USA, 2019, pp. 1415–1422.
2019 | Conference Paper | LibreCat-ID: 30335
Computer-Aided Design and Optimization of an Integrated Transformer with Distributed Air Gap and Leakage Path for LLC Resonant Converter
L. Keuck, F. Schafmeister, J. Böcker, H. Jungwirth, M. Schmidhuber, in: Proc. IEEE International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management (PCIM), IEEE, Nuremberg, Germany, 2019.
LibreCat
L. Keuck, F. Schafmeister, J. Böcker, H. Jungwirth, M. Schmidhuber, in: Proc. IEEE International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management (PCIM), IEEE, Nuremberg, Germany, 2019.
2019 | Conference Paper | LibreCat-ID: 30337
Novel Current Measurement Concept for Half Bridge Topologies based on simple-to-implement Digital Current Observer
M.E. Ahmad, F. Schafmeister, J. Böcker, in: Proc. IEEE International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management (PCIM), IEEE, Nuremberg, Germany, 2019.
LibreCat
M.E. Ahmad, F. Schafmeister, J. Böcker, in: Proc. IEEE International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management (PCIM), IEEE, Nuremberg, Germany, 2019.
2019 | Conference Paper | LibreCat-ID: 30336
LCC Resonant Converter for Piezoelectric Transducers with Phase Shift Control
S. Bolte, F. Schafmeister, J. Böcker, in: Proc. IEEE International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management (PCIM), IEEE, Nuremberg, Germany, 2019.
LibreCat
S. Bolte, F. Schafmeister, J. Böcker, in: Proc. IEEE International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management (PCIM), IEEE, Nuremberg, Germany, 2019.
2019 | Conference Paper | LibreCat-ID: 30338
Bidirectional Resonant Converter with Integrated Magnetics for On-Board Chargers
S. Bolte, F. Schafmeister, J. Böcker, in: Proc. IEEE International Symposium on Industrial Electronics (ISIE), IEEE, Vancouver, Canada, 2019, pp. 770–774.
LibreCat
S. Bolte, F. Schafmeister, J. Böcker, in: Proc. IEEE International Symposium on Industrial Electronics (ISIE), IEEE, Vancouver, Canada, 2019, pp. 770–774.
2019 | Conference Paper | LibreCat-ID: 30344
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: Proc. IEEE International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management (PCIM), IEEE, Nuremberg, Germany, 2019.
LibreCat
P. Rehlaender, T. Grote, F. Schafmeister, J. Böcker, in: Proc. IEEE International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management (PCIM), IEEE, Nuremberg, Germany, 2019.
2019 | Conference Paper | LibreCat-ID: 30346
A PCB-Integrated Winding Using a Litz Structure for a Wireless Charging Coil
P. Rehlaender, T. Grote, S. Tikhonov, H. Njiende, F. Schafmeister, J. Böcker, P. Thiemann, in: Proc. 21st European Conference on Power Electronics and Applications (EPE-ECCE Europe), EPE, Genova, Italy, 2019, pp. 1–9.
LibreCat
P. Rehlaender, T. Grote, S. Tikhonov, H. Njiende, F. Schafmeister, J. Böcker, P. Thiemann, in: Proc. 21st European Conference on Power Electronics and Applications (EPE-ECCE Europe), EPE, Genova, Italy, 2019, pp. 1–9.
2019 | Conference Paper | LibreCat-ID: 30345
Analytical Topology Comparison for a Single-Stage On-Board EV-Battery Converter
P. Rehlaender, T. Grote, F. Schafmeister, J. Böcker, in: Proc. IEEE International Symposium on Industrial Electronics (ISIE), IEEE, Vancouver, Canada, 2019, pp. 2477–2482.
LibreCat
P. Rehlaender, T. Grote, F. Schafmeister, J. Böcker, in: Proc. IEEE International Symposium on Industrial Electronics (ISIE), IEEE, Vancouver, Canada, 2019, pp. 2477–2482.
2019 | Patent | LibreCat-ID: 30361
Current measurement circuit for TCM-PFC
R. Pohlmann, F. Schafmeister, (2019).
LibreCat
R. Pohlmann, F. Schafmeister, (2019).
2019 | Conference Paper | LibreCat-ID: 7626 |
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410.
LibreCat
| Files available
| DOI
| Download (ext.)
P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410.
2019 | Dissertation | LibreCat-ID: 30670
Identifikation und Kompensation produktionsbedingter Abweichungen im elektrischen Antrieb von Elektro- und Hybridfahrzeugen
M. Ott, Identifikation und Kompensation produktionsbedingter Abweichungen im elektrischen Antrieb von Elektro- und Hybridfahrzeugen, 2019.
LibreCat
| DOI
M. Ott, Identifikation und Kompensation produktionsbedingter Abweichungen im elektrischen Antrieb von Elektro- und Hybridfahrzeugen, 2019.
2019 | Dissertation | LibreCat-ID: 30854
Modellierung und Optimierung leistungselektronischer Konverter mit Halbleitern großer Bandlücke unter Verwendung kalorimetrischer Messverfahren
S. Bolte, Modellierung und Optimierung leistungselektronischer Konverter mit Halbleitern großer Bandlücke unter Verwendung kalorimetrischer Messverfahren, 2019.
LibreCat
| DOI
S. Bolte, Modellierung und Optimierung leistungselektronischer Konverter mit Halbleitern großer Bandlücke unter Verwendung kalorimetrischer Messverfahren, 2019.
2019 | Dissertation | LibreCat-ID: 29903
Untersuchung des Verlustverhaltens eines geregelten und mit optimierten Pulsmustern gespeisten Hochgeschwindigkeits-Antriebssystems
K. Peter, Untersuchung des Verlustverhaltens eines geregelten und mit optimierten Pulsmustern gespeisten Hochgeschwindigkeits-Antriebssystems, Shaker Verlag, Paderborn, 2019.
LibreCat
| Download (ext.)
K. Peter, Untersuchung des Verlustverhaltens eines geregelten und mit optimierten Pulsmustern gespeisten Hochgeschwindigkeits-Antriebssystems, Shaker Verlag, Paderborn, 2019.
2019 | Dissertation | LibreCat-ID: 30855
Ein Beitrag zur Regelung von Permanentmagnet-Synchronmotoren in Statorflusskoordinaten ohne Rotorlagesensor
T. Pape, Ein Beitrag zur Regelung von Permanentmagnet-Synchronmotoren in Statorflusskoordinaten ohne Rotorlagesensor, 2019.
LibreCat
| Download (ext.)
T. Pape, Ein Beitrag zur Regelung von Permanentmagnet-Synchronmotoren in Statorflusskoordinaten ohne Rotorlagesensor, 2019.