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.
9796 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: 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 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
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: 10258
Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten
P. Dunst, T. Hemsel, P. Bornmann, W. Littmann, W. Sextro, in: DAGA 2019, 2019.
LibreCat
P. Dunst, T. Hemsel, P. Bornmann, W. Littmann, W. Sextro, in: DAGA 2019, 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: 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 | Journal Article | LibreCat-ID: 10325 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
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 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
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 | 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 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
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 | Journal Article | LibreCat-ID: 13654
Finnish and German student teachers’ motivations for choosing teaching as a career. The first application of the FIT-Choice scale in Finland
M. Goller, J. Ursin, K. Vähäsantanen, D. Festner, C. Harteis, Teaching and Teacher Education (2019) 235–248.
LibreCat
| DOI
M. Goller, J. Ursin, K. Vähäsantanen, D. Festner, C. Harteis, Teaching and Teacher Education (2019) 235–248.
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.