Publications
Solving non-linear Horn clauses using a linear Horn clause solver. Electronic Proceedings in Theoretical Computer Science. 219:33-48.
.
2016. A Source-level Energy Optimization Framework for Mobile Applications. IEEE International Working Conference on Source Code Analysis and Manipulation.
.
2016. Statistical and exact schedulability analysis of hierarchical scheduling systems. . Science of Computer Programming. 127:103-130.
.
2016. Sub-kBT micro-electromechanical irreversible logic gate. Nature Communications. 7
.
2016. Thermoelectric cross-plane properties on p- and n-Ge/SixGe1-x superlattices. Thin Solid Films. 602
.
2016. Ultra-Low Power Estimation of Heart Rate Under Physical Activity Using a Wearable Photoplethysmographic System. 19th IEEE/Euromicro Conference On Digital System Design (DSD 2016). 1:553-560.
.
2016. The Use of Silicon-Germanium Superlattices in Thermoelectric Devices and Microfabricated Generators. ECS Transactions. 75(8)
.
2016. Block-asynchronous and Jacobi smoothers for a multigrid solver on GPU-accelerated HPC clusters. EMCL preprint. 3
.
2015. Charge Dynamics and Spin Blockade in a Hybrid Double Quantum Dot in Silicon. Phys. Rev. X. 5:031024.
.
2015. The coupled atom transistor. Journal of Physics: Condensed Matter. 27:154206.
.
2015. Coupled Simulation of Performance of a Crossed Compound Parabolic Concentrator with Solar Cell. Energy Procedia. 75
.
2015. Design and Cryogenic Operation of a Hybrid Quantum-CMOS Circuit. Phys. Rev. Applied. 4:044009.
.
2015. Dispersively Detected Pauli Spin-Blockade in a Silicon Nanowire Field-Effect Transistor. Nano Letters. 15:4622-4627.
.
2015. Dual-Port Reflectometry Technique: Charge identification in nanoscaled single-electron transistors.. Nanotechnology Magazine, IEEE. 9:24-32.
.
2015. Energy-aware mixed precision iterative refinement for linear systems on GPU-accelerated multi-node HPC clusters. 26th GI/ITG Workshop Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS).
.
2015. Finite Element Modelling To Evaluate the Cross-plane Thermal conductivity and Seebeck Coefficient of Ge/SiGe Heterostructure. Materials Today.
.
2015. Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC 2015. :74-83.
.
2015. Fundamental energy limits in the physics of nanomagnetic binary switches. Nano Energy. 15:313–320.
.
2015. Fundamentals of Mechanics and Dynamics. Micro Energy Harvesting. :7–26.
.
2015. Hybrid optical–electrical detection of donor electron spins with bound excitons in silicon. Nature Materials. (14)
.
2015. Logic Switches Operating at the Minimum Energy of Computing. IEEE Computer Society Annual Symposium on VLSI.
.
2015. Multiphysics Simulations of a Thermoelectric Generator. Energy Procedia. 75
.
2015. Noise energy harvesting in buckled \{BN\} nanoribbons from molecular dynamics. Nano Energy. 15:329-334.
.
2015. Operating micromechanical logic gates below kT: Physical vs logical reversibility. Energy Efficient Electronic Systems (E3S). 4
.
2015. Power and Energy Characterization of Finite Element Matrices on IBM Power.. ICT-Energy Letters . (10)
.
2015.