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.
153 Publications
2019 | Mastersthesis | LibreCat-ID: 14831
Sabu, N. S. (2019). FPGA Acceleration of String Search Techniques in Huge Data Sets. Paderborn University.
LibreCat
2019 | Journal Article | LibreCat-ID: 18125
Mildorf, J. (2019). Narratives of Vicarious Experience in Oral History Interviews with Craft Artists. Journal of Pragmatics, 152, 103–112.
LibreCat
2019 | Conference Paper | LibreCat-ID: 9913 | 
Ahmed, Q. A., Wiersema, T., & Platzner, M. (2019). Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan. In C. Hochberger, B. Nelson, A. Koch, R. Woods, & P. Diniz (Eds.), Applied Reconfigurable Computing (Vol. 11444, pp. 127–136). Springer International Publishing. https://doi.org/10.1007/978-3-030-17227-5_10
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Preprint | LibreCat-ID: 3586
Witschen, L. M., Wiersema, T., Ghasemzadeh Mohammadi, H., Awais, M., & Platzner, M. (n.d.). CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. Third Workshop on Approximate Computing (AxC 2018).
LibreCat
| Files available
2018 | Preprint | LibreCat-ID: 1165
Witschen, L. M., Wiersema, T., & Platzner, M. (2018). Making the Case for Proof-carrying Approximate Circuits. 4th Workshop On Approximate Computing (WAPCO 2018).
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch, F. P. (2018). Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn.
LibreCat
2018 | Journal Article | LibreCat-ID: 21029
Allgaier, M., Ansari, V., Eigner, C., Quiring, V., Ricken, R., Donohue, J. M., Czerniuk, T., Aßmann, M., Bayer, M., Brecht, B., & Silberhorn, C. (2018). Streak camera imaging of single photons at telecom wavelength. Applied Physics Letters, 112, Article 031110. https://doi.org/10.1063/1.5004110
LibreCat
| DOI
2017 | Mastersthesis | LibreCat-ID: 1157
Witschen, L. M. (2017). A Framework for the Synthesis of Approximate Circuits. Universität Paderborn.
LibreCat
2017 | Journal Article | LibreCat-ID: 23630
Liu, N., Steinrück, H.-G., Osvet, A., Yang, Y., & Schmuki, P. (2017). Noble metal free photocatalytic H2 generation on black TiO2: On the influence of crystal facets vs. crystal damage. Applied Physics Letters, 110, 072102. https://doi.org/10.1063/1.4976010
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 68
Isenberg, T., Platzner, M., Wehrheim, H., & Wiersema, T. (2017). Proof-Carrying Hardware via Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems, (4), 61:1--61:23. https://doi.org/10.1145/3054743
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 13361
Lafont, O., Luk, S. M. H., Lewandowski, P., Kwong, N. H., Leung, P. T., Galopin, E., … Binder, R. (2017). Controlling the optical spin Hall effect with light. Applied Physics Letters. https://doi.org/10.1063/1.4975681
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 22568
Layes, V., Monje, S., Corbella, C., Trieschmann, J., de los Arcos de Pedro, M. T., & von Keudell, A. (2017). Species transport on the target during high power impulse magnetron sputtering. Applied Physics Letters, Article 081603. https://doi.org/10.1063/1.4976999
LibreCat
| DOI
2016 | Book | LibreCat-ID: 27390
Schlegel-Matthies, K. (2016). Zwischen Wissenschaft und Lebenswelt. Entwicklung, Stand und Zukunftsperspektiven haushaltsbezogener Bildung. (Vol. 10).
LibreCat
2016 | Journal Article | LibreCat-ID: 222
Wiersema, T., Bockhorn, A., & Platzner, M. (2016). An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers & Electrical Engineering, 112--122. https://doi.org/10.1016/j.compeleceng.2016.04.005
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 132
Wiersema, T., & Platzner, M. (2016). Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016) (pp. 1--8). https://doi.org/10.1109/ReCoSoC.2016.7533910
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 39674
Atorf, B., Rasouli, H., Nordendorf, G., Wilkes, D., & Kitzerow, H.-S. (2016). Near infrared Kerr effect and description of field-induced phase transitions in polymer-stabilized blue phase liquid crystals. Applied Physics Letters, 108(8), Article 081107. https://doi.org/10.1063/1.4942604
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 4237
Mackwitz, P., Rüsing, M., Berth, G., Widhalm, A., Müller, K., & Zrenner, A. (2016). Periodic domain inversion in x-cut single-crystal lithium niobate thin film. Applied Physics Letters, 108(15), Article 152902. https://doi.org/10.1063/1.4946010
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 269
Wiersema, T., Wu, S., & Platzner, M. (2015). On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach. In Proceedings of the International Symposium in Reconfigurable Computing (ARC) (pp. 365--372). https://doi.org/10.1007/978-3-319-16214-0_32
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 7217
Jostmeier, T., Wecker, T., Reuter, D., As, D. J., & Betz, M. (2015). Ultrafast carrier dynamics and resonant inter-miniband nonlinearity of a cubic GaN/AlN superlattice. Applied Physics Letters, 107(21). https://doi.org/10.1063/1.4936330
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 7221
Chen, J. C. H., Klochan, O., Micolich, A. P., Das Gupta, K., Sfigakis, F., Ritchie, D. A., … Hamilton, A. R. (2015). Fabrication and characterisation of gallium arsenide ambipolar quantum point contacts. Applied Physics Letters, 106(18). https://doi.org/10.1063/1.4918934
LibreCat
| DOI