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.
10727 Publications
2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” {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, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9\_18.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via Reducers.” Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 151--152, doi: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).” 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 et al., vol. 11429, Springer, 2019, pp. 229–33, doi: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, et al. “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere.” 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, et al. Automating Multi-Label Classification Extending ML-Plan. 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10255
Bender, Amelie, et al. “Konstruktion Und Zustandsüberwachung Eines Gummi-Metall-Teils Mit Integriertem Thermoelement.” 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, vol. VDI-Berichte 2346, 2019, pp. 241–48.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10257
Kaul, Thorben, et al. “Integration von Verlässlichkeitsmodellen Der Entwicklung in Einen Digitalen Zwilling Zur Umsetzung Einer Vorausschauenden Instandhaltung.” Fachtagung Mechatronik 2019 Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10258
Dunst, Paul, et al. “Modellbasierte Und Experimentelle Charakterisierung von Intensiven Ultraschall-Stehwellenfeldern Für Die Zerstäubung Hochviskoser Flüssigkeiten.” DAGA 2019, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10284
Alshomary, Milad, et al. “Wikipedia Text Reuse: Within and Without.” Advances in Information Retrieval, edited by Leif Azzopardi et al., Springer International Publishing, 2019, pp. 747–54.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13554 |
Blömer, Johannes, and Nils Löken. “Personal Cross-Platform Reputation.” Security and Trust Management, STM 2019, vol. 11738, 2019, doi:10.1007/978-3-030-31511-5_9.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13647
Claes, Leander, et al. “Quantification of Frequency-Dependent Absorption Phenomena.” 2019 International Congress on Ultrasonics, 2019, doi:10.1121/2.0001043.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13805
Mahnken, Rolf, and Xiaozhe Ju. “Goal‐oriented Adaptivity Based on a Model Hierarchy of Mean‐field and Full‐field Homogenization Methods in Linear Elasticity.” International Journal for Numerical Methods in Engineering, 2019, doi:10.1002/nme.6209.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13806
Dammann, Christian, and Rolf Mahnken. “Simulation of a Resin Transfer Molding Process Using a Phase Field Approach within the Theory of Porous Media.” Composites Part A: Applied Science and Manufacturing, vol. 120, 2019, pp. 147–60, doi:10.1016/j.compositesa.2019.02.022.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13807
Ju, X., and R. Mahnken. “‘Goal-Oriented Adaptivity on Mean-Field and Full-Field Homogenization Methods Considering Hierarchical Unit Cells.’” PAMM, vol. 19.
LibreCat
2019 | Journal Article | LibreCat-ID: 13813
Lenz, P., and R. Mahnken. “‘Damage Simulation of Fiber Reinforced Composites Using Mean-Field Homogenization Methods’ .” PAMM, vol. 19, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 25030
Schenke, Maximilian, et al. “Controller Design for Electrical Drives by Deep Reinforcement Learning: A Proof of Concept.” IEEE Transactions on Industrial Informatics, 2019, pp. 4650–58, doi: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.” 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, Wilhelm, et al. “Empirical Evaluation of Exponentially Weighted Moving Averages for Simple Linear Thermal Modeling of Permanent Magnet Synchronous Machines.” 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, Wilhelm, et al. “Deep Residual Convolutional and Recurrent Neural Networks for Temperature Estimation in Permanent Magnet Synchronous Motors.” 2019 IEEE International Electric Machines & Drives Conference (IEMDC), 2019, doi:10.1109/iemdc.2019.8785109.
LibreCat
| DOI