en
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.
13722 Publications
2020 | Journal Article | LibreCat-ID: 21016
Owicki-Gries Reasoning for C11 RAR (Artifact)
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
LibreCat
| DOI
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
2020 | Journal Article | LibreCat-ID: 21023
Quantum photonics with active feedback loops
M. Engelkemeier, L. Lorz, S. De, B. Brecht, I. Dhand, M.B. Plenio, C. Silberhorn, J. Sperling, Physical Review A 102 (2020).
LibreCat
| DOI
M. Engelkemeier, L. Lorz, S. De, B. Brecht, I. Dhand, M.B. Plenio, C. Silberhorn, J. Sperling, Physical Review A 102 (2020).
2020 | Book Chapter | LibreCat-ID: 21078
»ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen
P. Menke, in: B. Kluge, W. Mihatsch, B. Schaller (Eds.), Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag, Narr Francke Attempto, Tübingen, 2020, pp. 225–244.
LibreCat
P. Menke, in: B. Kluge, W. Mihatsch, B. Schaller (Eds.), Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag, Narr Francke Attempto, Tübingen, 2020, pp. 225–244.
2020 | Bachelorsthesis | LibreCat-ID: 21117
On Batch Proofs of Partial Knowledge
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
LibreCat
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
2020 | Journal Article | LibreCat-ID: 20385
Brain Activity during Different Throwing Games: EEG Exploratory Study.
A. García-Monge, H. Rodríguez-Navarro, G. González-Calvo, D. Bores-García, Int J Environ Res Public Health 17 (2020).
LibreCat
| DOI
| PubMed | Europe PMC
A. García-Monge, H. Rodríguez-Navarro, G. González-Calvo, D. Bores-García, Int J Environ Res Public Health 17 (2020).
2020 | Journal Article | LibreCat-ID: 20467
CRITERIA-BASED RETURN TO SPRINTING PROGRESSION FOLLOWING LOWER EXTREMITY INJURY.
D. Lorenz, S. Domzalski, Int J Sports Phys Ther 15 (2020) 326–332.
LibreCat
| PubMed | Europe PMC
D. Lorenz, S. Domzalski, Int J Sports Phys Ther 15 (2020) 326–332.
2020 | Journal Article | LibreCat-ID: 20474
Factors associated with dynamic knee valgus angle during single-leg forward landing in patients after anterior cruciate ligament reconstruction.
M. Asaeda, A. Nakamae, K. Hirata, Y. Kono, H. Uenishi, N. Adachi, Asia Pac J Sports Med Arthrosc Rehabil Technol 22 (2020) 56–61.
LibreCat
| DOI
| PubMed | Europe PMC
M. Asaeda, A. Nakamae, K. Hirata, Y. Kono, H. Uenishi, N. Adachi, Asia Pac J Sports Med Arthrosc Rehabil Technol 22 (2020) 56–61.
2020 | Report | LibreCat-ID: 20145
Methodenentwicklung zur Schädigungsmodellierung für die numerische Prozesssimulation mechanischer Fügeverfahren
M. Otroshi, G. Meschut, Methodenentwicklung zur Schädigungsmodellierung für die numerische Prozesssimulation mechanischer Fügeverfahren, Europäische Forschungsgesellschaft für Blechverarbeitung e.V., 2020.
LibreCat
| Files available
| Download (ext.)
M. Otroshi, G. Meschut, Methodenentwicklung zur Schädigungsmodellierung für die numerische Prozesssimulation mechanischer Fügeverfahren, Europäische Forschungsgesellschaft für Blechverarbeitung e.V., 2020.
2020 | Conference Paper | LibreCat-ID: 21174
Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy
D. Alexandrovsky, G. Volkmar, M. Spliethöver, S. Finke, M. Herrlich, T. Döring, J.D. Smeddinck, R. Malaka, in: Proceedings of the Annual Symposium on Computer-Human Interaction in Play, Association for Computing Machinery, New York, NY, USA, 2020, pp. 32–45.
LibreCat
| DOI
| Download (ext.)
D. Alexandrovsky, G. Volkmar, M. Spliethöver, S. Finke, M. Herrlich, T. Döring, J.D. Smeddinck, R. Malaka, in: Proceedings of the Annual Symposium on Computer-Human Interaction in Play, Association for Computing Machinery, New York, NY, USA, 2020, pp. 32–45.
2020 | Journal Article | LibreCat-ID: 21112
In silico investigation of Cu(In,Ga)Se2-based solar cells
S.H. Mirhosseini, R. Kormath Madam Raghupathy, S.K. Sahoo, H. Wiebeler, M. Chugh, T. Kühne, Phys. Chem. Chem. Phys. 22 (2020) 26682–26701.
LibreCat
| DOI
S.H. Mirhosseini, R. Kormath Madam Raghupathy, S.K. Sahoo, H. Wiebeler, M. Chugh, T. Kühne, Phys. Chem. Chem. Phys. 22 (2020) 26682–26701.