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.
4824 Publications
2018 | Conference Paper | LibreCat-ID: 6836
Making Linearizability Compositional for Partially Ordered Executions
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat
| DOI
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
2018 | Conference Paper | LibreCat-ID: 6838
Making Linearizability Compositional for Partially Ordered Executions
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat
| DOI
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
2018 | Journal Article | LibreCat-ID: 1689
Die „neue“ MaRisk (BA) 9/2017
D. Krimphove, Zeitschrift Für Bank- Und Kapitalmarktrecht BKR (2018) 1 ff.
LibreCat
D. Krimphove, Zeitschrift Für Bank- Und Kapitalmarktrecht BKR (2018) 1 ff.
2018 | Book Chapter | LibreCat-ID: 1104
Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen
M. Geierhos, in: S. Freitag, M. Geierhos, R. Asmani, J.I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 1st ed., Ferdinand Schöningh, Paderborn, Germany, 2018, pp. 111–128.
LibreCat
| Files available
M. Geierhos, in: S. Freitag, M. Geierhos, R. Asmani, J.I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 1st ed., Ferdinand Schöningh, Paderborn, Germany, 2018, pp. 111–128.
2018 | Conference Paper | LibreCat-ID: 1181 | 
How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas
F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
LibreCat
| Files available
| Download (ext.)
F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
2018 | Conference Paper | LibreCat-ID: 1182 |
CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface
E. Friesen, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
LibreCat
| Files available
| Download (ext.)
E. Friesen, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
2018 | Conference Paper | LibreCat-ID: 1183 |
Back to Basics: Extracting Software Requirements with a Syntactic Approach
M. Caron, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
LibreCat
| Files available
| Download (ext.)
M. Caron, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
2018 | Journal Article | LibreCat-ID: 15876
Top-down design of tailored fiber-metal laminates
A.A. Camberg, K. Engelkemeier, J. Dietrich, T. Heggemann, Lightweight Design Worldwide 11 (2018) 24–29.
LibreCat
| DOI
A.A. Camberg, K. Engelkemeier, J. Dietrich, T. Heggemann, Lightweight Design Worldwide 11 (2018) 24–29.
2018 | Conference Abstract | LibreCat-ID: 15129
Tomographische Untersuchungen der Fluiddynamik viskoser Systeme in Packungskolonnen
L. Bolenz, D. Toye, E. Kenig, in: 2018.
LibreCat
L. Bolenz, D. Toye, E. Kenig, in: 2018.
2018 | Conference Paper | LibreCat-ID: 15960
Forming limit curves of DP600 determined in high-speed Nakajima tests and predicted by two different strain-rate-sensitive models
N. Weiß-Borkowski, J. Lian, A.A. Camberg, T. Tröster, S. Münstermann, W. Bleck, H. Gese, H. Richter, in: 2018.
LibreCat
| DOI
N. Weiß-Borkowski, J. Lian, A.A. Camberg, T. Tröster, S. Münstermann, W. Bleck, H. Gese, H. Richter, in: 2018.
2018 | Journal Article | LibreCat-ID: 15977
Crushing behavior and energy absorption performance of a bio-inspired metallic structure: Experimental and numerical study
A. Tasdemirci, E.F. Akbulut Irmak, E. Guzel, F. Tuzgel, A. Yucesoy, S. Sahin, M. Guden, Thin-Walled Structures (2018) 547–555.
LibreCat
| DOI
A. Tasdemirci, E.F. Akbulut Irmak, E. Guzel, F. Tuzgel, A. Yucesoy, S. Sahin, M. Guden, Thin-Walled Structures (2018) 547–555.
2018 | Conference Paper | LibreCat-ID: 16034
Optimization-based material design of tailored stacked hybrids for further improvement in lightweight car body structures
A.A. Camberg, T. Tröster, in: HYBRID - MATERIALS AND STRUCTURES 2018 - PROCEEDINGS, DGM - Deutsche Gesellschaft für Materialkunde e.V., 2018.
LibreCat
A.A. Camberg, T. Tröster, in: HYBRID - MATERIALS AND STRUCTURES 2018 - PROCEEDINGS, DGM - Deutsche Gesellschaft für Materialkunde e.V., 2018.
2018 | Conference Paper | LibreCat-ID: 16039
Entwicklung einer Prozessroute für die Luftfahrtindustrie mit erhöhter Aufbaurate im Laserstrahlschmelzprozess von Ti6Al4V
D. Ahlers, T. Tröster, in: 2018.
LibreCat
D. Ahlers, T. Tröster, in: 2018.
2018 | Conference Paper | LibreCat-ID: 16040
Influences of interface on the adhesion and corrosion properties of steel-CFRP hybrid structures manufactured by vacuum assisted resin transfer moulding
Z. Wang, T. Tröster, in: 2018.
LibreCat
Z. Wang, T. Tröster, in: 2018.
2018 | Conference Paper | LibreCat-ID: 16042 |
Modelling the Interface of Hybrid Metal-FRP Components Joint by Form Closures
M. Triebus, T. Tröster, A.A. Camberg, S. Bienia, K. Dröder, in: 15. Deutsches LS-Dyna Forum, 2018.
LibreCat
| Download (ext.)
M. Triebus, T. Tröster, A.A. Camberg, S. Bienia, K. Dröder, in: 15. Deutsches LS-Dyna Forum, 2018.
2018 | Conference Paper | LibreCat-ID: 16043 |
The influence of damage accumulation on failure prediction: a comparative assessment of *MAT_224 and *MAT_024 + GISSMO for the application in non-isothermal sheet metal forming
A.A. Camberg, T. Tröster, A. Schneidt , N. Sotirov , J. Tölle, in: 15. Deutsches LS-Dyna Forum, 2018.
LibreCat
| Download (ext.)
A.A. Camberg, T. Tröster, A. Schneidt , N. Sotirov , J. Tölle, in: 15. Deutsches LS-Dyna Forum, 2018.
2018 | Journal Article | LibreCat-ID: 16045
Top-down-Entwicklung von Faser-Metall-Laminaten auf Grundlage von Gesamtfahrzeugsimulationen
A.A. Camberg, Carbon Composites Magazin (2018) 15–16.
LibreCat
A.A. Camberg, Carbon Composites Magazin (2018) 15–16.
2018 | Conference Abstract | LibreCat-ID: 16056
Holz als Werkstoff im Automobil
S. Schweizer, T. Tröster, in: 2018.
LibreCat
S. Schweizer, T. Tröster, in: 2018.
2018 | Conference Paper | LibreCat-ID: 16057
Herstellung hybrider Strukturkomponenten in einem modifizierten VARTM-Prozess
Z. Wang, T. Tröster, in: 2018.
LibreCat
Z. Wang, T. Tröster, in: 2018.
2018 | Journal Article | LibreCat-ID: 13160
Speed of Sound Measurements and a Fundamental Equation of State for Hydrogen Chloride
M. Thol, F.H. Dubberke, E. Baumhögger, R. Span, J. Vrabec, Journal of Chemical & Engineering Data (2018) 2533–2547.
LibreCat
| DOI
M. Thol, F.H. Dubberke, E. Baumhögger, R. Span, J. Vrabec, Journal of Chemical & Engineering Data (2018) 2533–2547.