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
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