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
2024 | Journal Article | LibreCat-ID: 52686
Q. A. Ahmed, T. Wiersema, and M. Platzner, “Post-configuration Activation of Hardware Trojans in FPGAs,” Journal of Hardware and Systems Security, 2024, doi: 10.1007/s41635-024-00147-5.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 43421
T. Li, Y. Chen, Y. Wang, T. Zentgraf, and L. Huang, “Three-dimensional dipole momentum analog based on L-shape metasurface,” Applied Physics Letters, vol. 122, no. 14, Art. no. 141702, 2023, doi: 10.1063/5.0142389.
LibreCat
| DOI
2023 | Special Issue | LibreCat-ID: 49367 | 
J. Lindner and K. Brassat, Eds., Self-Assembled Block Copolymer Thin Films and Their Applications. 2023.
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 51368
E. Esposito, “Does Explainability Require Transparency?,” Sociologica, vol. 16, no. 3, pp. 17–27, 2023, doi: 10.6092/ISSN.1971-8853/15804.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 51369
E. Esposito, “Explaining Machines: Social Management of Incomprehensible Algorithms. Introduction,” Sociologica, vol. 16, no. 3, pp. 1–4, 2023, doi: 10.6092/ISSN.1971-8853/16265.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29945
L. M. Witschen, T. Wiersema, L. D. Reuter, and M. Platzner, “Search Space Characterization for Approximate Logic Synthesis ,” presented at the 2022 59th ACM/IEEE Design Automation Conference (DAC), San Francisco, USA.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29865
L. M. Witschen, T. Wiersema, M. Artmann, and M. Platzner, “MUSCAT: MUS-based Circuit Approximation Technique,” presented at the Design, Automation and Test in Europe (DATE), Online.
LibreCat
2022 | Journal Article | LibreCat-ID: 33669 |
W. Zhang, X. Chang, C. Boeddeker, T. Nakatani, S. Watanabe, and Y. Qian, “End-to-End Dereverberation, Beamforming, and Speech Recognition in A Cocktail Party,” IEEE/ACM Transactions on Audio, Speech, and Language Processing, 2022, doi: 10.1109/TASLP.2022.3209942.
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 31480
B. Liu, Z. Zhou, Y. Wang, T. Zentgraf, Y. Li, and L. Huang, “Experimental verification of the acoustic geometric phase,” Applied Physics Letters, vol. 120, no. 21, Art. no. 211702, 2022, doi: 10.1063/5.0091474.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 36414
Y. Gao et al., “Tilting nondispersive bands in an empty microcavity,” Applied Physics Letters, vol. 121, no. 20, Art. no. 201103, 2022, doi: 10.1063/5.0093908.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34094
Y. Gao et al., “Tilting nondispersive bands in an empty microcavity,” Applied Physics Letters, vol. 121, no. 20, Art. no. 201103, 2022, doi: 10.1063/5.0093908.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 47982
S. Reitzig et al., “High-speed hyperspectral imaging of ferroelectric domain walls using broadband coherent anti-Stokes Raman scattering,” Applied Physics Letters, vol. 120, no. 16, Art. no. 162901, 2022, doi: 10.1063/5.0086029.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 49172 |
M. Abdelrahem, “Auswirkung der Theologie auf das rechtsphilosophische Denken der Muʿtazila: Lektüre bei al-Qāḍī ʿAbd al-Ǧabbār,” Zeitschrift für Recht und Islam / Journal of Law & Islam, no. 13/14, pp. 57–80, 2022.
LibreCat
| Download (ext.)
2021 | Dissertation | LibreCat-ID: 26746 |
T. Wiersema, Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn: Paderborn University, 2021.
LibreCat
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 21953
L. M. Witschen, T. Wiersema, M. Raeisi Nafchi, A. Bockhorn, and M. Platzner, “Timing Optimization for Virtual FPGA Configurations,” in Proceedings of International Symposium on Applied Reconfigurable Computing (ARC’21), Virtual conference, doi: 10.1007/978-3-030-79025-7_4.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 27841
M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, and T. Wiersema, “Software/Hardware Co-Verification for Custom Instruction Set Processors,” IEEE Access, 2021, doi: 10.1109/ACCESS.2021.3131213.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 27099
A. Widhalm et al., “Optoelectronic sampling of ultrafast electric transients with single quantum dots,” Applied Physics Letters, vol. 119, p. 181109, 2021, doi: 10.1063/5.0061358.
LibreCat
| Files available
| DOI
2021 | Conference Paper | LibreCat-ID: 20681 |
Q. A. Ahmed, T. Wiersema, and M. Platzner, “Malicious Routing: Circumventing Bitstream-level Verification for FPGAs,” presented at the Design, Automation and Test in Europe Conference (DATE’21), Alpexpo | Grenoble, France, 2021, doi: 10.23919/DATE51398.2021.9474026.
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 17433
D. Q. Wang, D. Reuter, A. D. Wieck, A. R. Hamilton, and O. Klochan, “Two-dimensional lateral surface superlattices in GaAs heterostructures with independent control of carrier density and modulation potential,” Applied Physics Letters, 2020.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 23517
I. Gräßler and J. Hentze, “The new V-Model of 2206 and its validation,” at-Automatisierungstechnik 68(5), no. 68(5), pp. 312–324, 2020.
LibreCat
| Download (ext.)
2020 | Preprint | LibreCat-ID: 20748
L. M. Witschen, T. Wiersema, and M. Platzner, “Search Space Characterization for AxC Synthesis,” Fifth Workshop on Approximate Computing (AxC 2020). .
LibreCat
| Files available
2020 | Book Review | LibreCat-ID: 21294 |
R. Hagengruber, “Review Hagengruber Le Ru Émilie Du Châtelet Philosophe ,” H-France Net, vol. 158. 2020.
LibreCat
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 17322
A. Mukherjee et al., “Electrically controlled rapid adiabatic passage in a single quantum dot,” Applied Physics Letters, vol. 116, p. 251103, 2020, doi: 10.1063/5.0012257.
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 40271
P. Vergyris et al., “Two-photon phase-sensing with single-photon detection,” Applied Physics Letters, vol. 117, no. 2, Art. no. 024001, 2020, doi: 10.1063/5.0009527.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 33299 |
C. A. Hahn, “Informationskompetenz durch E-Learning? Durch Lernvideos nach Literatur suchen,” die hochschullehre, no. 6, 2020.
LibreCat
| Files available
| Download (ext.)
2020 | Book Review | LibreCat-ID: 51816
M. Schmitt, “Rezension zu: Bernardo Bátiz-Lazo: Cash and Dash. How ATMs and Computers Changed Banking,” Vierteljahrschrift für Sozial- und Wirtschaftsgeschichte, vol. 107, no. 4. pp. 541–543, 2020.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 15920
M. Keerthipati, A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 14831
N. S. Sabu, FPGA Acceleration of String Search Techniques in Huge Data Sets. Paderborn University, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 18125
J. Mildorf, “Narratives of Vicarious Experience in Oral History Interviews with Craft Artists,” Journal of Pragmatics, vol. 152, pp. 103–112, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 9913 |
Q. A. Ahmed, T. Wiersema, and M. Platzner, “Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan,” in Applied Reconfigurable Computing, Darmstadt, Germany, 2019, vol. 11444, pp. 127–136, doi: 10.1007/978-3-030-17227-5_10.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Preprint | LibreCat-ID: 3586
L. M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, and M. Platzner, “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
L. M. Witschen, T. Wiersema, and M. Platzner, “Making the Case for Proof-carrying Approximate Circuits,” 4th Workshop On Approximate Computing (WAPCO 2018). 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
F. P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 21029
M. Allgaier et al., “Streak camera imaging of single photons at telecom wavelength,” Applied Physics Letters, vol. 112, Art. no. 031110, 2018, doi: 10.1063/1.5004110.
LibreCat
| DOI
2017 | Mastersthesis | LibreCat-ID: 1157
L. M. Witschen, A Framework for the Synthesis of Approximate Circuits. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 23630
N. Liu, H.-G. Steinrück, A. Osvet, Y. Yang, and P. Schmuki, “Noble metal free photocatalytic H2 generation on black TiO2: On the influence of crystal facets vs. crystal damage,” Applied Physics Letters, vol. 110, p. 072102, 2017, doi: 10.1063/1.4976010.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 68
T. Isenberg, M. Platzner, H. Wehrheim, and T. Wiersema, “Proof-Carrying Hardware via Inductive Invariants,” ACM Transactions on Design Automation of Electronic Systems, no. 4, pp. 61:1--61:23, 2017.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 22568
V. Layes, S. Monje, C. Corbella, J. Trieschmann, M. T. de los Arcos de Pedro, and A. von Keudell, “Species transport on the target during high power impulse magnetron sputtering,” Applied Physics Letters, Art. no. 081603, 2017, doi: 10.1063/1.4976999.
LibreCat
| DOI
2016 | Book | LibreCat-ID: 27390
K. Schlegel-Matthies, Zwischen Wissenschaft und Lebenswelt. Entwicklung, Stand und Zukunftsperspektiven haushaltsbezogener Bildung., vol. 10. 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 222
T. Wiersema, A. Bockhorn, and M. Platzner, “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip,” Computers & Electrical Engineering, pp. 112--122, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 132
T. Wiersema and M. Platzner, “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), 2016, pp. 1--8.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 39674
B. Atorf, H. Rasouli, G. Nordendorf, D. Wilkes, and H.-S. Kitzerow, “Near infrared Kerr effect and description of field-induced phase transitions in polymer-stabilized blue phase liquid crystals,” Applied Physics Letters, vol. 108, no. 8, Art. no. 081107, 2016, doi: 10.1063/1.4942604.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 4237
P. Mackwitz, M. Rüsing, G. Berth, A. Widhalm, K. Müller, and A. Zrenner, “Periodic domain inversion in x-cut single-crystal lithium niobate thin film,” Applied Physics Letters, vol. 108, no. 15, Art. no. 152902, 2016, doi: 10.1063/1.4946010.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 269
T. Wiersema, S. Wu, and M. Platzner, “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), 2015, pp. 365--372.
LibreCat
| Files available
| DOI