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


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 | OA
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 | OA
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 | OA
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: 17358
L. M. Witschen, T. Wiersema, and M. Platzner, “Proof-carrying Approximate Circuits,” IEEE Transactions On Very Large Scale Integration Systems, vol. 28, no. 9, pp. 2084–2088, 2020.
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 17995
C. Riha, S. S. Buchholz, O. Chiatti, A. D. Wieck, D. Reuter, and S. F. Fischer, “Excess noise in      Al x  Ga  1 − xAs/GaAs based quantum rings,” Applied Physics Letters, 2020.
LibreCat | DOI
 

2020 | Book Review | LibreCat-ID: 21294 | OA
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 | OA
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 | Journal Article | LibreCat-ID: 3585
L. M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, and M. Platzner, “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation,” Microelectronics Reliability, vol. 99, pp. 277–290, 2019.
LibreCat | DOI
 

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 | OA
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: 13361
O. Lafont et al., “Controlling the optical spin Hall effect with light,” Applied Physics Letters, 2017.
LibreCat | 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
 

2015 | Journal Article | LibreCat-ID: 7217
T. Jostmeier, T. Wecker, D. Reuter, D. J. As, and M. Betz, “Ultrafast carrier dynamics and resonant inter-miniband nonlinearity of a cubic GaN/AlN superlattice,” Applied Physics Letters, vol. 107, no. 21, 2015.
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 7221
J. C. H. Chen et al., “Fabrication and characterisation of gallium arsenide ambipolar quantum point contacts,” Applied Physics Letters, vol. 106, no. 18, 2015.
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 4331
W. Quiring, M. Al-Hmoud, A. Rai, D. Reuter, A. D. Wieck, and A. Zrenner, “Photonic crystal cavities with metallic Schottky contacts,” Applied Physics Letters, vol. 107, no. 4, 2015.
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 6524
T. Czerniuk et al., “Impact of nanomechanical resonances on lasing from electrically pumped quantum dot micropillars,” Applied Physics Letters, vol. 106, no. 4, 2015.
LibreCat | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 10714
R. Meißner, Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs. Universität Paderborn, 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 39689
M. Wahle and H.-S. Kitzerow, “Electrically tunable zero dispersion wavelengths in photonic crystal fibers filled with a dual frequency addressable liquid crystal,” Applied Physics Letters, vol. 107, no. 20, Art. no. 201114, 2015, doi: 10.1063/1.4936086.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 7224
J. Repp et al., “Confocal shift interferometry of coherent emission from trapped dipolar excitons,” Applied Physics Letters, vol. 105, no. 24, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 399
T. Wiersema, S. Drzevitzky, and M. Platzner, “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring,” in Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 408
M.-C. Jakobs, M. Platzner, T. Wiersema, and H. Wehrheim, “Integrating Software and Hardware Verification,” in Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), 2014, pp. 307–322.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 433
T. Wiersema, A. Bockhorn, and M. Platzner, “Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA,” in Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.
LibreCat | Files available | DOI
 

2013 | Journal Article | LibreCat-ID: 7259
J. H. Buß et al., “Magneto-optical studies of Gd-implanted GaN: No spin alignment of conduction band electrons,” Applied Physics Letters, vol. 103, no. 9, 2013.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 3963 | OA
M. Bürger, M. Ruth, S. Declair, J. Förstner, C. Meier, and D. J. As, “Whispering gallery modes in zinc-blende AlN microdisks containing non-polar GaN quantum dots,” Applied Physics Letters, vol. 102, no. 8, p. 081105, 2013.
LibreCat | Files available | DOI
 

Filters and Search Terms

issn%3D1077-3118

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed