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
Gao Y, Li Y, Ma X, et al. Tilting nondispersive bands in an empty microcavity. Applied Physics Letters. 2022;121(20). doi:10.1063/5.0093908
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 47982
Reitzig S, Hempel F, Ratzenberger J, et al. High-speed hyperspectral imaging of ferroelectric domain walls using broadband coherent anti-Stokes Raman scattering. Applied Physics Letters. 2022;120(16). doi:10.1063/5.0086029
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 49172 | OA
Abdelrahem M. 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. 2022;(13/14):57-80.
LibreCat | Download (ext.)
 

2021 | Dissertation | LibreCat-ID: 26746 | OA
Wiersema T. Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn University; 2021.
LibreCat | Download (ext.)
 

2021 | Conference Paper | LibreCat-ID: 21953
Witschen LM, Wiersema T, Raeisi Nafchi M, Bockhorn A, Platzner M. Timing Optimization for Virtual FPGA Configurations. In: Hannig F, Derrien S, Diniz P, Chillet D, eds. Proceedings of International Symposium on Applied Reconfigurable Computing (ARC’21). Reconfigurable Computing: Architectures, Tools, and Applications. Springer Lecture Notes in Computer Science. doi:10.1007/978-3-030-79025-7_4
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 27841
Jakobs M-C, Pauck F, Platzner M, Wehrheim H, Wiersema T. Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access. Published online 2021. doi:10.1109/ACCESS.2021.3131213
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 27099
Widhalm A, Krehs S, Siebert D, et al. Optoelectronic sampling of ultrafast electric transients with single quantum dots. Applied Physics Letters. 2021;119:181109. doi:10.1063/5.0061358
LibreCat | Files available | DOI
 

2021 | Conference Paper | LibreCat-ID: 20681 | OA
Ahmed QA, Wiersema T, Platzner M. Malicious Routing: Circumventing Bitstream-level Verification for FPGAs. In: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE). 2021 Design, Automation and Test in Europe Conference (DATE); 2021. doi:10.23919/DATE51398.2021.9474026
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 17358
Witschen LM, Wiersema T, Platzner M. Proof-carrying Approximate Circuits. IEEE Transactions On Very Large Scale Integration Systems. 2020;28(9):2084-2088. doi:10.1109/TVLSI.2020.3008061
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 17433
Wang DQ, Reuter D, Wieck AD, Hamilton AR, Klochan O. Two-dimensional lateral surface superlattices in GaAs heterostructures with independent control of carrier density and modulation potential. Applied Physics Letters. 2020. doi:10.1063/5.0009462
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 23517
Gräßler I, Hentze J. The new V-Model of 2206 and its validation. at-Automatisierungstechnik 68(5). 2020;(68(5)):312-324.
LibreCat | Download (ext.)
 

2020 | Preprint | LibreCat-ID: 20748
Witschen LM, Wiersema T, Platzner M. Search Space Characterization for AxC Synthesis. Fifth Workshop on Approximate Computing (AxC 2020).
LibreCat | Files available
 

2020 | Journal Article | LibreCat-ID: 17995
Riha C, Buchholz SS, Chiatti O, Wieck AD, Reuter D, Fischer SF. Excess noise in      Al x  Ga  1 − xAs/GaAs based quantum rings. Applied Physics Letters. 2020. doi:10.1063/5.0002247
LibreCat | DOI
 

2020 | Book Review | LibreCat-ID: 21294 | OA
Hagengruber R. Review Hagengruber Le Ru Émilie Du Châtelet Philosophe . H-France Net. 2020;158.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 17322
Mukherjee A, Widhalm A, Siebert D, et al. Electrically controlled rapid adiabatic passage in a single quantum dot. Applied Physics Letters. 2020;116:251103. doi:10.1063/5.0012257
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 40271
Vergyris P, Babin C, Nold R, et al. Two-photon phase-sensing with single-photon detection. Applied Physics Letters. 2020;117(2). doi:10.1063/5.0009527
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 33299 | OA
Hahn CA. Informationskompetenz durch E-Learning? Durch Lernvideos nach Literatur suchen. die hochschullehre. 2020;(6).
LibreCat | Files available | Download (ext.)
 

2020 | Book Review | LibreCat-ID: 51816
Schmitt M. Rezension zu: Bernardo Bátiz-Lazo: Cash and Dash. How ATMs and Computers Changed Banking. Vierteljahrschrift für Sozial- und Wirtschaftsgeschichte. 2020;107(4):541–543.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 3585
Witschen LM, Wiersema T, Ghasemzadeh Mohammadi H, Awais M, Platzner M. CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. Microelectronics Reliability. 2019;99:277-290. doi:10.1016/j.microrel.2019.04.003
LibreCat | DOI
 

2019 | Mastersthesis | LibreCat-ID: 15920
Keerthipati M. A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Universität Paderborn; 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 14831
Sabu NS. FPGA Acceleration of String Search Techniques in Huge Data Sets. Paderborn University; 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 18125
Mildorf J. Narratives of Vicarious Experience in Oral History Interviews with Craft Artists. Journal of Pragmatics. 2019;152:103-112.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 9913 | OA
Ahmed QA, Wiersema T, Platzner M. Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan. In: Hochberger C, Nelson B, Koch A, Woods R, Diniz P, eds. Applied Reconfigurable Computing. Vol 11444. Lecture Notes in Computer Science. Springer International Publishing; 2019:127-136. doi:10.1007/978-3-030-17227-5_10
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Preprint | LibreCat-ID: 3586
Witschen LM, Wiersema T, Ghasemzadeh Mohammadi H, Awais M, Platzner M. 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 LM, Wiersema T, Platzner M. Making the Case for Proof-carrying Approximate Circuits. 4th Workshop On Approximate Computing (WAPCO 2018). 2018.
LibreCat | Files available
 

