Pauck, F. (2023). Cooperative Android App Analysis. Paderborn University.https://doi.org/10.17619/UNIPB/1-1698 
LibreCat: /record/43108
DOI: 10.17619/UNIPB/1-1698

Witschen, L. M. (2022). Frameworks and Methodologies for Search-based Approximate Logic Synthesis.https://doi.org/10.17619/UNIPB/1-1649 
LibreCat: /record/34041
DOI: 10.17619/UNIPB/1-1649

Wiersema, T. (2021). Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn University.
LibreCat: /record/26746

Schott, S. (2021). Android App Analysis Benchmark Case Generation. Paderborn.
LibreCat: /record/22304

Zhang, S. (2019). Combining Android Apps for Analysis Purposes. Universität Paderborn.
LibreCat: /record/7623

Selbach, N. (2019). Modeling Crypto API usages in OpenSSL’s EVP library. Universität Paderborn.
LibreCat: /record/7628

Keerthipati, M. (2019). A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Universität Paderborn.
LibreCat: /record/15920

Ho, N. (2018). FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization. Universität Paderborn.https://doi.org/10.17619/UNIPB/1-376 
LibreCat: /record/3720
DOI: 10.17619/UNIPB/1-376

Leer, R. (2018). Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn.
LibreCat: /record/1044

Strüwer, J. N. (2018). Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn.
LibreCat: /record/1045