Publications
Export 31 results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is G [Clear All Filters]
.
2016. Energy Transparency for Deeply Embedded Programs. ACM Transactions on Architecture and Code Optmiziation (TACO). 1:309-314.
.
2016. Fine-Grained Energy Modeling for the Source Code of a Mobile Application. International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services.
.
2016. Half adder capabilities of a couple quantum dot device . Nanotechnology. 27(21)
.
2016. Heat production and error probability relation in Landauer reset at effective temperature. Scientific Reports. 6
.
2016. Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. J. Computer Languages, Systems & Structures. 46
.
2016. Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
.
2016. Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. 28th International Conference Computer Aided Verification - CAV 2016. :261-268.
.
2016. Solving non-linear Horn clauses using a linear Horn clause solver. Electronic Proceedings in Theoretical Computer Science. 219:33-48.
.
2016. 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. Sub-kBT micro-electromechanical irreversible logic gate. Nature Communications. 7
.
2015. Charge Dynamics and Spin Blockade in a Hybrid Double Quantum Dot in Silicon. Phys. Rev. X. 5:031024.
.
2015. Dispersively Detected Pauli Spin-Blockade in a Silicon Nanowire Field-Effect Transistor. Nano Letters. 15:4622-4627.
.
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. 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. Probing the limits of gate-based charge sensing. Nature Communications. (6)
.
2015. Reconfigurable Boolean Logic Using Magnetic Single-Electron Transistors. PLoS ONE. 10:e0125142.
.
2015. Reconfigurable Boolean Logic Using Magnetic Single-Electron Transistors. PLoS ONE. 10:e0125142.
.
2015. Towards zero-power ICT. Nanotechnology. 26:222001.
.
2014. An Exchange-Coupled Donor Molecule in Silicon. Nano Letters. 14:5672-5676.
.
2014. High-frequency characterization of thermionic charge transport in silicon-on-insulator nanowire transistors. Applied Physics Letters. 104:043106.
ICT-Energy group
