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.

17249 Publications

2020 | Conference Paper | LibreCat-ID: 20518
Koch, T., Dziwok, S., Holtmann, J., & Bodden, E. (2020). Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). ACM.
LibreCat | DOI

2020 | Journal Article | LibreCat-ID: 22824
Hermanns, P., Boeddeker, S., Bracht, V., Bibinov, N., Grundmeier, G., & Awakowicz, P. (2020). Investigation of the frequency dependent spatio-temporal dynamics and controllability of microdischarges in unipolar pulsed plasma electrolytic oxidation. Journal of Physics D: Applied Physics.
LibreCat | DOI

2020 | Journal Article | LibreCat-ID: 22829
Schneider, M., Kremmer, K., Voigt, M., & Grundmeier, G. (2020). Investigation of the passive layer on a solid-state sintered silicon carbide ceramic formed in sulfuric acid. Corrosion Science.
LibreCat | DOI

2020 | Book Chapter | LibreCat-ID: 23377
Piskachev, G., Petrasch, T., Späth, J., & Bodden, E. (2020). AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In Lecture Notes in Computer Science. Cham.
LibreCat | DOI

2020 | Journal Article | LibreCat-ID: 22963
Biemelt, P., Gausemeier, S., & Trächtler, A. (2020). Design and Objective Evaluation of Filter- and Optimization-based Motion Cueing Strategies for a Hybrid Kinematics Driving Simulator with 5 Degrees of Freedom. International Journal On Advances in Systems and Measurements, 13(3 & 4), 203–219.

2020 | Conference Paper | LibreCat-ID: 22968
Biemelt, P., Link, C., Gausemeier, S., & Trächtler, A. (2020). A Model-Based Online Reference Prediction Strategy for Model Predictive Motion Cueing Algorithms. In Proceedings of the 21st IFAC World Congress.

2020 | Conference Paper | LibreCat-ID: 23505
Gräßler, I., Preuß, D., & Oleff, C. (2020). Automatisierte Identifikation und Charakterisierung von Anforderungsabhängigkeiten – Literaturstudie zum Vergleich von Lösungsansätzen. In D. Krause, K. Paetzold, S. Wartzack, & Design Society (Eds.), Proceedings of the 31st Symposium Design for X (DFX2020); 16. - 18. Sep. 2020 (pp. 199–208).
LibreCat | DOI

2020 | Journal Article | LibreCat-ID: 23529
Gräßler, I., Oleff, C., & Scholle, P. (2020). Method for Systematic Assessment of Requirement Change Risk in Industrial Practice. Applied Sciences 23/2020 (23), 8697.

2020 | Conference Paper | LibreCat-ID: 23409
Bertling, R., Hack, M., Ausner, I., & Kenig, E. (2020). CFD Simulation of Film and Rivulet Flows on Microstructured Surfaces. Presented at the 30th European Symposium on Computer Aided Process Engineering.

2020 | Book Chapter | LibreCat-ID: 23810
Eke, N. (2020). Vom ‚kleinen‘ ö und ‚großen‘ O. (Nicht allein) Komische Wendungen im Werk von Markus Orths. In A. Bartl & S. Zilles (Eds.), Von der ganz normalen Verrücktheit der Welt. Studien zum Werk von Markus Orths (p. S. 47-64). Würzburg: Königshausen & Neumann.


Filter Publications

Display / Sort

Citation Style: APA

Export / Embed