Publications
.
2015. Fundamentals of Mechanics and Dynamics. Micro Energy Harvesting. :7–26.
.
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
.
2014. High-frequency characterization of thermionic charge transport in silicon-on-insulator nanowire transistors. Applied Physics Letters. 104:043106.
.
2016. Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. J. Computer Languages, Systems & Structures. 46
.
2015. Hybrid optical–electrical detection of donor electron spins with bound excitons in silicon. Nature Materials. (14)
.
2016. On the infeasibility of analysing worst-case dynamic energy. ACM Transactions on Embedded Computing Systems (TECS).
.
2016. Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
.
2014. (Invited) The Thermoelectric Properties of Ge/SiGe Based Superlattices: from Materials to Energy Harvesting Modules. ECS Transactions. 64(6):929-937.
.
2015. Logic Switches Operating at the Minimum Energy of Computing. IEEE Computer Society Annual Symposium on VLSI.
.
2016. Low-Power Wearable System for Real-Time Screening of Obstructive Sleep Apnea. IEEE Computer Society Annual Symposium on VLSI 2016 (ISVLSI 2016). 1:230-235.
.
2016. Micro-electromechanical memory bit based on magnetic repulsion. Applied Physics Letters. 109(13)
.
2016. A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016. :133-141.
.
2014. Multilayered Ge/SiGe Material in Microfabricated Thermoelectric Modules. Journal of Electronic Materials. 43(10):3838-3843.
.
2015. Multiphysics Simulations of a Thermoelectric Generator. Energy Procedia. 75
.
2016. Nano-and Micro-fabrication Techniques for Improving Thermoelectric Materials and Generators. Thermoelectric Materials and Devices. 17
.
2015. Noise energy harvesting in buckled \{BN\} nanoribbons from molecular dynamics. Nano Energy. 15:329-334.
.
2016. A novel absorptive/reflective solar concentrator for heat and electricity generation: An optical and thermal analysis. Energy Conversion Systems. 114
.
2016. Online and Compositional Learning of Controllers with Application to Floor Heating.. TACAS 2016. :244-259.
.
2015. Operating micromechanical logic gates below kT: Physical vs logical reversibility. Energy Efficient Electronic Systems (E3S). 4
.
2016. Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED. 13:41-48.
.
2016. Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED Review . 13:41-48.
.
2016. PHIDIAS: Ultra-Low-Power Holistic Design for Smart Bio-signals Computing Platforms. ACM Computer Frontiers (CF'16). 1:309-314.
.
2015. Power and Energy Characterization of Finite Element Matrices on IBM Power.. ICT-Energy Letters . (10)
.
2014. Power consumption assessment in wireless sensor networks. ICT-Energy-Concepts Towards Zero-Power Information and Communication Technology.

] 