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.
20862 Publications
2021 | Conference Abstract | LibreCat-ID: 21576
A. Schulz, C. Wecker, and E. Kenig, “Mehrkomponenten-Stofftransport an bewegten Phasengrenzflächen unter Berücksichtigung von Diffusionskreuzeffekten,” 2021.
LibreCat
2021 | Book Chapter | LibreCat-ID: 21587
S. Alhaddad et al., “HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids,” in Euro-Par 2020: Parallel Processing Workshops, Cham, 2021.
LibreCat
| Files available
| DOI
2021 | Journal Article | LibreCat-ID: 21595
L. Stockmann, S. Laux, and E. Bodden, “Using Architectural Runtime Verification for Offline Data Analysis,” Journal of Automotive Software Engineering, 2021, doi: 10.2991/jase.d.210205.001.
LibreCat
| DOI
| Download (ext.)
2021 | Dissertation | LibreCat-ID: 21596
A. Fischer, Computing on Encrypted Data using Trusted Execution Environments. Universität Paderborn, 2021.
LibreCat
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 21597
P. Holzinger and E. Bodden, “A Systematic Hardening of Java’s Information Hiding,” International Symposium on Advanced Security on Software and Systems (ASSS), 2021.
LibreCat
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 21599
R. Bonifacio, S. Krüger, K. Narasimhan, E. Bodden, and M. Mezini, “Dealing with Variability in API Misuse Specification,” European Conference on Object-Oriented Programming (ECOOP), 2021.
LibreCat
2021 | Patent | LibreCat-ID: 21601 |

T. Göllner, J.-H. Schwarz, S. Gottschalk, and S. Sauer, “Distributed merchandise management system.” 2021.
LibreCat
| Download (ext.)
2021 | Book Chapter | LibreCat-ID: 21602
R. E. Hagengruber, “Women in Early Modern Philosophy and Science: An Introduction,” in Encyclopedia of Early Modern Philosophy and the Sciences, D. Jalobeanu and C. Wolfe , Eds. Cham: Springer, 2021.
LibreCat
| Files available
| DOI