2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch FP. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn; 2018.
LibreCat
 

2018 | Journal Article | LibreCat-ID: 21029
Allgaier M, Ansari V, Eigner C, et al. Streak camera imaging of single photons at telecom wavelength. Applied Physics Letters. 2018;112. doi:10.1063/1.5004110
LibreCat | DOI
 

2017 | Mastersthesis | LibreCat-ID: 1157
Witschen LM. A Framework for the Synthesis of Approximate Circuits. Universität Paderborn; 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 23630
Liu N, Steinrück H-G, Osvet A, Yang Y, Schmuki P. Noble metal free photocatalytic H2 generation on black TiO2: On the influence of crystal facets vs. crystal damage. Applied Physics Letters. 2017;110:072102. doi:10.1063/1.4976010
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 68
Isenberg T, Platzner M, Wehrheim H, Wiersema T. Proof-Carrying Hardware via Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems. 2017;(4):61:1--61:23. doi:10.1145/3054743
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 13361
Lafont O, Luk SMH, Lewandowski P, et al. Controlling the optical spin Hall effect with light. Applied Physics Letters. 2017. doi: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 MT, von Keudell A. Species transport on the target during high power impulse magnetron sputtering. Applied Physics Letters. Published online 2017. doi:10.1063/1.4976999
LibreCat | DOI
 

2016 | Book | LibreCat-ID: 27390
Schlegel-Matthies K. Zwischen Wissenschaft und Lebenswelt. Entwicklung, Stand und Zukunftsperspektiven haushaltsbezogener Bildung. Vol 10.; 2016.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 222
Wiersema T, Bockhorn A, Platzner M. An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers & Electrical Engineering. 2016:112--122. doi:10.1016/j.compeleceng.2016.04.005
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 132
Wiersema T, Platzner M. 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:1--8. doi: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. Near infrared Kerr effect and description of field-induced phase transitions in polymer-stabilized blue phase liquid crystals. Applied Physics Letters. 2016;108(8). doi: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. Periodic domain inversion in x-cut single-crystal lithium niobate thin film. Applied Physics Letters. 2016;108(15). doi:10.1063/1.4946010
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 269
Wiersema T, Wu S, Platzner M. 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). LNCS. ; 2015:365--372. doi: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 DJ, Betz M. Ultrafast carrier dynamics and resonant inter-miniband nonlinearity of a cubic GaN/AlN superlattice. Applied Physics Letters. 2015;107(21). doi:10.1063/1.4936330
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 7221
Chen JCH, Klochan O, Micolich AP, et al. Fabrication and characterisation of gallium arsenide ambipolar quantum point contacts. Applied Physics Letters. 2015;106(18). doi:10.1063/1.4918934
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 4331
Quiring W, Al-Hmoud M, Rai A, Reuter D, Wieck AD, Zrenner A. Photonic crystal cavities with metallic Schottky contacts. Applied Physics Letters. 2015;107(4). doi:10.1063/1.4928038
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 6524
Czerniuk T, Tepper J, Akimov AV, et al. Impact of nanomechanical resonances on lasing from electrically pumped quantum dot micropillars. Applied Physics Letters. 2015;106(4). doi:10.1063/1.4906611
LibreCat | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 10714
Meißner R. Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung Virtueller FPGAs. Universität Paderborn; 2015.
LibreCat
 

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

2014 | Journal Article | LibreCat-ID: 7224
Repp J, Schinner GJ, Schubert E, et al. Confocal shift interferometry of coherent emission from trapped dipolar excitons. Applied Physics Letters. 2014;105(24). doi:10.1063/1.4904222
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 399
Wiersema T, Drzevitzky S, Platzner M. Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In: Proceedings of the International Conference on Field-Programmable Technology (FPT). ; 2014:167-174. doi:10.1109/FPT.2014.7082771
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 408
Jakobs M-C, Platzner M, Wiersema T, Wehrheim H. Integrating Software and Hardware Verification. In: Albert E, Sekerinski E, eds. Proceedings of the 11th International Conference on Integrated Formal Methods (IFM). LNCS. ; 2014:307-322. doi:10.1007/978-3-319-10181-1_19
LibreCat | Files available | DOI
 

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

2013 | Journal Article | LibreCat-ID: 7259
Buß JH, Rudolph J, Shvarkov S, et al. Magneto-optical studies of Gd-implanted GaN: No spin alignment of conduction band electrons. Applied Physics Letters. 2013;103(9). doi:10.1063/1.4819767
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 3963 | OA
Bürger M, Ruth M, Declair S, Förstner J, Meier C, As DJ. Whispering gallery modes in zinc-blende AlN microdisks containing non-polar GaN quantum dots. Applied Physics Letters. 2013;102(8):081105. doi:10.1063/1.4793653
LibreCat | Files available | DOI
 

Filters and Search Terms

issn%3D1077-3118

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed