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.
10436 Publications
2019 | Report | LibreCat-ID: 44453
D5.5 eNOTICE Progress report 3
A.M. Schultz, K. Van Heuverswyn, O. Vybornova, F. Comas, N. Raulin, S. Pratzler-Wanczura, M. Carestia, D. Di Giovanni, M. Kiehl, D5.5 ENOTICE Progress Report 3, 2019.
LibreCat
| Download (ext.)
A.M. Schultz, K. Van Heuverswyn, O. Vybornova, F. Comas, N. Raulin, S. Pratzler-Wanczura, M. Carestia, D. Di Giovanni, M. Kiehl, D5.5 ENOTICE Progress Report 3, 2019.
2019 | Book Chapter | LibreCat-ID: 28720
Computational Thinking and Problem-Solving in the Context of IEA-ICILS 2018
B. Eickelmann, A. Labusch, M. Vennemann, in: IFIP Advances in Information and Communication Technology, Cham, 2019.
LibreCat
| DOI
B. Eickelmann, A. Labusch, M. Vennemann, in: IFIP Advances in Information and Communication Technology, Cham, 2019.
2019 | Conference Paper | LibreCat-ID: 9913 |

Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan
Q.A. Ahmed, T. Wiersema, M. Platzner, in: C. Hochberger, B. Nelson, A. Koch, R. Woods, P. Diniz (Eds.), Applied Reconfigurable Computing, Springer International Publishing, Cham, 2019, pp. 127–136.
LibreCat
| Files available
| DOI
| Download (ext.)
Q.A. Ahmed, T. Wiersema, M. Platzner, in: C. Hochberger, B. Nelson, A. Koch, R. Woods, P. Diniz (Eds.), Applied Reconfigurable Computing, Springer International Publishing, Cham, 2019, pp. 127–136.
2019 | Conference Paper | LibreCat-ID: 14898
Know your analysis: how instrumentation aids understanding static analysis
P. Schubert, R. Leer, B. Hermann, E. Bodden, in: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019, 2019.
LibreCat
| DOI
P. Schubert, R. Leer, B. Hermann, E. Bodden, in: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019, 2019.
2019 | Book (Editor) | LibreCat-ID: 45798
Struktur und Dynamik – Un/Gleichzeitigkeiten im Geschlechterverhältnis
C. Mahs, Riegraf, Birgit; Rendtorff, Barbara, eds., Struktur und Dynamik – Un/Gleichzeitigkeiten im Geschlechterverhältnis, Springer, 2019.
LibreCat
C. Mahs, Riegraf, Birgit; Rendtorff, Barbara, eds., Struktur und Dynamik – Un/Gleichzeitigkeiten im Geschlechterverhältnis, Springer, 2019.
2019 | Book Chapter | LibreCat-ID: 46153
A corpus-based approach to the usage and acquisition of prepositions by learners of German as a foreign language: form vs. function.
T. Weber, in: Andrea Abel, A. Glaznieks, V. Lyding, L. Nicolas (Eds.), Widening the Scope of Learner Corpus Research. Selected Papers from the Fourth Learner Corpus Research Conference., Presses universitaires de Louvain, Louvain-la-Neuve, 2019, pp. 121–136.
LibreCat
| Download (ext.)
T. Weber, in: Andrea Abel, A. Glaznieks, V. Lyding, L. Nicolas (Eds.), Widening the Scope of Learner Corpus Research. Selected Papers from the Fourth Learner Corpus Research Conference., Presses universitaires de Louvain, Louvain-la-Neuve, 2019, pp. 121–136.
2019 | Special Issue | LibreCat-ID: 31355
„Die Flucht“ (1977) oder: Die wachsende Ratlosigkeit nach 1976
-- ---, ed., „Die Flucht“ (1977) oder: Die wachsende Ratlosigkeit nach 1976, 2019.
LibreCat
| Download (ext.)
-- ---, ed., „Die Flucht“ (1977) oder: Die wachsende Ratlosigkeit nach 1976, 2019.
2019 | Journal Article | LibreCat-ID: 42712
Motorische Basiskompetenzen
A. Strotmeyer, M. Kehne, C. Herrmann, German Journal of Exercise and Sport Research 50 (2019) 82–91.
LibreCat
| DOI
A. Strotmeyer, M. Kehne, C. Herrmann, German Journal of Exercise and Sport Research 50 (2019) 82–91.
2019 | Conference Paper | LibreCat-ID: 13460 |

Remaining useful lifetime prediction based on adaptive failure thresholds
A. Bender, L. Schinke, W. Sextro, in: M. Beer, E. Zio (Eds.), Proceedings of the 29th European Safety and Reliability Conference (ESREL2019), 2019, pp. 1262–1269.
LibreCat
| Download (ext.)
A. Bender, L. Schinke, W. Sextro, in: M. Beer, E. Zio (Eds.), Proceedings of the 29th European Safety and Reliability Conference (ESREL2019), 2019, pp. 1262–1269.
2019 | Conference Paper | LibreCat-ID: 13461 |

Digital Twin for Reliability Analysis During Design and Operation of Mechatronic Systems
T. Kaul, A. Bender, W. Sextro, in: M. Beer, E. Zio (Eds.), Proceedings of the 29th European Safety and Reliability Conference (ESREL2019), 2019, pp. 2340–2347.
LibreCat
| Download (ext.)
T. Kaul, A. Bender, W. Sextro, in: M. Beer, E. Zio (Eds.), Proceedings of the 29th European Safety and Reliability Conference (ESREL2019), 2019, pp. 2340–2347.
2019 | Book Chapter | LibreCat-ID: 56245
Allgemeinbildung, Mathematical Literacy, and Competence Orientation
R. Biehler, in: H.N. Jahnke, L. Hefendehl-Hebeker (Eds.), ICME-13 Monographs, Springer International Publishing, Cham, 2019.
LibreCat
| DOI
| Download (ext.)
R. Biehler, in: H.N. Jahnke, L. Hefendehl-Hebeker (Eds.), ICME-13 Monographs, Springer International Publishing, Cham, 2019.
2019 | Book Chapter | LibreCat-ID: 56188
Einleitung
P. Fäßler, F. Staffel, in: P. Fäßler, A. Neuwöhner, F. Staffel (Eds.), Briten in Westfalen : Besatzer, Verbündete, Freunde?, Ferdinand Schöningh, Paderborn, 2019, pp. 1–5.
LibreCat
P. Fäßler, F. Staffel, in: P. Fäßler, A. Neuwöhner, F. Staffel (Eds.), Briten in Westfalen : Besatzer, Verbündete, Freunde?, Ferdinand Schöningh, Paderborn, 2019, pp. 1–5.
2019 | Book Chapter | LibreCat-ID: 56378
Creative Hubs: A Co-operative Space?
M. Sandoval, J. Littler, in: Dynamics of Virtual Work, Springer International Publishing, Cham, 2019.
LibreCat
| DOI
M. Sandoval, J. Littler, in: Dynamics of Virtual Work, Springer International Publishing, Cham, 2019.
2019 | Conference Paper | LibreCat-ID: 56493
A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, in: C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter (Eds.), Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Springer, 2019, pp. 1–14.
LibreCat
| DOI
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, in: C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter (Eds.), Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Springer, 2019, pp. 1–14.
2019 | Conference Paper | LibreCat-ID: 56498
Ontology-Mediated Probabilistic Model Checking
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: W. Ahrendt, S.L.T. Tarifa (Eds.), Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, Springer, 2019, pp. 194–211.
LibreCat
| DOI
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: W. Ahrendt, S.L.T. Tarifa (Eds.), Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, Springer, 2019, pp. 194–211.
2019 | Conference (Editor) | LibreCat-ID: 56502
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Springer, 2019.
LibreCat
| DOI
C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Springer, 2019.
2019 | Book Review | LibreCat-ID: 31504
[Rezension zu:] Michael Ostheimer: Leseland. Chronotopographie der DDR- und Post-DDR-Literatur, Göttingen 2018
S. Elit, Arbitrium 37, H. 2 (2019) 262–265.
LibreCat
| Download (ext.)
S. Elit, Arbitrium 37, H. 2 (2019) 262–265.
2019 | Book Review | LibreCat-ID: 24918
[Rezension zu:] Michael Ostheimer, Leseland. Chronotopographie der DDR- und Post-DDRLiteratur. Wallstein, Göttingen 2018. 486 S., € 39,90.
S. Elit, Arbitrium (2019) 262–265.
LibreCat
| DOI
S. Elit, Arbitrium (2019) 262–265.
2019 | Journal Article | LibreCat-ID: 59687
Ultrafast spin-lasers
M. Lindemann, G. Xu, T. Pusch, R. Michalzik, M.R. Hofmann, I. Žutić, N.C. Gerhardt, Nature 568 (2019) 212–215.
LibreCat
| DOI
M. Lindemann, G. Xu, T. Pusch, R. Michalzik, M.R. Hofmann, I. Žutić, N.C. Gerhardt, Nature 568 (2019) 212–215.
2019 | Conference Paper | LibreCat-ID: 59781
Doctor blade system for the deposition of thin semiconducting films
D. Petrov, T. Meyers, J. Reker, U. Hilleringmann, in: M. du Plessis (Ed.), Fifth Conference on Sensors, MEMS, and Electro-Optic Systems, SPIE, 2019.
LibreCat
| DOI
D. Petrov, T. Meyers, J. Reker, U. Hilleringmann, in: M. du Plessis (Ed.), Fifth Conference on Sensors, MEMS, and Electro-Optic Systems, SPIE, 2019.