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.

156 Publications


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
 

Filters and Search Terms

issn%3D1077-3118

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed