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.
9720 Publications
2024 | Bachelorsthesis | LibreCat-ID: 52318
Implementierung eines Algorithmus zur motivbasierten Schnitt-Sparsifizierung
S. Dorociak, Implementierung Eines Algorithmus Zur Motivbasierten Schnitt-Sparsifizierung, 2024.
LibreCat
S. Dorociak, Implementierung Eines Algorithmus Zur Motivbasierten Schnitt-Sparsifizierung, 2024.
2024 | Conference Paper | LibreCat-ID: 52235
Toward an Android Static Analysis Approach for Data Protection
M. Khedkar, E. Bodden, in: Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024.
LibreCat
| Files available
| arXiv
M. Khedkar, E. Bodden, in: Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024.
2024 | Preprint | LibreCat-ID: 52342
On token signed graphs
C. Dalfó, M.A. Fiol, E. Steffen, ArXiv:2403.02924 (2024).
LibreCat
| arXiv
C. Dalfó, M.A. Fiol, E. Steffen, ArXiv:2403.02924 (2024).
2024 | Journal Article | LibreCat-ID: 52587
Evaluating Security Through Isolation and Defense in Depth
E. Bodden, J. Pottebaum, M. Fockel, I. Gräßler, IEEE Security & Privacy 22 (2024) 69–72.
LibreCat
| DOI
E. Bodden, J. Pottebaum, M. Fockel, I. Gräßler, IEEE Security & Privacy 22 (2024) 69–72.
2024 | Journal Article | LibreCat-ID: 33461 | 
Learning Bilinear Models of Actuated Koopman Generators from Partially-Observed Trajectories
S.E. Otto, S. Peitz, C.W. Rowley, SIAM Journal on Applied Dynamical Systems 23 (2024) 885–923.
LibreCat
| DOI
| Download (ext.)
| arXiv
S.E. Otto, S. Peitz, C.W. Rowley, SIAM Journal on Applied Dynamical Systems 23 (2024) 885–923.
2024 | Misc | LibreCat-ID: 52663
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
A.-K. Wickert, M. Schlichtig, M. Vogel, L. Winter, M. Mezini, E. Bodden, Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability, 2024.
LibreCat
| Download (ext.)
A.-K. Wickert, M. Schlichtig, M. Vogel, L. Winter, M. Mezini, E. Bodden, Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability, 2024.
2024 | Preprint | LibreCat-ID: 52691
Feynman-Kac formulas for semigroups generated by multi-polaron Hamiltonians in magnetic fields and on general domains
B. Hinrichs, O. Matte, ArXiv:2403.12147 (2024).
LibreCat
| arXiv
B. Hinrichs, O. Matte, ArXiv:2403.12147 (2024).
2024 | Journal Article | LibreCat-ID: 52686
Post-configuration Activation of Hardware Trojans in FPGAs
Q.A. Ahmed, T. Wiersema, M. Platzner, Journal of Hardware and Systems Security (2024).
LibreCat
| DOI
Q.A. Ahmed, T. Wiersema, M. Platzner, Journal of Hardware and Systems Security (2024).
2024 | Journal Article | LibreCat-ID: 52700 |
From Swiss-cheese to discrete ferroelectric composites: assessing the ferroelectric butterfly shape in polarization loops
V. Myroshnychenko, P.M. Mulavarickal Jose, H. Farheen, S. Ejaz, C. Brosseau, J. Förstner, Physica Scripta 99 (2024) 045952.
LibreCat
| Files available
| DOI
V. Myroshnychenko, P.M. Mulavarickal Jose, H. Farheen, S. Ejaz, C. Brosseau, J. Förstner, Physica Scripta 99 (2024) 045952.
2024 | Conference Paper | LibreCat-ID: 52379
Using Worked Examples for Engaging in Epistemic Programming Projects
S. Hüsing, C. Schulte, S. Sparmann, M. Bolte, in: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, ACM, 2024.
LibreCat
| DOI
S. Hüsing, C. Schulte, S. Sparmann, M. Bolte, in: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, ACM, 2024.